{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"assert!(!navs.is_empty(),"}]}
        assert!(!navs.is_empty(), "navigation is empty");
        let navs = analysis.goto_type_definition(position).unwrap().unwrap().info;