{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"&&"}]}
                    && prior_arm.is_none_or(|(_, ty, _)| self.may_coerce(ty, ret_ty))
                self.may_coerce(arm_ty, ret_ty)
                    // The match arms need to unify for the case of `impl Trait`.