Member predicate DispatchCall::mayBenefitFromCallContext

Holds if a call context may limit the set of viable source declaration run-time targets of this call.

This is the case if the qualifier is either a this access or a parameter access, as the corresponding qualifier/argument in the call context may have a more precise type.