Merge pull request #3760 from dotty-staging/fix-#2310

smarter · web-flow · commit 01f794736273 · 2018-01-05T14:31:26.000+01:00
Fix #2310: Add regression test
diff --git a/compiler/test-resources/repl/i2310 b/compiler/test-resources/repl/i2310
@@ -0,0 +1,8 @@
+scala> trait T(x: Int)
+// defined trait T
+scala> trait U extends T
+// defined trait U
+scala> class C extends U with T(22) { override def toString = "C" }
+// defined class C
+scala> new C
+val res0: C = C
