{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"def_id_for_ty_in_cycle:"}]}
            def_id_for_ty_in_cycle: self.def_id_for_ty_in_cycle,
            def_id: self.def_id,
        }