syntax_data: {"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":".iter_instantiated_copied(tcx,"}]}
source_snippet:                             .iter_instantiated_copied(tcx, args)
context_before:                         ty::EarlyBinder::bind(tcx.assumed_wf_types_for_rpitit(rpitit_def_id))
context_after:                             .chain(tcx.assumed_wf_types(impl_def_id).into_iter().copied()),