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 Assignee: 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.