2 files changed, 17 insertions, 0 deletions
diff --git a/test/files/neg/bug708.check b/test/files/neg/bug708.check
new file mode 100644
index 0000000000..30b31b662a
--- /dev/null
+++ b/test/files/neg/bug708.check
@@ -0,0 +1,5 @@
+bug708.scala:8 error: error overriding type A$$S in trait X with bounds >: scala.All <: A.this.T;
+ type A$$S has incompatible type scala.Any
+    override private[A] type S = Any;
+                             ^
+one error found
diff --git a/test/files/neg/bug708.scala b/test/files/neg/bug708.scala
new file mode 100644
index 0000000000..f86a005811
--- /dev/null
+++ b/test/files/neg/bug708.scala
@@ -0,0 +1,12 @@
+trait A {
+  type T;
+  trait X {
+    private[A] type S <: T;
+    /*private[A]*/ def foo : S;
+  }
+  trait Y extends X {
+    override private[A] type S = Any;
+    override /*private[A]*/ def foo = null;
+  }
+}
+