diff options
Diffstat (limited to 'tests/untried/neg/t7669.scala')
-rw-r--r-- | tests/untried/neg/t7669.scala | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/untried/neg/t7669.scala b/tests/untried/neg/t7669.scala new file mode 100644 index 000000000..12441ec05 --- /dev/null +++ b/tests/untried/neg/t7669.scala @@ -0,0 +1,13 @@ +object Test { + + sealed abstract class Expr + // Change type of `arg` to `Any` and the exhaustiveness warning + // is issued below + case class Op(arg: Expr) extends Expr + case class NotHandled(num: Double) extends Expr + + def exhausto(expr: Expr): Unit = expr match { + case Op(Op(_)) => + case Op(_) => + } +} |