{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"all_arms_diverge"}]}
                        all_arms_diverge &= self.diverges;
                        let arm_ty = self.infer_expr_inner(arm.expr, &expected, ExprIsRead::Yes);
                        coerce.coerce(self, Some(arm.expr), &arm_ty, CoercionCause::Expr(arm.expr));