> coming from Julia. Have missed that statement earlier this morning.
So I wonder if you really intent what you are doing?
For your TestType, you are not defining one single type, but four distinct
different types.
So maybe what you want is sum types, called object variants in Nim?
For your compile problem, my guess is that for
TestType*[T : AbstractType, Y : AbstractType]
Run
the compiler assumes that T and Y are identical, but you want then not
identical, so the explicit "or types" compiles.
