path: root/tests/pos/t6184.scala

trait Foo[TroubleSome] {
  type T <: Foo[TroubleSome]

  this match {
    case e: Foo[_]#T => ???
  }
}