Merge pull request #2216 from dotty-staging/fix-2163

fix #2163: don't narrow liftedOwner if symbol is InSuperCall

1 files changed, 21 insertions, 0 deletions

diff --git a/tests/run/i2163.scala b/tests/run/i2163.scala
new file mode 100644
index 000000000..952f651e3
--- /dev/null
+++ b/tests/run/i2163.scala
@@ -0,0 +1,21 @@
+class Base(f: Int => Int) {
+  def result = f(3)
+}
+
+class Child(x: Int) extends Base(y => x + y)
+
+class Outer(z: Int) {
+  class Base(f: Int => Int) {
+    def result = f(3)
+  }
+
+  class Child(x: Int) extends Base(y => x + y + z)
+}
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    assert(new Child(4).result == 7)
+    val o = new Outer(2)
+    assert(new o.Child(2).result == 7)
+  }
+}