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