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

[maurizio.cimadamore at oracle.com]

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