Predicate signature MakeImplCommon::reducedViableImplInReturnCand
Holds if flow returning from callable c to call call might return
further and if this path may restrict the set of call sites that can be
returned to.
Import path
import codeql.dataflow.internal.DataFlowImplCommonsignature predicate reducedViableImplInReturnCand(DataFlowCallable c, DataFlowCall call)