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

Inference fails for type variable return constraint

    XMLWordPrintable

Details

    • b03
    • generic, x86
    • generic, windows_2000, windows_xp
    • Verified

    Backports

      Description

        https://bugs.eclipse.org/bugs/show_bug.cgi?id=98379

        This program doesn't compile:

        public class X {
            <T extends X> T f1() throws Exception{
             return null;
            }
            <U extends X> U f2() throws Exception {
                return f1();
            }
        }

        X.java:6: type parameters of <T>T cannot be determined; no unique maximal instance exists for type variable T with upper bounds U,X
                return f1();
                         ^
        1 error

        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-2204263 Inference fails for type variable return constraint

            • P3 - Major loss of function.
            • Resolved

            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-2171748 Inference fails for type variable return constraint

            • P3 - Major loss of function.
            • Closed

            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-2204974 Inference fails for type variable return constraint

            • P3 - Major loss of function.
            • Closed
            duplicates

            Bug - A problem which impairs or prevents the functions of the product. JDK-6456971 Varargs and inference problem

            • P5 - Cosmetic problem like misspelt words or misaligned text.
            • Closed

            Bug - A problem which impairs or prevents the functions of the product. JDK-6476073 Capture using super wildcard of type variables doesn't work

            • P5 - Cosmetic problem like misspelt words or misaligned text.
            • Closed
            relates to

            Bug - A problem which impairs or prevents the functions of the product. JDK-6794295 javac does not compile correct source code with generics.

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

            Activity

              People

                ahe Peter Ahe
                ahe Peter Ahe
                Votes:
                0 Vote for this issue
                Watchers:
                0 Start watching this issue

                Dates

                  Created:
                  Updated:
                  Resolved:
                  Imported:
                  Indexed: