hg: valhalla/valhalla/langtools: Misc type-checking fixes:

[maurizio.cimadamore at oracle.com]

Changeset: 5afa3cddd11e
Author:    mcimadamore
Date:      2015-01-07 13:21 +0000
URL:       http://hg.openjdk.java.net/valhalla/valhalla/langtools/rev/5afa3cddd11e

Misc type-checking fixes:
* Disallow specialized -> raw unchecked conversion
* Iron out inference rules for bound boxing logic
* Types.isSpecialized erroneously returns 'true' for unbounded wildcard-parameterized types
* Refactor code in Attr relying on Types.isSpecialized
* Improve inference diagnostics by suppressing synthetic tvar bounds
* Add tests

! src/jdk.compiler/share/classes/com/sun/tools/javac/code/Type.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/Infer.java
! test/tools/javac/valhalla/typespec/Inference01.out
+ test/tools/javac/valhalla/typespec/Inference05.java
+ test/tools/javac/valhalla/typespec/Inference05.out
+ test/tools/javac/valhalla/typespec/Raw.java
+ test/tools/javac/valhalla/typespec/Raw.out