{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":".map(|(c,"}]}
                .map(|(c, span)| {
                .iter_instantiated_copied(tcx, rebased_args)
                    traits::Obligation::new(