summaryrefslogtreecommitdiff
path: root/test/files/neg/t5762.check
blob: 2a2f12144ab7cf9497a0f067a05a2ca46897e9a1 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
t5762.scala:6: warning: non-variable type argument Int in type pattern D[Int] is unchecked since it is eliminated by erasure
    case _: D[Int]    if bippy => 1
            ^
t5762.scala:7: warning: non-variable type argument String in type pattern D[String] is unchecked since it is eliminated by erasure
    case _: D[String]          => 2
            ^
t5762.scala:20: warning: non-variable type argument D[Int] in type pattern D[D[Int]] is unchecked since it is eliminated by erasure
    case _: D[D[Int]]    if bippy => 1
            ^
t5762.scala:21: warning: non-variable type argument D[String] in type pattern D[D[String]] is unchecked since it is eliminated by erasure
    case _: D[D[String]]          => 2
            ^
error: No warnings can be incurred under -Xfatal-warnings.
four warnings found
one error found