fn skip(&mut self, n: u32) {
        // INVARIANT: `pos` is non-decreasing.
        self.pos += n;
        debug_assert!(self.pos <= self.out.len);
    }
// Any call to this function must keep the invariant.
Any call to this function must keep the invariant.
Any call to this function must keep the invariant .
fn skip(&mut self, n: u32) {
        // INVARIANT: `pos` is non-decreasing.
        self.pos += n;
        debug_assert!(self.pos <= self.out.len);
    }
fn skip ( & mut self , n : u32 ) { // INVARIANT: `pos` is non-decreasing. self . pos += n ; debug_assert ! ( self pos self out len ) ; }
Any call to this function must keep the invariant.
Any call to this function must keep the invariant .
&mut self
n
u32
&mut self
n
u32