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

javac illegally accepts array as bound

    XMLWordPrintable

Details

    • b112
    • 8
    • b117
    • Verified

    Backports

      Description

        Javac 8b112 accepts the following code:
        class Class<M extends Object[]> { }

        As per JLS 7, 4.4. Type Variables

        Grammar:

        TypeParameter:
            TypeVariable TypeBoundopt

        TypeBound:
            extends TypeVariable
            extends ClassOrInterfaceType AdditionalBoundListopt

        4.3. Reference Types and Values:
        ReferenceType:
            ClassOrInterfaceType
            TypeVariable
            ArrayType

        This means ArrayType should not be allowed.

        The following JCK tests fail:

          lang/TYPE/type140/type14003m0/type14003m0.html
        lang/TYPE/type140/type14003m1/type14003m1.html
        lang/TYPE/type140/type14003m2/type14003m2.html
        lang/TYPE/type140/type14003m3/type14003m3.html
          lang/TYPE/type140/type14003m0/type14003m01.html
        lang/TYPE/type140/type14003m1/type14003m11.html
        lang/TYPE/type140/type14003m2/type14003m21.html
        lang/TYPE/type140/type14003m3/type14003m31.html

        Attachments

          Issue Links

            backported by

            Backport - A issue that is required to port a Bug or Feature into another product release. This issue type is generally associated with the main Bug/Feature to represent each individual release of the port. JDK-8028835 javac illegally accepts array as bound

            • P2 - Crashes, loss of data, severe memory leak.
            • Resolved
            blocks

            Bug - A problem which impairs or prevents the functions of the product. JDK-8027386 Compiler regression error on multi-level abstract generic class with intersection types

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

            Bug - A problem which impairs or prevents the functions of the product. JDK-8027738 Lambda Spec: Disallow arrays in intersection cast targets

            • P2 - Crashes, loss of data, severe memory leak.
            • Closed

            Activity

              People

                emc Eric Mccorkle
                vrudomet Victor Rudometov
                Votes:
                0 Vote for this issue
                Watchers:
                7 Start watching this issue

                Dates

                  Created:
                  Updated:
                  Resolved: