hg: valhalla/valhalla/langtools: Add type-checking support for 'any' type-variables

[maurizio.cimadamore at oracle.com]

Changeset: b38cb9f5c2de
Author:    mcimadamore
Date:      2014-07-18 17:44 +0100
URL:       http://hg.openjdk.java.net/valhalla/valhalla/langtools/rev/b38cb9f5c2de

Add type-checking support for 'any' type-variables
*) Tweak generic well-formedness to accept primitive in generics
*) Add support for 'any' in main typing assertions (subtyping, type-equality, cast, etc.)
*) Add inference support for 'any' type-variables
*) Add logic to detect type-specialization-related overload/override/hide clashes
*) Add basic tests

! src/share/classes/com/sun/tools/javac/code/Symtab.java
! src/share/classes/com/sun/tools/javac/code/Type.java
! src/share/classes/com/sun/tools/javac/code/TypeTag.java
! src/share/classes/com/sun/tools/javac/code/Types.java
! src/share/classes/com/sun/tools/javac/comp/Attr.java
! src/share/classes/com/sun/tools/javac/comp/Check.java
! src/share/classes/com/sun/tools/javac/comp/Infer.java
! src/share/classes/com/sun/tools/javac/comp/Resolve.java
! src/share/classes/com/sun/tools/javac/resources/compiler.properties
! src/share/classes/com/sun/tools/javac/util/RichDiagnosticFormatter.java
+ test/tools/javac/diags/examples/TypeVarCantBeDerefAny.java
+ test/tools/javac/generics/typevars/8026527/T8026527.java
+ test/tools/javac/generics/typevars/8026527/T8026527.out
+ test/tools/javac/valhalla/typespec/AnyReference.java
+ test/tools/javac/valhalla/typespec/AnyReference.out
+ test/tools/javac/valhalla/typespec/Cast01.java
+ test/tools/javac/valhalla/typespec/Cast01.out
+ test/tools/javac/valhalla/typespec/Clash.java
+ test/tools/javac/valhalla/typespec/Clash.out
+ test/tools/javac/valhalla/typespec/Inference01.java
+ test/tools/javac/valhalla/typespec/Inference01.out
+ test/tools/javac/valhalla/typespec/Inference02.java
+ test/tools/javac/valhalla/typespec/Inference02.out
+ test/tools/javac/valhalla/typespec/Subtyping01.java
+ test/tools/javac/valhalla/typespec/Subtyping01.out