{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":")"}]}
    ) -> Result<(), ErrorGuaranteed> {
        ti: &TopInfo<'tcx>,
        self.demand_eqtype_pat_diag(cause_span, expected, actual, ti).map_err(|err| err.emit())