{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"ecx.record_impl_args(impl_args);"}]}
            ecx.record_impl_args(impl_args);
            let impl_args = ecx.fresh_args_for_item(impl_def_id);
            let impl_trait_ref = impl_trait_ref.instantiate(cx, impl_args);