20 lines
233 B
Nim
20 lines
233 B
Nim
discard """
|
|
output: "T[1, 1]"
|
|
"""
|
|
|
|
# https://github.com/nim-lang/Nim/issues/3784
|
|
|
|
import typetraits
|
|
|
|
type
|
|
S[N: static[int]] = object
|
|
T[A,B: static[int]] = object
|
|
|
|
C = S[1]
|
|
|
|
var
|
|
x: T[1,1]
|
|
y: T[C.N, C.N]
|
|
|
|
echo y.type.name
|
|
|