test(integration): mark closure and transmute repros as passing

Author: Stevengre

…a/prove-rs/closure_access_struct-fail.rs …n/data/prove-rs/closure_access_struct.rskmir/src/tests/integration/data/prove-rs/closure_access_struct-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/closure_access_struct.rs kmir/src/tests/integration/data/prove-rs/closure_access_struct-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/closure_access_struct.rs

@@ -0,0 +1,17 @@
+
+┌─ 1 (root, init)
+│   #execTerminator ( terminator ( ... kind: terminatorKindCall ( ... func: operandC
+│   span: 0
+│
+│  (314 steps)
+├─ 3 (terminal)
+│   #EndProgram ~> .K
+│   function: main
+│
+┊  constraint: true
+┊  subst: ...
+└─ 2 (leaf, target, terminal)
+    #EndProgram ~> .K
+
+
+

kmir/src/tests/integration/data/prove-rs/show/closure_access_struct-fail.main.expected

@@ -0,0 +1,17 @@
+
+┌─ 1 (root, init)
+│   #execTerminator ( terminator ( ... kind: terminatorKindCall ( ... func: operandC
+│   span: 0
+│
+│  (823 steps)
+├─ 3 (terminal)
+│   #EndProgram ~> .K
+│   function: main
+│
+┊  constraint: true
+┊  subst: ...
+└─ 2 (leaf, target, terminal)
+    #EndProgram ~> .K
+
+
+

kmir/src/tests/integration/data/prove-rs/show/closure_access_struct.main.expected

@@ -58,7 +58,7 @@
     'assume-cheatcode-conflict-fail',
     'raw-ptr-cast-fail',
     'transmute-u8-to-enum-fail',
-    'transmute-u8-to-enum-changed-discriminant-signed-fail',
+    'transmute-u8-to-enum-changed-discriminant-signed',
     'assert-inhabited-fail',
     'iterator-simple',
     'unions-fail',
@@ -68,7 +68,7 @@
     'ref-ptr-cast-elem-fail',
     'ref-ptr-cast-elem-offset-fail',
     'and_then_closure-fail',
-    'closure_access_struct-fail',
+    'closure_access_struct',
     'iter-map-eq-copied-take-thunk-frontier-fail',
 ]