-
Type:
Bug
-
Resolution: Future Project
-
Priority:
P4
-
None
-
Affects Version/s: 5.0
-
Component/s: tools
-
generic
-
generic
The compiler fails to reject this program:
import java.util.*;
public class X<S> {
public static <U> X<U> test() {
return null;
}
}
class B extends X<Set> {
public static B test() {
return null;
}
}
import java.util.*;
public class X<S> {
public static <U> X<U> test() {
return null;
}
}
class B extends X<Set> {
public static B test() {
return null;
}
}
- relates to
-
-
- Closed
-
-
JDK-6798781 Return type substitutability must handle type variables better
-
- Closed
-
-
-
- Closed
-