{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"debug_assert!(self.lo"}]}
        debug_assert!(self.lo <= self.hi);
        // The Span infrastructure should make sure that this invariant holds: