Report error when type parameter has a type parameter bound and any other bound

To prevent issues with erasure on JVM: it's unclear what such type parameter
should be erased to

Original commit: d3c17ec337
This commit is contained in:
Alexander Udalov
2015-11-30 22:50:20 +03:00
parent 1309da6996
commit bbd5932a23
@@ -2,6 +2,6 @@ package foo
import bar.*
/*p:foo*/fun <T : /*p:foo*/A?, B : /*p:foo*/Iterable</*p:foo*/Number>, C> test()
where C : /*p:foo*/Number, C : /*p:foo*/Comparable</*p:foo*/Number>, C : B
/*p:foo*/fun <T : /*p:foo*/A?, B : /*p:foo*/Iterable</*p:foo*/Number>, C, D> test()
where C : /*p:foo*/Number, C : /*p:foo*/Comparable</*p:foo*/Number>, D : B
{}