Close #8545 by add a test case (#17432)

Co-authored-by: Timothee Cour <[email protected]>
nim-lang · Mar 21, 2021 · eca0b87 · eca0b87
1 parent b70e33f
commit eca0b87
Showing 1 changed file with 23 additions and 0 deletions.
diff --git a/tests/misc/t8545.nim b/tests/misc/t8545.nim
@@ -0,0 +1,23 @@
+discard """
+  targets: "c cpp js"
+"""
+
+# bug #8545
+
+template bar(a: static[bool]): untyped = int
+
+proc main() =
+  proc foo1(a: static[bool]): auto = 1
+  doAssert foo1(true) == 1
+
+  proc foo2(a: static[bool]): bar(a) = 1
+  doAssert foo2(true) == 1
+
+  proc foo3(a: static[bool]): bar(cast[static[bool]](a)) = 1
+  doAssert foo3(true) == 1
+
+  proc foo4(a: static[bool]): bar(static(a)) = 1
+  doAssert foo4(true) == 1
+
+static: main()
+main()