|
24 | 24 | let _24: &[core::fmt::rt::Argument<'_>; 2]; |
25 | 25 | let mut _26: &std::boxed::Box<dyn std::fmt::Display>; |
26 | 26 | let mut _27: &u32; |
27 | | - let mut _28: isize; |
| 27 | + let mut _28: bool; |
28 | 28 | let mut _29: isize; |
29 | 29 | let mut _30: isize; |
30 | | -+ let _31: std::result::Result<std::boxed::Box<dyn std::fmt::Display>, <T as Err>::Err>; |
31 | | -+ let _32: u32; |
| 30 | + let mut _31: isize; |
| 31 | ++ let _32: std::result::Result<std::boxed::Box<dyn std::fmt::Display>, <T as Err>::Err>; |
| 32 | ++ let _33: u32; |
32 | 33 | scope 1 { |
33 | 34 | - debug foo => _1; |
34 | | -+ debug ((foo: Foo<T>).0: std::result::Result<std::boxed::Box<dyn std::fmt::Display>, <T as Err>::Err>) => _31; |
35 | | -+ debug ((foo: Foo<T>).1: u32) => _32; |
| 35 | ++ debug ((foo: Foo<T>).0: std::result::Result<std::boxed::Box<dyn std::fmt::Display>, <T as Err>::Err>) => _32; |
| 36 | ++ debug ((foo: Foo<T>).1: u32) => _33; |
36 | 37 | let _5: std::result::Result<std::boxed::Box<dyn std::fmt::Display>, <T as Err>::Err>; |
37 | 38 | scope 2 { |
38 | 39 | debug x => _5; |
|
43 | 44 | debug x => _8; |
44 | 45 | let _8: std::boxed::Box<dyn std::fmt::Display>; |
45 | 46 | let _12: (&std::boxed::Box<dyn std::fmt::Display>, &u32); |
46 | | -+ let _33: &std::boxed::Box<dyn std::fmt::Display>; |
47 | | -+ let _34: &u32; |
| 47 | ++ let _34: &std::boxed::Box<dyn std::fmt::Display>; |
| 48 | ++ let _35: &u32; |
48 | 49 | scope 5 { |
49 | 50 | - debug args => _12; |
50 | | -+ debug ((args: (&Box<dyn std::fmt::Display>, &u32)).0: &std::boxed::Box<dyn std::fmt::Display>) => _33; |
51 | | -+ debug ((args: (&Box<dyn std::fmt::Display>, &u32)).1: &u32) => _34; |
| 51 | ++ debug ((args: (&Box<dyn std::fmt::Display>, &u32)).0: &std::boxed::Box<dyn std::fmt::Display>) => _34; |
| 52 | ++ debug ((args: (&Box<dyn std::fmt::Display>, &u32)).1: &u32) => _35; |
52 | 53 | let _15: [core::fmt::rt::Argument<'_>; 2]; |
53 | 54 | scope 6 { |
54 | 55 | debug args => _15; |
|
61 | 62 | } |
62 | 63 |
|
63 | 64 | bb0: { |
| 65 | + _28 = const false; |
64 | 66 | - StorageLive(_1); |
65 | | -+ StorageLive(_31); |
66 | 67 | + StorageLive(_32); |
| 68 | ++ StorageLive(_33); |
67 | 69 | + nop; |
68 | 70 | StorageLive(_2); |
69 | 71 | StorageLive(_3); |
|
77 | 79 | _2 = Result::<Box<dyn std::fmt::Display>, <T as Err>::Err>::Ok(move _3); |
78 | 80 | StorageDead(_3); |
79 | 81 | - _1 = Foo::<T> { x: move _2, y: const 7_u32 }; |
80 | | -+ _31 = move _2; |
81 | | -+ _32 = const 7_u32; |
| 82 | ++ _32 = move _2; |
| 83 | ++ _33 = const 7_u32; |
82 | 84 | + nop; |
83 | 85 | StorageDead(_2); |
84 | 86 | StorageLive(_5); |
| 87 | + _28 = const true; |
85 | 88 | - _5 = move (_1.0: std::result::Result<std::boxed::Box<dyn std::fmt::Display>, <T as Err>::Err>); |
86 | | -+ _5 = move _31; |
| 89 | ++ _5 = move _32; |
87 | 90 | StorageLive(_6); |
88 | 91 | - _6 = copy (_1.1: u32); |
89 | | -+ _6 = copy _32; |
| 92 | ++ _6 = copy _33; |
90 | 93 | _7 = discriminant(_5); |
91 | 94 | switchInt(move _7) -> [0: bb2, otherwise: bb7]; |
92 | 95 | } |
|
98 | 101 | StorageLive(_10); |
99 | 102 | StorageLive(_11); |
100 | 103 | - StorageLive(_12); |
101 | | -+ StorageLive(_33); |
102 | 104 | + StorageLive(_34); |
| 105 | ++ StorageLive(_35); |
103 | 106 | + nop; |
104 | 107 | StorageLive(_13); |
105 | 108 | _13 = &_8; |
106 | 109 | StorageLive(_14); |
107 | 110 | _14 = &_6; |
108 | 111 | - _12 = (move _13, move _14); |
109 | | -+ _33 = move _13; |
110 | | -+ _34 = move _14; |
| 112 | ++ _34 = move _13; |
| 113 | ++ _35 = move _14; |
111 | 114 | + nop; |
112 | 115 | StorageDead(_14); |
113 | 116 | StorageDead(_13); |
114 | 117 | StorageLive(_15); |
115 | 118 | StorageLive(_16); |
116 | 119 | StorageLive(_17); |
117 | 120 | - _26 = deref_copy (_12.0: &std::boxed::Box<dyn std::fmt::Display>); |
118 | | -+ _26 = deref_copy _33; |
| 121 | ++ _26 = deref_copy _34; |
119 | 122 | _17 = &(*_26); |
120 | 123 | _16 = core::fmt::rt::Argument::<'_>::new_display::<Box<dyn std::fmt::Display>>(move _17) -> [return: bb3, unwind unreachable]; |
121 | 124 | } |
|
125 | 128 | StorageLive(_18); |
126 | 129 | StorageLive(_19); |
127 | 130 | - _27 = deref_copy (_12.1: &u32); |
128 | | -+ _27 = deref_copy _34; |
| 131 | ++ _27 = deref_copy _35; |
129 | 132 | _19 = &(*_27); |
130 | 133 | _18 = core::fmt::rt::Argument::<'_>::new_display::<u32>(move _19) -> [return: bb4, unwind unreachable]; |
131 | 134 | } |
|
159 | 162 | StorageDead(_11); |
160 | 163 | StorageDead(_15); |
161 | 164 | - StorageDead(_12); |
162 | | -+ StorageDead(_33); |
163 | 165 | + StorageDead(_34); |
| 166 | ++ StorageDead(_35); |
164 | 167 | + nop; |
165 | 168 | StorageDead(_10); |
166 | 169 | _9 = const (); |
|
181 | 184 |
|
182 | 185 | bb9: { |
183 | 186 | StorageDead(_6); |
184 | | - _28 = discriminant(_5); |
185 | | - switchInt(move _28) -> [0: bb10, otherwise: bb11]; |
| 187 | + _29 = discriminant(_5); |
| 188 | + switchInt(move _29) -> [0: bb10, otherwise: bb11]; |
186 | 189 | } |
187 | 190 |
|
188 | 191 | bb10: { |
| 192 | + _28 = const false; |
189 | 193 | StorageDead(_5); |
190 | 194 | - StorageDead(_1); |
191 | | -+ StorageDead(_31); |
192 | 195 | + StorageDead(_32); |
| 196 | ++ StorageDead(_33); |
193 | 197 | + nop; |
194 | 198 | return; |
195 | 199 | } |
|
0 commit comments