1 files changed, 18 insertions, 0 deletions
diff --git a/tests/pos/sigs.scala b/tests/pos/sigs.scala
index 6f66a02e9..2051ead9a 100644
--- a/tests/pos/sigs.scala
+++ b/tests/pos/sigs.scala
@@ -20,6 +20,24 @@ object sigs {
       
    override def foo(x: Int) = "abc"
   }
+  
+  trait A { self: B =>
+    type AA
+    val a: AA & BB
+    
+  }
+  
+  trait B { this: A =>
+    type BB
+    val b: AA & BB
+  }
+
+  class C extends A with B {
+    type AA = String
+    type BB = AnyRef
+    val a = ""
+    val b = ""
+  }
 
 
 }
 \ No newline at end of file