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

Spurious inference error when return type of generic method requires unchecked conversion to target

XMLWordPrintable

    • Icon: Bug Bug
    • Resolution: Fixed
    • Icon: P4 P4
    • 8
    • 7u40, 8, 8-repo-lambda
    • tools
    • b94
    • Verified

      This code doesn't compile in JDK 5/6/7:

      import java.util.List;

      interface B { <X> List m(); }

      class Test {
        void test(B ab) { List<?> n = ab.m(); }
      }


      Test.java:26: incompatible types; no instance(s) of type variable(s) X exist so that java.util.List conforms to java.util.List<?>
      found : <X>java.util.List
      required: java.util.List<?>
        void test(B ab) { List<?> n = ab.m(); }
                                          ^
      1 error

            mcimadamore Maurizio Cimadamore
            mcimadamore Maurizio Cimadamore
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated:
              Resolved: