{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":".collect();"}]}
                .collect();
                .filter_map(|nav| to_proto::location_from_nav(snap, nav).ok())
            let title = to_proto::implementation_title(locations.len());