*** empty log message ***

3 files changed, 47 insertions, 1 deletions

diff --git a/test/files/dis/List.check b/test/files/dis/List.check
index 65f447d305..f80406d4ee 100644
--- a/test/files/dis/List.check
+++ b/test/files/dis/List.check
@@ -60,5 +60,9 @@ object List extends scala.AnyRef with scala.ScalaObject {
     final def fromString(java.lang.String, scala.Char): scala.List[java.lang.String];
     final def fromString(java.lang.String): scala.List[scala.Char];
     final def toString(scala.List[scala.Char]): java.lang.String;
+    final def map2[a, b, c](scala.List[a], scala.List[b], (a, b) => c): scala.List[c];
+    final def forall2[a, b](scala.List[a], scala.List[b], (a, b) => scala.Boolean): scala.Boolean;
+    final def exists2[a, b](scala.List[a], scala.List[b], (a, b) => scala.Boolean): scala.Boolean;
+    final def transpose[a](scala.List[scala.List[a]]): scala.List[scala.List[a]];
     final def view[a <% scala.Ordered[a]](a => scala.Ordered[a])(scala.List[a]): scala.Ordered[scala.List[a]]
 }
diff --git a/test/files/neg/bug72.check b/test/files/neg/bug72.check
index 0b427069f2..eea821046d 100644
--- a/test/files/neg/bug72.check
+++ b/test/files/neg/bug72.check
@@ -1,4 +1,4 @@
-bug72.scala:5: object Set of type scala.collection.mutable.Set cannot be applied to (java.lang.String,java.lang.String,java.lang.String,java.lang.String,java.lang.String) with expected result type scala.collection.mutable.Set[java.lang.String]
+bug72.scala:5: object Set of type scala.collection.mutable.Set.type cannot be applied to (java.lang.String,java.lang.String,java.lang.String,java.lang.String,java.lang.String) with expected result type scala.collection.mutable.Set[java.lang.String]
         val weekDays : Set[String] = Set("Mon", "Tue", "Wed", "Thu", "Fri");
                                         ^
 one error found
diff --git a/test/files/pos/context.scala b/test/files/pos/context.scala
new file mode 100644
index 0000000000..5706918ef9
--- /dev/null
+++ b/test/files/pos/context.scala
@@ -0,0 +1,42 @@
+class Context {
+  object symswrap extends SymsWrapper {
+    val context: Context.this.type = Context.this
+  }
+  object typswrap extends TypsWrapper {
+    val context: Context.this.type = Context.this
+  }
+  object syms extends symswrap.Syms;
+  object typs extends typswrap.Typs;
+}
+
+abstract class SymsWrapper {
+  val context: Context;
+  import context._;
+
+  class Syms: context.syms.type {
+    abstract class Sym: context.syms.Sym {
+      def typ: typs.Typ;
+      def sym: Sym = typ.sym;
+    }
+  }
+}
+
+abstract class TypsWrapper {
+  val context: Context;
+  import context._;
+
+  class Typs: context.typs.type {
+    abstract class Typ {
+      def sym: syms.Sym;
+      def typ: Typ = sym.typ;
+    }
+  }
+}
+
+============================================================
+
+class Context {
+
+
+}
+