object MatchError
  abstract class Foo
  case class Bar(s: String) extends Foo

  Bar("foo") match { case Bar("foo") => () }
end MatchError