Turns out that the MIR of a promoted [can contain unchecked array accesses](https://github.com/rust-lang/rust/issues/61821#issuecomment-560112987), which is impossible in normal MIR. Are there any other such quirks? We should get them all documented here. Cc @ecstatic-morse @oli-obk @eddyb