pub trait RevExt<I> { // Required methods fn iter(self) -> I; fn iter_mut(&mut self) -> &mut I; }
⚠
(opaque) ⚠
ensures
(*self).iter() == *result && (^self).iter() == ^result