hg: jdk8/tl/langtools: 7154127: Inference cleanup: remove bound check analysis from visitors in Types.java

[maurizio.cimadamore at oracle.com]

Changeset: 6f0ed5a89c25
Author:    mcimadamore
Date:      2012-04-11 10:50 +0100
URL:       http://hg.openjdk.java.net/jdk8/tl/langtools/rev/6f0ed5a89c25

7154127: Inference cleanup: remove bound check analysis from visitors in Types.java
Summary: Remove bound checking rules from recursive subtype visitors in Types.java and replace with centralized bound-checking logic
Reviewed-by: jjg, dlsmith

! src/share/classes/com/sun/tools/javac/code/Type.java
! src/share/classes/com/sun/tools/javac/code/Types.java
! src/share/classes/com/sun/tools/javac/comp/Infer.java
! src/share/classes/com/sun/tools/javac/resources/compiler.properties
! src/share/classes/com/sun/tools/javac/util/RichDiagnosticFormatter.java
! test/tools/javac/Diagnostics/6722234/T6722234b_1.out
! test/tools/javac/Diagnostics/6722234/T6722234b_2.out
! test/tools/javac/Diagnostics/6799605/T6799605.out
! test/tools/javac/cast/7123100/T7123100a.out
! test/tools/javac/diags/examples.not-yet.txt
! test/tools/javac/diags/examples/CantApplyDiamond1.java
! test/tools/javac/diags/examples/IncompatibleTypes1.java
+ test/tools/javac/diags/examples/InferNoConformingAssignment.java
- test/tools/javac/diags/examples/InferredDoNotConformToBounds.java
+ test/tools/javac/diags/examples/InferredDoNotConformToEq.java
+ test/tools/javac/diags/examples/InferredDoNotConformToLower.java
+ test/tools/javac/diags/examples/InferredDoNotConformToUpper.java
! test/tools/javac/diags/examples/InvalidInferredTypes.java
! test/tools/javac/diags/examples/WhereCaptured.java
! test/tools/javac/diags/examples/WhereCaptured1.java
+ test/tools/javac/diags/examples/WhereFreshTvar.java
! test/tools/javac/generics/diamond/neg/Neg06.out
! test/tools/javac/generics/diamond/neg/Neg07.out
! test/tools/javac/generics/inference/6315770/T6315770.out
! test/tools/javac/generics/inference/6611449/T6611449.out
! test/tools/javac/generics/inference/6638712/T6638712b.out
! test/tools/javac/generics/inference/6638712/T6638712d.out
! test/tools/javac/generics/inference/6638712/T6638712e.out
! test/tools/javac/generics/inference/6650759/T6650759m.out
! test/tools/javac/generics/inference/7086601/T7086601a.out
+ test/tools/javac/generics/inference/7154127/T7154127.java
+ test/tools/javac/generics/inference/7154127/T7154127.out