{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"tcx,"}]}
            tcx,
        type_names::push_generic_params(
            tcx.normalize_erasing_regions(self.typing_env(), args),