> a str with invalid UTF-8 may cause UB, it's not unsafe to handle a str and they sure aren't going to put checks everywhere for it
Any way I know of for making a str from bytes is checked or unsafe, even slices (by byte indexes) are checked (panic). Is there a current example that hasn't been fixed at the language level where this invariant can be broken without unsafe?