[cdi-dev] [JBoss JIRA] (CDI-393) Type parameters should not be tested for assignability independently

[Marko Lukša (JIRA)]

Marko Lukša created CDI-393:
-------------------------------

             Summary: Type parameters should not be tested for assignability independently
                 Key: CDI-393
                 URL: https://issues.jboss.org/browse/CDI-393
             Project: CDI Specification Issues
          Issue Type: Bug
          Components: Resolution
    Affects Versions: 1.1.PFD
            Reporter: Marko Lukša


Sadly, I've found yet another problem with section 5.2.4:

{code}
@Vetoed
class Pair<U, V> {
}

class SymmetricalPairProducer {
    @Produces
    public <T> Pair<T, T> produceSymmetricalPair(InjectionPoint ip) {
        return new Pair<T, T>();
    }
}

class Client {
    @Inject Pair<String, Integer> asymmetricalPair;
}
{code}

Even though the producer is only able to produce symmetrical pairs, CDI rules allow the symmetrical pair to be injected into the {{asymmetricalPair}} injection point:


- the required type is {{Pair<String, Integer>}}
- the bean type is {{Pair<T, T>}}
- both types are parameterized and have identical raw type and all parameters satisfy the rules:
-- the first required type parameter is an actual type ({{String}}), the first bean type parameter is a type variable ({{T}}) and the actual type is assignable to the upper bound of the type variable
-- the second required type parameter is also an actual type ({{Integer}}), the second bean type parameter is a type variable ({{T}}) and the actual type is assignable to the upper bound of the type variable.

It is clear that type parameters, when they contain type variables, should not be tested for assignability independently.



--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira