Function infer_type 

fn infer_type(e: &Expr, ctx: &mut WalkCtx<'_>) -> WgslType

Type-only version of walk_expr — doesn’t emit edits. Used by builtin-return inference where we want the type of an arg without double-walking it.