{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":".filter(|(_,"}]}
        .filter(|(_, (crate_data, _))| {
        .map(|krate| (krate, (krate.data(db), krate.extra_data(db))))
            if full {