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

doc, release notes for JDK-8030741

    Details

    • Type: Bug
    • Status: Closed
    • Priority: P2
    • Resolution: Fixed
    • Affects Version/s: 8
    • Fix Version/s: 8
    • Component/s: docs

      Description

      There are programs that are not accepted by javac8, for example:

      abstract class A2<T>{
          abstract <S> S foo(S x, S y);
          abstract <S1> void baz(A2<S1> a);

          void bar(A2<Integer> y, A2<Long> x){
               baz(foo(x, y));
          }
      }

      This is due to a type inference spec change with respect to javac7. After analyzing this issue the spec has been modified to accept this kind of programs but the compiler still needs to be sync with the spec.

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                jgordon Joni Gordon
                Reporter:
                vromero Vicente Arturo Romero Zaldivar
              • Votes:
                0 Vote for this issue
                Watchers:
                3 Start watching this issue

                Dates

                • Created:
                  Updated:
                  Resolved: