This commit is contained in:
Zahary Karadjov
2017-06-10 22:34:28 +03:00
committed by Andreas Rumpf
parent 92ee2ee4ce
commit 0149e418be

View File

@@ -0,0 +1,20 @@
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