hg: jdk7/tl/langtools: 5 new changesets

[maurizio.cimadamore at sun.com]

Changeset: 6508d7e812e1
Author:    mcimadamore
Date:      2008-10-23 17:59 +0100
URL:       http://hg.openjdk.java.net/jdk7/tl/langtools/rev/6508d7e812e1

6732484: Bound error on wildcard code
Summary: Check.checkExtends should cope with captured type-variables
Reviewed-by: jjg

! src/share/classes/com/sun/tools/javac/code/Type.java
! src/share/classes/com/sun/tools/javac/comp/Check.java
+ test/tools/javac/generics/wildcards/T6732484.java

Changeset: 4d2d8b6459e1
Author:    mcimadamore
Date:      2008-10-23 17:59 +0100
URL:       http://hg.openjdk.java.net/jdk7/tl/langtools/rev/4d2d8b6459e1

6711619: javac doesn't allow access to protected members in intersection types
Summary: Accordingly to new accessibility rules all members of intersection types (but private ones) should be accessible
Reviewed-by: jjg

! src/share/classes/com/sun/tools/javac/code/Symbol.java
! src/share/classes/com/sun/tools/javac/comp/Attr.java
! src/share/classes/com/sun/tools/javac/comp/Resolve.java
! test/tools/javac/generics/6531090/T6531090b.java
+ test/tools/javac/generics/6711619/T6711619a.java
+ test/tools/javac/generics/6711619/T6711619a.out
+ test/tools/javac/generics/6711619/T6711619b.java
+ test/tools/javac/generics/6711619/T6711619b.out

Changeset: db77bf6adb53
Author:    mcimadamore
Date:      2008-10-23 18:00 +0100
URL:       http://hg.openjdk.java.net/jdk7/tl/langtools/rev/db77bf6adb53

6487370: javac incorrectly gives ambiguity warning with override-equivalent abstract inherited methods
Summary: Javac should not compare erased return types when checking for ambiguity errors during overload resolution
Reviewed-by: jjg

! src/share/classes/com/sun/tools/javac/comp/Resolve.java
+ test/tools/javac/generics/6487370/T6487370.java

Changeset: 433ee48257c0
Author:    mcimadamore
Date:      2008-10-23 18:10 +0100
URL:       http://hg.openjdk.java.net/jdk7/tl/langtools/rev/433ee48257c0

6548436: Incorrect inconvertible types error
Summary: Types.rewrite quantifiers should cope with captured type-variables properly
Reviewed-by: jjg

! src/share/classes/com/sun/tools/javac/code/Types.java
+ test/tools/javac/cast/6548436/T6548436a.java
+ test/tools/javac/cast/6548436/T6548436b.java
+ test/tools/javac/cast/6548436/T6548436c.java
+ test/tools/javac/cast/6548436/T6548436d.java

Changeset: c6e3fc6dda61
Author:    mcimadamore
Date:      2008-10-23 18:29 +0100
URL:       http://hg.openjdk.java.net/jdk7/tl/langtools/rev/c6e3fc6dda61

6557954: Inner class type parameters doesn't get substituted when checking type well-formedness
Summary: Validator.visitTypeApply should substitute all formal typevars with actual parameters
Reviewed-by: jjg

! src/share/classes/com/sun/tools/javac/comp/Check.java
+ test/tools/javac/generics/T6557954.java