path: root/test/files/pos/t946.scala

object pmbugbounds {
  trait Bar
  class Foo[t <: Bar] {}
            
  (new Foo[Bar]) match {
    case _ : Foo[x] => null
  }
}