LANGUAGE · VERIFIED
Fundamentals
Core syntax confirmed by the current test audit.
Functions
fn main() -> int {
return 42;
}Variables
let x = 10;
x = x + 1;Numeric values
let a: i64 = 10i64;
let b: f64 = 10.5;Conditions
if x > 0 {
return 1;
} else {
return 0;
}Evidence note: the current tests establish integer-valued conditions. They do not establish that every Boolean expression is accepted as an
if condition.Expression values
let result = if x > 0 {
42
} else {
0
};TRACEABILITY
Related Evidence
Open a published source test or inspect the evidence index for source and report summaries. A source file demonstrates a test scenario; it does not imply complete coverage of the related behavior.