Fix type checker traversal for record and array literals

1 files changed, 13 insertions, 0 deletions

diff --git a/testsuite/fail_compilation/generic_record_constructor.elna b/testsuite/fail_compilation/generic_record_constructor.elna
new file mode 100644
index 0000000..7ef4007
--- /dev/null
+++ b/testsuite/fail_compilation/generic_record_constructor.elna
@@ -0,0 +1,13 @@
+module
+
+type
+  Stack#[T] = record
+    items: ^T
+  end
+
+proc make#[T](items: ^T)
+var
+  uninstantiated := { Stack; items: items } (* @Error Too few type arguments for generic 'Stack', expected 1, got 0 *)
+return
+
+end.