9ef5f6817 ^
1 2 3 4 5 6
trait A { type Result } class PolyTests { def wrong(x: A { type Result = Int }) : A { type Result = String} = x }