hg: valhalla/valhalla/langtools: Fix bugs in generic specialized method call type-checking

maurizio.cimadamore at oracle.com maurizio.cimadamore at oracle.com
Fri Sep 12 13:55:03 UTC 2014


Changeset: 3cf735859c28
Author:    mcimadamore
Date:      2014-09-12 14:45 +0100
URL:       http://hg.openjdk.java.net/valhalla/valhalla/langtools/rev/3cf735859c28

Fix bugs in generic specialized method call type-checking
* explicit specialized generic method calls are not specialized in the bytecode
* treatment of boxed target-type in specialized method calls leads to spurious errors

! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/SpecializeTypes.java
! test/tools/javac/valhalla/typespec/Inference01.java
+ test/tools/javac/valhalla/typespec/Inference04.java
! test/tools/javac/valhalla/typespec/items/tests/TestIndy.java



More information about the valhalla-dev mailing list