Strip outmost constness on infered arguments

1 files changed, 28 insertions, 0 deletions

diff --git a/testsuite/compilable/generic_const_inference.elna b/testsuite/compilable/generic_const_inference.elna
new file mode 100644
index 0000000..a9fc41f
--- /dev/null
+++ b/testsuite/compilable/generic_const_inference.elna
@@ -0,0 +1,28 @@
+program()
+type
+  ConstAlias = const ^Word8
+  BasePtr = ^Word8
+  NestedConst = const BasePtr
+
+var
+  slice: []const Word8
+  aliased: ConstAlias := nil
+  nested: NestedConst := nil
+  direct_const: const ^Word8 := nil
+
+proc write#[T](fd: Int; buf: T; count: Int) -> Int
+return 0
+
+proc write_const#[T](fd: Int; buf: const T; count: Int) -> Int
+return 0
+
+begin
+  write(1, slice.ptr, cast(slice.length: Int));
+  write(1, aliased, 0);
+  write(1, nested, 0);
+  write(1, direct_const, 0);
+  write_const(1, slice.ptr, cast(slice.length: Int));
+  write_const(1, aliased, 0);
+  write_const(1, nested, 0);
+  write_const(1, direct_const, 0)
+end.