blob: 72e034068263a67af72572a469e2251f6f7834f8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
virtpatmat_exhaust_compound.scala:14: warning: match may not be exhaustive.
It would fail on the following inputs: O1, O2, O4
a match {
^
virtpatmat_exhaust_compound.scala:18: warning: match may not be exhaustive.
It would fail on the following input: O4
def t1(a: Product with Base with Base2) = a match {
^
virtpatmat_exhaust_compound.scala:22: warning: match may not be exhaustive.
It would fail on the following input: O2
def t2(a: Product with Base { def foo: Int }) = a match {
^
error: No warnings can be incurred under -Xfatal-warnings.
three warnings found
one error found
|