fa4aaf9bcb ^
1 2 3 4 5
class Par[S] val p = new Par[String] class Foo[T[x]<:Par[x]](t: T[String]) new Foo[p.type](p) // crashes compiler