Fix #1865: Compute outer path at right phase

When computing the outer path, we need to be careful to dealias before erasure,
even if the outer path is demanded during erasure. Otherwise we lose prefixes.

1 files changed, 24 insertions, 0 deletions

diff --git a/tests/pending/pos/i1865.scala b/tests/pending/pos/i1865.scala
new file mode 100644
index 000000000..1b77558ff
--- /dev/null
+++ b/tests/pending/pos/i1865.scala
@@ -0,0 +1,24 @@
+class AbsCell {
+  type T = Node
+  class Node
+}
+
+object Test {
+  def test: Unit = {
+    val cell = new AbsCell
+    new cell.T
+  }
+}
+
+class AbsCell2 {
+  type T = Node
+  val value: T = value
+  def set(x: T): Unit = {}
+  class Node
+}
+object init {
+  def main = {
+    val cell = new AbsCell2 { val init = new Node }
+    cell set (new cell.T)
+  }
+}