{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"Definition::Function(it)"}]}
            Definition::Function(it) => it.try_to_nav(db),
            Definition::GenericParam(it) => it.try_to_nav(db),
            Definition::Adt(it) => it.try_to_nav(db),