Member predicate AnnotatedType::appliesToTypeArgument
Holds if this annotated type is the ith type argument of constructed generic ‘g’.
predicate appliesToTypeArgument(ConstructedGeneric g, int i)Holds if this annotated type is the ith type argument of constructed generic ‘g’.
predicate appliesToTypeArgument(ConstructedGeneric g, int i)