blob: deceb91c3662eb1e07ab8dac4b45e9ea3d2437b6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
trait Y
trait Z extends Y
class X[+A <: Y]
object Test {
def f1(x: X[_ <: Y]) = x match {
case _: X[Any] => // looks a little funny; `Any` is outside the bounds for `A`
}
def f2(x: X[_ <: Y]) = x match {
case _: X[Y] => // looks better, let's allow this (too)
}
// NonLocalReturnControl[_] warnings
def foo: Int = List(0).foldLeft(0){case _ => return 0}
}
|
