{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"span:"}]}
        span: Span,
        &self,
        user_written_clauses: impl IntoIterator<Item = (ty::Clause<'tcx>, Span)>,