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

javac, inconsistent inference output for javac8 -source 7

    XMLWordPrintable

    Details

      Description

      This code:

      class Test {
          class K<T> {}

          <P extends K<P>> void f(String s) {
              P p = foo(s);
          }

          <U extends K<U>> U foo(String s) {
              return null;
          }
      }

      compiles with javac7 and javac8 but not with javac8 source 7

      reported in compiler-dev: http://mail.openjdk.java.net/pipermail/compiler-dev/2014-February/008519.html

        Attachments

          Issue Links

            Activity

              People

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

                Dates

                Created:
                Updated:
                Resolved: