9ef5f6817 ^
1 2 3 4 5 6 7
trait Foo[TroubleSome] { type T <: Foo[TroubleSome] this match { case e: Foo[_]#T => ??? } }