Predicate signature InputSig::viableImplInCallContext
Gets a viable dispatch target of call
in the context ctx
. This is
restricted to those call
s for which a context might make a difference.
signature DataFlowCallable viableImplInCallContext(DataFlowCall call, DataFlowCall ctx)