2024-06-02 21:41:00 -05:00
|
|
|
- // MIR for `match_const` before SingleUseConsts
|
|
|
|
+ // MIR for `match_const` after SingleUseConsts
|
|
|
|
|
|
|
|
fn match_const() -> &str {
|
|
|
|
let mut _0: &str;
|
|
|
|
let mut _1: i32;
|
|
|
|
|
|
|
|
bb0: {
|
|
|
|
StorageLive(_1);
|
|
|
|
- _1 = const <T as MyTrait>::ASSOC_INT;
|
2024-08-18 16:26:34 -05:00
|
|
|
- switchInt(copy _1) -> [7: bb3, 42: bb2, otherwise: bb1];
|
2024-06-02 21:41:00 -05:00
|
|
|
+ nop;
|
2024-06-23 08:54:42 -05:00
|
|
|
+ switchInt(const <T as MyTrait>::ASSOC_INT) -> [7: bb3, 42: bb2, otherwise: bb1];
|
2024-06-02 21:41:00 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
bb1: {
|
|
|
|
_0 = const "world";
|
|
|
|
goto -> bb4;
|
|
|
|
}
|
|
|
|
|
|
|
|
bb2: {
|
2024-06-23 08:54:42 -05:00
|
|
|
_0 = const "towel";
|
2024-06-02 21:41:00 -05:00
|
|
|
goto -> bb4;
|
|
|
|
}
|
|
|
|
|
|
|
|
bb3: {
|
2024-06-23 08:54:42 -05:00
|
|
|
_0 = const "hello";
|
2024-06-02 21:41:00 -05:00
|
|
|
goto -> bb4;
|
|
|
|
}
|
|
|
|
|
|
|
|
bb4: {
|
|
|
|
StorageDead(_1);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|