[scala] Re: is this a bug?

Jesper Nordenberg wrote:
> - For all C "T2[C] <: T[T2, B]" must hold, which clearly is not true and
> would indicate a compiler bug.

Here's an even more contrived example:

trait T[A[Int] <: T[A, B], B]
class T2[B] extends T[T2, B]
new T2[Float]

This basically says that "T2[Int] <: T[T2, Float]" which obviously isn't
true, so there's seems to be some checks missing in the compiler.

/Jesper Nordenberg