Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8016196

Inference: define supertype parameterization for wildcard-parameterized types

    XMLWordPrintable

Details

    Description

      Reduction of subtyping constraints (ArrayList<?> <: List<? super alpha>) invokes capture in javac, leading to incorrect constraints on ivars involving capture vars; these new types also foil the argument that incorporation will terminate.

      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

          Bug - A problem which impairs or prevents the functions of the product. JDK-8160244 skip capture conversion before subtyping if types are parameterizations of the same class or interface

          • P4 - Minor loss of function, or other problem where easy workaround is present.
          • Open

          Bug - A problem which impairs or prevents the functions of the product. JDK-8206142 type inference: javac is incorrectly applying capture conversion during incorporation

          • P4 - Minor loss of function, or other problem where easy workaround is present.
          • In Progress
          relates to

          Bug - A problem which impairs or prevents the functions of the product. JDK-8030746 4.10: Define subtyping for inner classes of parameterized types

          • P4 - Minor loss of function, or other problem where easy workaround is present.
          • Open

          Bug - A problem which impairs or prevents the functions of the product. JDK-8164401 Incorrect treatment of wildcards in subtyping

          • P4 - Minor loss of function, or other problem where easy workaround is present.
          • Open

          Bug - A problem which impairs or prevents the functions of the product. JDK-8170887 18.2.1: Capture variables should not escape lambda bodies

          • P4 - Minor loss of function, or other problem where easy workaround is present.
          • Open

          Bug - A problem which impairs or prevents the functions of the product. JDK-8160114 Unexpected inferred type from wildcard subtyping constraint

          • P4 - Minor loss of function, or other problem where easy workaround is present.
          • Resolved

          Bug - A problem which impairs or prevents the functions of the product. JDK-8168760 ClassCastException: Type$TypeMapping$3 cannot be cast to Type$WildcardType

          • P4 - Minor loss of function, or other problem where easy workaround is present.
          • Resolved

          Bug - A problem which impairs or prevents the functions of the product. JDK-8170885 18.4: Avoid inferring capture variables during resolution

          • P3 - Major loss of function.
          • Open

          Bug - A problem which impairs or prevents the functions of the product. JDK-8033709 4.5.1: Provable distinctness of intersection types

          • P4 - Minor loss of function, or other problem where easy workaround is present.
          • Open

          Bug - A problem which impairs or prevents the functions of the product. JDK-8251891 Lower bound containing wildcard get lost during type inference

          • P4 - Minor loss of function, or other problem where easy workaround is present.
          • Open

          Bug - A problem which impairs or prevents the functions of the product. JDK-8155072 Type inference regression

          • P3 - Major loss of function.
          • Resolved

          Bug - A problem which impairs or prevents the functions of the product. JDK-8177520 Type inference "varargs mismatch; inference variable R has incompatible bounds"

          • P3 - Major loss of function.
          • Resolved

          Bug - A problem which impairs or prevents the functions of the product. JDK-8199234 Code compiles in java8 but not in java9 : "incompatible types: java.lang.Object cannot be converted ..."

          • P3 - Major loss of function.
          • Resolved

          Bug - A problem which impairs or prevents the functions of the product. JDK-8039214 Inference should not map capture variables to their upper bounds

          • P3 - Major loss of function.
          • Closed

          Bug - A problem which impairs or prevents the functions of the product. JDK-8314380 JLS 4. 10. 4. Least Upper Bound is a complete gibberish (full of bugs)

          • P4 - Minor loss of function, or other problem where easy workaround is present.
          • New

          Activity

            People

              dlsmith Dan Smith
              dlsmith Dan Smith
              Votes:
              0 Vote for this issue
              Watchers:
              4 Start watching this issue

              Dates

                Created:
                Updated: