|
106 | 106 | _0 = const (); // scope 0 at $DIR/issue-73223.rs:4:17: 4:23 |
107 | 107 | StorageDead(_2); // scope 0 at $DIR/issue-73223.rs:5:6: 5:7 |
108 | 108 | StorageDead(_1); // scope 0 at $DIR/issue-73223.rs:9:1: 9:2 |
109 | | - goto -> bb3; // scope 0 at $DIR/issue-73223.rs:4:17: 4:23 |
| 109 | + return; // scope 0 at $DIR/issue-73223.rs:4:17: 4:23 |
110 | 110 | } |
111 | 111 |
|
112 | 112 | bb2: { |
|
153 | 153 | StorageDead(_17); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
154 | 154 | _15 = Not(move _16); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
155 | 155 | StorageDead(_16); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
156 | | - switchInt(_15) -> [false: bb4, otherwise: bb5]; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
| 156 | + switchInt(_15) -> [false: bb3, otherwise: bb4]; // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
157 | 157 | } |
158 | 158 |
|
159 | 159 | bb3: { |
160 | | - return; // scope 0 at $DIR/issue-73223.rs:9:2: 9:2 |
161 | | - } |
162 | | - |
163 | | - bb4: { |
164 | 160 | _8 = const (); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
165 | 161 | StorageDead(_15); // scope 4 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
166 | 162 | StorageDead(_14); // scope 3 at $SRC_DIR/core/src/macros/mod.rs:LL:COL |
|
170 | 166 | _0 = const (); // scope 0 at $DIR/issue-73223.rs:1:11: 9:2 |
171 | 167 | StorageDead(_6); // scope 1 at $DIR/issue-73223.rs:9:1: 9:2 |
172 | 168 | StorageDead(_1); // scope 0 at $DIR/issue-73223.rs:9:1: 9:2 |
173 | | - goto -> bb3; // scope 0 at $DIR/issue-73223.rs:9:2: 9:2 |
| 169 | + return; // scope 0 at $DIR/issue-73223.rs:9:2: 9:2 |
174 | 170 | } |
175 | 171 |
|
176 | | - bb5: { |
| 172 | + bb4: { |
177 | 173 | StorageLive(_19); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL |
178 | 174 | StorageLive(_20); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL |
179 | 175 | StorageLive(_21); // scope 4 at $SRC_DIR/std/src/macros.rs:LL:COL |
|
224 | 220 | StorageLive(_46); // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
225 | 221 | StorageLive(_47); // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
226 | 222 | _47 = _40; // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
227 | | - _46 = transmute::<for<'r, 's, 't0> fn(&'r &i32, &'s mut Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>, for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>>(move _47) -> bb6; // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
| 223 | + _46 = transmute::<for<'r, 's, 't0> fn(&'r &i32, &'s mut Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>, for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>>(move _47) -> bb5; // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
228 | 224 | // mir::Constant |
229 | 225 | // + span: $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
230 | 226 | // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {std::intrinsics::transmute::<for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>, for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>>}, val: Value(Scalar(<ZST>)) } |
231 | 227 | } |
232 | 228 |
|
233 | | - bb6: { |
| 229 | + bb5: { |
234 | 230 | StorageDead(_47); // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
235 | 231 | StorageLive(_48); // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
236 | 232 | StorageLive(_49); // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
237 | 233 | _49 = _39; // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
238 | | - _48 = transmute::<&&i32, &core::fmt::Opaque>(move _49) -> bb7; // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
| 234 | + _48 = transmute::<&&i32, &core::fmt::Opaque>(move _49) -> bb6; // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
239 | 235 | // mir::Constant |
240 | 236 | // + span: $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
241 | 237 | // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(&&i32) -> &core::fmt::Opaque {std::intrinsics::transmute::<&&i32, &core::fmt::Opaque>}, val: Value(Scalar(<ZST>)) } |
242 | 238 | } |
243 | 239 |
|
244 | | - bb7: { |
| 240 | + bb6: { |
245 | 241 | StorageDead(_49); // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
246 | 242 | (_38.0: &core::fmt::Opaque) = move _48; // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
247 | 243 | (_38.1: for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) = move _46; // scope 7 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
|
260 | 256 | StorageLive(_50); // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
261 | 257 | StorageLive(_51); // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
262 | 258 | _51 = _43; // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
263 | | - _50 = transmute::<for<'r, 's, 't0> fn(&'r &i32, &'s mut Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>, for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>>(move _51) -> bb8; // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
| 259 | + _50 = transmute::<for<'r, 's, 't0> fn(&'r &i32, &'s mut Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>, for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>>(move _51) -> bb7; // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
264 | 260 | // mir::Constant |
265 | 261 | // + span: $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
266 | 262 | // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {std::intrinsics::transmute::<for<'r, 's, 't0> fn(&'r &i32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>, for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>>}, val: Value(Scalar(<ZST>)) } |
267 | 263 | } |
268 | 264 |
|
269 | | - bb8: { |
| 265 | + bb7: { |
270 | 266 | StorageDead(_51); // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
271 | 267 | StorageLive(_52); // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
272 | 268 | StorageLive(_53); // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
273 | 269 | _53 = _42; // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
274 | | - _52 = transmute::<&&i32, &core::fmt::Opaque>(move _53) -> bb9; // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
| 270 | + _52 = transmute::<&&i32, &core::fmt::Opaque>(move _53) -> bb8; // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
275 | 271 | // mir::Constant |
276 | 272 | // + span: $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
277 | 273 | // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(&&i32) -> &core::fmt::Opaque {std::intrinsics::transmute::<&&i32, &core::fmt::Opaque>}, val: Value(Scalar(<ZST>)) } |
278 | 274 | } |
279 | 275 |
|
280 | | - bb9: { |
| 276 | + bb8: { |
281 | 277 | StorageDead(_53); // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
282 | 278 | (_41.0: &core::fmt::Opaque) = move _52; // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
283 | 279 | (_41.1: for<'r, 's, 't0> fn(&'r core::fmt::Opaque, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) = move _50; // scope 9 at $SRC_DIR/core/src/fmt/mod.rs:LL:COL |
|
0 commit comments