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
Turns out that the MIR of a promoted can contain unchecked array accesses, 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