Your #1 should really say "I know this is safe, but since the compiler can't prove it, you'll have to trust me." That is, using unsafe doesn't mean you're doin

Your #1 should really say "I know this is safe, but since the compiler can't prove it, you'll have to trust me." That is, using unsafe doesn't mean you're doing anything unsafe, only that the rust compiler doesn't model why it is safe.