[cdi-dev] [JBoss JIRA] (CDI-387) Incorrect rule regarding assignability of parameterized types when both bean type parameter and required type parameter are type variables

[Marko Lukša (JIRA)]

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

             Summary: Incorrect rule regarding assignability of parameterized types when both bean type parameter and required type parameter are type variables
                 Key: CDI-387
                 URL: https://issues.jboss.org/browse/CDI-387
             Project: CDI Specification Issues
          Issue Type: Bug
    Affects Versions: 1.1.PFD
            Reporter: Marko Lukša


Say we have the following required type:
{code}
Dao<X extends Medium>
{code}

and classes:
{code}
class Small {...}
class Medium extends Small {...}
class Big extends Medium {...}
{code}

According to the last bullet of section 5.2.4., 
bean type {{Dao<X extends Small>}} is assignable to the required type {{Dao<X extends Medium>}}, since the required type parameter and bean type parameter are both type variables and the upper bound of the required type parameter ({{Medium}}) is assignable to the upper bound of the bean type parameter ({{Small}}). 

On the other hand, according to the same rules, bean type {{Dao<X extends Big>}} is not assignable to required type {{Dao<X extends Medium>}}. 

It should be the other way around. 

Bullet 5 should be corrected in the same way bullet 4 was corrected in CDI-85. The upper bound of the required type parameter should be assignable *from* the upper bound of the bean type parameter.



--
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