{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"Some(res)"}]}
                Some(res) => def_to_nav(db, Definition::from(res)),
            match resolution {
                None => vec![],