On Thursday, January 28, 2016 at 10:57:59 AM UTC+1, Toivo Henningsson wrote:
>
> 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.
>
I am not sure this will work, since in my case T would in this case "be"
t1{t2{C, T},B}, which again contains T and which results in an infinite
recursion? I don't know how to construct a concrete instance of this type
in this case.
