hg: jdk/sandbox: 8191802: Upward projection result is A<? extends Number> instead of A<? super Integer>

chris.hegarty at oracle.com chris.hegarty at oracle.com
Wed Nov 29 17:48:50 UTC 2017


Changeset: 5dd899009525
Author:    mcimadamore
Date:      2017-11-29 17:31 +0000
URL:       http://hg.openjdk.java.net/jdk/sandbox/rev/5dd899009525

8191802: Upward projection result is A<? extends Number> instead of A<? super Integer>
Summary: Code in Types.TypeProjection doesn't match the latest spec text
Reviewed-by: vromero

! src/jdk.compiler/share/classes/com/sun/tools/javac/code/Types.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Check.java
! test/langtools/jdk/jshell/TypeNameTest.java
+ test/langtools/tools/javac/lvti/T8191893.java
+ test/langtools/tools/javac/lvti/T8191959.java
+ test/langtools/tools/javac/lvti/TestBadArray.java
+ test/langtools/tools/javac/lvti/harness/UpperBounds.java



More information about the jdk-sandbox-changes mailing list