blob: 7b8c13e8f88f7027e151f89caca971d5fbf6fb29 (
plain) (
blame)
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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
sealed trait A2[T1]
final class B2[T1, T2] extends A2[T1]
sealed trait A[T]
final class B[T] extends A[T]
sealed trait A1[T]
trait B1[T] extends A1[T]
trait C1[T] extends A1[T]
trait D1[T] extends A1[Int]
trait E1[T] extends B1[Int]
trait F1[T] extends B1[T]
object MiscUnchecked {
/* nowarn */ def knownType1(x: A[Int]) = x match { case _: B[Int] if true => 1 }
/* nowarn */ def knownType2(x: B[Int]) = x match { case _: A[Int] if true => 1 }
/* nowarn */ def tparamLeakage1(x: Any) = x match { case Array() => 1 }
/* nowarn */ def tparamLeakage2(x: Any) = x match { case List() => 1 }
// E1[Double] implies B1[Int], but B1[Int] does not imply E1[Double], even if .isInstanceOf[E1[_]]
// F1[Int] implies B1[Int], and B1[Int] implies F1[Int]
/* nowarn */ def peerTypes1(x: B1[Int]) = x match { case _: C1[Int] => true }
/* warn */ def peerTypes2(x: B1[Int]) = x match { case _: E1[Double] => true }
/* warn */ def peerTypes3(x: B1[_]) = x match { case _: F1[Double] => true }
/* nowarn */ def peerTypes4(x: B1[Int]) = x match { case _: F1[Int] => true }
/* warn */ def twotypes1[T](x: B2[T, Int]) = x match { case _: A2[Int] => true }
/* nowarn */ def twotypes2[T](x: B2[Int, T]) = x match { case _: A2[Int] => true }
/* nowarn */ def twotypes3(x: A2[Int]) = x match { case _: B2[Int, _] => true }
/* nowarn */ def twotypes4[T](x: A2[T]) = x match { case _: B2[T, _] => true }
/* warn */ def twotypes5[T](x: A2[T]) = x match { case _: B2[_, Int] => true }
}
object Arrays {
def f1(x: Any) = x match {
/* nowarn */ case _: Array[Int] => ()
/* nowarn */ case _: Array[Boolean] => ()
/* nowarn */ case _: Array[String] => ()
/* warn */ case _: Array[List[String]] => ()
/* nowarn */ case _: Array[Array[String]] => ()
/* nowarn */ case _: Array[Array[Array[String]]] => ()
/* warn */ case _: Array[Array[List[String]]] => ()
}
def f2(x: Array[_]) = x match {
/* nowarn */ case _: Array[Int] => ()
/* nowarn */ case _: Array[Boolean] => ()
/* nowarn */ case _: Array[String] => ()
/* warn */ case _: Array[List[String]] => ()
/* nowarn */ case _: Array[Array[String]] => ()
/* nowarn */ case _: Array[Array[Array[String]]] => ()
/* warn */ case _: Array[Array[List[String]]] => ()
}
def f3[T](x: Array[T]) = x match {
/* nowarn */ case _: Array[Int] => ()
/* nowarn */ case _: Array[Boolean] => ()
/* nowarn */ case _: Array[String] => ()
/* warn */ case _: Array[List[String]] => ()
/* nowarn */ case _: Array[Array[String]] => ()
/* warn */ case _: Array[List[Array[String]]] => ()
/* warn */ case _: Array[Array[List[String]]] => ()
}
}
object Matching {
class Q {
type A
type B <: A
def f(xs: Traversable[B]) = xs match {
/* nowarn */ case xs: List[A] => xs.head
/* nowarn */ case xs: Seq[B] => xs.head
/* warn */ case xs: Set[A] => xs.head
}
def f2[T <: B](xs: Traversable[T]) = xs match {
/* nowarn */ case xs: List[B with T] => xs.head
/* nowarn */ case xs: Seq[A] => xs.head
/* nowarn */ case xs: Set[T] => xs.head
}
}
}
|