Added test for setupCalleeClosure

Author: dkcumming

kmir/src/tests/integration/data/prove-rs/closure_fnonce_tuple_arg-fail.rs

@@ -0,0 +1,8 @@
+fn apply<F: FnOnce(u8, u8) -> u8>(f: F, a: u8, b: u8) -> u8 {
+    f(a, b)
+}
+
+fn main() {
+    let result = apply(|x, y| x + y, 10, 32);
+    assert_eq!(result, 42);
+}

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

@@ -0,0 +1,14 @@
+
+┌─ 1 (root, init)
+│   #execTerminator ( terminator ( ... kind: terminatorKindCall ( ... func: operandC
+│   span: 0
+│
+│  (79 steps)
+└─ 3 (stuck, leaf)
+    #traverseProjection ( toLocal ( 4 ) , thunk ( #applyBinOp ( binOpAdd , Aggregate
+
+
+┌─ 2 (root, leaf, target, terminal)
+│   #EndProgram ~> .K
+
+

kmir/src/tests/integration/test_integration.py

@@ -63,6 +63,7 @@
     'ref-ptr-cast-elem-fail',
     'ref-ptr-cast-elem-offset-fail',
     'and_then_closure-fail',
+    'closure_fnonce_tuple_arg-fail',
 ]