blob: b29d591cb12677a6017a31a54de38624f6777314 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
object Unchecked {
(null: Any) match {
case _: Some[t] =>
// t is a fresh pattern type variable, despite our attempts to
// backtick our way to the enclosing `t`. Under this interpretation,
// the absense of an unchecked warning is expected.
(null: Any) match {
case _: Some[t] => // no warn
}
(null: Any) match {
case _: Some[`t`] => // no warn
}
// here we correctly issue an unchecked warning
type T = t
(null: Any) match {
case _: Some[T] => // warn
}
}
}
|