{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"Definition::Module(def)"}]}
        Definition::Module(def) => NavigationTarget::from_module_to_decl(db, def),
    let mut nav = match def {
        def => def.try_to_nav(db)?,