JDK-6556628 : Unclear if Tj <: A constraints are used outside assignment conversion contexts
  • Type: Bug
  • Component: specification
  • Sub-Component: language
  • Affected Version: 6
  • Priority: P4
  • Status: Closed
  • Resolution: Not an Issue
  • OS: generic
  • CPU: generic
  • Submitted: 2007-05-11
  • Updated: 2010-04-04
  • Resolved: 2007-06-13
Related Reports
Relates :  
JDK-6556624 - Fails to accept program with Tj <: A constraint
Description
It is unclear if Tj <: A constraints are used outside assignment conversion contexts.
See CR 6556624 and JLS3 15.12.2.8; Inferring Unresolved Type Arguments.
Comments
EVALUATION As noted in 6556624, a constraint of the form Tj<:A can arise during type inference in 15.12.2.7 way before the assignment conversion context comes into play. Such a constraint is not used further in inference of Tj. 15.12.2.7 basically ignores them. I don't see what's unclear. They're used in glb() in 15.12.2.8 as the title notes.
13-06-2007