test(prove-rs): mark iterator-simple as expected-fail

Stevengre · Stevengre · commit 79bd2021739d · 2026-04-16T16:05:42.000+08:00
The iterator-simple test exposes a stuck state in #traverseProjection caused by the interaction between removeIndexTail and #typeProjection for slice-of-MaybeUninit pointer casts. Mark as -fail with show snapshot until the root cause in pointer projection construction is resolved. See #1011.
diff --git a/kmir/src/tests/integration/data/prove-rs/iterator-simple-fail.rs b/kmir/src/tests/integration/data/prove-rs/iterator-simple-fail.rs
diff --git a/kmir/src/tests/integration/data/prove-rs/show/iterator-simple-fail.main.expected b/kmir/src/tests/integration/data/prove-rs/show/iterator-simple-fail.main.expected
@@ -0,0 +1,15 @@
+
+┌─ 1 (root, init)
+│   #execTerminator ( terminator ( ... kind: terminatorKindCall ( ... func: operandC
+│   span: 0
+│
+│  (1066 steps)
+└─ 3 (stuck, leaf)
+    #traverseProjection ( toStack ( 3 , local ( 3 ) ) , Range ( ListItem ( Union ( f
+    span: 106
+
+
+┌─ 2 (root, leaf, target, terminal)
+│   #EndProgram ~> .K
+
+
diff --git a/kmir/src/tests/integration/test_integration.py b/kmir/src/tests/integration/test_integration.py
@@ -69,6 +69,7 @@
     'ptr-cast-array-to-wrapper-fail',
     'ptr-cast-array-to-nested-wrapper-fail',
     'ptr-cast-array-to-singleton-wrapped-array-fail',
+    'iterator-simple-fail',
 ]
 
 

Original file line number	Diff line number	Diff line change
`@@ -69,6 +69,7 @@`
`69`	`69`	`'ptr-cast-array-to-wrapper-fail',`
`70`	`70`	`'ptr-cast-array-to-nested-wrapper-fail',`
`71`	`71`	`'ptr-cast-array-to-singleton-wrapped-array-fail',`
	`72`	`+ 'iterator-simple-fail',`
`72`	`73`	`]`
`73`	`74`
`74`	`75`