[INFO] fetching crate prop-check-rs 0.0.682...
[INFO] checking prop-check-rs-0.0.682 against master#ab869e094a907cc5d19b4080f22eccaf347f1f95 for pr-129604
[INFO] extracting crate prop-check-rs 0.0.682 into /workspace/builds/worker-0-tc1/source
[INFO] validating manifest of crates.io crate prop-check-rs 0.0.682 on toolchain ab869e094a907cc5d19b4080f22eccaf347f1f95
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] removed /workspace/builds/worker-0-tc1/source/rust-toolchain.toml
[INFO] started tweaking crates.io crate prop-check-rs 0.0.682
[INFO] finished tweaking crates.io crate prop-check-rs 0.0.682
[INFO] tweaked toml for crates.io crate prop-check-rs 0.0.682 written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] crate crates.io crate prop-check-rs 0.0.682 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" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded iso-4217 v0.1.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ddd7b8871b3921258f9d2246d64c8e17d1eaa6b52c99c0f01376cefbb3f6681d
[INFO] running `Command { std: "docker" "start" "-a" "ddd7b8871b3921258f9d2246d64c8e17d1eaa6b52c99c0f01376cefbb3f6681d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ddd7b8871b3921258f9d2246d64c8e17d1eaa6b52c99c0f01376cefbb3f6681d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ddd7b8871b3921258f9d2246d64c8e17d1eaa6b52c99c0f01376cefbb3f6681d", kill_on_drop: false }`
[INFO] [stdout] ddd7b8871b3921258f9d2246d64c8e17d1eaa6b52c99c0f01376cefbb3f6681d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+ab869e094a907cc5d19b4080f22eccaf347f1f95" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ba4576b6a3835d78e0f8c26106d82325ca57db1004d0f9d0af08a91b07c11b5e
[INFO] running `Command { std: "docker" "start" "-a" "ba4576b6a3835d78e0f8c26106d82325ca57db1004d0f9d0af08a91b07c11b5e", kill_on_drop: false }`
[INFO] [stderr]    Compiling libm v0.2.8
[INFO] [stderr]    Compiling libc v0.2.158
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]     Checking memchr v2.7.4
[INFO] [stderr]     Checking regex-syntax v0.8.4
[INFO] [stderr]    Compiling anyhow v1.0.86
[INFO] [stderr]     Checking log v0.4.22
[INFO] [stderr]     Checking either v1.13.0
[INFO] [stderr]     Checking utf8parse v0.2.2
[INFO] [stderr]     Checking anstyle-query v1.1.1
[INFO] [stderr]     Checking colorchoice v1.0.2
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling bigdecimal v0.4.5
[INFO] [stderr]     Checking is_terminal_polyfill v1.70.1
[INFO] [stderr]     Checking iso-4217 v0.1.0
[INFO] [stderr]    Compiling syn v2.0.76
[INFO] [stderr]     Checking anstyle v1.0.8
[INFO] [stderr]     Checking humantime v2.1.0
[INFO] [stderr]     Checking anstyle-parse v0.2.5
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking anstream v0.6.15
[INFO] [stderr]     Checking aho-corasick v1.1.3
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking regex-automata v0.4.7
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]    Compiling zerocopy-derive v0.7.35
[INFO] [stderr]    Compiling ctor v0.2.8
[INFO] [stderr]     Checking regex v1.10.6
[INFO] [stderr]     Checking env_filter v0.1.2
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]     Checking env_logger v0.11.5
[INFO] [stderr]     Checking ppv-lite86 v0.2.20
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking rand_distr v0.4.3
[INFO] [stderr]     Checking prop-check-rs v0.0.682 (/opt/rustwide/workdir)
[INFO] [stdout] warning: use of deprecated struct `itertools::Unfold`: Use [std::iter::FromFn](https://doc.rust-lang.org/std/iter/struct.FromFn.html) instead
[INFO] [stdout]  --> src/prop.rs:5:16
[INFO] [stdout]   |
[INFO] [stdout] 5 | use itertools::Unfold;
[INFO] [stdout]   |                ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `itertools::Unfold`: Use [std::iter::FromFn](https://doc.rust-lang.org/std/iter/struct.FromFn.html) instead
[INFO] [stdout]    --> src/prop.rs:139:45
[INFO] [stdout]     |
[INFO] [stdout] 139 | fn random_stream<A>(g: Gen<A>, rng: RNG) -> Unfold<RNG, Box<dyn FnMut(&mut RNG) -> Option<A>>>
[INFO] [stdout]     |                                             ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated function `itertools::unfold`: Use [std::iter::from_fn](https://doc.rust-lang.org/std/iter/fn.from_fn.html) instead
[INFO] [stdout]    --> src/prop.rs:142:14
[INFO] [stdout]     |
[INFO] [stdout] 142 |   itertools::unfold(
[INFO] [stdout]     |              ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `itertools::Unfold`: Use [std::iter::FromFn](https://doc.rust-lang.org/std/iter/struct.FromFn.html) instead
[INFO] [stdout]  --> src/prop.rs:5:16
[INFO] [stdout]   |
[INFO] [stdout] 5 | use itertools::Unfold;
[INFO] [stdout]   |                ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `itertools::Unfold`: Use [std::iter::FromFn](https://doc.rust-lang.org/std/iter/struct.FromFn.html) instead
[INFO] [stdout]    --> src/prop.rs:139:45
[INFO] [stdout]     |
[INFO] [stdout] 139 | fn random_stream<A>(g: Gen<A>, rng: RNG) -> Unfold<RNG, Box<dyn FnMut(&mut RNG) -> Option<A>>>
[INFO] [stdout]     |                                             ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated function `itertools::unfold`: Use [std::iter::from_fn](https://doc.rust-lang.org/std/iter/fn.from_fn.html) instead
[INFO] [stdout]    --> src/prop.rs:142:14
[INFO] [stdout]     |
[INFO] [stdout] 142 |   itertools::unfold(
[INFO] [stdout]     |              ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Input` is never used
[INFO] [stdout]  --> src/machine.rs:4:6
[INFO] [stdout]   |
[INFO] [stdout] 4 | enum Input {
[INFO] [stdout]   |      ^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Machine` is never constructed
[INFO] [stdout]   --> src/machine.rs:10:8
[INFO] [stdout]    |
[INFO] [stdout] 10 | struct Machine {
[INFO] [stdout]    |        ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Machine` has a derived impl for the trait `Default`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `simulate_machine` and `update` are never used
[INFO] [stdout]   --> src/machine.rs:17:6
[INFO] [stdout]    |
[INFO] [stdout] 16 | impl Machine {
[INFO] [stdout]    | ------------ associated functions in this implementation
[INFO] [stdout] 17 |   fn simulate_machine(inputs: Vec<Input>) -> State<Machine, (i32, i32)> {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 31 |   fn update() -> Box<dyn Fn(Input) -> Box<dyn Fn(Machine) -> Machine>> {
[INFO] [stdout]    |      ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 6 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 3 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `itertools::Unfold`: Use [std::iter::FromFn](https://doc.rust-lang.org/std/iter/struct.FromFn.html) instead
[INFO] [stdout]  --> src/prop.rs:5:16
[INFO] [stdout]   |
[INFO] [stdout] 5 | use itertools::Unfold;
[INFO] [stdout]   |                ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `itertools::Unfold`: Use [std::iter::FromFn](https://doc.rust-lang.org/std/iter/struct.FromFn.html) instead
[INFO] [stdout]    --> src/prop.rs:139:45
[INFO] [stdout]     |
[INFO] [stdout] 139 | fn random_stream<A>(g: Gen<A>, rng: RNG) -> Unfold<RNG, Box<dyn FnMut(&mut RNG) -> Option<A>>>
[INFO] [stdout]     |                                             ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated function `itertools::unfold`: Use [std::iter::from_fn](https://doc.rust-lang.org/std/iter/fn.from_fn.html) instead
[INFO] [stdout]    --> src/prop.rs:142:14
[INFO] [stdout]     |
[INFO] [stdout] 142 |   itertools::unfold(
[INFO] [stdout]     |              ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `itertools::Unfold`: Use [std::iter::FromFn](https://doc.rust-lang.org/std/iter/struct.FromFn.html) instead
[INFO] [stdout]  --> src/prop.rs:5:16
[INFO] [stdout]   |
[INFO] [stdout] 5 | use itertools::Unfold;
[INFO] [stdout]   |                ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `itertools::Unfold`: Use [std::iter::FromFn](https://doc.rust-lang.org/std/iter/struct.FromFn.html) instead
[INFO] [stdout]    --> src/prop.rs:139:45
[INFO] [stdout]     |
[INFO] [stdout] 139 | fn random_stream<A>(g: Gen<A>, rng: RNG) -> Unfold<RNG, Box<dyn FnMut(&mut RNG) -> Option<A>>>
[INFO] [stdout]     |                                             ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated function `itertools::unfold`: Use [std::iter::from_fn](https://doc.rust-lang.org/std/iter/fn.from_fn.html) instead
[INFO] [stdout]    --> src/prop.rs:142:14
[INFO] [stdout]     |
[INFO] [stdout] 142 |   itertools::unfold(
[INFO] [stdout]     |              ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated functions are never used
[INFO] [stdout]    --> src/gen.rs:21:10
[INFO] [stdout]     |
[INFO] [stdout] 18  | impl Gens {
[INFO] [stdout]     | --------- associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 21  |   pub fn unit() -> Gen<()> {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 35  |   pub fn pure_lazy<B, F>(f: F) -> Gen<B>
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 44  |   pub fn some<B>(gen: Gen<B>) -> Gen<Option<B>>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 52  |   pub fn option<B>(gen: Gen<B>) -> Gen<Option<B>>
[INFO] [stdout]     |          ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 60  |   pub fn either<T, E>(gt: Gen<T>, ge: Gen<E>) -> Gen<Result<T, E>>
[INFO] [stdout]     |          ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 69  |   pub fn frequency_values<B>(values: impl IntoIterator<Item = (u32, B)>) -> Gen<B>
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 77  |   pub fn frequency<B>(values: impl IntoIterator<Item = (u32, Gen<B>)>) -> Gen<B>
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 93  |   pub fn list_of_n<B>(n: usize, gen: Gen<B>) -> Gen<Vec<B>>
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 105 |   pub fn one<T: One>() -> Gen<T> {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 213 |   pub fn one_of_values<T: Choose + Clone + 'static>(values: impl IntoIterator<Item = T>) -> Gen<T> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 319 |   pub fn even<T: Choose + Num + Copy + 'static>(start: T, stop_exclusive: T) -> Gen<T> {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 334 |   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)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `run` and `and_then` are never used
[INFO] [stdout]    --> src/gen.rs:366:10
[INFO] [stdout]     |
[INFO] [stdout] 363 | impl<A: Clone + 'static> Gen<A> {
[INFO] [stdout]     | ------------------------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 366 |   pub fn run(self, rng: RNG) -> (A, RNG) {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 387 |   pub fn and_then<B, C, F>(self, g: Gen<B>, f: F) -> Gen<C>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Sized` and `Unsized` are never constructed
[INFO] [stdout]    --> src/gen.rs:411:3
[INFO] [stdout]     |
[INFO] [stdout] 408 | pub enum SGen<A> {
[INFO] [stdout]     |          ---- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 411 |   Sized(Rc<RefCell<dyn Fn(u32) -> Gen<A>>>),
[INFO] [stdout]     |   ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 414 |   Unsized(Gen<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:429:10
[INFO] [stdout]     |
[INFO] [stdout] 426 | impl<A: Clone + 'static> SGen<A> {
[INFO] [stdout]     | -------------------------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 429 |   pub fn of_sized<F>(f: F) -> SGen<A>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 437 |   pub fn of_unsized(gen: Gen<A>) -> SGen<A> {
[INFO] [stdout]     |          ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 443 |   pub fn run(&self, i: Option<u32>) -> Gen<A> {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `one` is never used
[INFO] [stdout]  --> src/gen/one.rs:6:6
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub trait One
[INFO] [stdout]   |           --- associated function in this trait
[INFO] [stdout] ...
[INFO] [stdout] 6 |   fn one() -> Gen<Self>;
[INFO] [stdout]   |      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Input` is never used
[INFO] [stdout]  --> src/machine.rs:4:6
[INFO] [stdout]   |
[INFO] [stdout] 4 | enum Input {
[INFO] [stdout]   |      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Machine` is never constructed
[INFO] [stdout]   --> src/machine.rs:10:8
[INFO] [stdout]    |
[INFO] [stdout] 10 | struct Machine {
[INFO] [stdout]    |        ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Machine` has a derived impl for the trait `Default`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `simulate_machine` and `update` are never used
[INFO] [stdout]   --> src/machine.rs:17:6
[INFO] [stdout]    |
[INFO] [stdout] 16 | impl Machine {
[INFO] [stdout]    | ------------ associated functions in this implementation
[INFO] [stdout] 17 |   fn simulate_machine(inputs: Vec<Input>) -> State<Machine, (i32, i32)> {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 31 |   fn update() -> Box<dyn Fn(Input) -> Box<dyn Fn(Machine) -> Machine>> {
[INFO] [stdout]    |      ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `is_falsified` and `non_falsified` are never used
[INFO] [stdout]   --> src/prop.rs:18:6
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub trait IsFalsified {
[INFO] [stdout]    |           ----------- methods in this trait
[INFO] [stdout] 18 |   fn is_falsified(&self) -> bool;
[INFO] [stdout]    |      ^^^^^^^^^^^^
[INFO] [stdout] 19 |   fn non_falsified(&self) -> bool {
[INFO] [stdout]    |      ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Passed`, `Falsified`, and `Proved` are never constructed
[INFO] [stdout]   --> src/prop.rs:29:3
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub enum PropResult {
[INFO] [stdout]    |          ---------- variants in this enum
[INFO] [stdout] 28 |   /// The property is passed.
[INFO] [stdout] 29 |   Passed {
[INFO] [stdout]    |   ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 34 |   Falsified {
[INFO] [stdout]    |   ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 40 |   Proved,
[INFO] [stdout]    |   ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `PropResult` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[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:52:10
[INFO] [stdout]     |
[INFO] [stdout] 43  | impl PropResult {
[INFO] [stdout]     | --------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 52  |   pub fn map<F>(self, f: F) -> PropResult
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 72  |   pub fn flat_map<F>(self, f: F) -> PropResult
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 87  |   pub fn to_result(self) -> Result<String> {
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 100 |   pub fn to_result_unit(self) -> Result<()> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 118 |   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:139:4
[INFO] [stdout]     |
[INFO] [stdout] 139 | fn random_stream<A>(g: Gen<A>, rng: RNG) -> Unfold<RNG, Box<dyn FnMut(&mut RNG) -> Option<A>>>
[INFO] [stdout]     |    ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `for_all_sgen` is never used
[INFO] [stdout]    --> src/prop.rs:161:8
[INFO] [stdout]     |
[INFO] [stdout] 161 | 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:181:8
[INFO] [stdout]     |
[INFO] [stdout] 181 | 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:213:8
[INFO] [stdout]     |
[INFO] [stdout] 213 | 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:248:8
[INFO] [stdout]     |
[INFO] [stdout] 248 | 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:261:8
[INFO] [stdout]     |
[INFO] [stdout] 261 | 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: associated items `new`, `run`, `tag`, `and`, and `or` are never used
[INFO] [stdout]    --> src/prop.rs:287:10
[INFO] [stdout]     |
[INFO] [stdout] 279 | impl Prop {
[INFO] [stdout]     | --------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 287 |   pub fn new<F>(f: F) -> Prop
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 304 |   pub fn run(&self, max_size: MaxSize, test_cases: TestCases, rng: RNG) -> PropResult {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 316 |   pub fn tag(self, msg: String) -> Prop {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 337 |   pub fn and(self, other: Self) -> Prop {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 354 |   pub fn or(self, other: Self) -> Prop {
[INFO] [stdout]     |          ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `rnd_gen` is never used
[INFO] [stdout]   --> src/rng.rs:81:6
[INFO] [stdout]    |
[INFO] [stdout] 76 | pub trait RandGen<T: NextRandValue>
[INFO] [stdout]    |           ------- associated function in this trait
[INFO] [stdout] ...
[INFO] [stdout] 81 |   fn rnd_gen(rng: T) -> (Self, T);
[INFO] [stdout]    |      ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `DynRand` is never used
[INFO] [stdout]    --> src/rng.rs:127:6
[INFO] [stdout]     |
[INFO] [stdout] 127 | type DynRand<A> = dyn FnMut(RNG) -> (A, RNG);
[INFO] [stdout]     |      ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `BoxRand` is never used
[INFO] [stdout]    --> src/rng.rs:128:6
[INFO] [stdout]     |
[INFO] [stdout] 128 | type BoxRand<A> = Box<DynRand<A>>;
[INFO] [stdout]     |      ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/rng.rs:215:10
[INFO] [stdout]     |
[INFO] [stdout] 204 | impl RNG {
[INFO] [stdout]     | -------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 215 |   pub fn with_seed(mut self, seed: u64) -> Self {
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 222 |   pub fn i32_f32(&self) -> ((i32, f32), Self) {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 230 |   pub fn f32_i32(&self) -> ((f32, i32), Self) {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 237 |   pub fn f32_3(&self) -> ((f32, f32, f32), Self) {
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 261 |   pub fn unit<A>(a: A) -> BoxRand<A>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 |   pub fn sequence<A, F>(fs: Vec<F>) -> BoxRand<Vec<A>>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 285 |   pub fn int_value() -> BoxRand<i32> {
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 291 |   pub fn double_value() -> BoxRand<f32> {
[INFO] [stdout]     |          ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 |   pub fn map<A, B, F1, F2>(mut s: F1, mut f: F2) -> BoxRand<B>
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 309 |   pub fn map2<F1, F2, F3, A, B, C>(mut ra: F1, mut rb: F2, mut f: F3) -> BoxRand<C>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 323 |   pub fn both<F1, F2, A, B>(ra: F1, rb: F2) -> BoxRand<(A, B)>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 332 |   pub fn rand_int_double() -> BoxRand<(i32, f32)> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 338 |   pub fn rand_double_int<'a>() -> BoxRand<(f32, i32)> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 344 |   pub fn flat_map<A, B, F, GF, BF>(mut f: F, mut g: GF) -> BoxRand<B>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `and_then`, `get`, `set`, `modify`, and `sequence` are never used
[INFO] [stdout]    --> src/state.rs:84:10
[INFO] [stdout]     |
[INFO] [stdout] 28  | / impl<S, A> State<S, A>
[INFO] [stdout] 29  | | where
[INFO] [stdout] 30  | |   S: 'static,
[INFO] [stdout] 31  | |   A: Clone + 'static,
[INFO] [stdout]     | |_____________________- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 84  |     pub fn and_then<B>(self, sb: State<S, B>) -> State<S, (A, B)>
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 93  |     pub fn get<T>() -> State<T, T>
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 101 |     pub fn set<T>(t: T) -> State<T, ()>
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 109 |     pub fn modify<T, F>(f: F) -> State<T, ()>
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 119 |     pub fn sequence(sas: Vec<State<S, A>>) -> State<S, Vec<A>> {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 26 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated functions are never used
[INFO] [stdout]    --> src/gen.rs:21:10
[INFO] [stdout]     |
[INFO] [stdout] 18  | impl Gens {
[INFO] [stdout]     | --------- associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 21  |   pub fn unit() -> Gen<()> {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 35  |   pub fn pure_lazy<B, F>(f: F) -> Gen<B>
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 44  |   pub fn some<B>(gen: Gen<B>) -> Gen<Option<B>>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 52  |   pub fn option<B>(gen: Gen<B>) -> Gen<Option<B>>
[INFO] [stdout]     |          ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 60  |   pub fn either<T, E>(gt: Gen<T>, ge: Gen<E>) -> Gen<Result<T, E>>
[INFO] [stdout]     |          ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 105 |   pub fn one<T: One>() -> Gen<T> {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 319 |   pub fn even<T: Choose + Num + Copy + 'static>(start: T, stop_exclusive: T) -> Gen<T> {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 334 |   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)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `and_then` is never used
[INFO] [stdout]    --> src/gen.rs:387:10
[INFO] [stdout]     |
[INFO] [stdout] 363 | impl<A: Clone + 'static> Gen<A> {
[INFO] [stdout]     | ------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 387 |   pub fn and_then<B, C, F>(self, g: Gen<B>, f: F) -> Gen<C>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Sized` and `Unsized` are never constructed
[INFO] [stdout]    --> src/gen.rs:411:3
[INFO] [stdout]     |
[INFO] [stdout] 408 | pub enum SGen<A> {
[INFO] [stdout]     |          ---- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 411 |   Sized(Rc<RefCell<dyn Fn(u32) -> Gen<A>>>),
[INFO] [stdout]     |   ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 414 |   Unsized(Gen<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:429:10
[INFO] [stdout]     |
[INFO] [stdout] 426 | impl<A: Clone + 'static> SGen<A> {
[INFO] [stdout]     | -------------------------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 429 |   pub fn of_sized<F>(f: F) -> SGen<A>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 437 |   pub fn of_unsized(gen: Gen<A>) -> SGen<A> {
[INFO] [stdout]     |          ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 443 |   pub fn run(&self, i: Option<u32>) -> Gen<A> {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `one` is never used
[INFO] [stdout]  --> src/gen/one.rs:6:6
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub trait One
[INFO] [stdout]   |           --- associated function in this trait
[INFO] [stdout] ...
[INFO] [stdout] 6 |   fn one() -> Gen<Self>;
[INFO] [stdout]   |      ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `non_falsified` is never used
[INFO] [stdout]   --> src/prop.rs:19:6
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub trait IsFalsified {
[INFO] [stdout]    |           ----------- method in this trait
[INFO] [stdout] 18 |   fn is_falsified(&self) -> bool;
[INFO] [stdout] 19 |   fn non_falsified(&self) -> bool {
[INFO] [stdout]    |      ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `map` is never used
[INFO] [stdout]   --> src/prop.rs:52:10
[INFO] [stdout]    |
[INFO] [stdout] 43 | impl PropResult {
[INFO] [stdout]    | --------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 52 |   pub fn map<F>(self, f: F) -> PropResult
[INFO] [stdout]    |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `for_all_sgen` is never used
[INFO] [stdout]    --> src/prop.rs:161:8
[INFO] [stdout]     |
[INFO] [stdout] 161 | 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 `run_with_prop` is never used
[INFO] [stdout]    --> src/prop.rs:248:8
[INFO] [stdout]     |
[INFO] [stdout] 248 | 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: methods `tag` and `or` are never used
[INFO] [stdout]    --> src/prop.rs:316:10
[INFO] [stdout]     |
[INFO] [stdout] 279 | impl Prop {
[INFO] [stdout]     | --------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 316 |   pub fn tag(self, msg: String) -> Prop {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 354 |   pub fn or(self, other: Self) -> Prop {
[INFO] [stdout]     |          ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `DynRand` is never used
[INFO] [stdout]    --> src/rng.rs:127:6
[INFO] [stdout]     |
[INFO] [stdout] 127 | type DynRand<A> = dyn FnMut(RNG) -> (A, RNG);
[INFO] [stdout]     |      ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `BoxRand` is never used
[INFO] [stdout]    --> src/rng.rs:128:6
[INFO] [stdout]     |
[INFO] [stdout] 128 | type BoxRand<A> = Box<DynRand<A>>;
[INFO] [stdout]     |      ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/rng.rs:222:10
[INFO] [stdout]     |
[INFO] [stdout] 204 | impl RNG {
[INFO] [stdout]     | -------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 222 |   pub fn i32_f32(&self) -> ((i32, f32), Self) {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 230 |   pub fn f32_i32(&self) -> ((f32, i32), Self) {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 237 |   pub fn f32_3(&self) -> ((f32, f32, f32), Self) {
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 261 |   pub fn unit<A>(a: A) -> BoxRand<A>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 269 |   pub fn sequence<A, F>(fs: Vec<F>) -> BoxRand<Vec<A>>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 285 |   pub fn int_value() -> BoxRand<i32> {
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 291 |   pub fn double_value() -> BoxRand<f32> {
[INFO] [stdout]     |          ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 297 |   pub fn map<A, B, F1, F2>(mut s: F1, mut f: F2) -> BoxRand<B>
[INFO] [stdout]     |          ^^^
[INFO] [stdout] ...
[INFO] [stdout] 309 |   pub fn map2<F1, F2, F3, A, B, C>(mut ra: F1, mut rb: F2, mut f: F3) -> BoxRand<C>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 323 |   pub fn both<F1, F2, A, B>(ra: F1, rb: F2) -> BoxRand<(A, B)>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 332 |   pub fn rand_int_double() -> BoxRand<(i32, f32)> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 338 |   pub fn rand_double_int<'a>() -> BoxRand<(f32, i32)> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 344 |   pub fn flat_map<A, B, F, GF, BF>(mut f: F, mut g: GF) -> BoxRand<B>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `and_then` is never used
[INFO] [stdout]   --> src/state.rs:84:10
[INFO] [stdout]    |
[INFO] [stdout] 28 | / impl<S, A> State<S, A>
[INFO] [stdout] 29 | | where
[INFO] [stdout] 30 | |   S: 'static,
[INFO] [stdout] 31 | |   A: Clone + 'static,
[INFO] [stdout]    | |_____________________- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 84 |     pub fn and_then<B>(self, sb: State<S, B>) -> State<S, (A, B)>
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 17 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 13.25s
[INFO] running `Command { std: "docker" "inspect" "ba4576b6a3835d78e0f8c26106d82325ca57db1004d0f9d0af08a91b07c11b5e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ba4576b6a3835d78e0f8c26106d82325ca57db1004d0f9d0af08a91b07c11b5e", kill_on_drop: false }`
[INFO] [stdout] ba4576b6a3835d78e0f8c26106d82325ca57db1004d0f9d0af08a91b07c11b5e