build(deps): update bolero requirement from 0.11 to 0.12 (#2400)

Author: camshaft

Cargo.toml

@@ -15,6 +15,10 @@ exclude = [
     "tools",
 ]
 
+[workspace.dependencies]
+bolero = "0.12"
+bolero-generator = { version = "0.12", default-features = false }
+
 [profile.release]
 lto = true
 codegen-units = 1

common/s2n-codec/Cargo.toml

@@ -19,14 +19,14 @@ checked_range_unsafe = []
 generator = ["bolero-generator"]
 
 [dependencies]
-bolero-generator = { version = "0.11", default-features = false, optional = true }
+bolero-generator = { workspace = true, optional = true }
 byteorder = { version = "1.1", default-features = false }
 bytes = { version = "1", default-features = false, optional = true }
 zerocopy = { version = "0.7", features = ["derive"] }
 
 [dev-dependencies]
-bolero = "0.11"
-bolero-generator = "0.11"
+bolero.workspace = true
+bolero-generator.workspace = true
 
 [package.metadata.kani]
 flags = { tests = true }

common/s2n-codec/src/decoder/checked_range.rs

@@ -12,13 +12,12 @@ pub struct CheckedRange {
     original_ptr: *const u8,
 }
 
-#[cfg(any(test, feature = "generator"))]
-use bolero_generator::*;
-
 #[cfg(test)]
 impl bolero::TypeGenerator for CheckedRange {
     fn generate<D: bolero::Driver>(driver: &mut D) -> Option<Self> {
-        let start = gen::<usize>().generate(driver)?;
+        use bolero::ValueGenerator;
+
+        let start = bolero::gen::<usize>().generate(driver)?;
         let end = (start..).generate(driver)?;
         Some(CheckedRange::new(start, end, core::ptr::null()))
     }

common/s2n-codec/src/zerocopy.rs

@@ -9,7 +9,7 @@ use core::{
 pub use zerocopy::*;
 
 #[cfg(feature = "generator")]
-use bolero_generator::*;
+use bolero_generator::prelude::*;
 
 /// Define a codec implementation for a zerocopy value that implements
 /// `FromBytes`, `AsBytes`, and `Unaligned`.
@@ -293,7 +293,7 @@ macro_rules! zerocopy_network_integer {
 
         #[cfg(feature = "generator")]
         impl TypeGenerator for $name {
-            fn generate<D: Driver>(driver: &mut D) -> Option<Self> {
+            fn generate<D: bolero_generator::Driver>(driver: &mut D) -> Option<Self> {
                 Some(Self::new(driver.gen()?))
             }
         }

dc/s2n-quic-dc/Cargo.toml

@@ -20,7 +20,7 @@ arrayvec = "0.7"
 atomic-waker = "1"
 aws-lc-rs = "1"
 bitflags = "2"
-bolero-generator = { version = "0.11", optional = true }
+bolero-generator = { workspace = true, optional = true }
 bytes = "1"
 crossbeam-channel = "0.5"
 crossbeam-epoch = "0.9"
@@ -46,8 +46,8 @@ zeroize = "1"
 parking_lot = "0.12"
 
 [dev-dependencies]
-bolero = "0.11"
-bolero-generator = "0.11"
+bolero.workspace = true
+bolero-generator.workspace = true
 insta = "1"
 s2n-codec = { path = "../../common/s2n-codec", features = ["testing"] }
 s2n-quic-core = { path = "../../quic/s2n-quic-core", features = ["testing"] }

dc/wireshark/Cargo.toml

@@ -14,7 +14,7 @@ s2n-quic-core = { path = "../../quic/s2n-quic-core" }
 s2n-quic-dc = { path = "../s2n-quic-dc" }
 
 [dev-dependencies]
-bolero = "0.11"
+bolero = "0.12"
 s2n-quic-core = { path = "../../quic/s2n-quic-core", features = ["testing", "generator"] }
 s2n-quic-dc = { path = "../s2n-quic-dc", features = ["testing"] }
 

quic/s2n-quic-core/Cargo.toml

@@ -29,7 +29,7 @@ usdt = ["dep:probe"]
 
 [dependencies]
 atomic-waker = { version = "1", optional = true }
-bolero-generator = { version = "0.11", optional = true }
+bolero-generator = { workspace = true, optional = true }
 byteorder = { version = "1", default-features = false }
 bytes = { version = "1", optional = true, default-features = false }
 crossbeam-utils = { version = "0.8", optional = true }
@@ -49,8 +49,8 @@ futures-test = { version = "0.3", optional = true } # For testing Waker interact
 once_cell = { version = "1", optional = true }
 
 [dev-dependencies]
-bolero = "0.11"
-bolero-generator = "0.11"
+bolero.workspace = true
+bolero-generator.workspace = true
 insta = { version = "1", features = ["json"] }
 futures = "0.3"
 futures-test = "0.3"

quic/s2n-quic-core/src/connection/id.rs

@@ -11,7 +11,7 @@ use core::time::Duration;
 use s2n_codec::{decoder_value, Encoder, EncoderValue};
 
 #[cfg(any(test, feature = "generator"))]
-use bolero_generator::*;
+use bolero_generator::prelude::*;
 
 //= https://www.rfc-editor.org/rfc/rfc9000#section-5.1
 //# Each connection possesses a set of connection identifiers, or

quic/s2n-quic-core/src/frame/ack.rs

@@ -443,7 +443,7 @@ const ACK_RANGE_DECODING_ERROR: DecoderError =
 //#
 //# ECN counts are maintained separately for each packet number space.
 #[cfg(any(test, feature = "generator"))]
-use bolero_generator::*;
+use bolero_generator::prelude::*;
 
 #[derive(Copy, Clone, Debug, Default, PartialEq, Eq)]
 #[cfg_attr(any(test, feature = "generator"), derive(TypeGenerator))]

quic/s2n-quic-core/src/frame/ack_elicitation.rs

@@ -2,7 +2,7 @@
 // SPDX-License-Identifier: Apache-2.0
 
 #[cfg(any(test, feature = "generator"))]
-use bolero_generator::*;
+use bolero_generator::prelude::*;
 use core::ops::{BitOr, BitOrAssign};
 
 //= https://www.rfc-editor.org/rfc/rfc9002#section-2