{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":")"}]}
    ) -> ErrorGuaranteed {
        user_written_clauses: impl IntoIterator<Item = (ty::Clause<'tcx>, Span)>,
        let tcx = self.tcx();