{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"self.tcx.mk_args(&[main_ret_ty.into()]),"}]}
            self.tcx.mk_args(&[main_ret_ty.into()]),
            start_def_id,
            DUMMY_SP,