diff options
Diffstat (limited to 'tests/untried/neg/t6042.scala')
| -rw-r--r-- | tests/untried/neg/t6042.scala | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/untried/neg/t6042.scala b/tests/untried/neg/t6042.scala new file mode 100644 index 000000000..5a123d17c --- /dev/null +++ b/tests/untried/neg/t6042.scala @@ -0,0 +1,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` +} |