{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":".iter_instantiated(cx,"}]}
                .iter_instantiated(cx, args)
                .all_field_tys(cx)
                .map(|field_ty| ty::TraitRef::new(cx, destruct_def_id, [field_ty]))