Rework generics for parameters to be plain types

1 files changed, 5 insertions, 5 deletions

diff --git a/testsuite/compilable/generic_inference.elna b/testsuite/compilable/generic_inference.elna
index 860eab1..9d7fed6 100644
--- a/testsuite/compilable/generic_inference.elna
+++ b/testsuite/compilable/generic_inference.elna
@@ -5,20 +5,20 @@ type
   end
 
   Cell#[T] = record
-    held: T
+    held: ^T
   end
 
 var
-  files: Cell#[^File]
-  bytes: Cell#[^Word8]
+  files: Cell#[File]
+  bytes: Cell#[Word8]
   f: File
   b: Word8
 
-proc store#[T](target: ^Cell#[T]; value: T)
+proc store#[T](target: ^Cell#[T]; value: ^T)
   target^.held := value
 return
 
-proc relay#[T](target: ^Cell#[T]; value: T)
+proc relay#[T](target: ^Cell#[T]; value: ^T)
   store(target, value)
 return