Check that inferred parent classes are feasible.

1 files changed, 14 insertions, 5 deletions

diff --git a/tests/pos/templateParents.scala b/tests/pos/templateParents.scala
index 530f8c148..845913270 100644
--- a/tests/pos/templateParents.scala
+++ b/tests/pos/templateParents.scala
@@ -1,12 +1,21 @@
 object templateParents {
 
-// traits do not call a constructor
-  class C[+T](x: T)
+  // traits do not call a constructor
+  class C[+T](x: T) 
   trait D extends C[String]
   trait E extends C[Int]
   new C("abc") with D
+  
+}
 
-  //val x = new D with E
+object templateParents1 {
+  // tests inference of synthesized class type
+  class C[+T]
+  trait D extends C[String]
+  trait E extends C[Int]
+
+  val x = new D with E
+
+  val y: C[Int & String] = x
+}
 
-  //val y: C = x
-}
\ No newline at end of file