fix(rt): initialize closure env in setupCalleeClosure2

Author: Stevengre

kmir/src/kmir/kdist/mir-semantics/kmir.md

@@ -562,7 +562,8 @@ Therefore a heuristics is used here:
                 _SPAN
               )
          =>
-           #setTupleArgs(2, getValue(LOCALS, TUPLE)) ~> #execBlock(FIRST)
+           #setLocalValue(place(local(1), .ProjectionElems), #incrementRef(getValue(LOCALS, CLOSURE)))
+        ~> #setTupleArgs(2, getValue(LOCALS, TUPLE)) ~> #execBlock(FIRST)
           // arguments are tuple components, stored as _2 .. _n
          ...
        </k>

…ter-eq-copied-take-dereftruncate-fail.rs …-rs/iter-eq-copied-take-dereftruncate.rskmir/src/tests/integration/data/prove-rs/iter-eq-copied-take-dereftruncate-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/iter-eq-copied-take-dereftruncate.rs kmir/src/tests/integration/data/prove-rs/iter-eq-copied-take-dereftruncate-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/iter-eq-copied-take-dereftruncate.rs

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

kmir/src/tests/integration/data/prove-rs/show/iter-eq-copied-take-dereftruncate-fail.repro.expected

@@ -38,7 +38,7 @@
     'assume-cheatcode-conflict-fail': ['check_assume_conflict'],
     'transmute-bytes': ['bytes_to_u64', 'u64_to_bytes'],
     'test_offset_from-fail': ['testing'],
-    'iter-eq-copied-take-dereftruncate-fail': ['repro'],
+    'iter-eq-copied-take-dereftruncate': ['repro'],
 }
 PROVE_RS_SHOW_SPECS = [
     'local-raw-fail',
@@ -64,7 +64,7 @@
     'test_offset_from-fail',
     'ref-ptr-cast-elem-fail',
     'ref-ptr-cast-elem-offset-fail',
-    'iter-eq-copied-take-dereftruncate-fail',
+    'iter-eq-copied-take-dereftruncate',
 ]