[Pre-RFC] Allow attributes to be applied to generic arguments

You're right. I've edited it to add a = Global default, like all the alloc collections. In that case, I think it is additive?