Re: [julia-users] Circular parametric types

[Toivo Henningsson]

In the meantime, you can relax the second type definition to

type t2{C, T} <: abstest 
  x::C 
  y::T
end

which will allow you to construct all the parametric types that you want, plus 
some more. You could add a check in the t2 constructor to make sure that T 
meets your expectations.