Predicate signature InputSig::mayBenefitFromCallContext
Holds if the set of viable implementations that can be called by call
might be improved by knowing the call context.
signature predicate mayBenefitFromCallContext(DataFlowCall call)
Holds if the set of viable implementations that can be called by call
might be improved by knowing the call context.
signature predicate mayBenefitFromCallContext(DataFlowCall call)