bless new test

Author: ashivaram23

tests/mir-opt/otherwise_drops.result_ok.ElaborateDrops.after.mir

@@ -0,0 +1,101 @@
+// MIR for `result_ok` after ElaborateDrops
+
+fn result_ok(_1: Result<String, ()>) -> Option<String> {
+    debug result => _1;
+    let mut _0: std::option::Option<std::string::String>;
+    let mut _2: isize;
+    let _3: std::string::String;
+    let mut _4: std::string::String;
+    let mut _5: bool;
+    let mut _6: isize;
+    let mut _7: isize;
+    scope 1 {
+        debug s => _3;
+    }
+
+    bb0: {
+        _5 = const false;
+        _5 = const true;
+        PlaceMention(_1);
+        _2 = discriminant(_1);
+        switchInt(move _2) -> [0: bb2, otherwise: bb1];
+    }
+
+    bb1: {
+        _0 = Option::<String>::None;
+        goto -> bb5;
+    }
+
+    bb2: {
+        StorageLive(_3);
+        _3 = move ((_1 as Ok).0: std::string::String);
+        StorageLive(_4);
+        _4 = move _3;
+        _0 = Option::<String>::Some(move _4);
+        goto -> bb3;
+    }
+
+    bb3: {
+        StorageDead(_4);
+        goto -> bb4;
+    }
+
+    bb4: {
+        StorageDead(_3);
+        goto -> bb5;
+    }
+
+    bb5: {
+        goto -> bb16;
+    }
+
+    bb6: {
+        return;
+    }
+
+    bb7 (cleanup): {
+        goto -> bb8;
+    }
+
+    bb8 (cleanup): {
+        goto -> bb9;
+    }
+
+    bb9 (cleanup): {
+        resume;
+    }
+
+    bb10: {
+        goto -> bb6;
+    }
+
+    bb11 (cleanup): {
+        goto -> bb9;
+    }
+
+    bb12 (cleanup): {
+        goto -> bb9;
+    }
+
+    bb13: {
+        goto -> bb10;
+    }
+
+    bb14: {
+        goto -> bb10;
+    }
+
+    bb15 (cleanup): {
+        goto -> bb9;
+    }
+
+    bb16: {
+        _6 = discriminant(_1);
+        switchInt(move _6) -> [0: bb13, otherwise: bb14];
+    }
+
+    bb17 (cleanup): {
+        _7 = discriminant(_1);
+        switchInt(move _7) -> [0: bb11, otherwise: bb15];
+    }
+}

tests/mir-opt/otherwise_drops.rs

@@ -1,5 +1,8 @@
+// skip-filecheck
 //@ test-mir-pass: ElaborateDrops
 
+// Ensures there are no drops for the wildcard match arm.
+
 // EMIT_MIR otherwise_drops.result_ok.ElaborateDrops.after.mir
 fn result_ok(result: Result<String, ()>) -> Option<String> {
     match result {