mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
A class may not at the same time be a subtype of two interface types which are different parameterizations of the same generic interface(IDEA-122475); revert workarounds for javac 6 bug
This commit is contained in:
+1
-1
@@ -18,7 +18,7 @@ interface IA2<T> {}
|
||||
interface IB2<T> extends IA2<T[]> {}
|
||||
|
||||
class A2 {
|
||||
<T extends IA2<Object[]> & IB2<?>> void foo(){}
|
||||
<T extends IA2<Object[]> & IB2<Object>> void foo(){}
|
||||
}
|
||||
|
||||
|
||||
|
||||
+10
@@ -0,0 +1,10 @@
|
||||
import java.util.List;
|
||||
|
||||
interface Base<T> {
|
||||
}
|
||||
|
||||
interface Middle<T> extends Base<List<? super T>> {
|
||||
}
|
||||
|
||||
<error descr="'Base' cannot be inherited with different type arguments: 'java.util.List<? super T>' and 'java.util.List<T>'">interface Child<T> extends Middle<T>, Base<List<T>></error> {
|
||||
}
|
||||
Reference in New Issue
Block a user