add nim-lang#23406 test

metagn · Mar 15, 2024 · a4a7239 · a4a7239
1 parent 3403ae6
commit a4a7239
Showing 1 changed file with 22 additions and 0 deletions.
diff --git a/tests/generics/tcalltype.nim b/tests/generics/tcalltype.nim
@@ -0,0 +1,22 @@
+# issue #23406
+
+template helper(_: untyped): untyped =
+ int
+
+type # Each of them should always be `int`.
+ GenA[T] = helper int
+ GenB[T] = helper(int)
+ GenC[T] = helper helper(int)
+
+block:
+ template helper(_: untyped): untyped =
+ float
+
+ type
+ A = GenA[int]
+ B = GenB[int]
+ C = GenC[int]
+
+ assert A is int # OK.
+ assert B is int # Fails; it is `float`!
+ assert C is int # OK.