From 863b2dad7f05a1ef33cf121e5e5b2e7171a167d9 Mon Sep 17 00:00:00 2001
From: metagn <10591326+metagn@users.noreply.github.com>
Date: Fri, 15 Mar 2024 19:26:29 +0300
Subject: [PATCH] add #23406 test

---
 tests/generics/tcalltype.nim | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 tests/generics/tcalltype.nim

diff --git a/tests/generics/tcalltype.nim b/tests/generics/tcalltype.nim
new file mode 100644
index 0000000000000..33758c111dbb6
--- /dev/null
+++ 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.