1 files changed, 34 insertions, 0 deletions

diff --git a/test/files/pos/context.scala.disabled b/test/files/pos/context.scala.disabled
new file mode 100644
index 0000000000..575df9a708
--- /dev/null
+++ b/test/files/pos/context.scala.disabled
@@ -0,0 +1,34 @@
+class Context {
+  object symwrap extends SymbolWrapper {
+    val context: Context.this.type = Context.this
+  }
+  object typewrap extends TypeWrapper {
+    val context: Context.this.type = Context.this
+  }
+  object symbols extends symwrap.Symbols;
+  object types extends typewrap.Types;
+}
+
+abstract class SymbolWrapper {
+  val context: Context;
+  import context._;
+  
+  class Symbols requires context.symbols.type {
+    abstract class Symbol {
+      def typ: types.Type;
+      def sym: Symbol = typ.sym;
+    }
+  }
+}
+
+abstract class TypeWrapper {
+  val context: Context;
+  import context._;
+
+  class Types requires context.types.type {
+    abstract class Type {
+      def sym: symbols.Symbol;
+      def typ: Type = sym.typ;
+    }
+  }
+}