64c57631ab ^
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