pub fn canonicalize_statements(
stmts: &[Statement],
ctx: &CanonicalisationContext,
) -> (Vec<Statement>, CanonicalisationStats)Expand description
Canonicalize a statement-body slice. Walks every statement
and applies expression canonicalization to embedded
rhs_text / cond_text slices (re-lowered through
lower_expression first).