Re: Weird behaviour with generic type

[Sixte]

The compiler unifies `T` and `Y`, as long as it finds the same root type, 
`AbstractType` here. If you write down `AbstractType` again , e.g. using 
`AbstractType2`, then assigning with `Y`, the program should compile.