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

doc, release notes for JDK-8030741

XMLWordPrintable

    • Icon: Bug Bug
    • Resolution: Fixed
    • Icon: P2 P2
    • 8
    • 8
    • docs

      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.

            jgordon Joni Gordon (Inactive)
            vromero Vicente Arturo Romero Zaldivar
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated:
              Resolved: