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

Inference: implement eager resolution of return types, consistent with JDK-8028800

    XMLWordPrintable

Details

    • b12
    • Verified

    Backports

      Description

        Lambda Spec bug JDK-8028800 modifies the treatment of nested generic method invocations in which the return type is an inference variable. javac should implement the new logic.

        This is important to minimize incompatibility with the javac 7 algorithm.

        Three cases are considered:
        - The return type needs to be captured
        - The return type needs to have unchecked conversion
        - The return type needs to be unboxed

        The last one is already implemented, but may be subtly different in some corner cases.

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

            • P2 - Crashes, loss of data, severe memory leak.
            • 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-8052598 Inference: implement eager resolution of return types, consistent with JDK-8028800

            • P2 - Crashes, loss of data, severe memory leak.
            • 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-8031534 Inference: implement eager resolution of return types, consistent with JDK-8028800

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

            Bug - A problem which impairs or prevents the functions of the product. JDK-8028547 javac type inference mistmatch between 7 and 8

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

            Bug - A problem which impairs or prevents the functions of the product. JDK-8044050 Move misplaced inference tests to test/tools/javac/generics/inference

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

            Bug - A problem which impairs or prevents the functions of the product. JDK-8028800 Lambda Spec: Support capture when a nested invocation returns an inference variable

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

            Bug - A problem which impairs or prevents the functions of the product. JDK-8031531 doc, release notes for JDK-8030741

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

            Bug - A problem which impairs or prevents the functions of the product. JDK-8044546 Crash on faulty reduce/lambda

            • P3 - Major loss of function.
            • Closed

            Bug - A problem which impairs or prevents the functions of the product. JDK-8055963 Inference failure with nested invocation

            • P3 - Major loss of function.
            • Closed

            Activity

              People

                vromero Vicente Arturo Romero Zaldivar
                dlsmith Dan Smith
                Votes:
                0 Vote for this issue
                Watchers:
                7 Start watching this issue

                Dates

                  Created:
                  Updated:
                  Resolved: