qtil
advanced-security/qtil-csharp 0.0.3
Search

Member predicate Internal::DispatchOverridableCall::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.

predicate mayBenefitFromCallContext(Callable c, int i)