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

javac, for method references a primitive type can be added as a bound

    XMLWordPrintable

Details

    • b15

    Backports

      Description

        For this code:

        class Test {
            static <U> Iterable<U> map(Mapper<String, U> mapper) {
                return null;
            }

            static void test() {
                Iterable<Integer> map = map(Test::length);
            }

            public static <T> int length(String s) {
                return 0;
            }
        }

        interface Mapper<T, U> {
            U map(T t);
        }

        javac generates this error message:

        Test.java:7: error: incompatible types: inference variable U has incompatible bounds
                Iterable<Integer> map = map(Test::length);
                                           ^
            equality constraints: Integer
            lower bounds: Integer,int <--- primitive type in bound
          where U is a type-variable:
            U extends Object declared in method <U>map(Mapper<String,U>)
        1 error

        reported by anna.kozlova_at_jetbrains.com in compiler-dev

        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-8042976 javac, for method references a primitive type can be added as a bound

            • 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-8045165 javac, for method references a primitive type can be added as a bound

            • 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-8052604 javac, for method references a primitive type can be added as a bound

            • 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-8042883 javac, for method references a primitive type can be added as a bound

            • P3 - Major loss of function.
            • Closed

            Activity

              People

                vromero Vicente Arturo Romero Zaldivar
                vromero Vicente Arturo Romero Zaldivar
                Votes:
                0 Vote for this issue
                Watchers:
                4 Start watching this issue

                Dates

                  Created:
                  Updated:
                  Resolved: