64d2fb73cd ^
1 2 3 4 5 6 7 8
// bug contribution #12 trait P[a<:P[a,t1],t1]:a; object X { type A[t1] = P[A[t1],t1]; }