3 files changed, 21 insertions, 1 deletions
diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala
index fd860aa53..8553ecb29 100644
--- a/test/dotc/tests.scala
+++ b/test/dotc/tests.scala
@@ -76,7 +76,7 @@ class tests extends CompilerTest {
   @Test def neg_autoTupling2 = compileFile(negDir, "autoTuplingTest", xerrors = 4)
   @Test def neg_companions = compileFile(negDir, "companions", xerrors = 1)
   @Test def neg_over = compileFile(negDir, "over", xerrors = 1)
-  @Test def neg_overrides = compileFile(negDir, "overrides", xerrors = 5)
+  @Test def neg_overrides = compileFile(negDir, "overrides", xerrors = 7)
   @Test def neg_projections = compileFile(negDir, "projections", xerrors = 1)
   @Test def neg_i39 = compileFile(negDir, "i39", xerrors = 1)
   @Test def neg_i50_volatile = compileFile(negDir, "i50-volatile", xerrors = 4)
diff --git a/tests/neg/overrides.scala b/tests/neg/overrides.scala
index d502af8dd..943cc8bc4 100644
--- a/tests/neg/overrides.scala
+++ b/tests/neg/overrides.scala
@@ -68,3 +68,14 @@ class X1 {
 class Y1 extends X1 {
   override def f(): B1 = ???
 }
+
+class X2 {
+  type T = A1
+}
+class Y2 extends X2 {
+  type T = B1
+}
+
+class X3 {
+  override type T = A1
+}
diff --git a/tests/pos/overrides.scala b/tests/pos/overrides.scala
index 97402f773..c8c1f630f 100644
--- a/tests/pos/overrides.scala
+++ b/tests/pos/overrides.scala
@@ -11,3 +11,12 @@ class B extends A[Int] {
   f(2)()
 
 }
+
+class A1
+class A2
+class X1 {
+  type T = A1
+}
+class Y1 extends X1 {
+  override type T = A2
+}