chore(deps): update rust crate proptest to 1.4.0

Cargo.toml

@@ -19,7 +19,7 @@ typed-arena = { version = "2.0.2", default-features = false }
 log = "0.4.20"
 
 [dev-dependencies]
-proptest = "1.3.0"
+proptest = "1.4.0"
 proptest-derive = "0.4.0"
 miniz_oxide = "0.7.1"
 

src/deflate.rs

@@ -161,6 +161,18 @@ impl<W: Write> Drop for DeflateEncoder<W> {
     }
 }
 
+// Boilerplate to make latest Rustdoc happy: https://github.com/rust-lang/rust/issues/117796
+#[cfg(all(doc, feature = "std"))]
+impl<W: crate::io::Write> std::io::Write for DeflateEncoder<W> {
+    fn write(&mut self, _buf: &[u8]) -> std::io::Result<usize> {
+        unimplemented!()
+    }
+
+    fn flush(&mut self) -> std::io::Result<()> {
+        unimplemented!()
+    }
+}
+
 /// Deflate a part, to allow for chunked, streaming compression with [`DeflateEncoder`].
 /// It is possible to call this function multiple times in a row, shifting
 /// instart and inend to next bytes of the data. If instart is larger than 0, then

src/gzip.rs

@@ -101,3 +101,15 @@ impl<W: Write> Drop for GzipEncoder<W> {
         self._finish().ok();
     }
 }
+
+// Boilerplate to make latest Rustdoc happy: https://github.com/rust-lang/rust/issues/117796
+#[cfg(all(doc, feature = "std"))]
+impl<W: crate::io::Write> std::io::Write for GzipEncoder<W> {
+    fn write(&mut self, _buf: &[u8]) -> std::io::Result<usize> {
+        unimplemented!()
+    }
+
+    fn flush(&mut self) -> std::io::Result<()> {
+        unimplemented!()
+    }
+}

src/zlib.rs

@@ -94,3 +94,15 @@ impl<W: Write> Drop for ZlibEncoder<W> {
         self._finish().ok();
     }
 }
+
+// Boilerplate to make latest Rustdoc happy: https://github.com/rust-lang/rust/issues/117796
+#[cfg(all(doc, feature = "std"))]
+impl<W: crate::io::Write> std::io::Write for ZlibEncoder<W> {
+    fn write(&mut self, _buf: &[u8]) -> std::io::Result<usize> {
+        unimplemented!()
+    }
+
+    fn flush(&mut self) -> std::io::Result<()> {
+        unimplemented!()
+    }
+}