In this case, type safety cannot be guaranteed and so we would have to check the type argument at runtime and fail if the type is not a subtype of the required bean type.

Although it's not type-safe there are some valid use cases where a similar functionality would be really helpful. See also CDI-455 and CDI-516.