{"ast_node_type":"variable","tokens":[{"end":84,"kind":"keyword","start":0,"text":"if"}]}
        if let Err(mut err) = self.demand_suptype_diag(expr.span, expected_ty, ty) {
            let _ = self.emit_type_mismatch_suggestions(