rust/tests/mir-opt/lower_intrinsics.read_via_copy_uninhabited.LowerIntrinsics.panic-abort.diff
Matthew Jasper a277c901d9 Remove MIR unsafe check
This also remove safety information from MIR.
2024-04-03 08:50:12 +00:00

18 lines
468 B
Diff

- // MIR for `read_via_copy_uninhabited` before LowerIntrinsics
+ // MIR for `read_via_copy_uninhabited` after LowerIntrinsics
fn read_via_copy_uninhabited(_1: &Never) -> Never {
debug r => _1;
let mut _0: Never;
let mut _2: *const Never;
bb0: {
StorageLive(_2);
_2 = &raw const (*_1);
- _0 = read_via_copy::<Never>(move _2) -> unwind unreachable;
+ _0 = (*_2);
+ unreachable;
}
}