hg: valhalla/valhalla/langtools: Add support for value types in generic specialization:

[maurizio.cimadamore at oracle.com]

Changeset: 9d0670a148fa
Author:    mcimadamore
Date:      2014-08-27 11:06 +0100
URL:       http://hg.openjdk.java.net/valhalla/valhalla/langtools/rev/9d0670a148fa

Add support for value types in generic specialization:
* Well-formedness check should treat value types as 'primitives' (i.e. only allow them for 'any' tvars)
* Generalize compiler routines (Types.isReifiable, Types.isSpecializable, Items.needsMangling) to take into account value types
* Generalize SpecializeTypes compiler step to handle value types accordingly
* Add few Type predicates (Type.isValue, Type.isSpecializable)
* 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/Check.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/SpecializeTypes.java
+ test/tools/javac/valhalla/typespec/Values01.java
+ test/tools/javac/valhalla/typespec/Values02.java
+ test/tools/javac/valhalla/typespec/Values02.out
+ test/tools/javac/valhalla/typespec/Values03.java
+ test/tools/javac/valhalla/typespec/Values03.out