blob: 53c7787f8b57ccf091b8c7658bc56792b6639f90 (
plain) (
tree)
|
|
trait T {
final case class A()
}
final class U extends T {
// this match should also not be deemed impossible
def foo(a: U#A) = a match {
case _: A => true; case _ => false
}
// this match should also not be deemed impossible
def bar(a: T#A) = a match {
case _: A => true; case _ => false
}
}
|