blob: 5a123d17cad7f29a1366c888fa016e78209e9b7a (
plain) (
blame)
1
2
3
4
5
6
7
8
|
trait LazyExp[+This <: LazyExp[This]] { this: This =>
type OpSemExp <: LazyExp[OpSemExp] with This
type Val
}
object Test {
def foo[AA <: LazyExp[_]](a: AA): a.OpSemExp#Val = ??? // a.OpSemExp is volatile, because of `with This`
}
|