Rework generics for parameters to be plain types

1 files changed, 5 insertions, 5 deletions

diff --git a/testsuite/fail_compilation/generic_base_mismatch.elna b/testsuite/fail_compilation/generic_base_mismatch.elna
index e361052..dd3bec7 100644
--- a/testsuite/fail_compilation/generic_base_mismatch.elna
+++ b/testsuite/fail_compilation/generic_base_mismatch.elna
@@ -8,17 +8,17 @@ type
   end
 
   List#[T] = record
-    head: T
+    head: ^T
   end
 
   Queue#[T] = record(List#[T])
-    tail: T
+    tail: ^T
   end
 
 var
-  jobs: Queue#[^File]
-  wrong: ^List#[^Socket]
+  jobs: Queue#[File]
+  wrong: ^List#[Socket]
 
 begin
-  wrong := @jobs (* @Error Expected type '\^List#\[\^Socket\]', but got '\^Queue#\[\^File\]' *)
+  wrong := @jobs (* @Error Expected type '\^List#\[Socket\]', but got '\^Queue#\[File\]' *)
 end.