diff options
| author | edef <edef@edef.eu> | 2024-09-07T23·41+0000 |
|---|---|---|
| committer | edef <edef@edef.eu> | 2024-09-08T02·32+0000 |
| commit | e573f8389cad4168ed13a4c4e788415dbcfb994d (patch) | |
| tree | 46e4a61461c3feaf5a87bb4164e56744997b8829 /tvix | |
| parent | bdf1162d4733fb2a5c0c6eb6b615342acd98cb8b (diff) | |
docs(tvix/nix-compat/wire/bytes/reader): None case doesn't exist r/8666
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
Diffstat (limited to 'tvix')
| -rw-r--r-- | tvix/nix-compat/src/wire/bytes/reader/mod.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tvix/nix-compat/src/wire/bytes/reader/mod.rs b/tvix/nix-compat/src/wire/bytes/reader/mod.rs index 81474df70657..77950496ed6b 100644 --- a/tvix/nix-compat/src/wire/bytes/reader/mod.rs +++ b/tvix/nix-compat/src/wire/bytes/reader/mod.rs @@ -109,8 +109,6 @@ where } /// 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 { match self.state { State::Body { |