test/files/pos/t9658.scala


1
2
3
4
5
6
7
8
9
10

sealed trait G[T]
case object GI extends G[Int]

class C {
  def typerFail[T](rt: G[T]): T = rt match {
    case GI =>
      { case x => x } : PartialFunction[Any, Any] // comment this line, compiles.
      0 // found Int, required T
  }
}