{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":".map_or(0,"}]}
                .map_or(0, |p| p.as_ref().skip_binder().len());
                .get(&item_did.to_def_id())
            if item_required_predicates.len() > item_predicates_len {