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