Thanks for quick reply, Martin Kouba.

Nested "contains" meaning clearly makes sense with relation to type variables. Still I created CDI spec clarification issue as you suggested, because I see no reason why all nested wildcard types in bean type should be forbidden.