Merge pull request #1922 from dotty-staging/fix-#1723

Fix-#1723: Avoid private leaks on completion

1 files changed, 8 insertions, 0 deletions

diff --git a/tests/pos/i1723.scala b/tests/pos/i1723.scala
new file mode 100644
index 000000000..75f7cd95c
--- /dev/null
+++ b/tests/pos/i1723.scala
@@ -0,0 +1,8 @@
+class A {
+  private val x: List[Int] = List(1)
+  def foo = x.head // foo inferred type is this.x.scala$collection$immutable$List$$A
+}
+
+class B extends A {
+  foo
+}