Auto merge of #50076 - spastorino:fix_exhaust_iter_in_debug, r=pnkfelix
Fix Iter exhaustion in prove_predicates when debug is on
Fixes the issue noted in this comment https://github.com/rust-lang/rust/pull/49885/files#r182560268
r? @pnkfelix
/cc @nikomatsakis