{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"_"}]}
                _ => None,
                ty::PredicateKind::Clause(ty::ClauseKind::Trait(data)) => Some(data.def_id()),
            };