1 2 3 4 5 6 7 8
object pmbugbounds { trait Bar class Foo[t <: Bar] {} (new Foo[Bar]) match { case _ : Foo[x] => null } }