blob: ff973a7437b887919578f09b9c8da8515ec0ab88 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
trait U {
trait ValOrDefDefApi {
def name: Any
}
type ValOrDefDef <: ValOrDefDefApi
type ValDef <: ValOrDefDef with ValDefApi { type T }
trait ValDefApi extends ValOrDefDefApi { this: ValDef => }
val emptyValDef: ValDef // the result type is volatile
}
object Test {
val u: U = ???
(null: Any) match {
case _: u.emptyValDef.T => // and, unlike in pos/t6185.scala, we shouldn't allow this.
}
}
|