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

Regression: valid code rejected during generic type well-formedness check

    XMLWordPrintable

Details

    • Bug
    • Resolution: Fixed
    • P3
    • 8
    • 7, 8
    • tools
    • b30
    • unknown, x86
    • generic, windows_7
    • Verified

    Backports

      Description

        This code does not compile:

        class Pair<K, V> { }

        class TypeTest {
           static abstract class A<K, V, I extends Pair<K, V>, I2 extends Pair<V, K>> {
              abstract A<V, K, I2, I> test();
           }
        }

        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-2221628 Regression: valid code rejected during generic type well-formedness check

            • P3 - Major loss of function.
            • Closed
            duplicates

            Bug - A problem which impairs or prevents the functions of the product. JDK-7158422 Self-referencing type parameters no longer compile under JDK7

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

            Bug - A problem which impairs or prevents the functions of the product. JDK-6880344 Recursive type parameters do not compile

            • P3 - Major loss of function.
            • Closed

            Activity

              People

                mcimadamore Maurizio Cimadamore
                mcimadamore Maurizio Cimadamore
                Votes:
                0 Vote for this issue
                Watchers:
                0 Start watching this issue

                Dates

                  Created:
                  Updated:
                  Resolved:
                  Imported:
                  Indexed: