Fix generic inference for a procedure call as a slice baseHEADcpp

1 files changed, 6 insertions, 1 deletions

diff --git a/testsuite/compilable/generic_inference.elna b/testsuite/compilable/generic_inference.elna
index e5e6e3b..c03b902 100644
--- a/testsuite/compilable/generic_inference.elna
+++ b/testsuite/compilable/generic_inference.elna
@@ -13,6 +13,10 @@ var
   bytes: Cell#[Word8]
   f: File
   b: Word8
+  s: []const Word8
+
+proc identity#[T](value: ^T) -> ^T
+return value
 
 proc store#[T](target: ^Cell#[T]; value: ^T)
   target^.held := value
@@ -25,5 +29,6 @@ return
 begin
   store(@files, @f);
   relay(@bytes, @b);
-  store(@files, cast(0u: ^File))
+  store(@files, cast(0u: ^File));
+  s := identity(@b)[1 to 1]
 end.