We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 61c6d4d commit 5a6542bCopy full SHA for 5a6542b
tests/neg-custom-args/fatal-warnings/opaque-match.scala
@@ -3,6 +3,8 @@ case class C()
3
object O:
4
opaque type T <: C = C
5
val x: T = C()
6
+ (??? : Any) match
7
+ case _: T => ??? // OK
8
9
def Test[T] =
10
O.x match
@@ -14,6 +16,8 @@ def Test[T] =
14
16
15
17
(??? : Any) match
18
case _: List[O.T] => ??? // error
19
20
+ case _: List[O.T @unchecked] => ??? // OK
21
22
case _: List[T] => ??? // error
23
0 commit comments