| // MIR for `main::{closure#0}` 0 generator_drop |
| /* generator_layout = GeneratorLayout { |
| field_tys: { |
| _0: std::string::String, |
| }, |
| variant_fields: { |
| Unresumed(0): [], |
| Returned (1): [], |
| Panicked (2): [], |
| Suspend0 (3): [_0], |
| }, |
| storage_conflicts: BitMatrix(1x1) { |
| (_0, _0), |
| }, |
| } */ |
| |
| fn main::{closure#0}(_1: *mut [generator@$DIR/generator-drop-cleanup.rs:10:15: 13:6 {String, ()}]) -> () { |
| let mut _0: (); // return place in scope 0 at $DIR/generator-drop-cleanup.rs:10:15: 13:6 |
| let mut _2: (); // in scope 0 at $DIR/generator-drop-cleanup.rs:10:15: 13:6 |
| let _3: std::string::String; // in scope 0 at $DIR/generator-drop-cleanup.rs:11:13: 11:15 |
| let _4: (); // in scope 0 at $DIR/generator-drop-cleanup.rs:12:9: 12:14 |
| let mut _5: (); // in scope 0 at $DIR/generator-drop-cleanup.rs:12:9: 12:14 |
| let mut _7: (); // in scope 0 at $DIR/generator-drop-cleanup.rs:10:18: 10:18 |
| let mut _8: (); // in scope 0 at $DIR/generator-drop-cleanup.rs:10:15: 13:6 |
| let mut _9: u32; // in scope 0 at $DIR/generator-drop-cleanup.rs:10:15: 13:6 |
| scope 1 { |
| debug _s => (((*_1) as variant#3).0: std::string::String); // in scope 1 at $DIR/generator-drop-cleanup.rs:11:13: 11:15 |
| } |
| scope 2 (inlined String::new) { // at $DIR/generator-drop-cleanup.rs:11:18: 11:31 |
| let mut _6: std::vec::Vec<u8>; // in scope 2 at $DIR/generator-drop-cleanup.rs:11:18: 11:31 |
| scope 3 (inlined Vec::<u8>::new) { // at $DIR/generator-drop-cleanup.rs:11:18: 11:31 |
| } |
| } |
| |
| bb0: { |
| _9 = discriminant((*_1)); // scope 0 at $DIR/generator-drop-cleanup.rs:10:15: 13:6 |
| switchInt(move _9) -> [0_u32: bb7, 3_u32: bb10, otherwise: bb11]; // scope 0 at $DIR/generator-drop-cleanup.rs:10:15: 13:6 |
| } |
| |
| bb1: { |
| StorageDead(_5); // scope 1 at $DIR/generator-drop-cleanup.rs:12:13: 12:14 |
| StorageDead(_4); // scope 1 at $DIR/generator-drop-cleanup.rs:12:14: 12:15 |
| drop((((*_1) as variant#3).0: std::string::String)) -> [return: bb2, unwind: bb5]; // scope 0 at $DIR/generator-drop-cleanup.rs:13:5: 13:6 |
| } |
| |
| bb2: { |
| nop; // scope 0 at $DIR/generator-drop-cleanup.rs:13:5: 13:6 |
| goto -> bb8; // scope 0 at $DIR/generator-drop-cleanup.rs:13:5: 13:6 |
| } |
| |
| bb3: { |
| return; // scope 0 at $DIR/generator-drop-cleanup.rs:10:15: 13:6 |
| } |
| |
| bb4 (cleanup): { |
| resume; // scope 0 at $DIR/generator-drop-cleanup.rs:10:15: 13:6 |
| } |
| |
| bb5 (cleanup): { |
| nop; // scope 0 at $DIR/generator-drop-cleanup.rs:13:5: 13:6 |
| goto -> bb4; // scope 0 at $DIR/generator-drop-cleanup.rs:13:5: 13:6 |
| } |
| |
| bb6: { |
| return; // scope 0 at $DIR/generator-drop-cleanup.rs:10:15: 13:6 |
| } |
| |
| bb7: { |
| goto -> bb9; // scope 0 at $DIR/generator-drop-cleanup.rs:10:15: 13:6 |
| } |
| |
| bb8: { |
| goto -> bb3; // scope 0 at $DIR/generator-drop-cleanup.rs:13:5: 13:6 |
| } |
| |
| bb9: { |
| goto -> bb6; // scope 0 at $DIR/generator-drop-cleanup.rs:10:15: 13:6 |
| } |
| |
| bb10: { |
| StorageLive(_4); // scope 0 at $DIR/generator-drop-cleanup.rs:10:15: 13:6 |
| StorageLive(_5); // scope 0 at $DIR/generator-drop-cleanup.rs:10:15: 13:6 |
| goto -> bb1; // scope 0 at $DIR/generator-drop-cleanup.rs:10:15: 13:6 |
| } |
| |
| bb11: { |
| return; // scope 0 at $DIR/generator-drop-cleanup.rs:10:15: 13:6 |
| } |
| } |