blob: 12441ec0569353fe4bdcdabba2d709b443ec1f47 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
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(_) =>
}
}
|