1 files changed, 10 insertions, 0 deletions
diff --git a/tests/mir-opt/no_spurious_drop_after_call.rs b/tests/mir-opt/no_spurious_drop_after_call.rs
new file mode 100644
index 000000000..bb5bb9aa4
--- /dev/null
+++ b/tests/mir-opt/no_spurious_drop_after_call.rs
@@ -0,0 +1,10 @@
+// ignore-wasm32-bare compiled with panic=abort by default
+
+// Test that after the call to `std::mem::drop` we do not generate a
+// MIR drop of the argument. (We used to have a `DROP(_2)` in the code
+// below, as part of bb3.)
+
+// EMIT_MIR no_spurious_drop_after_call.main.ElaborateDrops.before.mir
+fn main() {
+    std::mem::drop("".to_string());
+}