]>
Commit | Line | Data |
---|---|---|
49aad941 FG |
1 | - // MIR for `unreachable_box` before ConstProp |
2 | + // MIR for `unreachable_box` after ConstProp | |
3 | ||
4 | fn unreachable_box() -> ! { | |
fe692bf9 FG |
5 | let mut _0: !; |
6 | let _1: std::boxed::Box<Never>; | |
ed00b5ec | 7 | let mut _2: *const Never; |
49aad941 | 8 | scope 1 { |
fe692bf9 | 9 | debug x => _1; |
49aad941 FG |
10 | } |
11 | scope 2 { | |
12 | } | |
13 | ||
14 | bb0: { | |
fe692bf9 FG |
15 | StorageLive(_1); |
16 | - _1 = const 1_usize as std::boxed::Box<Never> (Transmute); | |
ed00b5ec | 17 | - _2 = (((_1.0: std::ptr::Unique<Never>).0: std::ptr::NonNull<Never>).0: *const Never); |
fe692bf9 | 18 | + _1 = const Box::<Never>(Unique::<Never> {{ pointer: NonNull::<Never> {{ pointer: {0x1 as *const Never} }}, _marker: PhantomData::<Never> }}, std::alloc::Global); |
ed00b5ec | 19 | + _2 = const {0x1 as *const Never}; |
fe692bf9 | 20 | unreachable; |
49aad941 FG |
21 | } |
22 | } | |
23 |