Predicate MakeImplCommon::Cached::viableReturnPosOut
Holds if a value at return position pos can be returned to out via call,
taking virtual dispatch into account.
Import path
import codeql.dataflow.internal.DataFlowImplCommonpredicate viableReturnPosOut(Call call, ReturnPosition pos, OutNodeExt out)