64c57631ab ^
c956a27c32 ^
1 2
3
4 5 6
t4818.scala:4: error: type mismatch; found : Int(5) required: Nothing def f(x: Any) = x match { case Fn(f) => f(5) } ^ one error found