[INFO] fetching crate prop-check-rs 0.0.994...
[INFO] testing prop-check-rs-0.0.994 against beta-2026-04-21 for beta-1.96-2
[INFO] extracting crate prop-check-rs 0.0.994 into /workspace/builds/worker-1-tc2/source
[INFO] removed /workspace/builds/worker-1-tc2/source/rust-toolchain.toml
[INFO] started tweaking crates.io crate prop-check-rs 0.0.994
[INFO] finished tweaking crates.io crate prop-check-rs 0.0.994
[INFO] tweaked toml for crates.io crate prop-check-rs 0.0.994 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate prop-check-rs 0.0.994 on toolchain beta-2026-04-21
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate prop-check-rs 0.0.994 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-04-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f4f1a6f134404f6c71e1226821bb8bbb4cc6025a537d48efe9781ab36b2f7570
[INFO] running `Command { std: "docker" "start" "-a" "f4f1a6f134404f6c71e1226821bb8bbb4cc6025a537d48efe9781ab36b2f7570", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f4f1a6f134404f6c71e1226821bb8bbb4cc6025a537d48efe9781ab36b2f7570", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f4f1a6f134404f6c71e1226821bb8bbb4cc6025a537d48efe9781ab36b2f7570", kill_on_drop: false }`
[INFO] [stdout] f4f1a6f134404f6c71e1226821bb8bbb4cc6025a537d48efe9781ab36b2f7570
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f90ac2128f0c4c5fbb664730e27f14e19153ddebe6d42408067951efa9fb0be6
[INFO] running `Command { std: "docker" "start" "-a" "f90ac2128f0c4c5fbb664730e27f14e19153ddebe6d42408067951efa9fb0be6", kill_on_drop: false }`
[INFO] [stderr]    Compiling bigdecimal v0.4.10
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling num_cpus v1.17.0
[INFO] [stderr]    Compiling prop-check-rs v0.0.994 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `rand::Rng`
[INFO] [stdout]  --> src/rng.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use rand::Rng;
[INFO] [stdout]   |     ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Input` is never used
[INFO] [stdout]  --> src/machine.rs:5:6
[INFO] [stdout]   |
[INFO] [stdout] 5 | enum Input {
[INFO] [stdout]   |      ^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Machine` is never constructed
[INFO] [stdout]   --> src/machine.rs:14:8
[INFO] [stdout]    |
[INFO] [stdout] 14 | struct Machine {
[INFO] [stdout]    |        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `simulate_machine` and `update` are never used
[INFO] [stdout]   --> src/machine.rs:31:6
[INFO] [stdout]    |
[INFO] [stdout] 23 | impl Machine {
[INFO] [stdout]    | ------------ associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 31 |   fn simulate_machine(inputs: Vec<Input>) -> State<Machine, (i32, i32)> {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 49 |   fn update() -> Box<dyn Fn(Input) -> Box<dyn Fn(Machine) -> Machine>> {
[INFO] [stdout]    |      ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `random_stream` is never used
[INFO] [stdout]    --> src/prop.rs:131:4
[INFO] [stdout]     |
[INFO] [stdout] 131 | fn random_stream<A>(g: Gen<A>, mut rng: RNG) -> impl Iterator<Item = A>
[INFO] [stdout]     |    ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `rand::Rng`
[INFO] [stdout]  --> src/rng.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use rand::Rng;
[INFO] [stdout]   |     ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Gens` is never constructed
[INFO] [stdout]   --> src/gen.rs:15:12
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub struct Gens;
[INFO] [stdout]    |            ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated functions are never used
[INFO] [stdout]    --> src/gen.rs:22:10
[INFO] [stdout]     |
[INFO] [stdout]  17 | impl Gens {
[INFO] [stdout]     | --------- associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout]  22 |   pub fn unit() -> Gen<()> {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout]  33 |   pub fn pure<B>(value: B) -> Gen<B>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout]  56 |   pub fn pure_lazy<B, F>(f: F) -> Gen<B>
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  80 |   pub fn some<B>(gen: Gen<B>) -> Gen<Option<B>>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout]  97 |   pub fn option<B>(gen: Gen<B>) -> Gen<Option<B>>
[INFO] [stdout]     |          ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 123 |   pub fn either<T, E>(gt: Gen<T>, ge: Gen<E>) -> Gen<Result<T, E>>
[INFO] [stdout]     |          ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 152 |   pub fn frequency_values<B>(values: impl IntoIterator<Item = (u32, B)>) -> Gen<B>
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 176 |   pub fn frequency<B>(values: impl IntoIterator<Item = (u32, Gen<B>)>) -> Gen<B>
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 231 |   pub fn list_of_n<B>(n: usize, gen: Gen<B>) -> Gen<Vec<B>>
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 239 |   pub fn list_of_n_chunked_optimal<B>(n: usize, gen: Gen<B>) -> Gen<Vec<B>>
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 272 |   pub fn list_of_n_chunked<B>(n: usize, chunk_size: usize, gen: Gen<B>) -> Gen<Vec<B>>
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 339 |   pub fn list_of_n_lazy<B>(n: usize, gen: Gen<B>) -> Gen<Vec<B>>
[INFO] [stdout]     |          ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 375 |   pub fn one<T: One>() -> Gen<T> {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 389 |   pub fn one_i64() -> Gen<i64> {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 405 |   pub fn one_u64() -> Gen<u64> {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 421 |   pub fn one_i32() -> Gen<i32> {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 437 |   pub fn one_u32() -> Gen<u32> {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 453 |   pub fn one_i16() -> Gen<i16> {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 469 |   pub fn one_u16() -> Gen<u16> {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 485 |   pub fn one_i8() -> Gen<i8> {
[INFO] [stdout]     |          ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 501 |   pub fn one_u8() -> Gen<u8> {
[INFO] [stdout]     |          ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 517 |   pub fn one_char() -> Gen<char> {
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 531 |   pub fn one_bool() -> Gen<bool> {
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 547 |   pub fn one_f64() -> Gen<f64> {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 563 |   pub fn one_f32() -> Gen<f32> {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 590 |   pub fn one_of<T: Choose + Clone + 'static>(values: impl IntoIterator<Item = Gen<T>>) -> Gen<T> {
[INFO] [stdout]     |          ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 627 |   pub fn one_of_values<T: Choose + Clone + 'static>(values: impl IntoIterator<Item = T>) -> Gen<T> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 641 |   pub fn choose<T: Choose>(min: T, max: T) -> Gen<T> {
[INFO] [stdout]     |          ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 646 |   pub fn choose_char(min: char, max: char) -> Gen<char> {
[INFO] [stdout]     |          ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 671 |   pub fn choose_i64(min: i64, max: i64) -> Gen<i64> {
[INFO] [stdout]     |          ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 692 |   pub fn choose_u64(min: u64, max: u64) -> Gen<u64> {
[INFO] [stdout]     |          ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 710 |   pub fn choose_i32(min: i32, max: i32) -> Gen<i32> {
[INFO] [stdout]     |          ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 731 |   pub fn choose_u32(min: u32, max: u32) -> Gen<u32> {
[INFO] [stdout]     |          ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 739 |   pub fn choose_i16(min: i16, max: i16) -> Gen<i16> {
[INFO] [stdout]     |          ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 747 |   pub fn choose_u16(min: u16, max: u16) -> Gen<u16> {
[INFO] [stdout]     |          ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 755 |   pub fn choose_i8(min: i8, max: i8) -> Gen<i8> {
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 763 |   pub fn choose_u8(min: u8, max: u8) -> Gen<u8> {
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 781 |   pub fn choose_f64(min: f64, max: f64) -> Gen<f64> {
[INFO] [stdout]     |          ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 799 |   pub fn choose_f32(min: f32, max: f32) -> Gen<f32> {
[INFO] [stdout]     |          ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 828 |   pub fn even<T: Choose + Num + Copy + 'static>(start: T, stop_exclusive: T) -> Gen<T> {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 863 |   pub fn odd<T: Choose + Num + Copy + 'static>(start: T, stop_exclusive: T) -> Gen<T> {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Gen` is never constructed
[INFO] [stdout]    --> src/gen.rs:879:12
[INFO] [stdout]     |
[INFO] [stdout] 879 | pub struct Gen<A> {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `run`, `new`, `map`, `and_then`, and `flat_map` are never used
[INFO] [stdout]    --> src/gen.rs:908:10
[INFO] [stdout]     |
[INFO] [stdout] 891 | impl<A: Clone + 'static> Gen<A> {
[INFO] [stdout]     | ------------------------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 908 |   pub fn run(self, rng: RNG) -> (A, RNG) {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 919 |   pub fn new<B>(b: State<RNG, B>) -> Gen<B> {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 941 |   pub fn map<B, F>(self, f: F) -> Gen<B>
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 969 |   pub fn and_then<B, C, F>(self, g: Gen<B>, f: F) -> Gen<C>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 996 |   pub fn flat_map<B, F>(self, f: F) -> Gen<B>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `SGen` is never used
[INFO] [stdout]     --> src/gen.rs:1005:10
[INFO] [stdout]      |
[INFO] [stdout] 1005 | pub enum SGen<A> {
[INFO] [stdout]      |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `of_sized`, `of_unsized`, and `run` are never used
[INFO] [stdout]     --> src/gen.rs:1039:10
[INFO] [stdout]      |
[INFO] [stdout] 1021 | impl<A: Clone + 'static> SGen<A> {
[INFO] [stdout]      | -------------------------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 1039 |   pub fn of_sized<F>(f: F) -> SGen<A>
[INFO] [stdout]      |          ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1059 |   pub fn of_unsized(gen: Gen<A>) -> SGen<A> {
[INFO] [stdout]      |          ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1081 |   pub fn run(&self, i: Option<u32>) -> Gen<A> {
[INFO] [stdout]      |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Choose` is never used
[INFO] [stdout]  --> src/gen/choose.rs:4:11
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub trait Choose
[INFO] [stdout]   |           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `One` is never used
[INFO] [stdout]  --> src/gen/one.rs:4:11
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub trait One
[INFO] [stdout]   |           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Input` is never used
[INFO] [stdout]  --> src/machine.rs:5:6
[INFO] [stdout]   |
[INFO] [stdout] 5 | enum Input {
[INFO] [stdout]   |      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Machine` is never constructed
[INFO] [stdout]   --> src/machine.rs:14:8
[INFO] [stdout]    |
[INFO] [stdout] 14 | struct Machine {
[INFO] [stdout]    |        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `simulate_machine` and `update` are never used
[INFO] [stdout]   --> src/machine.rs:31:6
[INFO] [stdout]    |
[INFO] [stdout] 23 | impl Machine {
[INFO] [stdout]    | ------------ associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 31 |   fn simulate_machine(inputs: Vec<Input>) -> State<Machine, (i32, i32)> {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 49 |   fn update() -> Box<dyn Fn(Input) -> Box<dyn Fn(Machine) -> Machine>> {
[INFO] [stdout]    |      ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `MaxSize` is never used
[INFO] [stdout]  --> src/prop.rs:9:10
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub type MaxSize = u32;
[INFO] [stdout]   |          ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `TestCases` is never used
[INFO] [stdout]   --> src/prop.rs:10:10
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub type TestCases = u32;
[INFO] [stdout]    |          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `FailedCase` is never used
[INFO] [stdout]   --> src/prop.rs:11:10
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub type FailedCase = String;
[INFO] [stdout]    |          ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `SuccessCount` is never used
[INFO] [stdout]   --> src/prop.rs:12:10
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub type SuccessCount = u32;
[INFO] [stdout]    |          ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `IsFalsified` is never used
[INFO] [stdout]   --> src/prop.rs:15:11
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub trait IsFalsified {
[INFO] [stdout]    |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `PropResult` is never used
[INFO] [stdout]   --> src/prop.rs:24:10
[INFO] [stdout]    |
[INFO] [stdout] 24 | pub enum PropResult {
[INFO] [stdout]    |          ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `map`, `flat_map`, `to_result`, `to_result_unit`, and `message` are never used
[INFO] [stdout]    --> src/prop.rs:48:10
[INFO] [stdout]     |
[INFO] [stdout]  40 | impl PropResult {
[INFO] [stdout]     | --------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout]  48 |   pub fn map<F>(self, f: F) -> PropResult
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout]  67 |   pub fn flat_map<F>(self, f: F) -> PropResult
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  81 |   pub fn to_result(self) -> Result<String> {
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  93 |   pub fn to_result_unit(self) -> Result<()> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 110 |   pub fn message(&self) -> String {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `random_stream` is never used
[INFO] [stdout]    --> src/prop.rs:131:4
[INFO] [stdout]     |
[INFO] [stdout] 131 | fn random_stream<A>(g: Gen<A>, mut rng: RNG) -> impl Iterator<Item = A>
[INFO] [stdout]     |    ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `for_all_sgen` is never used
[INFO] [stdout]    --> src/prop.rs:149:8
[INFO] [stdout]     |
[INFO] [stdout] 149 | pub fn for_all_sgen<A, F, FF>(sgen: SGen<A>, mut test: FF) -> Prop
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `for_all_gen_for_size` is never used
[INFO] [stdout]    --> src/prop.rs:168:8
[INFO] [stdout]     |
[INFO] [stdout] 168 | pub fn for_all_gen_for_size<A, GF, F, FF>(gf: GF, mut test: FF) -> Prop
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `for_all_gen` is never used
[INFO] [stdout]    --> src/prop.rs:218:8
[INFO] [stdout]     |
[INFO] [stdout] 218 | pub fn for_all_gen<A, F>(g: Gen<A>, mut test: F) -> Prop
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run_with_prop` is never used
[INFO] [stdout]    --> src/prop.rs:258:8
[INFO] [stdout]     |
[INFO] [stdout] 258 | pub fn run_with_prop(p: Prop, max_size: MaxSize, test_cases: TestCases, rng: RNG) -> Result<String> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `test_with_prop` is never used
[INFO] [stdout]    --> src/prop.rs:271:8
[INFO] [stdout]     |
[INFO] [stdout] 271 | pub fn test_with_prop(p: Prop, max_size: MaxSize, test_cases: TestCases, rng: RNG) -> Result<()> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Prop` is never constructed
[INFO] [stdout]    --> src/prop.rs:276:12
[INFO] [stdout]     |
[INFO] [stdout] 276 | pub struct Prop {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `run`, `tag`, `and`, and `or` are never used
[INFO] [stdout]    --> src/prop.rs:296:10
[INFO] [stdout]     |
[INFO] [stdout] 288 | impl Prop {
[INFO] [stdout]     | --------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 296 |   pub fn new<F>(f: F) -> Prop
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 313 |   pub fn run(&self, max_size: MaxSize, test_cases: TestCases, rng: RNG) -> PropResult {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 325 |   pub fn tag(self, msg: String) -> Prop {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 346 |   pub fn and(self, other: Self) -> Prop {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 363 |   pub fn or(self, other: Self) -> Prop {
[INFO] [stdout]     |          ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `NextRandValue` is never used
[INFO] [stdout]  --> src/rng.rs:7:11
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub trait NextRandValue
[INFO] [stdout]   |           ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `RandGen` is never used
[INFO] [stdout]   --> src/rng.rs:88:11
[INFO] [stdout]    |
[INFO] [stdout] 88 | pub trait RandGen<T: NextRandValue>
[INFO] [stdout]    |           ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/rng.rs:194:10
[INFO] [stdout]     |
[INFO] [stdout] 185 | impl RNG {
[INFO] [stdout]     | -------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 194 |   pub fn with_seed(mut self, seed: u64) -> Self {
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 200 |   pub fn i32_f32(&self) -> ((i32, f32), Self) {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 207 |   pub fn f32_i32(&self) -> ((f32, i32), Self) {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 213 |   pub fn f32_3(&self) -> ((f32, f32, f32), Self) {
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 296 |   pub fn unit<A>(a: A) -> Box<dyn FnMut(RNG) -> (A, RNG)>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 304 |   pub fn sequence<A, F>(fs: Vec<F>) -> Box<dyn FnMut(RNG) -> (Vec<A>, RNG)>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 321 |   pub fn int_value() -> Box<dyn FnMut(RNG) -> (i32, RNG)> {
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 326 |   pub fn double_value() -> Box<dyn FnMut(RNG) -> (f32, RNG)> {
[INFO] [stdout]     |          ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 331 |   pub fn map<A, B, F1, F2>(mut s: F1, mut f: F2) -> Box<dyn FnMut(RNG) -> (B, RNG)>
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 342 |   pub fn map2<F1, F2, F3, A, B, C>(mut ra: F1, mut rb: F2, mut f: F3) -> Box<dyn FnMut(RNG) -> (C, RNG)>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 355 |   pub fn both<F1, F2, A, B>(ra: F1, rb: F2) -> Box<dyn FnMut(RNG) -> ((A, B), RNG)>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 363 |   pub fn rand_int_double() -> Box<dyn FnMut(RNG) -> ((i32, f32), RNG)> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 368 |   pub fn rand_double_int() -> Box<dyn FnMut(RNG) -> ((f32, i32), RNG)> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 373 |   pub fn flat_map<A, B, F, GF, BF>(mut f: F, mut g: GF) -> Box<dyn FnMut(RNG) -> (B, RNG)>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `State` is never constructed
[INFO] [stdout]  --> src/state.rs:5:12
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub struct State<S, A> {
[INFO] [stdout]   |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/state.rs:51:10
[INFO] [stdout]     |
[INFO] [stdout]  27 | / impl<S, A> State<S, A>
[INFO] [stdout]  28 | | where
[INFO] [stdout]  29 | |   S: 'static,
[INFO] [stdout]  30 | |   A: Clone + 'static,
[INFO] [stdout]     | |_____________________- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout]  51 |     pub fn value(a: A) -> State<S, A> {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  70 |     pub fn new<T, B, F>(f: F) -> State<T, B>
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout]  89 |     pub fn pure<B>(b: B) -> State<S, B>
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 105 |     pub fn run(self, s: S) -> (A, S) {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 123 |     pub fn map<B, F>(self, f: F) -> State<S, B>
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 145 |     pub fn flat_map<B, F>(self, f: F) -> State<S, B>
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 168 |     pub fn and_then<B>(self, sb: State<S, B>) -> State<S, (A, B)>
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 184 |     pub fn get<T>() -> State<T, T>
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 203 |     pub fn set<T>(t: T) -> State<T, ()>
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 222 |     pub fn modify<T, F>(f: F) -> State<T, ()>
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 240 |     pub fn sequence(sas: Vec<State<S, A>>) -> State<S, Vec<A>> {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 5.13s
[INFO] running `Command { std: "docker" "inspect" "f90ac2128f0c4c5fbb664730e27f14e19153ddebe6d42408067951efa9fb0be6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f90ac2128f0c4c5fbb664730e27f14e19153ddebe6d42408067951efa9fb0be6", kill_on_drop: false }`
[INFO] [stdout] f90ac2128f0c4c5fbb664730e27f14e19153ddebe6d42408067951efa9fb0be6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 26847e8e20508a435612fb244c451d46d6da9496cf37bd18ae85c4a246e4d3fa
[INFO] running `Command { std: "docker" "start" "-a" "26847e8e20508a435612fb244c451d46d6da9496cf37bd18ae85c4a246e4d3fa", kill_on_drop: false }`
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling dtor-proc-macro v0.0.12
[INFO] [stderr]    Compiling criterion-plot v0.8.2
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling anstream v1.0.0
[INFO] [stderr]    Compiling page_size v0.6.0
[INFO] [stderr]    Compiling rayon v1.12.0
[INFO] [stderr]    Compiling link-section v0.2.0
[INFO] [stderr]    Compiling ctor-proc-macro v0.0.12
[INFO] [stderr]    Compiling jiff v0.2.23
[INFO] [stdout] warning: unused import: `rand::Rng`
[INFO] [stdout]  --> src/rng.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use rand::Rng;
[INFO] [stdout]   |     ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Input` is never used
[INFO] [stdout]  --> src/machine.rs:5:6
[INFO] [stdout]   |
[INFO] [stdout] 5 | enum Input {
[INFO] [stdout]   |      ^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Machine` is never constructed
[INFO] [stdout]   --> src/machine.rs:14:8
[INFO] [stdout]    |
[INFO] [stdout] 14 | struct Machine {
[INFO] [stdout]    |        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `simulate_machine` and `update` are never used
[INFO] [stdout]   --> src/machine.rs:31:6
[INFO] [stdout]    |
[INFO] [stdout] 23 | impl Machine {
[INFO] [stdout]    | ------------ associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 31 |   fn simulate_machine(inputs: Vec<Input>) -> State<Machine, (i32, i32)> {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 49 |   fn update() -> Box<dyn Fn(Input) -> Box<dyn Fn(Machine) -> Machine>> {
[INFO] [stdout]    |      ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `random_stream` is never used
[INFO] [stdout]    --> src/prop.rs:131:4
[INFO] [stdout]     |
[INFO] [stdout] 131 | fn random_stream<A>(g: Gen<A>, mut rng: RNG) -> impl Iterator<Item = A>
[INFO] [stdout]     |    ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling dtor v0.7.0
[INFO] [stderr]    Compiling ctor v0.10.0
[INFO] [stderr]    Compiling clap v4.6.1
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling env_filter v1.0.1
[INFO] [stderr]    Compiling env_logger v0.11.10
[INFO] [stderr]    Compiling zerocopy-derive v0.8.48
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling zerocopy v0.8.48
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling criterion v0.8.2
[INFO] [stderr]    Compiling prop-check-rs v0.0.994 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unnecessary parentheses around closure body
[INFO] [stdout]    --> src/rng.rs:639:59
[INFO] [stdout]     |
[INFO] [stdout] 639 |     let mut map2_fn = RNG::map2(int_fn, double_fn, |i, d| (i as f32 + d));
[INFO] [stdout]     |                                                           ^            ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 639 -     let mut map2_fn = RNG::map2(int_fn, double_fn, |i, d| (i as f32 + d));
[INFO] [stdout] 639 +     let mut map2_fn = RNG::map2(int_fn, double_fn, |i, d| i as f32 + d );
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around closure body
[INFO] [stdout]    --> src/rng.rs:639:59
[INFO] [stdout]     |
[INFO] [stdout] 639 |     let mut map2_fn = RNG::map2(int_fn, double_fn, |i, d| (i as f32 + d));
[INFO] [stdout]     |                                                           ^            ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 639 -     let mut map2_fn = RNG::map2(int_fn, double_fn, |i, d| (i as f32 + d));
[INFO] [stdout] 639 +     let mut map2_fn = RNG::map2(int_fn, double_fn, |i, d| i as f32 + d );
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `rand::Rng`
[INFO] [stdout]  --> src/rng.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use rand::Rng;
[INFO] [stdout]   |     ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `rand::Rng`
[INFO] [stdout]  --> src/rng.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use rand::Rng;
[INFO] [stdout]   |     ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/rng.rs:589:9
[INFO] [stdout]     |
[INFO] [stdout] 589 |     let mut fns = vec![RNG::unit(1), RNG::unit(2), RNG::unit(3)];
[INFO] [stdout]     |         ----^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/rng.rs:589:9
[INFO] [stdout]     |
[INFO] [stdout] 589 |     let mut fns = vec![RNG::unit(1), RNG::unit(2), RNG::unit(3)];
[INFO] [stdout]     |         ----^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/rng.rs:637:9
[INFO] [stdout]     |
[INFO] [stdout] 637 |     let mut int_fn = RNG::int_value();
[INFO] [stdout]     |         ----^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/rng.rs:638:9
[INFO] [stdout]     |
[INFO] [stdout] 638 |     let mut double_fn = RNG::double_value();
[INFO] [stdout]     |         ----^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/rng.rs:648:9
[INFO] [stdout]     |
[INFO] [stdout] 648 |     let mut int_fn = RNG::int_value();
[INFO] [stdout]     |         ----^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/rng.rs:649:9
[INFO] [stdout]     |
[INFO] [stdout] 649 |     let mut double_fn = RNG::double_value();
[INFO] [stdout]     |         ----^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/rng.rs:680:9
[INFO] [stdout]     |
[INFO] [stdout] 680 |     let mut int_fn = RNG::int_value();
[INFO] [stdout]     |         ----^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/rng.rs:637:9
[INFO] [stdout]     |
[INFO] [stdout] 637 |     let mut int_fn = RNG::int_value();
[INFO] [stdout]     |         ----^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/rng.rs:638:9
[INFO] [stdout]     |
[INFO] [stdout] 638 |     let mut double_fn = RNG::double_value();
[INFO] [stdout]     |         ----^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/rng.rs:648:9
[INFO] [stdout]     |
[INFO] [stdout] 648 |     let mut int_fn = RNG::int_value();
[INFO] [stdout]     |         ----^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/rng.rs:649:9
[INFO] [stdout]     |
[INFO] [stdout] 649 |     let mut double_fn = RNG::double_value();
[INFO] [stdout]     |         ----^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/rng.rs:680:9
[INFO] [stdout]     |
[INFO] [stdout] 680 |     let mut int_fn = RNG::int_value();
[INFO] [stdout]     |         ----^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated functions are never used
[INFO] [stdout]    --> src/gen.rs:22:10
[INFO] [stdout]     |
[INFO] [stdout]  17 | impl Gens {
[INFO] [stdout]     | --------- associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout]  22 |   pub fn unit() -> Gen<()> {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout]  56 |   pub fn pure_lazy<B, F>(f: F) -> Gen<B>
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  80 |   pub fn some<B>(gen: Gen<B>) -> Gen<Option<B>>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout]  97 |   pub fn option<B>(gen: Gen<B>) -> Gen<Option<B>>
[INFO] [stdout]     |          ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 123 |   pub fn either<T, E>(gt: Gen<T>, ge: Gen<E>) -> Gen<Result<T, E>>
[INFO] [stdout]     |          ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 239 |   pub fn list_of_n_chunked_optimal<B>(n: usize, gen: Gen<B>) -> Gen<Vec<B>>
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 375 |   pub fn one<T: One>() -> Gen<T> {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 590 |   pub fn one_of<T: Choose + Clone + 'static>(values: impl IntoIterator<Item = Gen<T>>) -> Gen<T> {
[INFO] [stdout]     |          ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 828 |   pub fn even<T: Choose + Num + Copy + 'static>(start: T, stop_exclusive: T) -> Gen<T> {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 863 |   pub fn odd<T: Choose + Num + Copy + 'static>(start: T, stop_exclusive: T) -> Gen<T> {
[INFO] [stdout]     |          ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `and_then` is never used
[INFO] [stdout]    --> src/gen.rs:969:10
[INFO] [stdout]     |
[INFO] [stdout] 891 | impl<A: Clone + 'static> Gen<A> {
[INFO] [stdout]     | ------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 969 |   pub fn and_then<B, C, F>(self, g: Gen<B>, f: F) -> Gen<C>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Sized` is never constructed
[INFO] [stdout]     --> src/gen.rs:1007:3
[INFO] [stdout]      |
[INFO] [stdout] 1005 | pub enum SGen<A> {
[INFO] [stdout]      |          ---- variant in this enum
[INFO] [stdout] 1006 |   /// Generator with size information.
[INFO] [stdout] 1007 |   Sized(Rc<RefCell<dyn Fn(u32) -> Gen<A>>>),
[INFO] [stdout]      |   ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `of_sized` and `of_unsized` are never used
[INFO] [stdout]     --> src/gen.rs:1039:10
[INFO] [stdout]      |
[INFO] [stdout] 1021 | impl<A: Clone + 'static> SGen<A> {
[INFO] [stdout]      | -------------------------------- associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 1039 |   pub fn of_sized<F>(f: F) -> SGen<A>
[INFO] [stdout]      |          ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1059 |   pub fn of_unsized(gen: Gen<A>) -> SGen<A> {
[INFO] [stdout]      |          ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `random_stream` is never used
[INFO] [stdout]    --> src/prop.rs:131:4
[INFO] [stdout]     |
[INFO] [stdout] 131 | fn random_stream<A>(g: Gen<A>, mut rng: RNG) -> impl Iterator<Item = A>
[INFO] [stdout]     |    ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `and_then` is never used
[INFO] [stdout]    --> src/state.rs:168:10
[INFO] [stdout]     |
[INFO] [stdout]  27 | / impl<S, A> State<S, A>
[INFO] [stdout]  28 | | where
[INFO] [stdout]  29 | |   S: 'static,
[INFO] [stdout]  30 | |   A: Clone + 'static,
[INFO] [stdout]     | |_____________________- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 168 |     pub fn and_then<B>(self, sb: State<S, B>) -> State<S, (A, B)>
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `random_stream` is never used
[INFO] [stdout]    --> src/prop.rs:131:4
[INFO] [stdout]     |
[INFO] [stdout] 131 | fn random_stream<A>(g: Gen<A>, mut rng: RNG) -> impl Iterator<Item = A>
[INFO] [stdout]     |    ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 32.92s
[INFO] running `Command { std: "docker" "inspect" "26847e8e20508a435612fb244c451d46d6da9496cf37bd18ae85c4a246e4d3fa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "26847e8e20508a435612fb244c451d46d6da9496cf37bd18ae85c4a246e4d3fa", kill_on_drop: false }`
[INFO] [stdout] 26847e8e20508a435612fb244c451d46d6da9496cf37bd18ae85c4a246e4d3fa
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 001da3febbf8a2172c51d90eae14f8b6c76b5274ed588c90c273ef5bd24d3d4d
[INFO] running `Command { std: "docker" "start" "-a" "001da3febbf8a2172c51d90eae14f8b6c76b5274ed588c90c273ef5bd24d3d4d", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `rand::Rng`
[INFO] [stderr]  --> src/rng.rs:2:5
[INFO] [stderr]   |
[INFO] [stderr] 2 | use rand::Rng;
[INFO] [stderr]   |     ^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: enum `Input` is never used
[INFO] [stderr]  --> src/machine.rs:5:6
[INFO] [stderr]   |
[INFO] [stderr] 5 | enum Input {
[INFO] [stderr]   |      ^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: struct `Machine` is never constructed
[INFO] [stderr]   --> src/machine.rs:14:8
[INFO] [stderr]    |
[INFO] [stderr] 14 | struct Machine {
[INFO] [stderr]    |        ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated functions `simulate_machine` and `update` are never used
[INFO] [stderr]   --> src/machine.rs:31:6
[INFO] [stderr]    |
[INFO] [stderr] 23 | impl Machine {
[INFO] [stderr]    | ------------ associated functions in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 31 |   fn simulate_machine(inputs: Vec<Input>) -> State<Machine, (i32, i32)> {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 49 |   fn update() -> Box<dyn Fn(Input) -> Box<dyn Fn(Machine) -> Machine>> {
[INFO] [stderr]    |      ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `random_stream` is never used
[INFO] [stderr]    --> src/prop.rs:131:4
[INFO] [stderr]     |
[INFO] [stderr] 131 | fn random_stream<A>(g: Gen<A>, mut rng: RNG) -> impl Iterator<Item = A>
[INFO] [stderr]     |    ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `prop-check-rs` (lib) generated 5 warnings
[INFO] [stderr] warning: unnecessary parentheses around closure body
[INFO] [stderr]    --> src/rng.rs:639:59
[INFO] [stderr]     |
[INFO] [stderr] 639 |     let mut map2_fn = RNG::map2(int_fn, double_fn, |i, d| (i as f32 + d));
[INFO] [stderr]     |                                                           ^            ^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] help: remove these parentheses
[INFO] [stderr]     |
[INFO] [stderr] 639 -     let mut map2_fn = RNG::map2(int_fn, double_fn, |i, d| (i as f32 + d));
[INFO] [stderr] 639 +     let mut map2_fn = RNG::map2(int_fn, double_fn, |i, d| i as f32 + d );
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/rng.rs:589:9
[INFO] [stderr]     |
[INFO] [stderr] 589 |     let mut fns = vec![RNG::unit(1), RNG::unit(2), RNG::unit(3)];
[INFO] [stderr]     |         ----^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/rng.rs:637:9
[INFO] [stderr]     |
[INFO] [stderr] 637 |     let mut int_fn = RNG::int_value();
[INFO] [stderr]     |         ----^^^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/rng.rs:638:9
[INFO] [stderr]     |
[INFO] [stderr] 638 |     let mut double_fn = RNG::double_value();
[INFO] [stderr]     |         ----^^^^^^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/rng.rs:648:9
[INFO] [stderr]     |
[INFO] [stderr] 648 |     let mut int_fn = RNG::int_value();
[INFO] [stderr]     |         ----^^^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/rng.rs:649:9
[INFO] [stderr]     |
[INFO] [stderr] 649 |     let mut double_fn = RNG::double_value();
[INFO] [stderr]     |         ----^^^^^^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/rng.rs:680:9
[INFO] [stderr]     |
[INFO] [stderr] 680 |     let mut int_fn = RNG::int_value();
[INFO] [stderr]     |         ----^^^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: multiple associated functions are never used
[INFO] [stderr]    --> src/gen.rs:22:10
[INFO] [stderr]     |
[INFO] [stderr]  17 | impl Gens {
[INFO] [stderr]     | --------- associated functions in this implementation
[INFO] [stderr] ...
[INFO] [stderr]  22 |   pub fn unit() -> Gen<()> {
[INFO] [stderr]     |          ^^^^
[INFO] [stderr] ...
[INFO] [stderr]  56 |   pub fn pure_lazy<B, F>(f: F) -> Gen<B>
[INFO] [stderr]     |          ^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr]  80 |   pub fn some<B>(gen: Gen<B>) -> Gen<Option<B>>
[INFO] [stderr]     |          ^^^^
[INFO] [stderr] ...
[INFO] [stderr]  97 |   pub fn option<B>(gen: Gen<B>) -> Gen<Option<B>>
[INFO] [stderr]     |          ^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 123 |   pub fn either<T, E>(gt: Gen<T>, ge: Gen<E>) -> Gen<Result<T, E>>
[INFO] [stderr]     |          ^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 239 |   pub fn list_of_n_chunked_optimal<B>(n: usize, gen: Gen<B>) -> Gen<Vec<B>>
[INFO] [stderr]     |          ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 375 |   pub fn one<T: One>() -> Gen<T> {
[INFO] [stderr]     |          ^^^
[INFO] [stderr] ...
[INFO] [stderr] 590 |   pub fn one_of<T: Choose + Clone + 'static>(values: impl IntoIterator<Item = Gen<T>>) -> Gen<T> {
[INFO] [stderr]     |          ^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 828 |   pub fn even<T: Choose + Num + Copy + 'static>(start: T, stop_exclusive: T) -> Gen<T> {
[INFO] [stderr]     |          ^^^^
[INFO] [stderr] ...
[INFO] [stderr] 863 |   pub fn odd<T: Choose + Num + Copy + 'static>(start: T, stop_exclusive: T) -> Gen<T> {
[INFO] [stderr]     |          ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: method `and_then` is never used
[INFO] [stderr]    --> src/gen.rs:969:10
[INFO] [stderr]     |
[INFO] [stderr] 891 | impl<A: Clone + 'static> Gen<A> {
[INFO] [stderr]     | ------------------------------- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 969 |   pub fn and_then<B, C, F>(self, g: Gen<B>, f: F) -> Gen<C>
[INFO] [stderr]     |          ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant `Sized` is never constructed
[INFO] [stderr]     --> src/gen.rs:1007:3
[INFO] [stderr]      |
[INFO] [stderr] 1005 | pub enum SGen<A> {
[INFO] [stderr]      |          ---- variant in this enum
[INFO] [stderr] 1006 |   /// Generator with size information.
[INFO] [stderr] 1007 |   Sized(Rc<RefCell<dyn Fn(u32) -> Gen<A>>>),
[INFO] [stderr]      |   ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated functions `of_sized` and `of_unsized` are never used
[INFO] [stderr]     --> src/gen.rs:1039:10
[INFO] [stderr]      |
[INFO] [stderr] 1021 | impl<A: Clone + 'static> SGen<A> {
[INFO] [stderr]      | -------------------------------- associated functions in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 1039 |   pub fn of_sized<F>(f: F) -> SGen<A>
[INFO] [stderr]      |          ^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 1059 |   pub fn of_unsized(gen: Gen<A>) -> SGen<A> {
[INFO] [stderr]      |          ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method `and_then` is never used
[INFO] [stderr]    --> src/state.rs:168:10
[INFO] [stderr]     |
[INFO] [stderr]  27 | / impl<S, A> State<S, A>
[INFO] [stderr]  28 | | where
[INFO] [stderr]  29 | |   S: 'static,
[INFO] [stderr]  30 | |   A: Clone + 'static,
[INFO] [stderr]     | |_____________________- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 168 |     pub fn and_then<B>(self, sb: State<S, B>) -> State<S, (A, B)>
[INFO] [stderr]     |            ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `random_stream` is never used
[INFO] [stderr]    --> src/prop.rs:131:4
[INFO] [stderr]     |
[INFO] [stderr] 131 | fn random_stream<A>(g: Gen<A>, mut rng: RNG) -> impl Iterator<Item = A>
[INFO] [stderr]     |    ^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `prop-check-rs` (bin "prop-check-rs" test) generated 14 warnings (2 duplicates) (run `cargo fix --bin "prop-check-rs" -p prop-check-rs --tests` to apply 7 suggestions)
[INFO] [stderr] warning: `prop-check-rs` (lib test) generated 9 warnings (8 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.18s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/prop_check_rs-ece3f4a1549fabeb)
[INFO] [stdout] 
[INFO] [stdout] running 83 tests
[INFO] [stdout] test gen::choose::tests::test_choose_f32 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_char ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_i64 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_u16 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_u32 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_i16 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_u8 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_u64 ... ok
[INFO] [stdout] test gen::one::tests::test_one_bool ... ok
[INFO] [stdout] test gen::one::tests::test_one_u16 ... ok
[INFO] [stdout] test gen::one::tests::test_one_char ... ok
[INFO] [stdout] test gen::one::tests::test_one_u32 ... ok
[INFO] [stdout] test gen::one::tests::test_one_u64 ... ok
[INFO] [stdout] test gen::one::tests::test_one_u8 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_usize ... ok
[INFO] [stdout] test gen::one::tests::test_one_f32 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_f64 ... ok
[INFO] [stdout] test gen::one::tests::test_one_f64 ... ok
[INFO] [stdout] test gen::one::tests::test_one_i32 ... ok
[INFO] [stdout] test gen::one::tests::test_one_i64 ... ok
[INFO] [stdout] test gen::one::tests::test_one_i8 ... ok
[INFO] [stdout] test prop::tests::test_for_all_gen ... ok
[INFO] [stdout] test gen::one::tests::test_one_i16 ... ok
[INFO] [stdout] test prop::tests::test_for_all_sgen ... ok
[INFO] [stdout] test prop::tests::test_prop_and ... ok
[INFO] [stdout] test gen::tests::laws::test_associativity_law ... ok
[INFO] [stdout] test prop::tests::test_prop_result_falsified ... ok
[INFO] [stdout] test prop::tests::test_prop_or ... ok
[INFO] [stdout] test prop::tests::test_prop_result_flat_map ... ok
[INFO] [stdout] test prop::tests::test_prop_result_map ... ok
[INFO] [stdout] test gen::tests::laws::test_right_identity_law ... ok
[INFO] [stdout] test prop::tests::test_prop_result_to_result ... ok
[INFO] [stdout] test prop::tests::test_prop_tag ... ok
[INFO] [stdout] test prop::tests::test_run_with_prop ... ok
[INFO] [stdout] test rng::tests::next_i32 ... ok
[INFO] [stdout] test gen::tests::test_frequency_values ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_i32 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_option ... ok
[INFO] [stdout] test gen::tests::laws::test_left_identity_law ... ok
[INFO] [stdout] test gen::tests::test_list_of_n_chunked ... ok
[INFO] [stdout] test gen::tests::test_list_of_n_lazy ... ok
[INFO] [stdout] test machine::tests::candy ... ok
[INFO] [stdout] test prop::tests::test_prop_result_passed ... ok
[INFO] [stdout] test prop::tests::test_prop_result_proved ... ok
[INFO] [stdout] test rng::tests::test_both ... ok
[INFO] [stdout] test rng::tests::test_i32s ... ok
[INFO] [stdout] test rng::tests::test_flat_map ... ok
[INFO] [stdout] test rng::tests::test_i32s_direct ... ok
[INFO] [stdout] test rng::tests::test_map ... ok
[INFO] [stdout] test rng::tests::test_double_value ... ok
[INFO] [stdout] test rng::tests::test_int_value ... ok
[INFO] [stdout] test rng::tests::test_f32_i32 ... ok
[INFO] [stdout] test rng::tests::test_next_bool ... ok
[INFO] [stdout] test rng::tests::test_f32_3 ... ok
[INFO] [stdout] test rng::tests::test_next_f32 ... ok
[INFO] [stdout] test rng::tests::test_next_i16 ... ok
[INFO] [stdout] test rng::tests::test_next_i32 ... ok
[INFO] [stdout] test gen::tests::test_frequency ... ok
[INFO] [stdout] test rng::tests::test_next_i8 ... ok
[INFO] [stdout] test rng::tests::test_next_u64 ... ok
[INFO] [stdout] test rng::tests::test_next_i64 ... ok
[INFO] [stdout] test rng::tests::test_sequence ... ok
[INFO] [stdout] test rng::tests::test_unit ... ok
[INFO] [stdout] test rng::tests::test_next_u16 ... ok
[INFO] [stdout] test rng::tests::test_next_u32 ... ok
[INFO] [stdout] test rng::tests::test_next_u8 ... ok
[INFO] [stdout] test rng::tests::test_rand_int_double ... ok
[INFO] [stdout] test rng::tests::test_rand_double_int ... ok
[INFO] [stdout] test rng::tests::test_with_seed ... ok
[INFO] [stdout] test state::tests::laws::test_associativity_law ... ok
[INFO] [stdout] test state::tests::laws::test_left_identity_law ... ok
[INFO] [stdout] test rng::tests::test_i32_f32 ... ok
[INFO] [stdout] test rng::tests::test_next_f64 ... ok
[INFO] [stdout] test state::tests::laws::test_right_identity_law ... ok
[INFO] [stdout] test state::tests::pure ... ok
[INFO] [stdout] test state::tests::should_panic_when_running_with_null_state ... ok
[INFO] [stdout] test rng::tests::test_i32s_parallel ... ok
[INFO] [stdout] test rng::tests::test_map2 ... ok
[INFO] [stdout] test gen::tests::test_large_data_generation ... ok
[INFO] [stdout] test prop::tests::test_one_of ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_i8 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_result ... ok
[INFO] [stdout] test prop::tests::test_one_of_2 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 83 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/prop_check_rs-6beee0e241df1bcb)
[INFO] [stdout] 
[INFO] [stdout] running 84 tests
[INFO] [stdout] test gen::choose::tests::test_choose_i16 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_i32 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_i8 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_option ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_result ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_u16 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_i64 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_u32 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_u64 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_f32 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_u8 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_f64 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_usize ... ok
[INFO] [stdout] test gen::one::tests::test_one_bool ... ok
[INFO] [stdout] test gen::one::tests::test_one_char ... ok
[INFO] [stdout] test gen::one::tests::test_one_i64 ... ok
[INFO] [stdout] test gen::one::tests::test_one_u16 ... ok
[INFO] [stdout] test gen::one::tests::test_one_u32 ... ok
[INFO] [stdout] test gen::one::tests::test_one_u64 ... ok
[INFO] [stdout] test gen::one::tests::test_one_f64 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_char ... ok
[INFO] [stdout] test gen::one::tests::test_one_f32 ... ok
[INFO] [stdout] test gen::tests::test_frequency_values ... ok
[INFO] [stdout] test gen::tests::laws::test_left_identity_law ... ok
[INFO] [stdout] test gen::one::tests::test_one_i16 ... ok
[INFO] [stdout] test gen::one::tests::test_one_i32 ... ok
[INFO] [stdout] test gen::one::tests::test_one_i8 ... ok
[INFO] [stdout] test gen::tests::test_list_of_n_chunked ... ok
[INFO] [stdout] test gen::tests::laws::test_associativity_law ... ok
[INFO] [stdout] test prop::tests::test_for_all_sgen ... ok
[INFO] [stdout] test prop::tests::test_for_all_gen ... ok
[INFO] [stdout] test gen::tests::test_list_of_n_lazy ... ok
[INFO] [stdout] test machine::tests::candy ... ok
[INFO] [stdout] test prop::tests::test_prop_and ... ok
[INFO] [stdout] test prop::tests::test_prop_or ... ok
[INFO] [stdout] test prop::tests::test_prop_result_falsified ... ok
[INFO] [stdout] test gen::tests::laws::test_right_identity_law ... ok
[INFO] [stdout] test prop::tests::test_prop_result_to_result ... ok
[INFO] [stdout] test gen::tests::test_frequency ... ok
[INFO] [stdout] test prop::tests::test_prop_result_flat_map ... ok
[INFO] [stdout] test prop::tests::test_one_of ... ok
[INFO] [stdout] test gen::one::tests::test_one_u8 ... ok
[INFO] [stdout] test prop::tests::test_prop_result_proved ... ok
[INFO] [stdout] test prop::tests::test_prop_tag ... ok
[INFO] [stdout] test prop::tests::test_run_with_prop ... ok
[INFO] [stdout] test rng::tests::test_both ... ok
[INFO] [stdout] test rng::tests::next_i32 ... ok
[INFO] [stdout] test prop::tests::test_one_of_2 ... ok
[INFO] [stdout] test rng::tests::test_f32_i32 ... ok
[INFO] [stdout] test rng::tests::test_i32_f32 ... ok
[INFO] [stdout] test rng::tests::test_flat_map ... ok
[INFO] [stdout] test rng::tests::test_i32s ... ok
[INFO] [stdout] test prop::tests::test_prop_result_passed ... ok
[INFO] [stdout] test rng::tests::test_f32_3 ... ok
[INFO] [stdout] test rng::tests::test_double_value ... ok
[INFO] [stdout] test rng::tests::test_i32s_direct ... ok
[INFO] [stdout] test rng::tests::test_map ... ok
[INFO] [stdout] test rng::tests::test_map2 ... ok
[INFO] [stdout] test rng::tests::test_int_value ... ok
[INFO] [stdout] test rng::tests::test_next_bool ... ok
[INFO] [stdout] test rng::tests::test_next_i16 ... ok
[INFO] [stdout] test rng::tests::test_next_f64 ... ok
[INFO] [stdout] test rng::tests::test_next_i64 ... ok
[INFO] [stdout] test rng::tests::test_next_u16 ... ok
[INFO] [stdout] test rng::tests::test_next_u32 ... ok
[INFO] [stdout] test rng::tests::test_next_i32 ... ok
[INFO] [stdout] test rng::tests::test_next_i8 ... ok
[INFO] [stdout] test rng::tests::test_rand_int_double ... ok
[INFO] [stdout] test rng::tests::test_next_f32 ... ok
[INFO] [stdout] test rng::tests::test_next_u8 ... ok
[INFO] [stdout] test rng::tests::test_next_u64 ... ok
[INFO] [stdout] test rng::tests::test_unit ... ok
[INFO] [stdout] test rng::tests::test_with_seed ... ok
[INFO] [stdout] test state::tests::laws::test_associativity_law ... ok
[INFO] [stdout] test rng::tests::test_rand_double_int ... ok
[INFO] [stdout] test rng::tests::test_sequence ... ok
[INFO] [stdout] test state::tests::should_panic_when_running_with_null_state ... ok
[INFO] [stdout] test state::tests::laws::test_left_identity_law ... ok
[INFO] [stdout] test tests::test_generate_random_ints ... ok
[INFO] [stdout] test state::tests::laws::test_right_identity_law ... ok
[INFO] [stdout] test prop::tests::test_prop_result_map ... ok
[INFO] [stdout] test state::tests::pure ... ok
[INFO] [stdout] test rng::tests::test_i32s_parallel ... ok
[INFO] [stdout] test gen::tests::test_large_data_generation ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 84 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests prop_check_rs
[INFO] [stdout] 
[INFO] [stdout] running 33 tests
[INFO] [stdout] test src/gen.rs - gen::Gens::list_of_n_lazy (line 334) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::list_of_n_chunked (line 267) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::either (line 117) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one (line 370) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gen<A>::run (line 901) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_char (line 513) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_f32 (line 559) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_bool (line 527) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gen<A>::flat_map (line 991) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::odd (line 859) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::list_of_n (line 225) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::even (line 824) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_f64 (line 543) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gen<A>::map (line 936) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gen<A>::and_then (line 963) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_i32 (line 417) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_i8 (line 481) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::frequency_values (line 145) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_i16 (line 449) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_u64 (line 401) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_of (line 584) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_i64 (line 385) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_u8 (line 497) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::some (line 75) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_u16 (line 465) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_u32 (line 433) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::pure_lazy (line 48) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_of_values (line 621) ... ok
[INFO] [stdout] test src/gen.rs - gen::SGen<A>::run (line 1075) ... ok
[INFO] [stdout] test src/lib.rs - gen (line 29) ... ok
[INFO] [stdout] test src/gen.rs - gen::SGen<A>::of_unsized (line 1054) ... ok
[INFO] [stdout] test src/state.rs - state::State<S,A>::value (line 44) ... ok
[INFO] [stdout] test src/gen.rs - gen::SGen<A>::of_sized (line 1034) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 33 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.46s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "001da3febbf8a2172c51d90eae14f8b6c76b5274ed588c90c273ef5bd24d3d4d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "001da3febbf8a2172c51d90eae14f8b6c76b5274ed588c90c273ef5bd24d3d4d", kill_on_drop: false }`
[INFO] [stdout] 001da3febbf8a2172c51d90eae14f8b6c76b5274ed588c90c273ef5bd24d3d4d
