blob: a2c695a8ae290cd9676e29c1e6e9ad9e947cab02 (
plain) (
blame)
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
}
}
|