diff options
Diffstat (limited to 'tests/neg/templateParents.scala')
| -rw-r--r-- | tests/neg/templateParents.scala | 7 |
1 files changed, 7 insertions, 0 deletions
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 |