Restore termDrop name and drop iterator-simple show snapshot

Stevengre · Stevengre · commit 1c30859f92e6 · 2026-04-08T08:09:42.000Z
diff --git a/kmir/src/kmir/kdist/mir-semantics/kmir.md b/kmir/src/kmir/kdist/mir-semantics/kmir.md
@@ -753,7 +753,7 @@ Drops are elaborated to Noops but still define the continuing control flow. Unre
   syntax KItem ::= #execDropCall ( MaybeTy, Place, BasicBlockIdx, UnwindAction, Span )
                  | #callDropGlue ( Ty, BasicBlockIdx, UnwindAction, Span )
 
-  rule [termDropGlue]: <k> #execTerminator(terminator(terminatorKindDrop(PLACE, TARGET, UNWIND), SPAN))
+  rule [termDrop]: <k> #execTerminator(terminator(terminatorKindDrop(PLACE, TARGET, UNWIND), SPAN))
          =>
            #execDropCall(#lookupDropFunctionTy(#dropPlaceTy(PLACE, LOCALS)), PLACE, TARGET, UNWIND, SPAN)
         ...
diff --git a/kmir/src/tests/integration/data/prove-rs/show/iterator-simple.main.expected b/kmir/src/tests/integration/data/prove-rs/show/iterator-simple.main.expected
diff --git a/kmir/src/tests/integration/test_integration.py b/kmir/src/tests/integration/test_integration.py
@@ -57,7 +57,6 @@
     'raw-ptr-cast-fail',
     'transmute-u8-to-enum-fail',
     'assert-inhabited-fail',
-    'iterator-simple',
     'unions-fail',
     'transmute-maybe-uninit-fail',
     'ptr-through-wrapper-fail',
