blob: b853e6e5a81a001a73e2c131847605ad7345d986 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
trait Foo[-A <: AnyRef, +B <: AnyRef] {
def run[U](x: A)(action: B => U): Boolean = ???
{ run(_: A)(_: B => String) }
}
trait Xs[+A] {
{ List(1, 2, 3) contains "a" } // only this warns
{ List(1, 2, 3) contains 1 }
{ identity(List(1, 2, 3) contains 1) }
{ List("a") foreach println }
}
trait Ys[+A] {
{ 1 to 5 contains 5l }
{ 1l to 5l contains 5 }
{ 1l to 5l contains 5d }
{ 1l to 5l contains 5l }
}
|