Predicate MakeImplCommon::Cached::viableReturnPosOutEx
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 viableReturnPosOutEx(Call call, ReturnPosition pos, OutNodeEx out)