diff options
Diffstat (limited to 'tests/patmat/t9657.check')
| -rw-r--r-- | tests/patmat/t9657.check | 21 |
1 files changed, 4 insertions, 17 deletions
diff --git a/tests/patmat/t9657.check b/tests/patmat/t9657.check index d3e2ec73f..9b92bee60 100644 --- a/tests/patmat/t9657.check +++ b/tests/patmat/t9657.check @@ -1,17 +1,4 @@ -./tests/patmat/t9657.scala:29: warning: match may not be exhaustive. -It would fail on the following input: Bus(_) - def refuel2[P <: Petrol.type](vehicle: Vehicle {type A = P} ): Vehicle = vehicle match { - ^ -./tests/patmat/t9657.scala:38: warning: match may not be exhaustive. -It would fail on the following input: Bus(_) - def foo2(vehicle: Vehicle {type A <: Petrol.type} ): Vehicle = vehicle match { - ^ -./tests/patmat/t9657.scala:49: warning: match may not be exhaustive. -It would fail on the following input: Bus(_) - def bar2(vehicle: Vehicle {type A <: P} ): Vehicle = vehicle match { - ^ -./tests/patmat/t9657.scala:58: warning: match may not be exhaustive. -It would fail on the following input: Bus(_) - def qux2[P <: Petrol.type](vehicle: Vehicle {type A <: P} ): Vehicle = vehicle match { - ^ -four warnings found
\ No newline at end of file +29: Pattern Match Exhaustivity: Bus(_) +38: Pattern Match Exhaustivity: Bus(_) +49: Pattern Match Exhaustivity: Bus(_) +58: Pattern Match Exhaustivity: Bus(_) |