{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"def_key.disambiguated_data.data.get_opt_name().or_else(||"}]}
        def_key.disambiguated_data.data.get_opt_name().or_else(|| {
        let def_key = self.def_key(item_index);
            if def_key.disambiguated_data.data == DefPathData::Ctor {