CodeQL library for Rust
codeql/rust-all 0.1.11 (changelog, source)
Search

Module Generated

INTERNAL: This module contains the fully generated definition of BecomeExpr and should not be referenced directly.

Import path

import codeql.rust.elements.internal.generated.BecomeExpr

Classes

BecomeExpr

A become expression. For example: rust fn fact_a(n: i32, a: i32) -> i32 { if n == 0 { a } else { become fact_a(n - 1, n * a) } } INTERNAL: Do not reference the Generated::BecomeExpr class directly. Use the subclass BecomeExpr, where the following predicates are available.