Details
-
Bug
-
Resolution: Unresolved
-
P3
-
5.0, 7, 8
Description
The correct behavior is unspecified: what is the parameterization of List that is a supertype of ArrayList<?>? How do we derive it?
Attachments
Issue Links
- blocks
-
JDK-8160244 skip capture conversion before subtyping if types are parameterizations of the same class or interface
-
- Open
-
-
JDK-8206142 type inference: javac is incorrectly applying capture conversion during incorporation
-
- In Progress
-
- relates to
-
JDK-8030746 4.10: Define subtyping for inner classes of parameterized types
-
- Open
-
-
JDK-8164401 Incorrect treatment of wildcards in subtyping
-
- Open
-
-
JDK-8170887 18.2.1: Capture variables should not escape lambda bodies
-
- Open
-
-
JDK-8160114 Unexpected inferred type from wildcard subtyping constraint
-
- Resolved
-
-
JDK-8168760 ClassCastException: Type$TypeMapping$3 cannot be cast to Type$WildcardType
-
- Resolved
-
-
JDK-8170885 18.4: Avoid inferring capture variables during resolution
-
- Open
-
-
JDK-8033709 4.5.1: Provable distinctness of intersection types
-
- Open
-
-
JDK-8251891 Lower bound containing wildcard get lost during type inference
-
- Open
-
-
JDK-8155072 Type inference regression
-
- Resolved
-
-
JDK-8177520 Type inference "varargs mismatch; inference variable R has incompatible bounds"
-
- Resolved
-
-
JDK-8199234 Code compiles in java8 but not in java9 : "incompatible types: java.lang.Object cannot be converted ..."
-
- Resolved
-
-
JDK-8039214 Inference should not map capture variables to their upper bounds
-
- Closed
-
-
JDK-8314380 JLS 4. 10. 4. Least Upper Bound is a complete gibberish (full of bugs)
-
- New
-