{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"type_spans.push(self.infcx.tcx.def_span(def.did()));"}]}
                    type_spans.push(self.infcx.tcx.def_span(def.did()));
                    let ty::Adt(def, _) = clause.self_ty().skip_binder().kind() else { continue };
                    types.insert(