{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":".map(|krate|"}]}
        .map(|krate| krate.root_module())
        .filter(|x| x.origin(db).is_local())
        .collect();