| - // MIR for `match_const_debug` before SingleUseConsts |
| + // MIR for `match_const_debug` after SingleUseConsts |
| |
| fn match_const_debug() -> &str { |
| let mut _0: &str; |
| let _1: i32; |
| let _2: (); |
| scope 1 { |
| - debug my_int => _1; |
| + debug my_int => const <T as MyTrait>::ASSOC_INT; |
| } |
| |
| bb0: { |
| StorageLive(_1); |
| - _1 = const <T as MyTrait>::ASSOC_INT; |
| + nop; |
| StorageLive(_2); |
| _2 = do_whatever() -> [return: bb1, unwind continue]; |
| } |
| |
| bb1: { |
| StorageDead(_2); |
| - switchInt(copy _1) -> [7: bb4, 42: bb3, otherwise: bb2]; |
| + switchInt(const <T as MyTrait>::ASSOC_INT) -> [7: bb4, 42: bb3, otherwise: bb2]; |
| } |
| |
| bb2: { |
| _0 = const "world"; |
| goto -> bb5; |
| } |
| |
| bb3: { |
| _0 = const "towel"; |
| goto -> bb5; |
| } |
| |
| bb4: { |
| _0 = const "hello"; |
| goto -> bb5; |
| } |
| |
| bb5: { |
| StorageDead(_1); |
| return; |
| } |
| } |
| |
| ALLOC0 (size: 5, align: 1) { |
| 77 6f 72 6c 64 │ world |
| } |
| |
| ALLOC1 (size: 5, align: 1) { |
| 74 6f 77 65 6c │ towel |
| } |
| |
| ALLOC2 (size: 5, align: 1) { |
| 68 65 6c 6c 6f │ hello |
| } |
| |