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

4.10: Define subtyping for inner classes of parameterized types

    XMLWordPrintable

Details

    Description

      It is not clear how subtyping among inner classes of parameterized types should be handled:

      - Are Foo<Integer>.Bar and Foo<Double>.Bar distinct classes? Or do we need to assert, for subtyping, that the enclosing class types need to be equal?

      - How do we handle Parent<Integer>.Bar vs. Child.Bar (Child extends Parent<Integer>)?

      - Do wildcard-parameterized types have inner classes at all? If so, is Foo<Integer>.Bar a subtype of Foo<? extends Number>.Bar?

      - Presumably Foo.Bar is a supertype of Foo<Integer>.Bar?

      - Foo<Integer>.Bar is not a parameterized type, right? Do we ever overlook this fact, and assume a non-parameterized class type is the same as its erasure? (See, e.g., 5.1.10.)

      Generally, much of Chapter 4 needs to be examined with such types in mind.

      Attachments

        Issue Links

          relates to

          Bug - A problem which impairs or prevents the functions of the product. JDK-8203335 15.9.3: Anonymous inner class can have capture type in supertype

          • P3 - Major loss of function.
          • Open

          Bug - A problem which impairs or prevents the functions of the product. JDK-8203337 5.1.6.2: Local inner class in generic method should be treated as generic

          • P3 - Major loss of function.
          • Open

          Bug - A problem which impairs or prevents the functions of the product. JDK-8203340 Type variable bounds referring to outer class not properly captured

          • 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-8016196 Inference: define supertype parameterization for wildcard-parameterized types

          • P3 - Major loss of function.
          • Open

          Bug - A problem which impairs or prevents the functions of the product. JDK-7026147 8.8.7.1: Specify that type of enclosing class may be parameterized

          • 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-8029704 Lambda Spec: Fix subtype inference for a non-parameterized inner class of a generic type

          • P3 - Major loss of function.
          • Closed

          Activity

            People

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

              Dates

                Created:
                Updated: