Predicate Synth::convertLoopExprToRaw
INTERNAL: Do not use.
Converts a synthesized TLoopExpr to a raw DB element, if possible.
Import path
import codeql.rust.elements.internal.generated.SynthINTERNAL: Do not use.
Converts a synthesized TLoopExpr to a raw DB element, if possible.
import codeql.rust.elements.internal.generated.Synth