blob: 02535f3770c6d5c6b78c3fc01a4d912c2b06aeb6 (
plain) (
tree)
|
|
object Test {
case class CC[T](key: T)
type Alias[T] = Seq[CC[T]]
def f(xs: Seq[CC[_]]) = xs map { case CC(x) => CC(x) } // ok
def g(xs: Alias[_]) = xs map { case CC(x) => CC(x) } // migration warning: unreducible application
// ./a.scala:11: error: missing parameter type for expanded function
// The argument types of an anonymous function must be fully known. (SLS 8.5)
// Expected type was: ?
// def g(xs: Alias[_]) = xs map { case CC(x) => CC(x) } // fails
// ^
// one error found
}
|