From b9e576ad1ba0ff02c550c821648f23905477e545 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Sat, 1 Mar 2014 18:27:02 +0100
Subject: Check that inferred parent classes are feasible.

---
 tests/neg/templateParents.scala | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'tests/neg/templateParents.scala')

diff --git a/tests/neg/templateParents.scala b/tests/neg/templateParents.scala
index 637c6037a..6ecc8c384 100644
--- a/tests/neg/templateParents.scala
+++ b/tests/neg/templateParents.scala
@@ -7,3 +7,10 @@ object templateParentsNeg {
   new C("b") with C2     // error: C2 is not a trait
 
 }
+object templateParentsNeg1 {
+  class C[T]
+  trait D extends C[String]
+  trait E extends C[Int]
+
+  val x = new D with E // error no type fits between inferred bounds
+}
\ No newline at end of file
-- 
cgit v1.2.3