{"ast_node_type":"variable","tokens":[{"end":95,"kind":"keyword","start":0,"text":"let"}]}
        let obligation = Obligation::new(self.tcx, self.misc(span), self.param_env, trait_ref);
        let trait_ref = ty::TraitRef::new(self.tcx, into_iterator_trait, [ty]);
        if !self.predicate_must_hold_modulo_regions(&obligation) {