JDK-8031531 : doc, release notes for JDK-8030741
  • Type: Bug
  • Component: docs
  • Sub-Component: release_notes
  • Affected Version: 8
  • Priority: P2
  • Status: Closed
  • Resolution: Fixed
  • Submitted: 2014-01-10
  • Updated: 2014-02-11
  • Resolved: 2014-01-24
The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.
JDK 8
8Fixed
Related Reports
Relates :  
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.
Comments
verified in http://review.us.oracle.com/review2/Review.html#reviewId=203811;documentId=599719;noteId=2699249
11-02-2014

Added release note to Known Issues and linked to 8030741
24-01-2014