Expression Statements

An expression followed by a semicolon becomes an expression statement.

expr_stmt = expression ";" ;

The value of the expression is discarded. The type of an expression statement is ().

fn side_effect() { }

fn main() -> i32 {
    side_effect();  // expression statement
    42
}

Expression statements are useful for calling functions for their side effects while discarding their return values.