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

Inference failure with nested invocation

    XMLWordPrintable

Details

    • b32
    • Verified

    Backports

      Description

        The following fails to compile:

        ---

        public class FirstNonNull {

        public static class C<T> {}

        public static <T> T firstNonNull(T first, T second) {
            return first != null ? first : second;
        }

        public static C<String> doesNotCompile = firstNonNull(new C<String>(), new C<>());

        }

        ---

        Error:

        public static C<String> doesNotCompile = firstNonNull(new C<String>(), new C<>());
                                                             ^
            inferred: C<? extends Object>
            upper bound(s): C<String>,Object

        ---

        This is a regression -- it compiles correctly with the initial release of JDK 8.

        Reported on Stack Overflow: http://stackoverflow.com/questions/25490581

        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-8081020 Inference failure with nested invocation

            • 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-8085401 Inference failure with nested invocation

            • 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-8086229 Inference failure with nested invocation

            • 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-8087009 Inference failure with nested invocation

            • 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-8138430 Inference failure with nested invocation

            • P3 - Major loss of function.
            • Resolved
            duplicates

            Bug - A problem which impairs or prevents the functions of the product. JDK-8080645 Inference failure with multiple nested invocations

            • P3 - Major loss of function.
            • Resolved
            relates to

            Bug - A problem which impairs or prevents the functions of the product. JDK-8056092 18.5.2: Do not eagerly resolve when inference variables are in lower bounds

            • 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-8030741 Inference: implement eager resolution of return types, consistent with JDK-8028800

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

            Activity

              People

                mcimadamore Maurizio Cimadamore
                dlsmith Dan Smith
                Votes:
                0 Vote for this issue
                Watchers:
                5 Start watching this issue

                Dates

                  Created:
                  Updated:
                  Resolved: