[proptest-types] generate limits from 1 rather than 0

Generate values from 1 because 0 for writers can mean that writes are no
longer accepted.

Author: sunshowers

CHANGELOG.md

@@ -1,5 +1,12 @@
 # Changelog
 
+## [0.5.4] - 2022-09-27
+
+### Fixed
+
+- For proptest, generate `PartialOp::Limited` byte counts starting at 1 rather than 0. This is because
+  0 can mean no more data is available in the stream.
+
 ## [0.5.3] - 2022-09-27
 
 ### Updated
@@ -31,7 +38,8 @@
 
 For information about earlier versions, please review the [commit history](https://github.com/sunshowers-code/partial-io/commits/main).
 
-[0.5.2]: https://github.com/sunshowers-code/partial-io/releases/tag/0.5.3
+[0.5.4]: https://github.com/sunshowers-code/partial-io/releases/tag/0.5.4
+[0.5.3]: https://github.com/sunshowers-code/partial-io/releases/tag/0.5.3
 [0.5.2]: https://github.com/sunshowers-code/partial-io/releases/tag/0.5.2
 [0.5.1]: https://github.com/sunshowers-code/partial-io/releases/tag/0.5.1
 

Cargo.lock

@@ -1,6 +1,6 @@
 [package]
 name = "partial-io"
-version = "0.5.3"
+version = "0.5.4"
 edition = "2021"
 authors = ["Rain <[email protected]>"]
 description = "Helpers to test partial, interrupted and would-block I/O operations, with support for property-based testing through proptest and quickcheck."

Cargo.toml

@@ -47,7 +47,8 @@ pub fn partial_op_strategy(
     error_strategy: impl Strategy<Value = Option<io::ErrorKind>>,
     limit_bytes: usize,
 ) -> impl Strategy<Value = PartialOp> {
-    (error_strategy, 0..=limit_bytes).prop_map(|(error_kind, limit)| match error_kind {
+    // Don't generate 0 because for writers it can mean that writes are no longer accepted.
+    (error_strategy, 1..=limit_bytes).prop_map(|(error_kind, limit)| match error_kind {
         Some(kind) => PartialOp::Err(kind),
         None => PartialOp::Limited(limit),
     })