[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

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, 1.1.FD 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.