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

Most-specific should not have any special treatment for boxed vs. unboxed types

    XMLWordPrintable

Details

    • b14
    • Verified

    Backports

      Description

        The following compiles with javac 8 b121:

        static void m(Object dummy, int arg) { System.out.println("int"); }
        static void m(Object dummy, Integer arg) { System.out.println("Integer"); }

        public static void main(String... args) {
          m(0, 23);
          m(0, Integer.valueOf(23));
        }

        (The first invocation prints "int"; the second prints "Integer".)

        This was an experimental feature in Lambda that we ultimately agreed to undo for 8. The return expressions of _lambdas_ should continue to get special treatment, but a top-level argument should not. The only mechanism for treating one parameter type as better than another in this case should be subtyping.

        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-8034993 Most-specific should not have any special treatment for boxed vs. unboxed types

            • 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-8045169 Most-specific should not have any special treatment for boxed vs. unboxed types

            • 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-8052608 Most-specific should not have any special treatment for boxed vs. unboxed types

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

            Bug - A problem which impairs or prevents the functions of the product. JDK-8037789 Surprising more-specific results for lambda bodies with no return expressions

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

            Bug - A problem which impairs or prevents the functions of the product. JDK-8042344 18.5.4: Need bounds ensuring parameter types are the same

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

            Bug - A problem which impairs or prevents the functions of the product. JDK-8132544 Compiler method binding error on overloaded method when varargs is present

            • P3 - Major loss of function.
            • Closed

            Activity

              People

                dlsmith Dan Smith
                dlsmith Dan Smith
                Votes:
                0 Vote for this issue
                Watchers:
                6 Start watching this issue

                Dates

                  Created:
                  Updated:
                  Resolved: