| // MIR for `main` after built |
| |
| | User Type Annotations |
| | 0: user_ty: Canonical { value: TypeOf(DefId(0:3 ~ issue_99325[22bb]::function_with_bytes), UserArgs { args: [&*b"AAAA"], user_self_ty: None }), max_universe: U0, variables: [] }, span: $DIR/issue_99325.rs:13:16: 13:46, inferred_ty: fn() -> &'static [u8] {function_with_bytes::<&*b"AAAA">} |
| | 1: user_ty: Canonical { value: TypeOf(DefId(0:3 ~ issue_99325[22bb]::function_with_bytes), UserArgs { args: [UnevaluatedConst { def: DefId(0:8 ~ issue_99325[22bb]::main::{constant#1}), args: [] }: &ReStatic [u8; 4_usize]], user_self_ty: None }), max_universe: U0, variables: [] }, span: $DIR/issue_99325.rs:14:16: 14:68, inferred_ty: fn() -> &'static [u8] {function_with_bytes::<&*b"AAAA">} |
| | |
| fn main() -> () { |
| let mut _0: (); |
| let _1: (); |
| let mut _2: (&&[u8], &&[u8; 4]); |
| let mut _3: &&[u8]; |
| let _4: &[u8]; |
| let mut _5: &&[u8; 4]; |
| let _6: &[u8; 4]; |
| let _7: [u8; 4]; |
| let _8: &&[u8]; |
| let _9: &&[u8; 4]; |
| let mut _10: bool; |
| let mut _11: &&[u8]; |
| let mut _12: &&[u8; 4]; |
| let mut _13: !; |
| let _15: !; |
| let mut _16: core::panicking::AssertKind; |
| let mut _17: &&[u8]; |
| let _18: &&[u8]; |
| let mut _19: &&[u8; 4]; |
| let _20: &&[u8; 4]; |
| let mut _21: std::option::Option<std::fmt::Arguments<'_>>; |
| let _22: (); |
| let mut _23: (&&[u8], &&[u8; 4]); |
| let mut _24: &&[u8]; |
| let _25: &[u8]; |
| let mut _26: &&[u8; 4]; |
| let _27: &[u8; 4]; |
| let _28: &&[u8]; |
| let _29: &&[u8; 4]; |
| let mut _30: bool; |
| let mut _31: &&[u8]; |
| let mut _32: &&[u8; 4]; |
| let mut _33: !; |
| let _35: !; |
| let mut _36: core::panicking::AssertKind; |
| let mut _37: &&[u8]; |
| let _38: &&[u8]; |
| let mut _39: &&[u8; 4]; |
| let _40: &&[u8; 4]; |
| let mut _41: std::option::Option<std::fmt::Arguments<'_>>; |
| scope 1 { |
| debug left_val => _8; |
| debug right_val => _9; |
| let _14: core::panicking::AssertKind; |
| scope 2 { |
| debug kind => _14; |
| } |
| } |
| scope 3 { |
| debug left_val => _28; |
| debug right_val => _29; |
| let _34: core::panicking::AssertKind; |
| scope 4 { |
| debug kind => _34; |
| } |
| } |
| |
| bb0: { |
| StorageLive(_1); |
| StorageLive(_2); |
| StorageLive(_3); |
| StorageLive(_4); |
| _4 = function_with_bytes::<&*b"AAAA">() -> [return: bb1, unwind: bb21]; |
| } |
| |
| bb1: { |
| _3 = &_4; |
| StorageLive(_5); |
| StorageLive(_6); |
| StorageLive(_7); |
| _7 = [const 65_u8, const 65_u8, const 65_u8, const 65_u8]; |
| _6 = &_7; |
| _5 = &_6; |
| _2 = (move _3, move _5); |
| StorageDead(_5); |
| StorageDead(_3); |
| PlaceMention(_2); |
| StorageLive(_8); |
| _8 = (_2.0: &&[u8]); |
| StorageLive(_9); |
| _9 = (_2.1: &&[u8; 4]); |
| StorageLive(_10); |
| StorageLive(_11); |
| _11 = &(*_8); |
| StorageLive(_12); |
| _12 = &(*_9); |
| _10 = <&[u8] as PartialEq<&[u8; 4]>>::eq(move _11, move _12) -> [return: bb2, unwind: bb21]; |
| } |
| |
| bb2: { |
| switchInt(move _10) -> [0: bb4, otherwise: bb3]; |
| } |
| |
| bb3: { |
| StorageDead(_12); |
| StorageDead(_11); |
| goto -> bb8; |
| } |
| |
| bb4: { |
| goto -> bb5; |
| } |
| |
| bb5: { |
| StorageDead(_12); |
| StorageDead(_11); |
| StorageLive(_14); |
| _14 = core::panicking::AssertKind::Eq; |
| FakeRead(ForLet(None), _14); |
| StorageLive(_15); |
| StorageLive(_16); |
| _16 = move _14; |
| StorageLive(_17); |
| StorageLive(_18); |
| _18 = &(*_8); |
| _17 = &(*_18); |
| StorageLive(_19); |
| StorageLive(_20); |
| _20 = &(*_9); |
| _19 = &(*_20); |
| StorageLive(_21); |
| _21 = Option::<Arguments<'_>>::None; |
| _15 = core::panicking::assert_failed::<&[u8], &[u8; 4]>(move _16, move _17, move _19, move _21) -> bb21; |
| } |
| |
| bb6: { |
| StorageDead(_21); |
| StorageDead(_19); |
| StorageDead(_17); |
| StorageDead(_16); |
| StorageDead(_20); |
| StorageDead(_18); |
| StorageDead(_15); |
| StorageDead(_14); |
| unreachable; |
| } |
| |
| bb7: { |
| goto -> bb9; |
| } |
| |
| bb8: { |
| _1 = const (); |
| goto -> bb9; |
| } |
| |
| bb9: { |
| StorageDead(_10); |
| StorageDead(_9); |
| StorageDead(_8); |
| goto -> bb10; |
| } |
| |
| bb10: { |
| StorageDead(_7); |
| StorageDead(_6); |
| StorageDead(_4); |
| StorageDead(_2); |
| StorageDead(_1); |
| StorageLive(_22); |
| StorageLive(_23); |
| StorageLive(_24); |
| StorageLive(_25); |
| _25 = function_with_bytes::<&*b"AAAA">() -> [return: bb11, unwind: bb21]; |
| } |
| |
| bb11: { |
| _24 = &_25; |
| StorageLive(_26); |
| StorageLive(_27); |
| _27 = const b"AAAA"; |
| _26 = &_27; |
| _23 = (move _24, move _26); |
| StorageDead(_26); |
| StorageDead(_24); |
| PlaceMention(_23); |
| StorageLive(_28); |
| _28 = (_23.0: &&[u8]); |
| StorageLive(_29); |
| _29 = (_23.1: &&[u8; 4]); |
| StorageLive(_30); |
| StorageLive(_31); |
| _31 = &(*_28); |
| StorageLive(_32); |
| _32 = &(*_29); |
| _30 = <&[u8] as PartialEq<&[u8; 4]>>::eq(move _31, move _32) -> [return: bb12, unwind: bb21]; |
| } |
| |
| bb12: { |
| switchInt(move _30) -> [0: bb14, otherwise: bb13]; |
| } |
| |
| bb13: { |
| StorageDead(_32); |
| StorageDead(_31); |
| goto -> bb18; |
| } |
| |
| bb14: { |
| goto -> bb15; |
| } |
| |
| bb15: { |
| StorageDead(_32); |
| StorageDead(_31); |
| StorageLive(_34); |
| _34 = core::panicking::AssertKind::Eq; |
| FakeRead(ForLet(None), _34); |
| StorageLive(_35); |
| StorageLive(_36); |
| _36 = move _34; |
| StorageLive(_37); |
| StorageLive(_38); |
| _38 = &(*_28); |
| _37 = &(*_38); |
| StorageLive(_39); |
| StorageLive(_40); |
| _40 = &(*_29); |
| _39 = &(*_40); |
| StorageLive(_41); |
| _41 = Option::<Arguments<'_>>::None; |
| _35 = core::panicking::assert_failed::<&[u8], &[u8; 4]>(move _36, move _37, move _39, move _41) -> bb21; |
| } |
| |
| bb16: { |
| StorageDead(_41); |
| StorageDead(_39); |
| StorageDead(_37); |
| StorageDead(_36); |
| StorageDead(_40); |
| StorageDead(_38); |
| StorageDead(_35); |
| StorageDead(_34); |
| unreachable; |
| } |
| |
| bb17: { |
| goto -> bb19; |
| } |
| |
| bb18: { |
| _22 = const (); |
| goto -> bb19; |
| } |
| |
| bb19: { |
| StorageDead(_30); |
| StorageDead(_29); |
| StorageDead(_28); |
| goto -> bb20; |
| } |
| |
| bb20: { |
| StorageDead(_27); |
| StorageDead(_25); |
| StorageDead(_23); |
| StorageDead(_22); |
| _0 = const (); |
| return; |
| } |
| |
| bb21 (cleanup): { |
| resume; |
| } |
| } |
| |
| ALLOC0 (size: 4, align: 1) { |
| 41 41 41 41 │ AAAA |
| } |
