From 48a51628b841a9b69db846326dcaa67239a8559f Mon Sep 17 00:00:00 2001 From: Eugen Wissner Date: Sun, 1 Nov 2026 22:10:48 +0100 Subject: Fix generic inference for a procedure call as a slice base --- testsuite/compilable/generic_inference.elna | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'testsuite') 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. -- cgit v1.2.3