summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rw-r--r--tests/misc/t8545.nim23
1 files changed, 23 insertions, 0 deletions
diff --git a/tests/misc/t8545.nim b/tests/misc/t8545.nim
new file mode 100644
index 000000000..89957e1d3
--- /dev/null
+++ 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()