1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
case class C(a: Int, b: String, c: Option[String])
case class D(a: Int)
trait Boundings {
private val x = 42 // warn, sanity check
def c = C(42, "hello", Some("world"))
def d = D(42)
def f() = {
val C(x, y, Some(z)) = c // no warn
17
}
def g() = {
val C(x @ _, y @ _, Some(z @ _)) = c // no warn
17
}
def h() = {
val C(x @ _, y @ _, z @ Some(_)) = c // no warn for z?
17
}
def v() = {
val D(x) = d // warn, fixme
17
}
def w() = {
val D(x @ _) = d // warn, fixme (valdef pos is different)
17
}
}
trait Forever {
def f = {
val t = Option((17, 42))
for {
ns <- t
(i, j) = ns // no warn
} yield (i + j)
}
def g = {
val t = Option((17, 42))
for {
ns <- t
(i, j) = ns // no warn
} yield 42
}
}
|
