Merge pull request #1038 from dotty-staging/fix-#1037

Fix #1037

2 files changed, 7 insertions, 0 deletions

diff --git a/tests/run/t7475b.check b/tests/run/t7475b.check
index 51993f072..487b11653 100644
--- a/tests/run/t7475b.check
+++ b/tests/run/t7475b.check
@@ -1,2 +1,4 @@
 2
 2
+2
+2
diff --git a/tests/run/t7475b.scala b/tests/run/t7475b.scala
index a205602b6..d3b0435b0 100644
--- a/tests/run/t7475b.scala
+++ b/tests/run/t7475b.scala
@@ -1,11 +1,16 @@
 trait A { private val x = 1 }
 trait B { val x = 2 }
+trait C { val x: Int }
 trait C1 extends B with A { println(x) }
 trait C2 extends A with B { println(x) }
+trait C3 extends C with B { println(x) }
+trait C4 extends B with C { println(x) }
 
 object Test {
   def main(args: Array[String]): Unit = {
     new C1 { }
     new C2 { }
+    new C3 { }
+    new C4 { }
   }
 }