fn visit_expression(
expr: &Loc<Expression>,
linear_state: &mut LinearState,
ctx: &LinearCtx<'_>,
) -> Result<()>
fn visit_expression(
expr: &Loc<Expression>,
linear_state: &mut LinearState,
ctx: &LinearCtx<'_>,
) -> Result<()>