./tests/patmat/t7669.scala:10: warning: match may not be exhaustive.
It would fail on the following input: NotHandled(_)
  def exhausto(expr: Expr): Unit = expr match {
                                        ^
one warning found