diff options
Diffstat (limited to 'tests/untried/pos/unchecked-a.scala')
-rw-r--r-- | tests/untried/pos/unchecked-a.scala | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tests/untried/pos/unchecked-a.scala b/tests/untried/pos/unchecked-a.scala new file mode 100644 index 000000000..deceb91c3 --- /dev/null +++ b/tests/untried/pos/unchecked-a.scala @@ -0,0 +1,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} +} |