blob: 02535f3770c6d5c6b78c3fc01a4d912c2b06aeb6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
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
}
|