blob: 534b2070a394a3d0f8ae104dd6fc31eeab20b0ce (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
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
}
}
|