SI-5313 Revert to two traversals in substThisAndSym.

Partially reverts 334872e.

1 files changed, 30 insertions, 0 deletions

diff --git a/test/files/pos/t5313.scala b/test/files/pos/t5313.scala
new file mode 100644
index 0000000000..e77b73ca4c
--- /dev/null
+++ b/test/files/pos/t5313.scala
@@ -0,0 +1,30 @@
+object DepBug {
+  class A {
+    class B
+    def mkB = new B
+    def m(b : B) = b
+  }
+
+  trait Dep {
+    val a : A
+    val b : a.B
+  }
+
+  val dep = new Dep {
+    val a = new A
+    val b = a.mkB
+  }
+
+  def useDep(d : Dep) {
+    import d._
+    a.m(b)         // OK
+  }
+
+  {
+    import dep._
+    a.m(b)           // OK with 2.9.1.final, error on trunk
+  }
+
+  dep.a.m(dep.b)
+
+}