docs(tvix/nix-compat/wire/bytes/reader): None case doesn't exist

We always read the length before returning a BytesReader, so len()
cannot be called before the length is read.

Change-Id: Ifa1cbc2c0923dd24d59e0af5e135ab8ed7314aa9
Reviewed-on: https://cl.tvl.fyi/c/depot/+/12453
Reviewed-by: flokli <flokli@flokli.de>
Tested-by: BuildkiteCI
This commit is contained in:
edef 2024-09-07 23:41:23 +00:00
parent bdf1162d47
commit e573f8389c

View file

@ -109,8 +109,6 @@ where
} }
/// Remaining data length, ie not including data already read. /// Remaining data length, ie not including data already read.
///
/// If the size has not been read yet, this is [None].
pub fn len(&self) -> u64 { pub fn len(&self) -> u64 {
match self.state { match self.state {
State::Body { State::Body {