blob: 56f4358d59710415fad55e64f1be26f75e00e583 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
trait U {
trait ValOrDefDefApi {
def name: Any
}
type ValOrDefDef <: ValOrDefDefApi
type ValDef <: ValOrDefDef with ValDefApi
trait ValDefApi extends ValOrDefDefApi { this: ValDef => }
val emptyValDef: ValDef // the result type is volatile
}
object Test {
val u: U = ???
// but we shouldn't let that stop us from treating it as a stable identifier for import
import u.emptyValDef.name
}
|