Predicate Cached::optionalStep
A step in a flow summary defined using OptionalStep[name]. An OptionalStep is “opt-in”, which means
that by default the step is not present in the flow summary and needs to be explicitly enabled by defining
an additional flow step.
Import path
import codeql.rust.dataflow.internal.DataFlowImplpredicate optionalStep(Node node1, string name, Node node2)