object MatchError
  abstract class Foo
  case class Bar() extends Foo
  case class Baz() extends Foo

  Bar() match { case Baz() => () }
end MatchError