JDK-8160114 Unexpected inferred type from wildcard subtyping constraint

• 
• Closed

JDK-8168760 ClassCastException: Type$TypeMapping$3 cannot be cast to Type$WildcardType

• 
• Closed

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-8039214 Inference should not map capture variables to their upper bounds

• 
• Closed

JDK-8155072 Type inference regression

• 
• Closed

JDK-8177520 Type inference "varargs mismatch; inference variable R has incompatible bounds"

• 
• Closed

JDK-8199234 Code compiles in java8 but not in java9 : "incompatible types: java.lang.Object cannot be converted ..."

• 
• Closed

JDK-8314380 JLS 4. 10. 4. Least Upper Bound is a complete gibberish (full of bugs)

• 
• New