blob: 24aab7733b82af21070782db6c9e4967931b6fdf (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
trait FM[A] {
def map(f: A => Any): Unit
}
trait M[A] extends FM[A] {
def map(f: A => Any): Unit
}
trait N[A] extends FM[A]
object test {
def kaboom(xs: M[_]) = xs map (x => ()) // missing parameter type.
def okay1[A](xs: M[A]) = xs map (x => ())
def okay2(xs: FM[_]) = xs map (x => ())
def okay3(xs: N[_]) = xs map (x => ())
}
class CC2(xs: List[_]) {
def f(x1: Any, x2: Any) = null
def g = xs map (x => f(x, x))
}
|
