[cdi-dev] Assignability of raw and parameterized types

Marko Lukša marko.luksa at gmail.com
Mon Apr 2 05:47:27 EDT 2012


Actually, the example is in the spec itself (same section, a few rows 
below).

On 2.4.2012 11:38, Pete Muir wrote:
> Working on the assumption that in your example User extends Persistent, then Dao<T extends Persistent>  isn't assignable to Dao<User>  generally, so this change is correct, surely?
> On 1 Apr 2012, at 15:12, Marko Lukša wrote:
>
>> Hey
>>
>> How come section 5.2.3., bullet 4 was changed from:
>> 	• the required type parameter is an actual type, the bean type parameter is a type variable and the actual type is assignable to the upper bound, if any, of the type variable...
>> to:
>> 	• the required type parameter is an actual type, the bean type parameter is a type variable and the actual type is assignable from the upper bound, if any, of the type variable...
>> Doesn't this mean bean Dao<T extends Persistent>  will not be assignable to Dao<User>?
>> M.
>>
>> _______________________________________________
>> cdi-dev mailing list
>> cdi-dev at lists.jboss.org
>> https://lists.jboss.org/mailman/listinfo/cdi-dev



More information about the cdi-dev mailing list