1 files changed, 19 insertions, 0 deletions
diff --git a/tests/untried/neg/t6566b.scala b/tests/untried/neg/t6566b.scala
new file mode 100644
index 000000000..0d488dbe8
--- /dev/null
+++ b/tests/untried/neg/t6566b.scala
@@ -0,0 +1,19 @@
+object WhatsYourTypeIsMyType {
+  trait WithMyType[+T] {
+    type MyType = T
+  }
+
+  class Foo extends WithMyType[Foo] {
+    var x: MyType = _
+    def setX() = x = new Foo
+  }
+
+  class Bar extends Foo with WithMyType[Bar] {
+    def unsound: Unit = { println("iAmABar") }
+
+    setX()
+    println(x.unsound)
+  }
+
+  def main(args: Array[String]): Unit = new Bar
+}