Fix record constructor for base records

1 files changed, 14 insertions, 0 deletions

diff --git a/testsuite/fail_compilation/record_base_constructor_type_mismatch.elna b/testsuite/fail_compilation/record_base_constructor_type_mismatch.elna
new file mode 100644
index 0000000..85c93c1
--- /dev/null
+++ b/testsuite/fail_compilation/record_base_constructor_type_mismatch.elna
@@ -0,0 +1,14 @@
+type
+  Base = record
+    a: Int
+  end
+  Child = record(Base)
+    b: Int
+  end
+
+var
+  c: Child
+
+begin
+  c := Child{a: "wrong", b: 9} (* @Error Expected type 'Int', but got '\[\]const Word8' *)
+end.