summary refs log tree commit diff stats
path: root/tests/misc/t8545.nim
blob: 89957e1d31a99b50cf14f77952bf38db96bef1c3 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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()