{"ast_node_type":"variable","tokens":[{"end":30,"kind":"keyword","start":0,"text":"if"}]}
        if let Err(mut diag) =
        let rhs_ty = self.check_expr_with_hint(rhs, lhs_ty);
            self.demand_coerce_diag(rhs, rhs_ty, lhs_ty, Some(lhs), AllowTwoPhase::No)