blob: b2cf3cc1ccac5409ba268ab7eeb7328d172dc820 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
- // 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;
scope 1 {
}
bb0: {
StorageLive(_2);
_2 = &raw const (*_1);
- _0 = read_via_copy::<Never>(move _2) -> unwind unreachable;
+ _0 = (*_2);
+ unreachable;
}
}
|