diff options
author | liu fengyun <liu@fengy.me> | 2016-12-19 14:08:36 +0100 |
---|---|---|
committer | liu fengyun <liu@fengy.me> | 2016-12-19 15:08:59 +0100 |
commit | bfabceeb1d19848e86f69019a4614c3653420ccc (patch) | |
tree | 24765b7cc31ad1763ee05875190bf008a9192a28 /tests/run/i1820b.scala | |
parent | 152e4690edd3e5ad484519baccdf679cfa0919ed (diff) | |
download | dotty-bfabceeb1d19848e86f69019a4614c3653420ccc.tar.gz dotty-bfabceeb1d19848e86f69019a4614c3653420ccc.tar.bz2 dotty-bfabceeb1d19848e86f69019a4614c3653420ccc.zip |
Fix #1820: condition of whether generates outer
Previously, we don't generate `outer` for the anonymous class `new Inner2 {}`.
This is incorrect, as `Inner2 {}` extends `A.Inner`, which requires an outer.
trait A {
val a = "a"
trait Inner {
def f = println(a)
def h = 3
}
}
trait B extends A {
trait Inner2 extends Inner
new Inner2 {}
}
Diffstat (limited to 'tests/run/i1820b.scala')
-rw-r--r-- | tests/run/i1820b.scala | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/tests/run/i1820b.scala b/tests/run/i1820b.scala new file mode 100644 index 000000000..3452b6158 --- /dev/null +++ b/tests/run/i1820b.scala @@ -0,0 +1,19 @@ +trait A { + val a = "a" + trait Inner { + def f = println(a) + def h = 3 + } +} + +trait B extends A { + trait Inner2 extends Inner + def g = new Inner2 {} +} + +object Test { + def main(args: Array[String]): Unit = { + val b = new B {} + b.g.f + } +} |