Loading...

XML

Word

Printable

Type: Enhancement
Resolution: Fixed
Priority: P5
Fix Version/s: 8
Affects Version/s: 6
Component/s: specification
Labels:
None

Subcomponent:
language
CPU:

generic
OS:

generic
Verification:
Verified

The introduction of the capture conversion simplified a lot of things. One of the things it did is make "?" equivalent to "? extends Object". Unfortunately, JLS3 doesn't say they are equivalent. It should because, for example, 4.5.1.1, which describes type argument containment, does not address the unbounded wildcard case. Similarly, the definition of Icta on page 465 seems to be missing a case for an unbounded wildcard. I expect there are others.

duplicates

JDK-6573446 javac infers a type bound where none should exist

Closed

relates to

JDK-8163890 4.5.1: Clarify that ? <= ? extends Object

Open

JDK-8268148 unchecked warnings handle ? and ? extends Object differently

Resolved

JDK-8030148 Lambda Spec: Reduction for Foo<?> = Foo<? extends alpha>

Closed

JDK-4949438 4.5: When are wildcards "the same"?

Open

JDK-8030686 Lambda Spec: Incorporation for capture bound involving ? extends Object

Closed

JDK-5052943 4.10.4: Improve lub for lower-bounded wildcards and variables

Open

(2 relates to)

Assignee:: Alex Buckley

Reporter:: Peter Ahe

Votes:: 0 Vote for this issue

Watchers:: 2 Start watching this issue

Created:: 2006-10-10 13:15

Updated:: 2021-06-02 15:49

Resolved:: 2013-08-23 12:35

Imported:: 16/Sep/12 7:23 PM

Indexed:: 18/Jul/12 1:57 PM

Details

Description

Attachments

Issue Links

Activity

People

Dates