hg: jdk7/tl/langtools: 3 new changesets

[maurizio.cimadamore at oracle.com]

Changeset: 2088e674f0e0
Author:    mcimadamore
Date:      2011-01-28 12:01 +0000
URL:       http://hg.openjdk.java.net/jdk7/tl/langtools/rev/2088e674f0e0

6910550: javac 1.5.0_17 fails with incorrect error message
Summary: multiple clashing members declared in same class should be added to the class' scope in order to avoid downstream spurious diagnostics
Reviewed-by: jjg

! src/share/classes/com/sun/tools/javac/code/Flags.java
! src/share/classes/com/sun/tools/javac/comp/Check.java
! src/share/classes/com/sun/tools/javac/comp/Resolve.java
+ test/tools/javac/generics/6910550/T6910550a.java
+ test/tools/javac/generics/6910550/T6910550a.out
+ test/tools/javac/generics/6910550/T6910550b.java
+ test/tools/javac/generics/6910550/T6910550b.out
+ test/tools/javac/generics/6910550/T6910550c.java
+ test/tools/javac/generics/6910550/T6910550c.out
+ test/tools/javac/generics/6910550/T6910550d.java
+ test/tools/javac/generics/6910550/T6910550d.out
+ test/tools/javac/generics/6910550/T6910550e.java
+ test/tools/javac/generics/6910550/T6910550e.out

Changeset: 5a43b245aed1
Author:    mcimadamore
Date:      2011-01-28 12:03 +0000
URL:       http://hg.openjdk.java.net/jdk7/tl/langtools/rev/5a43b245aed1

6313164: javac generates code that fails byte code verification for the varargs feature
Summary: method applicability check should fail if formal varargs element type is not accessible
Reviewed-by: jjg

! 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
! test/tools/javac/diags/examples.not-yet.txt
+ test/tools/javac/diags/examples/InaccessibleVarargsType/InaccessibleVarargsType.java
+ test/tools/javac/diags/examples/InaccessibleVarargsType/p1/A.java
+ test/tools/javac/diags/examples/InaccessibleVarargsType/p1/B.java
! test/tools/javac/generics/inference/6638712/T6638712c.out
! test/tools/javac/generics/inference/6638712/T6638712d.out
+ test/tools/javac/varargs/6313164/T6313164.java
+ test/tools/javac/varargs/6313164/T6313164.out
+ test/tools/javac/varargs/6313164/p1/A.java
+ test/tools/javac/varargs/6313164/p1/B.java
+ test/tools/javac/varargs/6313164/p1/C.java

Changeset: 17bafae67e9d
Author:    mcimadamore
Date:      2011-01-28 12:06 +0000
URL:       http://hg.openjdk.java.net/jdk7/tl/langtools/rev/17bafae67e9d

6838943: inference: javac is not handling type-variable substitution properly
Summary: free type-variables are being replaced with type-variables bound to forall type leading to unsoundness
Reviewed-by: jjg, dlsmith

! src/share/classes/com/sun/tools/javac/code/Types.java
+ test/tools/javac/generics/inference/6838943/T6838943.java
+ test/tools/javac/generics/inference/6838943/T6838943.out