Skip to content

Instantly share code, notes, and snippets.

@spastorino

spastorino/gist:36af6c8d7a31fc325ad8fe591202f9c7 Secret

Last active April 16, 2020 20:50
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save spastorino/36af6c8d7a31fc325ad8fe591202f9c7 to your computer and use it in GitHub Desktop.
Save spastorino/36af6c8d7a31fc325ad8fe591202f9c7 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
// MIR for `main` 0 mir_map
| User Type Annotations
| 0: Canonical { max_universe: U0, variables: [CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U0) }], value: TypeOf(DefId(2:6000 ~ core[a8ff]::fmt[0]::{{impl}}[2]::new_v1[0]), UserSubsts { substs: [ReLateBound(DebruijnIndex(0), BrAnon(0))], user_self_ty: Some(UserSelfTy { impl_def_id: DefId(2:5998 ~ core[a8ff]::fmt[0]::{{impl}}[2]), self_ty: std::fmt::Arguments<'_> }) }) } at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
| 1: Canonical { max_universe: U0, variables: [CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Region(U0) }], value: TypeOf(DefId(2:6000 ~ core[a8ff]::fmt[0]::{{impl}}[2]::new_v1[0]), UserSubsts { substs: [ReLateBound(DebruijnIndex(0), BrAnon(0))], user_self_ty: Some(UserSelfTy { impl_def_id: DefId(2:5998 ~ core[a8ff]::fmt[0]::{{impl}}[2]), self_ty: std::fmt::Arguments<'_> }) }) } at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
| 2: Canonical { max_universe: U0, variables: [CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Ty(General(U0)) }, CanonicalVarInfo { kind: Region(U0) }], value: TypeOf(DefId(2:5993 ~ core[a8ff]::fmt[0]::{{impl}}[1]::new[0]), UserSubsts { substs: [ReLateBound(DebruijnIndex(0), BrAnon(0)), ^1], user_self_ty: Some(UserSelfTy { impl_def_id: DefId(2:5991 ~ core[a8ff]::fmt[0]::{{impl}}[1]), self_ty: std::fmt::ArgumentV1<'_> }) }) } at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
| 3: Canonical { max_universe: U0, variables: [CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Ty(General(U0)) }, CanonicalVarInfo { kind: Region(U0) }], value: TypeOf(DefId(2:5993 ~ core[a8ff]::fmt[0]::{{impl}}[1]::new[0]), UserSubsts { substs: [ReLateBound(DebruijnIndex(0), BrAnon(0)), ^1], user_self_ty: Some(UserSelfTy { impl_def_id: DefId(2:5991 ~ core[a8ff]::fmt[0]::{{impl}}[1]), self_ty: std::fmt::ArgumentV1<'_> }) }) } at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
| 4: Canonical { max_universe: U0, variables: [CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Ty(General(U0)) }, CanonicalVarInfo { kind: Region(U0) }], value: TypeOf(DefId(2:5993 ~ core[a8ff]::fmt[0]::{{impl}}[1]::new[0]), UserSubsts { substs: [ReLateBound(DebruijnIndex(0), BrAnon(0)), ^1], user_self_ty: Some(UserSelfTy { impl_def_id: DefId(2:5991 ~ core[a8ff]::fmt[0]::{{impl}}[1]), self_ty: std::fmt::ArgumentV1<'_> }) }) } at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
| 5: Canonical { max_universe: U0, variables: [CanonicalVarInfo { kind: Region(U0) }, CanonicalVarInfo { kind: Ty(General(U0)) }, CanonicalVarInfo { kind: Region(U0) }], value: TypeOf(DefId(2:5993 ~ core[a8ff]::fmt[0]::{{impl}}[1]::new[0]), UserSubsts { substs: [ReLateBound(DebruijnIndex(0), BrAnon(0)), ^1], user_self_ty: Some(UserSelfTy { impl_def_id: DefId(2:5991 ~ core[a8ff]::fmt[0]::{{impl}}[1]), self_ty: std::fmt::ArgumentV1<'_> }) }) } at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
|
fn main() -> () {
let mut _0: (); // return place in scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:21:11: 21:11
let _1: *const A; // in scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:22:9: 22:13
let mut _2: std::boxed::Box<dyn std::ops::FnOnce() -> *const A>; // in scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:22:16: 22:21
let mut _3: (); // in scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:22:16: 22:23
let _4: (); // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:85:9: 97:10
let mut _5: (&usize, &usize); // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:85:15: 85:36
let mut _6: &usize; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:85:16: 85:24
let _7: usize; // in scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:23:16: 23:35
let mut _8: usize; // in scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:23:16: 23:29
let mut _9: *const A; // in scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:23:16: 23:20
let mut _10: bool; // in scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:23:16: 23:35
let mut _11: &usize; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:85:26: 85:35
let _12: usize; // in scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:23:37: 23:38
let mut _15: bool; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:20: 87:46
let mut _16: bool; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:21: 87:46
let mut _17: usize; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:22: 87:31
let mut _18: usize; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:35: 87:45
let mut _19: !; // in scope 0 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:9: 16:75
let mut _20: &std::fmt::Arguments; // in scope 0 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:37: 16:74
let _21: &std::fmt::Arguments; // in scope 0 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:37: 16:74
let _22: std::fmt::Arguments; // in scope 0 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
let mut _23: &[&str]; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
let mut _24: &[&str; 3]; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
let _25: &[&str; 3]; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
let _26: [&str; 3]; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
let mut _27: &str; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
let _28: &str; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
let mut _29: &str; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
let _30: &str; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
let mut _31: &str; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
let _32: &str; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
let mut _33: &[std::fmt::ArgumentV1]; // in scope 0 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
let mut _34: &[std::fmt::ArgumentV1; 3]; // in scope 0 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
let _35: &[std::fmt::ArgumentV1; 3]; // in scope 0 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
let _36: [std::fmt::ArgumentV1; 3]; // in scope 0 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
let mut _37: (&&usize, &&usize, &std::fmt::Arguments); // in scope 0 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
let mut _38: &&usize; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:23: 93:33
let _39: &usize; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:23: 93:33
let mut _40: &&usize; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:35: 93:46
let _41: &usize; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:35: 93:46
let mut _42: &std::fmt::Arguments; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
let _43: std::fmt::Arguments; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
let mut _44: &[&str]; // in scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:23:40: 23:52
let mut _45: &[&str; 1]; // in scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:23:40: 23:52
let _46: &[&str; 1]; // in scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:23:40: 23:52
let _47: [&str; 1]; // in scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:23:40: 23:52
let mut _48: &str; // in scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:23:40: 23:52
let _49: &str; // in scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:23:40: 23:52
let mut _50: &[std::fmt::ArgumentV1]; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
let mut _51: &[std::fmt::ArgumentV1; 1]; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
let _52: &[std::fmt::ArgumentV1; 1]; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
let _53: [std::fmt::ArgumentV1; 1]; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
let mut _54: (&*const A,); // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
let mut _55: &*const A; // in scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:23:54: 23:58
let mut _57: std::fmt::ArgumentV1; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
let mut _58: &*const A; // in scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:23:54: 23:58
let mut _59: for<'r, 's, 't0> fn(&'r *const A, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>; // in scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:23:54: 23:58
let mut _63: std::fmt::ArgumentV1; // in scope 0 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
let mut _64: &&usize; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:23: 93:33
let mut _65: for<'r, 's, 't0> fn(&'r &usize, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:23: 93:33
let mut _66: std::fmt::ArgumentV1; // in scope 0 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
let mut _67: &&usize; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:35: 93:46
let mut _68: for<'r, 's, 't0> fn(&'r &usize, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:35: 93:46
let mut _69: std::fmt::ArgumentV1; // in scope 0 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
let mut _70: &std::fmt::Arguments; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
let mut _71: for<'r, 's, 't0> fn(&'r std::fmt::Arguments, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>; // in scope 0 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
scope 1 {
debug addr => _1; // in scope 1 at src/test/ui/fn/dyn-fn-alignment.rs:22:9: 22:13
let _13: &usize; // in scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:86:14: 86:22
let _14: &usize; // in scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:86:24: 86:33
scope 2 {
debug left_val => _13; // in scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:86:14: 86:22
debug right_val => _14; // in scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:86:24: 86:33
let _56: &*const A; // in scope 2 at src/test/ui/fn/dyn-fn-alignment.rs:23:54: 23:58
let _60: &&usize; // in scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:23: 93:33
let _61: &&usize; // in scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:35: 93:46
let _62: &std::fmt::Arguments; // in scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
scope 3 {
debug arg0 => _56; // in scope 3 at src/test/ui/fn/dyn-fn-alignment.rs:23:54: 23:58
}
scope 4 {
debug arg0 => _60; // in scope 4 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:23: 93:33
debug arg1 => _61; // in scope 4 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:35: 93:46
debug arg2 => _62; // in scope 4 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
}
}
}
bb0: {
StorageLive(_1); // bb0[0]: scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:22:9: 22:13
StorageLive(_2); // bb0[1]: scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:22:16: 22:21
_2 = const f2(const 0u8) -> [return: bb2, unwind: bb1]; // bb0[2]: scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:22:16: 22:21
// ty::Const
// + ty: fn(u8) -> std::boxed::Box<(dyn std::ops::FnOnce() -> *const A + 'static)> {f2}
// + val: Value(Scalar(<ZST>))
// mir::Constant
// + span: src/test/ui/fn/dyn-fn-alignment.rs:22:16: 22:18
// + literal: Const { ty: fn(u8) -> std::boxed::Box<(dyn std::ops::FnOnce() -> *const A + 'static)> {f2}, val: Value(Scalar(<ZST>)) }
// ty::Const
// + ty: u8
// + val: Value(Scalar(0x00))
// mir::Constant
// + span: src/test/ui/fn/dyn-fn-alignment.rs:22:19: 22:20
// + literal: Const { ty: u8, val: Value(Scalar(0x00)) }
}
bb1 (cleanup): {
resume; // bb1[0]: scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:21:1: 24:2
}
bb2: {
StorageLive(_3); // bb2[0]: scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:22:16: 22:23
_3 = (); // bb2[1]: scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:22:16: 22:23
_1 = const <std::boxed::Box<dyn std::ops::FnOnce() -> *const A> as std::ops::FnOnce<()>>::call_once(move _2, move _3) -> [return: bb3, unwind: bb4]; // bb2[2]: scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:22:16: 22:23
// ty::Const
// + ty: extern "rust-call" fn(std::boxed::Box<dyn std::ops::FnOnce() -> *const A>, ()) -> <std::boxed::Box<dyn std::ops::FnOnce() -> *const A> as std::ops::FnOnce<()>>::Output {<std::boxed::Box<dyn std::ops::FnOnce() -> *const A> as std::ops::FnOnce<()>>::call_once}
// + val: Value(Scalar(<ZST>))
// mir::Constant
// + span: src/test/ui/fn/dyn-fn-alignment.rs:22:16: 22:21
// + literal: Const { ty: extern "rust-call" fn(std::boxed::Box<dyn std::ops::FnOnce() -> *const A>, ()) -> <std::boxed::Box<dyn std::ops::FnOnce() -> *const A> as std::ops::FnOnce<()>>::Output {<std::boxed::Box<dyn std::ops::FnOnce() -> *const A> as std::ops::FnOnce<()>>::call_once}, val: Value(Scalar(<ZST>)) }
}
bb3: {
StorageDead(_3); // bb3[0]: scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:22:22: 22:23
StorageDead(_2); // bb3[1]: scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:22:22: 22:23
FakeRead(ForLet, _1); // bb3[2]: scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:22:9: 22:13
StorageLive(_4); // bb3[3]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:84:48: 98:6
StorageLive(_5); // bb3[4]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:85:15: 85:36
StorageLive(_6); // bb3[5]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:85:16: 85:24
StorageLive(_7); // bb3[6]: scope 1 at src/test/ui/fn/dyn-fn-alignment.rs:23:16: 23:35
StorageLive(_8); // bb3[7]: scope 1 at src/test/ui/fn/dyn-fn-alignment.rs:23:16: 23:29
StorageLive(_9); // bb3[8]: scope 1 at src/test/ui/fn/dyn-fn-alignment.rs:23:16: 23:20
_9 = _1; // bb3[9]: scope 1 at src/test/ui/fn/dyn-fn-alignment.rs:23:16: 23:20
_8 = move _9 as usize (Misc); // bb3[10]: scope 1 at src/test/ui/fn/dyn-fn-alignment.rs:23:16: 23:29
StorageDead(_9); // bb3[11]: scope 1 at src/test/ui/fn/dyn-fn-alignment.rs:23:28: 23:29
_10 = Eq(const 256usize, const 0usize); // bb3[12]: scope 1 at src/test/ui/fn/dyn-fn-alignment.rs:23:16: 23:35
// ty::Const
// + ty: usize
// + val: Value(Scalar(0x0000000000000100))
// mir::Constant
// + span: src/test/ui/fn/dyn-fn-alignment.rs:23:32: 23:35
// + literal: Const { ty: usize, val: Value(Scalar(0x0000000000000100)) }
// ty::Const
// + ty: usize
// + val: Value(Scalar(0x0000000000000000))
// mir::Constant
// + span: src/test/ui/fn/dyn-fn-alignment.rs:23:16: 23:35
// + literal: Const { ty: usize, val: Value(Scalar(0x0000000000000000)) }
assert(!move _10, "attempt to calculate the remainder with a divisor of zero") -> [success: bb5, unwind: bb1]; // bb3[13]: scope 1 at src/test/ui/fn/dyn-fn-alignment.rs:23:16: 23:35
}
bb4 (cleanup): {
drop(_2) -> bb1; // bb4[0]: scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:22:22: 22:23
}
bb5: {
_7 = Rem(move _8, const 256usize); // bb5[0]: scope 1 at src/test/ui/fn/dyn-fn-alignment.rs:23:16: 23:35
// ty::Const
// + ty: usize
// + val: Value(Scalar(0x0000000000000100))
// mir::Constant
// + span: src/test/ui/fn/dyn-fn-alignment.rs:23:32: 23:35
// + literal: Const { ty: usize, val: Value(Scalar(0x0000000000000100)) }
StorageDead(_8); // bb5[1]: scope 1 at src/test/ui/fn/dyn-fn-alignment.rs:23:34: 23:35
_6 = &_7; // bb5[2]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:85:16: 85:24
StorageLive(_11); // bb5[3]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:85:26: 85:35
StorageLive(_12); // bb5[4]: scope 1 at src/test/ui/fn/dyn-fn-alignment.rs:23:37: 23:38
_12 = const 0usize; // bb5[5]: scope 1 at src/test/ui/fn/dyn-fn-alignment.rs:23:37: 23:38
// ty::Const
// + ty: usize
// + val: Value(Scalar(0x0000000000000000))
// mir::Constant
// + span: src/test/ui/fn/dyn-fn-alignment.rs:23:37: 23:38
// + literal: Const { ty: usize, val: Value(Scalar(0x0000000000000000)) }
_11 = &_12; // bb5[6]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:85:26: 85:35
_5 = (move _6, move _11); // bb5[7]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:85:15: 85:36
StorageDead(_11); // bb5[8]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:85:35: 85:36
StorageDead(_6); // bb5[9]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:85:35: 85:36
FakeRead(ForMatchedPlace, _5); // bb5[10]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:85:15: 85:36
StorageLive(_13); // bb5[11]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:86:14: 86:22
_13 = (_5.0: &usize); // bb5[12]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:86:14: 86:22
StorageLive(_14); // bb5[13]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:86:24: 86:33
_14 = (_5.1: &usize); // bb5[14]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:86:24: 86:33
StorageLive(_15); // bb5[15]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:20: 87:46
StorageLive(_16); // bb5[16]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:21: 87:46
StorageLive(_17); // bb5[17]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:22: 87:31
_17 = (*_13); // bb5[18]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:22: 87:31
StorageLive(_18); // bb5[19]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:35: 87:45
_18 = (*_14); // bb5[20]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:35: 87:45
_16 = Eq(move _17, move _18); // bb5[21]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:21: 87:46
StorageDead(_18); // bb5[22]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:45: 87:46
StorageDead(_17); // bb5[23]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:45: 87:46
_15 = Not(move _16); // bb5[24]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:20: 87:46
StorageDead(_16); // bb5[25]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:45: 87:46
FakeRead(ForMatchedPlace, _15); // bb5[26]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:20: 87:46
switchInt(_15) -> [false: bb7, otherwise: bb6]; // bb5[27]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:17: 95:18
}
bb6: {
falseEdges -> [real: bb8, imaginary: bb7]; // bb6[0]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:17: 95:18
}
bb7: {
_4 = (); // bb7[0]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:17: 95:18
goto -> bb18; // bb7[1]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:17: 95:18
}
bb8: {
StorageLive(_19); // bb8[0]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:9: 16:75
StorageLive(_20); // bb8[1]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:37: 16:74
StorageLive(_21); // bb8[2]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:37: 16:74
StorageLive(_22); // bb8[3]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
StorageLive(_23); // bb8[4]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
StorageLive(_24); // bb8[5]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
StorageLive(_25); // bb8[6]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
StorageLive(_26); // bb8[7]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
StorageLive(_27); // bb8[8]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
StorageLive(_28); // bb8[9]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
_28 = const "assertion failed: `(left == right)`\n left: `"; // bb8[10]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
// ty::Const
// + ty: &str
// + val: Value(Slice { data: Allocation { bytes: [97, 115, 115, 101, 114, 116, 105, 111, 110, 32, 102, 97, 105, 108, 101, 100, 58, 32, 96, 40, 108, 101, 102, 116, 32, 61, 61, 32, 114, 105, 103, 104, 116, 41, 96, 10, 32, 32, 108, 101, 102, 116, 58, 32, 96], relocations: Relocations(SortedMap { data: [] }), undef_mask: UndefMask { blocks: [35184372088831], len: Size { raw: 45 } }, size: Size { raw: 45 }, align: Align { pow2: 0 }, mutability: Not, extra: () }, start: 0, end: 45 })
// mir::Constant
// + span: /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
// + literal: Const { ty: &str, val: Value(Slice { data: Allocation { bytes: [97, 115, 115, 101, 114, 116, 105, 111, 110, 32, 102, 97, 105, 108, 101, 100, 58, 32, 96, 40, 108, 101, 102, 116, 32, 61, 61, 32, 114, 105, 103, 104, 116, 41, 96, 10, 32, 32, 108, 101, 102, 116, 58, 32, 96], relocations: Relocations(SortedMap { data: [] }), undef_mask: UndefMask { blocks: [35184372088831], len: Size { raw: 45 } }, size: Size { raw: 45 }, align: Align { pow2: 0 }, mutability: Not, extra: () }, start: 0, end: 45 }) }
_27 = &(*_28); // bb8[11]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
StorageLive(_29); // bb8[12]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
StorageLive(_30); // bb8[13]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
_30 = const "`,\n right: `"; // bb8[14]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
// ty::Const
// + ty: &str
// + val: Value(Slice { data: Allocation { bytes: [96, 44, 10, 32, 114, 105, 103, 104, 116, 58, 32, 96], relocations: Relocations(SortedMap { data: [] }), undef_mask: UndefMask { blocks: [4095], len: Size { raw: 12 } }, size: Size { raw: 12 }, align: Align { pow2: 0 }, mutability: Not, extra: () }, start: 0, end: 12 })
// mir::Constant
// + span: /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
// + literal: Const { ty: &str, val: Value(Slice { data: Allocation { bytes: [96, 44, 10, 32, 114, 105, 103, 104, 116, 58, 32, 96], relocations: Relocations(SortedMap { data: [] }), undef_mask: UndefMask { blocks: [4095], len: Size { raw: 12 } }, size: Size { raw: 12 }, align: Align { pow2: 0 }, mutability: Not, extra: () }, start: 0, end: 12 }) }
_29 = &(*_30); // bb8[15]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
StorageLive(_31); // bb8[16]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
StorageLive(_32); // bb8[17]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
_32 = const "`: "; // bb8[18]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
// ty::Const
// + ty: &str
// + val: Value(Slice { data: Allocation { bytes: [96, 58, 32], relocations: Relocations(SortedMap { data: [] }), undef_mask: UndefMask { blocks: [7], len: Size { raw: 3 } }, size: Size { raw: 3 }, align: Align { pow2: 0 }, mutability: Not, extra: () }, start: 0, end: 3 })
// mir::Constant
// + span: /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
// + literal: Const { ty: &str, val: Value(Slice { data: Allocation { bytes: [96, 58, 32], relocations: Relocations(SortedMap { data: [] }), undef_mask: UndefMask { blocks: [7], len: Size { raw: 3 } }, size: Size { raw: 3 }, align: Align { pow2: 0 }, mutability: Not, extra: () }, start: 0, end: 3 }) }
_31 = &(*_32); // bb8[19]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
_26 = [move _27, move _29, move _31]; // bb8[20]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
StorageDead(_31); // bb8[21]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:20: 93:21
StorageDead(_29); // bb8[22]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:20: 93:21
StorageDead(_27); // bb8[23]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:20: 93:21
_25 = &_26; // bb8[24]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
_24 = &(*_25); // bb8[25]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
_23 = move _24 as &[&str] (Pointer(Unsize)); // bb8[26]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:91:28: 93:21
StorageDead(_24); // bb8[27]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:20: 93:21
StorageLive(_33); // bb8[28]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
StorageLive(_34); // bb8[29]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
StorageLive(_35); // bb8[30]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
StorageLive(_36); // bb8[31]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
StorageLive(_37); // bb8[32]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
StorageLive(_38); // bb8[33]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:23: 93:33
StorageLive(_39); // bb8[34]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:23: 93:33
_39 = &(*_13); // bb8[35]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:23: 93:33
_38 = &_39; // bb8[36]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:23: 93:33
StorageLive(_40); // bb8[37]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:35: 93:46
StorageLive(_41); // bb8[38]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:35: 93:46
_41 = &(*_14); // bb8[39]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:35: 93:46
_40 = &_41; // bb8[40]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:35: 93:46
StorageLive(_42); // bb8[41]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
StorageLive(_43); // bb8[42]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
StorageLive(_44); // bb8[43]: scope 2 at src/test/ui/fn/dyn-fn-alignment.rs:23:40: 23:52
StorageLive(_45); // bb8[44]: scope 2 at src/test/ui/fn/dyn-fn-alignment.rs:23:40: 23:52
StorageLive(_46); // bb8[45]: scope 2 at src/test/ui/fn/dyn-fn-alignment.rs:23:40: 23:52
StorageLive(_47); // bb8[46]: scope 2 at src/test/ui/fn/dyn-fn-alignment.rs:23:40: 23:52
StorageLive(_48); // bb8[47]: scope 2 at src/test/ui/fn/dyn-fn-alignment.rs:23:40: 23:52
StorageLive(_49); // bb8[48]: scope 2 at src/test/ui/fn/dyn-fn-alignment.rs:23:40: 23:52
_49 = const "addr: "; // bb8[49]: scope 2 at src/test/ui/fn/dyn-fn-alignment.rs:23:40: 23:52
// ty::Const
// + ty: &str
// + val: Value(Slice { data: Allocation { bytes: [97, 100, 100, 114, 58, 32], relocations: Relocations(SortedMap { data: [] }), undef_mask: UndefMask { blocks: [63], len: Size { raw: 6 } }, size: Size { raw: 6 }, align: Align { pow2: 0 }, mutability: Not, extra: () }, start: 0, end: 6 })
// mir::Constant
// + span: src/test/ui/fn/dyn-fn-alignment.rs:23:40: 23:52
// + literal: Const { ty: &str, val: Value(Slice { data: Allocation { bytes: [97, 100, 100, 114, 58, 32], relocations: Relocations(SortedMap { data: [] }), undef_mask: UndefMask { blocks: [63], len: Size { raw: 6 } }, size: Size { raw: 6 }, align: Align { pow2: 0 }, mutability: Not, extra: () }, start: 0, end: 6 }) }
_48 = &(*_49); // bb8[50]: scope 2 at src/test/ui/fn/dyn-fn-alignment.rs:23:40: 23:52
_47 = [move _48]; // bb8[51]: scope 2 at src/test/ui/fn/dyn-fn-alignment.rs:23:40: 23:52
StorageDead(_48); // bb8[52]: scope 2 at src/test/ui/fn/dyn-fn-alignment.rs:23:51: 23:52
_46 = &_47; // bb8[53]: scope 2 at src/test/ui/fn/dyn-fn-alignment.rs:23:40: 23:52
_45 = &(*_46); // bb8[54]: scope 2 at src/test/ui/fn/dyn-fn-alignment.rs:23:40: 23:52
_44 = move _45 as &[&str] (Pointer(Unsize)); // bb8[55]: scope 2 at src/test/ui/fn/dyn-fn-alignment.rs:23:40: 23:52
StorageDead(_45); // bb8[56]: scope 2 at src/test/ui/fn/dyn-fn-alignment.rs:23:51: 23:52
StorageLive(_50); // bb8[57]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
StorageLive(_51); // bb8[58]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
StorageLive(_52); // bb8[59]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
StorageLive(_53); // bb8[60]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
StorageLive(_54); // bb8[61]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
StorageLive(_55); // bb8[62]: scope 2 at src/test/ui/fn/dyn-fn-alignment.rs:23:54: 23:58
_55 = &_1; // bb8[63]: scope 2 at src/test/ui/fn/dyn-fn-alignment.rs:23:54: 23:58
_54 = (move _55,); // bb8[64]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
StorageDead(_55); // bb8[65]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:57: 94:58
FakeRead(ForMatchedPlace, _54); // bb8[66]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
StorageLive(_56); // bb8[67]: scope 2 at src/test/ui/fn/dyn-fn-alignment.rs:23:54: 23:58
_56 = (_54.0: &*const A); // bb8[68]: scope 2 at src/test/ui/fn/dyn-fn-alignment.rs:23:54: 23:58
StorageLive(_57); // bb8[69]: scope 3 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
StorageLive(_58); // bb8[70]: scope 3 at src/test/ui/fn/dyn-fn-alignment.rs:23:54: 23:58
_58 = &(*_56); // bb8[71]: scope 3 at src/test/ui/fn/dyn-fn-alignment.rs:23:54: 23:58
StorageLive(_59); // bb8[72]: scope 3 at src/test/ui/fn/dyn-fn-alignment.rs:23:54: 23:58
_59 = const <*const A as std::fmt::Debug>::fmt as for<'r, 's, 't0> fn(&'r *const A, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)); // bb8[73]: scope 3 at src/test/ui/fn/dyn-fn-alignment.rs:23:54: 23:58
// ty::Const
// + ty: for<'r, 's, 't0> fn(&'r *const A, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {<*const A as std::fmt::Debug>::fmt}
// + val: Value(Scalar(<ZST>))
// mir::Constant
// + span: src/test/ui/fn/dyn-fn-alignment.rs:23:54: 23:58
// + literal: Const { ty: for<'r, 's, 't0> fn(&'r *const A, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {<*const A as std::fmt::Debug>::fmt}, val: Value(Scalar(<ZST>)) }
_57 = const std::fmt::ArgumentV1::new::<*const A>(move _58, move _59) -> [return: bb9, unwind: bb1]; // bb8[74]: scope 3 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
// ty::Const
// + ty: for<'b> fn(&'b *const A, for<'r, 's, 't0> fn(&'r *const A, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> std::fmt::ArgumentV1<'b> {std::fmt::ArgumentV1::new::<*const A>}
// + val: Value(Scalar(<ZST>))
// mir::Constant
// + span: /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
// + user_ty: UserType(2)
// + literal: Const { ty: for<'b> fn(&'b *const A, for<'r, 's, 't0> fn(&'r *const A, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> std::fmt::ArgumentV1<'b> {std::fmt::ArgumentV1::new::<*const A>}, val: Value(Scalar(<ZST>)) }
}
bb9: {
StorageDead(_59); // bb9[0]: scope 3 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:57: 94:58
StorageDead(_58); // bb9[1]: scope 3 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:57: 94:58
_53 = [move _57]; // bb9[2]: scope 3 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
StorageDead(_57); // bb9[3]: scope 3 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:57: 94:58
StorageDead(_56); // bb9[4]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:57: 94:58
goto -> bb10; // bb9[5]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
}
bb10: {
_52 = &_53; // bb10[0]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
_51 = &(*_52); // bb10[1]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
_50 = move _51 as &[std::fmt::ArgumentV1] (Pointer(Unsize)); // bb10[2]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
StorageDead(_51); // bb10[3]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:57: 94:58
_43 = const std::fmt::Arguments::new_v1(move _44, move _50) -> [return: bb11, unwind: bb1]; // bb10[4]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
// ty::Const
// + ty: fn(&[&str], &[std::fmt::ArgumentV1]) -> std::fmt::Arguments {std::fmt::Arguments::new_v1}
// + val: Value(Scalar(<ZST>))
// mir::Constant
// + span: /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
// + user_ty: UserType(1)
// + literal: Const { ty: fn(&[&str], &[std::fmt::ArgumentV1]) -> std::fmt::Arguments {std::fmt::Arguments::new_v1}, val: Value(Scalar(<ZST>)) }
}
bb11: {
StorageDead(_50); // bb11[0]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:57: 94:58
StorageDead(_44); // bb11[1]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:57: 94:58
_42 = &_43; // bb11[2]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
_37 = (move _38, move _40, move _42); // bb11[3]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
StorageDead(_42); // bb11[4]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:73: 16:74
StorageDead(_40); // bb11[5]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:73: 16:74
StorageDead(_38); // bb11[6]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:73: 16:74
FakeRead(ForMatchedPlace, _37); // bb11[7]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
StorageLive(_60); // bb11[8]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:23: 93:33
_60 = (_37.0: &&usize); // bb11[9]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:23: 93:33
StorageLive(_61); // bb11[10]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:35: 93:46
_61 = (_37.1: &&usize); // bb11[11]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:35: 93:46
StorageLive(_62); // bb11[12]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
_62 = (_37.2: &std::fmt::Arguments); // bb11[13]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
StorageLive(_63); // bb11[14]: scope 4 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
StorageLive(_64); // bb11[15]: scope 4 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:23: 93:33
_64 = &(*_60); // bb11[16]: scope 4 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:23: 93:33
StorageLive(_65); // bb11[17]: scope 4 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:23: 93:33
_65 = const <&usize as std::fmt::Debug>::fmt as for<'r, 's, 't0> fn(&'r &usize, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)); // bb11[18]: scope 4 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:23: 93:33
// ty::Const
// + ty: for<'r, 's, 't0> fn(&'r &usize, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {<&usize as std::fmt::Debug>::fmt}
// + val: Value(Scalar(<ZST>))
// mir::Constant
// + span: /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:23: 93:33
// + literal: Const { ty: for<'r, 's, 't0> fn(&'r &usize, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {<&usize as std::fmt::Debug>::fmt}, val: Value(Scalar(<ZST>)) }
_63 = const std::fmt::ArgumentV1::new::<&usize>(move _64, move _65) -> [return: bb12, unwind: bb1]; // bb11[19]: scope 4 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
// ty::Const
// + ty: for<'b> fn(&'b &usize, for<'r, 's, 't0> fn(&'r &usize, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> std::fmt::ArgumentV1<'b> {std::fmt::ArgumentV1::new::<&usize>}
// + val: Value(Scalar(<ZST>))
// mir::Constant
// + span: /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
// + user_ty: UserType(3)
// + literal: Const { ty: for<'b> fn(&'b &usize, for<'r, 's, 't0> fn(&'r &usize, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> std::fmt::ArgumentV1<'b> {std::fmt::ArgumentV1::new::<&usize>}, val: Value(Scalar(<ZST>)) }
}
bb12: {
StorageDead(_65); // bb12[0]: scope 4 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:73: 16:74
StorageDead(_64); // bb12[1]: scope 4 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:73: 16:74
StorageLive(_66); // bb12[2]: scope 4 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
StorageLive(_67); // bb12[3]: scope 4 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:35: 93:46
_67 = &(*_61); // bb12[4]: scope 4 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:35: 93:46
StorageLive(_68); // bb12[5]: scope 4 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:35: 93:46
_68 = const <&usize as std::fmt::Debug>::fmt as for<'r, 's, 't0> fn(&'r &usize, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)); // bb12[6]: scope 4 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:35: 93:46
// ty::Const
// + ty: for<'r, 's, 't0> fn(&'r &usize, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {<&usize as std::fmt::Debug>::fmt}
// + val: Value(Scalar(<ZST>))
// mir::Constant
// + span: /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:93:35: 93:46
// + literal: Const { ty: for<'r, 's, 't0> fn(&'r &usize, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {<&usize as std::fmt::Debug>::fmt}, val: Value(Scalar(<ZST>)) }
_66 = const std::fmt::ArgumentV1::new::<&usize>(move _67, move _68) -> [return: bb13, unwind: bb1]; // bb12[7]: scope 4 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
// ty::Const
// + ty: for<'b> fn(&'b &usize, for<'r, 's, 't0> fn(&'r &usize, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> std::fmt::ArgumentV1<'b> {std::fmt::ArgumentV1::new::<&usize>}
// + val: Value(Scalar(<ZST>))
// mir::Constant
// + span: /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
// + user_ty: UserType(4)
// + literal: Const { ty: for<'b> fn(&'b &usize, for<'r, 's, 't0> fn(&'r &usize, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> std::fmt::ArgumentV1<'b> {std::fmt::ArgumentV1::new::<&usize>}, val: Value(Scalar(<ZST>)) }
}
bb13: {
StorageDead(_68); // bb13[0]: scope 4 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:73: 16:74
StorageDead(_67); // bb13[1]: scope 4 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:73: 16:74
StorageLive(_69); // bb13[2]: scope 4 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
StorageLive(_70); // bb13[3]: scope 4 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
_70 = &(*_62); // bb13[4]: scope 4 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
StorageLive(_71); // bb13[5]: scope 4 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
_71 = const <std::fmt::Arguments as std::fmt::Display>::fmt as for<'r, 's, 't0> fn(&'r std::fmt::Arguments, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (Pointer(ReifyFnPointer)); // bb13[6]: scope 4 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
// ty::Const
// + ty: for<'r, 's, 't0> fn(&'r std::fmt::Arguments, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {<std::fmt::Arguments as std::fmt::Display>::fmt}
// + val: Value(Scalar(<ZST>))
// mir::Constant
// + span: /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:94:28: 94:58
// + literal: Const { ty: for<'r, 's, 't0> fn(&'r std::fmt::Arguments, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {<std::fmt::Arguments as std::fmt::Display>::fmt}, val: Value(Scalar(<ZST>)) }
_69 = const std::fmt::ArgumentV1::new::<std::fmt::Arguments>(move _70, move _71) -> [return: bb14, unwind: bb1]; // bb13[7]: scope 4 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
// ty::Const
// + ty: for<'b> fn(&'b std::fmt::Arguments, for<'r, 's, 't0> fn(&'r std::fmt::Arguments, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> std::fmt::ArgumentV1<'b> {std::fmt::ArgumentV1::new::<std::fmt::Arguments>}
// + val: Value(Scalar(<ZST>))
// mir::Constant
// + span: /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
// + user_ty: UserType(5)
// + literal: Const { ty: for<'b> fn(&'b std::fmt::Arguments, for<'r, 's, 't0> fn(&'r std::fmt::Arguments, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> std::fmt::ArgumentV1<'b> {std::fmt::ArgumentV1::new::<std::fmt::Arguments>}, val: Value(Scalar(<ZST>)) }
}
bb14: {
StorageDead(_71); // bb14[0]: scope 4 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:73: 16:74
StorageDead(_70); // bb14[1]: scope 4 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:73: 16:74
_36 = [move _63, move _66, move _69]; // bb14[2]: scope 4 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
StorageDead(_69); // bb14[3]: scope 4 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:73: 16:74
StorageDead(_66); // bb14[4]: scope 4 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:73: 16:74
StorageDead(_63); // bb14[5]: scope 4 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:73: 16:74
StorageDead(_62); // bb14[6]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:73: 16:74
StorageDead(_61); // bb14[7]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:73: 16:74
StorageDead(_60); // bb14[8]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:73: 16:74
goto -> bb15; // bb14[9]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
}
bb15: {
_35 = &_36; // bb15[0]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
_34 = &(*_35); // bb15[1]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
_33 = move _34 as &[std::fmt::ArgumentV1] (Pointer(Unsize)); // bb15[2]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
StorageDead(_34); // bb15[3]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:73: 16:74
_22 = const std::fmt::Arguments::new_v1(move _23, move _33) -> [return: bb16, unwind: bb1]; // bb15[4]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
// ty::Const
// + ty: fn(&[&str], &[std::fmt::ArgumentV1]) -> std::fmt::Arguments {std::fmt::Arguments::new_v1}
// + val: Value(Scalar(<ZST>))
// mir::Constant
// + span: /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:38: 16:74
// + user_ty: UserType(0)
// + literal: Const { ty: fn(&[&str], &[std::fmt::ArgumentV1]) -> std::fmt::Arguments {std::fmt::Arguments::new_v1}, val: Value(Scalar(<ZST>)) }
}
bb16: {
StorageDead(_33); // bb16[0]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:73: 16:74
StorageDead(_23); // bb16[1]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:73: 16:74
_21 = &_22; // bb16[2]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:37: 16:74
_20 = &(*_21); // bb16[3]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:37: 16:74
const std::rt::begin_panic_fmt(move _20) -> bb1; // bb16[4]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:9: 16:75
// ty::Const
// + ty: for<'r, 's> fn(&'r std::fmt::Arguments<'s>) -> ! {std::rt::begin_panic_fmt}
// + val: Value(Scalar(<ZST>))
// mir::Constant
// + span: /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:9: 16:36
// + literal: Const { ty: for<'r, 's> fn(&'r std::fmt::Arguments<'s>) -> ! {std::rt::begin_panic_fmt}, val: Value(Scalar(<ZST>)) }
}
bb17: {
StorageDead(_20); // bb17[0]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:74: 16:75
StorageDead(_19); // bb17[1]: scope 2 at /home/santiago/src/oss/rust2/src/libstd/macros.rs:16:74: 16:75
StorageDead(_54); // bb17[2]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:95:17: 95:18
StorageDead(_53); // bb17[3]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:95:17: 95:18
StorageDead(_52); // bb17[4]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:95:17: 95:18
StorageDead(_49); // bb17[5]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:95:17: 95:18
StorageDead(_47); // bb17[6]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:95:17: 95:18
StorageDead(_46); // bb17[7]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:95:17: 95:18
StorageDead(_43); // bb17[8]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:95:17: 95:18
StorageDead(_41); // bb17[9]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:95:17: 95:18
StorageDead(_39); // bb17[10]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:95:17: 95:18
StorageDead(_37); // bb17[11]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:95:17: 95:18
StorageDead(_36); // bb17[12]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:95:17: 95:18
StorageDead(_35); // bb17[13]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:95:17: 95:18
StorageDead(_32); // bb17[14]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:95:17: 95:18
StorageDead(_30); // bb17[15]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:95:17: 95:18
StorageDead(_28); // bb17[16]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:95:17: 95:18
StorageDead(_26); // bb17[17]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:95:17: 95:18
StorageDead(_25); // bb17[18]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:95:17: 95:18
StorageDead(_22); // bb17[19]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:95:17: 95:18
StorageDead(_21); // bb17[20]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:95:17: 95:18
goto -> bb18; // bb17[21]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:87:17: 95:18
}
bb18: {
StorageDead(_15); // bb18[0]: scope 2 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:96:13: 96:14
StorageDead(_14); // bb18[1]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:97:9: 97:10
StorageDead(_13); // bb18[2]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:97:9: 97:10
goto -> bb19; // bb18[3]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:85:9: 97:10
}
bb19: {
StorageDead(_12); // bb19[0]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:98:5: 98:6
StorageDead(_7); // bb19[1]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:98:5: 98:6
StorageDead(_5); // bb19[2]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:98:5: 98:6
StorageDead(_4); // bb19[3]: scope 1 at /home/santiago/src/oss/rust2/src/libcore/macros/mod.rs:98:5: 98:6
_0 = (); // bb19[4]: scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:21:11: 24:2
StorageDead(_1); // bb19[5]: scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:24:1: 24:2
goto -> bb20; // bb19[6]: scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:24:2: 24:2
}
bb20: {
return; // bb20[0]: scope 0 at src/test/ui/fn/dyn-fn-alignment.rs:24:2: 24:2
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment