hg: valhalla/valhalla/langtools: More specialization fixes:

maurizio.cimadamore at oracle.com maurizio.cimadamore at oracle.com
Mon Nov 24 13:07:27 UTC 2014


Changeset: 0e7490390c4a
Author:    mcimadamore
Date:      2014-11-24 13:02 +0000
URL:       http://hg.openjdk.java.net/valhalla/valhalla/langtools/rev/0e7490390c4a

More specialization fixes:
* added combinatorial destructuring of 'any' types
* more refined implementation of override clashes
* more refined implementation of class well-formedness w.r.t. abstract methods implementation
* fix issue with AnyItem breaking Item.coerce
* cleanup code (more to come)

! src/jdk.compiler/share/classes/com/sun/tools/javac/code/Flags.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/code/Symbol.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/code/Types.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Check.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/SpecializeTypes.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/TransTypes.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/Gen.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/Items.java
+ test/tools/javac/valhalla/typespec/Clash03.java
+ test/tools/javac/valhalla/typespec/Clash03.out
+ test/tools/javac/valhalla/typespec/Coerce.java



More information about the valhalla-dev mailing list