aboutsummaryrefslogtreecommitdiff
path: root/testsuite/fail_compilation/generic_field_by_value.elna
diff options
context:
space:
mode:
authorEugen Wissner <belka@caraus.de>2026-10-03 20:51:22 +0200
committerEugen Wissner <belka@caraus.de>2026-10-03 20:51:22 +0200
commite4ce7f658741a7428597da4872435a1b0bae944c (patch)
tree50f65abf6fa4468db7bc93a6ae61d623a2dd8566 /testsuite/fail_compilation/generic_field_by_value.elna
parent5d808dd4c4003968bbdf180e1e1193231db5d43b (diff)
downloadelna-e4ce7f658741a7428597da4872435a1b0bae944c.tar.gz
Rework generics for parameters to be plain types
Diffstat (limited to 'testsuite/fail_compilation/generic_field_by_value.elna')
-rw-r--r--testsuite/fail_compilation/generic_field_by_value.elna8
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/fail_compilation/generic_field_by_value.elna b/testsuite/fail_compilation/generic_field_by_value.elna
new file mode 100644
index 0000000..66f9b46
--- /dev/null
+++ b/testsuite/fail_compilation/generic_field_by_value.elna
@@ -0,0 +1,8 @@
+module
+
+type
+ Cell#[T] = record
+ field: T (* @Error Opaque type 'T' cannot be used as a record field type *)
+ end
+
+end.