Module Impl

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

Import path

import codeql.rust.elements.internal.BecomeExprImpl

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) } }