blob: 534b2070a394a3d0f8ae104dd6fc31eeab20b0ce (
plain) (
tree)
|
|
trait T {
final case class A()
// Was:
// error: scrutinee is incompatible with pattern type;
// found : T.this.A
// required: T#A
def foo(a: T#A) = a match {
case _: A => true; case _ => false
}
}
|