summary refs log tree commit diff
path: root/tests/pracownia2/ok/016_with_expectation_a_lot_of_magic_int.xi
diff options
context:
space:
mode:
Diffstat (limited to 'tests/pracownia2/ok/016_with_expectation_a_lot_of_magic_int.xi')
-rw-r--r--tests/pracownia2/ok/016_with_expectation_a_lot_of_magic_int.xi40
1 files changed, 40 insertions, 0 deletions
diff --git a/tests/pracownia2/ok/016_with_expectation_a_lot_of_magic_int.xi b/tests/pracownia2/ok/016_with_expectation_a_lot_of_magic_int.xi
new file mode 100644
index 0000000..d73c4c6
--- /dev/null
+++ b/tests/pracownia2/ok/016_with_expectation_a_lot_of_magic_int.xi
@@ -0,0 +1,40 @@
+consumer1(x:int[])
+consumer2(x:int[][])
+consumer3(x:int[][][])
+ 
+test()
+{
+    consumer1(
+        { {{}[0]}[0]
+        , {}[0]
+        , {}[0][0][0]
+        })
+    consumer2(
+        { {{}[0]}[0]
+        , {}[0]
+        , {}[0][0][0]
+        })
+    consumer2(
+        { { {{}[0]}[0]   }
+        , { {}[0]        }
+        , { {}[0][0][0]  }
+        })
+    consumer3(
+        { {{}[0]}[0]
+        , {}[0]
+        , {}[0][0][0]
+        })
+    consumer3(
+        { { {{}[0]}[0]  }
+        , { {}[0]       }
+        , { {}[0][0][0] }
+        })
+    consumer3(
+        { { { {{}[0]}[0]  } }
+        , { { {}[0]       } }
+        , { { {}[0][0][0] } }
+        })
+}
+
+//@PRACOWNIA
+//@stop_after typechecker