|
20 | 20 | let mut _20: core::fmt::rt::Template<'_>; |
21 | 21 | let mut _21: &[core::fmt::rt::Piece; 7]; |
22 | 22 | let _22: &[core::fmt::rt::Piece; 7]; |
23 | | - let _23: [core::fmt::rt::Piece; 7]; |
24 | | - let mut _24: core::fmt::rt::Piece; |
25 | | - let mut _25: core::fmt::rt::Piece; |
26 | | - let mut _26: core::fmt::rt::Piece; |
27 | | - let mut _27: core::fmt::rt::Piece; |
28 | | - let mut _28: core::fmt::rt::Piece; |
29 | | - let mut _29: core::fmt::rt::Piece; |
30 | | - let mut _30: core::fmt::rt::Piece; |
31 | | - let mut _31: &[core::fmt::rt::Argument<'_>; 2]; |
32 | | - let _32: &[core::fmt::rt::Argument<'_>; 2]; |
33 | | - let mut _34: &std::boxed::Box<dyn std::fmt::Display>; |
34 | | - let mut _35: &u32; |
35 | | - let mut _36: bool; |
36 | | - let mut _37: isize; |
37 | | - let mut _38: isize; |
38 | | - let mut _39: isize; |
39 | | -+ let _40: std::result::Result<std::boxed::Box<dyn std::fmt::Display>, <T as Err>::Err>; |
40 | | -+ let _41: u32; |
| 23 | + let mut _23: &[core::fmt::rt::Argument<'_>; 2]; |
| 24 | + let _24: &[core::fmt::rt::Argument<'_>; 2]; |
| 25 | + let mut _25: &std::boxed::Box<dyn std::fmt::Display>; |
| 26 | + let mut _26: &u32; |
| 27 | + let mut _27: bool; |
| 28 | + let mut _28: isize; |
| 29 | + let mut _29: isize; |
| 30 | + let mut _30: isize; |
| 31 | ++ let _31: std::result::Result<std::boxed::Box<dyn std::fmt::Display>, <T as Err>::Err>; |
| 32 | ++ let _32: u32; |
41 | 33 | scope 1 { |
42 | 34 | - debug foo => _1; |
43 | | -+ debug ((foo: Foo<T>).0: std::result::Result<std::boxed::Box<dyn std::fmt::Display>, <T as Err>::Err>) => _40; |
44 | | -+ debug ((foo: Foo<T>).1: u32) => _41; |
| 35 | ++ debug ((foo: Foo<T>).0: std::result::Result<std::boxed::Box<dyn std::fmt::Display>, <T as Err>::Err>) => _31; |
| 36 | ++ debug ((foo: Foo<T>).1: u32) => _32; |
45 | 37 | let _5: std::result::Result<std::boxed::Box<dyn std::fmt::Display>, <T as Err>::Err>; |
46 | 38 | scope 2 { |
47 | 39 | debug x => _5; |
|
52 | 44 | debug x => _8; |
53 | 45 | let _8: std::boxed::Box<dyn std::fmt::Display>; |
54 | 46 | let _12: (&std::boxed::Box<dyn std::fmt::Display>, &u32); |
55 | | -+ let _42: &std::boxed::Box<dyn std::fmt::Display>; |
56 | | -+ let _43: &u32; |
| 47 | ++ let _33: &std::boxed::Box<dyn std::fmt::Display>; |
| 48 | ++ let _34: &u32; |
57 | 49 | scope 5 { |
58 | 50 | - debug args => _12; |
59 | | -+ debug ((args: (&Box<dyn std::fmt::Display>, &u32)).0: &std::boxed::Box<dyn std::fmt::Display>) => _42; |
60 | | -+ debug ((args: (&Box<dyn std::fmt::Display>, &u32)).1: &u32) => _43; |
| 51 | ++ debug ((args: (&Box<dyn std::fmt::Display>, &u32)).0: &std::boxed::Box<dyn std::fmt::Display>) => _33; |
| 52 | ++ debug ((args: (&Box<dyn std::fmt::Display>, &u32)).1: &u32) => _34; |
61 | 53 | let _15: [core::fmt::rt::Argument<'_>; 2]; |
62 | 54 | scope 6 { |
63 | 55 | debug args => _15; |
64 | | - let mut _33: &[core::fmt::rt::Piece; 7]; |
65 | 56 | } |
66 | 57 | } |
67 | 58 | } |
|
70 | 61 | } |
71 | 62 |
|
72 | 63 | bb0: { |
73 | | - _36 = const false; |
| 64 | + _27 = const false; |
74 | 65 | - StorageLive(_1); |
75 | | -+ StorageLive(_40); |
76 | | -+ StorageLive(_41); |
| 66 | ++ StorageLive(_31); |
| 67 | ++ StorageLive(_32); |
77 | 68 | + nop; |
78 | 69 | StorageLive(_2); |
79 | 70 | StorageLive(_3); |
|
87 | 78 | _2 = Result::<Box<dyn std::fmt::Display>, <T as Err>::Err>::Ok(move _3); |
88 | 79 | StorageDead(_3); |
89 | 80 | - _1 = Foo::<T> { x: move _2, y: const 7_u32 }; |
90 | | -+ _40 = move _2; |
91 | | -+ _41 = const 7_u32; |
| 81 | ++ _31 = move _2; |
| 82 | ++ _32 = const 7_u32; |
92 | 83 | + nop; |
93 | 84 | StorageDead(_2); |
94 | 85 | StorageLive(_5); |
95 | | - _36 = const true; |
| 86 | + _27 = const true; |
96 | 87 | - _5 = move (_1.0: std::result::Result<std::boxed::Box<dyn std::fmt::Display>, <T as Err>::Err>); |
97 | | -+ _5 = move _40; |
| 88 | ++ _5 = move _31; |
98 | 89 | StorageLive(_6); |
99 | 90 | - _6 = copy (_1.1: u32); |
100 | | -+ _6 = copy _41; |
| 91 | ++ _6 = copy _32; |
101 | 92 | _7 = discriminant(_5); |
102 | 93 | switchInt(move _7) -> [0: bb2, otherwise: bb8]; |
103 | 94 | } |
|
109 | 100 | StorageLive(_10); |
110 | 101 | StorageLive(_11); |
111 | 102 | - StorageLive(_12); |
112 | | -+ StorageLive(_42); |
113 | | -+ StorageLive(_43); |
| 103 | ++ StorageLive(_33); |
| 104 | ++ StorageLive(_34); |
114 | 105 | + nop; |
115 | 106 | StorageLive(_13); |
116 | 107 | _13 = &_8; |
117 | 108 | StorageLive(_14); |
118 | 109 | _14 = &_6; |
119 | 110 | - _12 = (move _13, move _14); |
120 | | -+ _42 = move _13; |
121 | | -+ _43 = move _14; |
| 111 | ++ _33 = move _13; |
| 112 | ++ _34 = move _14; |
122 | 113 | + nop; |
123 | 114 | StorageDead(_14); |
124 | 115 | StorageDead(_13); |
125 | 116 | StorageLive(_15); |
126 | 117 | StorageLive(_16); |
127 | 118 | StorageLive(_17); |
128 | | -- _34 = copy (_12.0: &std::boxed::Box<dyn std::fmt::Display>); |
129 | | -+ _34 = copy _42; |
130 | | - _17 = &(*_34); |
| 119 | +- _25 = copy (_12.0: &std::boxed::Box<dyn std::fmt::Display>); |
| 120 | ++ _25 = copy _33; |
| 121 | + _17 = &(*_25); |
131 | 122 | _16 = core::fmt::rt::Argument::<'_>::new_display::<Box<dyn std::fmt::Display>>(move _17) -> [return: bb3, unwind unreachable]; |
132 | 123 | } |
133 | 124 |
|
134 | 125 | bb3: { |
135 | 126 | StorageDead(_17); |
136 | 127 | StorageLive(_18); |
137 | 128 | StorageLive(_19); |
138 | | -- _35 = copy (_12.1: &u32); |
139 | | -+ _35 = copy _43; |
140 | | - _19 = &(*_35); |
| 129 | +- _26 = copy (_12.1: &u32); |
| 130 | ++ _26 = copy _34; |
| 131 | + _19 = &(*_26); |
141 | 132 | _18 = core::fmt::rt::Argument::<'_>::new_display::<u32>(move _19) -> [return: bb4, unwind unreachable]; |
142 | 133 | } |
143 | 134 |
|
|
149 | 140 | StorageLive(_20); |
150 | 141 | StorageLive(_21); |
151 | 142 | StorageLive(_22); |
152 | | - _33 = const foo::<T>::promoted[0]; |
153 | | - _22 = &(*_33); |
| 143 | + _22 = const foo::<T>::{constant#0}::<&[core::fmt::rt::Piece; 7]>; |
154 | 144 | _21 = &(*_22); |
155 | 145 | _20 = core::fmt::rt::Template::<'_>::new::<7>(move _21) -> [return: bb5, unwind unreachable]; |
156 | 146 | } |
157 | 147 |
|
158 | 148 | bb5: { |
159 | 149 | StorageDead(_22); |
160 | 150 | StorageDead(_21); |
161 | | - StorageLive(_31); |
162 | | - StorageLive(_32); |
163 | | - _32 = &_15; |
164 | | - _31 = &(*_32); |
165 | | - _11 = core::fmt::rt::<impl Arguments<'_>>::new::<2>(move _20, move _31) -> [return: bb6, unwind unreachable]; |
| 151 | + StorageLive(_23); |
| 152 | + StorageLive(_24); |
| 153 | + _24 = &_15; |
| 154 | + _23 = &(*_24); |
| 155 | + _11 = core::fmt::rt::<impl Arguments<'_>>::new::<2>(move _20, move _23) -> [return: bb6, unwind unreachable]; |
166 | 156 | } |
167 | 157 |
|
168 | 158 | bb6: { |
169 | | - StorageDead(_32); |
170 | | - StorageDead(_31); |
| 159 | + StorageDead(_24); |
| 160 | + StorageDead(_23); |
171 | 161 | StorageDead(_20); |
172 | 162 | _10 = _eprint(move _11) -> [return: bb7, unwind unreachable]; |
173 | 163 | } |
|
176 | 166 | StorageDead(_11); |
177 | 167 | StorageDead(_15); |
178 | 168 | - StorageDead(_12); |
179 | | -+ StorageDead(_42); |
180 | | -+ StorageDead(_43); |
| 169 | ++ StorageDead(_33); |
| 170 | ++ StorageDead(_34); |
181 | 171 | + nop; |
182 | 172 | StorageDead(_10); |
183 | 173 | _9 = const (); |
|
198 | 188 |
|
199 | 189 | bb10: { |
200 | 190 | StorageDead(_6); |
201 | | - _37 = discriminant(_5); |
202 | | - switchInt(move _37) -> [0: bb11, otherwise: bb12]; |
| 191 | + _28 = discriminant(_5); |
| 192 | + switchInt(move _28) -> [0: bb11, otherwise: bb12]; |
203 | 193 | } |
204 | 194 |
|
205 | 195 | bb11: { |
206 | | - _36 = const false; |
| 196 | + _27 = const false; |
207 | 197 | StorageDead(_5); |
208 | 198 | - StorageDead(_1); |
209 | | -+ StorageDead(_40); |
210 | | -+ StorageDead(_41); |
| 199 | ++ StorageDead(_31); |
| 200 | ++ StorageDead(_32); |
211 | 201 | + nop; |
212 | 202 | return; |
213 | 203 | } |
|
0 commit comments