{"ast_node_type":"variable","tokens":[{"end":72,"kind":"keyword","start":0,"text":"let"}]}
            let in_bounds_tail = Size::from_bytes(unused_trailing_bits);
        if unused_trailing_bits > 0 {
            self.set_range_inbounds(len, len + in_bounds_tail, new_state); // `Size` operation