object MatchError abstract class Foo case class Bar() extends Foo case class Baz(f: Foo) extends Foo Baz(Bar()) match { case Baz(Baz(_)) => () } end MatchError
