[INFO] fetching crate prop-check-rs 0.0.7...
[INFO] testing prop-check-rs-0.0.7 against try#722e1797249a965b6335aebd65d777f917e498f1 for pr-91031
[INFO] extracting crate prop-check-rs 0.0.7 into /workspace/builds/worker-29/source
[INFO] validating manifest of crates.io crate prop-check-rs 0.0.7 on toolchain 722e1797249a965b6335aebd65d777f917e498f1
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] removed /workspace/builds/worker-29/source/rust-toolchain
[INFO] started tweaking crates.io crate prop-check-rs 0.0.7
[INFO] finished tweaking crates.io crate prop-check-rs 0.0.7
[INFO] tweaked toml for crates.io crate prop-check-rs 0.0.7 written to /workspace/builds/worker-29/source/Cargo.toml
[INFO] crate crates.io crate prop-check-rs 0.0.7 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "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-29/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c35743e50c9e63a856535951301a8c9db2e7d99c531176fa4d1f95f3e2a666bb
[INFO] running `Command { std: "docker" "start" "-a" "c35743e50c9e63a856535951301a8c9db2e7d99c531176fa4d1f95f3e2a666bb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c35743e50c9e63a856535951301a8c9db2e7d99c531176fa4d1f95f3e2a666bb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c35743e50c9e63a856535951301a8c9db2e7d99c531176fa4d1f95f3e2a666bb", kill_on_drop: false }`
[INFO] [stdout] c35743e50c9e63a856535951301a8c9db2e7d99c531176fa4d1f95f3e2a666bb
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/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" "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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3e3561a3e15a17fe6bca0755fef43e0fb544a4ae3f52b7fea0b28f448c70fd44
[INFO] running `Command { std: "docker" "start" "-a" "3e3561a3e15a17fe6bca0755fef43e0fb544a4ae3f52b7fea0b28f448c70fd44", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling libc v0.2.99
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling ppv-lite86 v0.2.10
[INFO] [stderr]    Compiling anyhow v1.0.43
[INFO] [stderr]    Compiling rust-fp-categories v0.0.5
[INFO] [stderr]    Compiling iso-4217 v0.1.0
[INFO] [stderr]    Compiling log v0.4.14
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling num-integer v0.1.44
[INFO] [stderr]    Compiling num-bigint v0.4.0
[INFO] [stderr]    Compiling getrandom v0.2.3
[INFO] [stderr]    Compiling rand_core v0.6.3
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.4
[INFO] [stderr]    Compiling bigdecimal v0.3.0
[INFO] [stderr]    Compiling prop-check-rs v0.0.7 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `Display`
[INFO] [stdout]  --> src/prop.rs:1:23
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::fmt::{Debug, Display};
[INFO] [stdout]   |                       ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: crate-level attribute should be an inner attribute: add an exclamation mark: `#![foo]`
[INFO] [stdout]  --> src/lib.rs:3:1
[INFO] [stdout]   |
[INFO] [stdout] 3 | #[feature(clone_closures)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_attributes)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/gen.rs:13:33
[INFO] [stdout]    |
[INFO] [stdout] 13 |   pub fn list_of_n<B>(n: usize, mut g: Gen<B>) -> Gen<Vec<B>>
[INFO] [stdout]    |                                 ----^
[INFO] [stdout]    |                                 |
[INFO] [stdout]    |                                 help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/gen.rs:247:31
[INFO] [stdout]     |
[INFO] [stdout] 247 |   pub fn flat_map<B, F>(self, mut f: F) -> Gen<B>
[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/prop.rs:38:25
[INFO] [stdout]    |
[INFO] [stdout] 38 | pub fn random_stream<A>(mut g: Gen<A>, rng: RNG) -> Unfold<RNG, Box<dyn FnMut(&mut RNG) -> Option<A>>>
[INFO] [stdout]    |                         ----^
[INFO] [stdout]    |                         |
[INFO] [stdout]    |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Coin`
[INFO] [stdout]  --> src/machine.rs:5:3
[INFO] [stdout]   |
[INFO] [stdout] 5 |   Coin,
[INFO] [stdout]   |   ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Turn`
[INFO] [stdout]  --> src/machine.rs:6:3
[INFO] [stdout]   |
[INFO] [stdout] 6 |   Turn,
[INFO] [stdout]   |   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `locked`
[INFO] [stdout]   --> src/machine.rs:11:3
[INFO] [stdout]    |
[INFO] [stdout] 11 |   locked: bool,
[INFO] [stdout]    |   ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `candies`
[INFO] [stdout]   --> src/machine.rs:12:3
[INFO] [stdout]    |
[INFO] [stdout] 12 |   candies: i32,
[INFO] [stdout]    |   ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `coins`
[INFO] [stdout]   --> src/machine.rs:13:3
[INFO] [stdout]    |
[INFO] [stdout] 13 |   coins: i32,
[INFO] [stdout]    |   ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `simulate_machine`
[INFO] [stdout]   --> src/machine.rs:17:6
[INFO] [stdout]    |
[INFO] [stdout] 17 |   fn simulate_machine(inputs: Vec<Input>) -> State<Machine, (i32, i32)> {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `update`
[INFO] [stdout]   --> src/machine.rs:31:6
[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: the feature `slice_fill_with` has been stable since 1.51.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(slice_fill_with)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: comparison is useless due to type limits
[INFO] [stdout]    --> src/rng.rs:249:12
[INFO] [stdout]     |
[INFO] [stdout] 249 |         if i + (n - 1) - m >= 0 {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_comparisons)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 14 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Display`
[INFO] [stdout]  --> src/prop.rs:1:23
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::fmt::{Debug, Display};
[INFO] [stdout]   |                       ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/gen.rs:13:33
[INFO] [stdout]    |
[INFO] [stdout] 13 |   pub fn list_of_n<B>(n: usize, mut g: Gen<B>) -> Gen<Vec<B>>
[INFO] [stdout]    |                                 ----^
[INFO] [stdout]    |                                 |
[INFO] [stdout]    |                                 help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/gen.rs:247:31
[INFO] [stdout]     |
[INFO] [stdout] 247 |   pub fn flat_map<B, F>(self, mut f: F) -> Gen<B>
[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/prop.rs:38:25
[INFO] [stdout]    |
[INFO] [stdout] 38 | pub fn random_stream<A>(mut g: Gen<A>, rng: RNG) -> Unfold<RNG, Box<dyn FnMut(&mut RNG) -> Option<A>>>
[INFO] [stdout]    |                         ----^
[INFO] [stdout]    |                         |
[INFO] [stdout]    |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `list_of_n`
[INFO] [stdout]   --> src/gen.rs:13:10
[INFO] [stdout]    |
[INFO] [stdout] 13 |   pub fn list_of_n<B>(n: usize, mut g: Gen<B>) -> Gen<Vec<B>>
[INFO] [stdout]    |          ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `one`
[INFO] [stdout]   --> src/gen.rs:23:10
[INFO] [stdout]    |
[INFO] [stdout] 23 |   pub fn one<T: One>() -> Gen<T> {
[INFO] [stdout]    |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `even`
[INFO] [stdout]    --> src/gen.rs:180:10
[INFO] [stdout]     |
[INFO] [stdout] 180 |   pub fn even<T: Choose + Num + Copy + 'static>(start: T, stop_exclusive: T) -> Gen<T> {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `odd`
[INFO] [stdout]    --> src/gen.rs:193:10
[INFO] [stdout]     |
[INFO] [stdout] 193 |   pub fn odd<T: Choose + Num + Copy + 'static>(start: T, stop_exclusive: T) -> Gen<T> {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `unit`
[INFO] [stdout]    --> src/gen.rs:220:10
[INFO] [stdout]     |
[INFO] [stdout] 220 |   pub fn unit<B, F>(mut f: F) -> Gen<B>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `and_then`
[INFO] [stdout]    --> src/gen.rs:238:10
[INFO] [stdout]     |
[INFO] [stdout] 238 |   pub fn and_then<B, C, F>(self, g: Gen<B>, f: F) -> Gen<C>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `flat_map`
[INFO] [stdout]    --> src/gen.rs:247:10
[INFO] [stdout]     |
[INFO] [stdout] 247 |   pub fn flat_map<B, F>(self, mut f: F) -> Gen<B>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Coin`
[INFO] [stdout]  --> src/machine.rs:5:3
[INFO] [stdout]   |
[INFO] [stdout] 5 |   Coin,
[INFO] [stdout]   |   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Turn`
[INFO] [stdout]  --> src/machine.rs:6:3
[INFO] [stdout]   |
[INFO] [stdout] 6 |   Turn,
[INFO] [stdout]   |   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `locked`
[INFO] [stdout]   --> src/machine.rs:11:3
[INFO] [stdout]    |
[INFO] [stdout] 11 |   locked: bool,
[INFO] [stdout]    |   ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `candies`
[INFO] [stdout]   --> src/machine.rs:12:3
[INFO] [stdout]    |
[INFO] [stdout] 12 |   candies: i32,
[INFO] [stdout]    |   ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `coins`
[INFO] [stdout]   --> src/machine.rs:13:3
[INFO] [stdout]    |
[INFO] [stdout] 13 |   coins: i32,
[INFO] [stdout]    |   ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `simulate_machine`
[INFO] [stdout]   --> src/machine.rs:17:6
[INFO] [stdout]    |
[INFO] [stdout] 17 |   fn simulate_machine(inputs: Vec<Input>) -> State<Machine, (i32, i32)> {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `update`
[INFO] [stdout]   --> src/machine.rs:31:6
[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: type alias is never used: `MaxSize`
[INFO] [stdout]  --> src/prop.rs:9:1
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub type MaxSize = u32;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `TestCases`
[INFO] [stdout]   --> src/prop.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub type TestCases = u32;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Passed`
[INFO] [stdout]   --> src/prop.rs:20:3
[INFO] [stdout]    |
[INFO] [stdout] 20 |   Passed,
[INFO] [stdout]    |   ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Falsified`
[INFO] [stdout]   --> src/prop.rs:21:3
[INFO] [stdout]    |
[INFO] [stdout] 21 | /   Falsified {
[INFO] [stdout] 22 | |     failure: FailedCase,
[INFO] [stdout] 23 | |     successes: SuccessCount,
[INFO] [stdout] 24 | |   },
[INFO] [stdout]    | |___^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Proved`
[INFO] [stdout]   --> src/prop.rs:25:3
[INFO] [stdout]    |
[INFO] [stdout] 25 |   Proved,
[INFO] [stdout]    |   ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `random_stream`
[INFO] [stdout]   --> src/prop.rs:38:8
[INFO] [stdout]    |
[INFO] [stdout] 38 | pub fn random_stream<A>(mut g: Gen<A>, rng: RNG) -> Unfold<RNG, Box<dyn FnMut(&mut RNG) -> Option<A>>>
[INFO] [stdout]    |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `for_all`
[INFO] [stdout]   --> src/prop.rs:51:8
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub fn for_all<A, F>(g: Gen<A>, mut f: F) -> Prop
[INFO] [stdout]    |        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `run_with_prop`
[INFO] [stdout]   --> src/prop.rs:77:8
[INFO] [stdout]    |
[INFO] [stdout] 77 | 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 is never used: `test_with_prop`
[INFO] [stdout]   --> src/prop.rs:88:8
[INFO] [stdout]    |
[INFO] [stdout] 88 | 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 is never constructed: `Prop`
[INFO] [stdout]    --> src/prop.rs:109:12
[INFO] [stdout]     |
[INFO] [stdout] 109 | pub struct Prop {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `run`
[INFO] [stdout]    --> src/prop.rs:114:10
[INFO] [stdout]     |
[INFO] [stdout] 114 |   pub fn run(self, max_size: MaxSize, test_cases: TestCases, rng: RNG) -> PropResult {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `tag`
[INFO] [stdout]    --> src/prop.rs:118:10
[INFO] [stdout]     |
[INFO] [stdout] 118 |   pub fn tag(self, msg: String) -> Prop {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `and`
[INFO] [stdout]    --> src/prop.rs:133:10
[INFO] [stdout]     |
[INFO] [stdout] 133 |   pub fn and(self, p: Self) -> Prop {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `or`
[INFO] [stdout]    --> src/prop.rs:144:10
[INFO] [stdout]     |
[INFO] [stdout] 144 |   pub fn or(self, p: Self) -> Prop {
[INFO] [stdout]     |          ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `DynRand`
[INFO] [stdout]   --> src/rng.rs:95:1
[INFO] [stdout]    |
[INFO] [stdout] 95 | type DynRand<A> = dyn FnMut(RNG) -> (A, RNG);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `BoxRand`
[INFO] [stdout]   --> src/rng.rs:96:1
[INFO] [stdout]    |
[INFO] [stdout] 96 | type BoxRand<A> = Box<DynRand<A>>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `with_seed`
[INFO] [stdout]    --> src/rng.rs:136:10
[INFO] [stdout]     |
[INFO] [stdout] 136 |   pub fn with_seed(&mut self, seed: i64) {
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `i32_f32`
[INFO] [stdout]    --> src/rng.rs:140:10
[INFO] [stdout]     |
[INFO] [stdout] 140 |   pub fn i32_f32(&self) -> ((i32, f32), Self) {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `f32_i32`
[INFO] [stdout]    --> src/rng.rs:146:10
[INFO] [stdout]     |
[INFO] [stdout] 146 |   pub fn f32_i32(&self) -> ((f32, i32), Self) {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `f32_3`
[INFO] [stdout]    --> src/rng.rs:151:10
[INFO] [stdout]     |
[INFO] [stdout] 151 |   pub fn f32_3(&self) -> ((f32, f32, f32), Self) {
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `unit`
[INFO] [stdout]    --> src/rng.rs:171:10
[INFO] [stdout]     |
[INFO] [stdout] 171 |   pub fn unit<A: Clone + 'static>(a: A) -> BoxRand<A> {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `sequence`
[INFO] [stdout]    --> src/rng.rs:175:10
[INFO] [stdout]     |
[INFO] [stdout] 175 |   pub fn sequence<A: Clone + 'static, F: 'static>(fs: Vec<F>) -> BoxRand<Vec<A>>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `int_value`
[INFO] [stdout]    --> src/rng.rs:188:10
[INFO] [stdout]     |
[INFO] [stdout] 188 |   pub fn int_value() -> BoxRand<i32> {
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `double_value`
[INFO] [stdout]    --> src/rng.rs:192:10
[INFO] [stdout]     |
[INFO] [stdout] 192 |   pub fn double_value() -> BoxRand<f32> {
[INFO] [stdout]     |          ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `map`
[INFO] [stdout]    --> src/rng.rs:196:10
[INFO] [stdout]     |
[INFO] [stdout] 196 |   pub fn map<A, B, F1: 'static, F2: 'static>(mut s: F1, mut f: F2) -> BoxRand<B>
[INFO] [stdout]     |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `map2`
[INFO] [stdout]    --> src/rng.rs:206:10
[INFO] [stdout]     |
[INFO] [stdout] 206 |   pub fn map2<F1: 'static, F2: 'static, F3: 'static, A, B, C>(mut ra: F1, mut rb: F2, mut f: F3) -> BoxRand<C>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `both`
[INFO] [stdout]    --> src/rng.rs:218:10
[INFO] [stdout]     |
[INFO] [stdout] 218 |   pub fn both<F1: 'static, F2: 'static, A, B>(ra: F1, rb: F2) -> BoxRand<(A, B)>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `rand_int_double`
[INFO] [stdout]    --> src/rng.rs:225:10
[INFO] [stdout]     |
[INFO] [stdout] 225 |   pub fn rand_int_double() -> BoxRand<(i32, f32)> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `rand_double_int`
[INFO] [stdout]    --> src/rng.rs:229:10
[INFO] [stdout]     |
[INFO] [stdout] 229 |   pub fn rand_double_int<'a>() -> BoxRand<(f32, i32)> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `flat_map`
[INFO] [stdout]    --> src/rng.rs:233:10
[INFO] [stdout]     |
[INFO] [stdout] 233 |   pub fn flat_map<A, B, F: 'static, GF: 'static, BF>(mut f: F, mut g: GF) -> BoxRand<B>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `non_negative_less_than`
[INFO] [stdout]    --> src/rng.rs:244:10
[INFO] [stdout]     |
[INFO] [stdout] 244 |   pub fn non_negative_less_than(n: u32) -> BoxRand<u32> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `unit`
[INFO] [stdout]   --> src/state.rs:18:10
[INFO] [stdout]    |
[INFO] [stdout] 18 |   pub fn unit(a: A) -> State<S, A> {
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `and_then`
[INFO] [stdout]   --> src/state.rs:45:10
[INFO] [stdout]    |
[INFO] [stdout] 45 |   pub fn and_then<B>(self, sb: State<S, B>) -> State<S, (A, B)>
[INFO] [stdout]    |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `modify`
[INFO] [stdout]   --> src/state.rs:62:10
[INFO] [stdout]    |
[INFO] [stdout] 62 |   pub fn modify<T, F>(f: F) -> State<T, ()>
[INFO] [stdout]    |          ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `get`
[INFO] [stdout]   --> src/state.rs:70:10
[INFO] [stdout]    |
[INFO] [stdout] 70 |   pub fn get<T>() -> State<T, T>
[INFO] [stdout]    |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `set`
[INFO] [stdout]   --> src/state.rs:76:10
[INFO] [stdout]    |
[INFO] [stdout] 76 |   pub fn set<T>(t: T) -> State<T, ()>
[INFO] [stdout]    |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `sequence`
[INFO] [stdout]   --> src/state.rs:82:10
[INFO] [stdout]    |
[INFO] [stdout] 82 |   pub fn sequence(sas: Vec<State<S, A>>) -> State<S, Vec<A>> {
[INFO] [stdout]    |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: comparison is useless due to type limits
[INFO] [stdout]    --> src/rng.rs:249:12
[INFO] [stdout]     |
[INFO] [stdout] 249 |         if i + (n - 1) - m >= 0 {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_comparisons)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 56 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 10.46s
[INFO] running `Command { std: "docker" "inspect" "3e3561a3e15a17fe6bca0755fef43e0fb544a4ae3f52b7fea0b28f448c70fd44", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3e3561a3e15a17fe6bca0755fef43e0fb544a4ae3f52b7fea0b28f448c70fd44", kill_on_drop: false }`
[INFO] [stdout] 3e3561a3e15a17fe6bca0755fef43e0fb544a4ae3f52b7fea0b28f448c70fd44
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/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" "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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f2150bf0ab524cf3ab1e83e7464c4897d13ef43da999c7915dc3b955a9628764
[INFO] running `Command { std: "docker" "start" "-a" "f2150bf0ab524cf3ab1e83e7464c4897d13ef43da999c7915dc3b955a9628764", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stdout] warning: unused import: `Display`
[INFO] [stdout]  --> src/prop.rs:1:23
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::fmt::{Debug, Display};
[INFO] [stdout]   |                       ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: crate-level attribute should be an inner attribute: add an exclamation mark: `#![foo]`
[INFO] [stdout]  --> src/lib.rs:3:1
[INFO] [stdout]   |
[INFO] [stdout] 3 | #[feature(clone_closures)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_attributes)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/gen.rs:13:33
[INFO] [stdout]    |
[INFO] [stdout] 13 |   pub fn list_of_n<B>(n: usize, mut g: Gen<B>) -> Gen<Vec<B>>
[INFO] [stdout]    |                                 ----^
[INFO] [stdout]    |                                 |
[INFO] [stdout]    |                                 help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/gen.rs:247:31
[INFO] [stdout]     |
[INFO] [stdout] 247 |   pub fn flat_map<B, F>(self, mut f: F) -> Gen<B>
[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/prop.rs:38:25
[INFO] [stdout]    |
[INFO] [stdout] 38 | pub fn random_stream<A>(mut g: Gen<A>, rng: RNG) -> Unfold<RNG, Box<dyn FnMut(&mut RNG) -> Option<A>>>
[INFO] [stdout]    |                         ----^
[INFO] [stdout]    |                         |
[INFO] [stdout]    |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Coin`
[INFO] [stdout]  --> src/machine.rs:5:3
[INFO] [stdout]   |
[INFO] [stdout] 5 |   Coin,
[INFO] [stdout]   |   ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Turn`
[INFO] [stdout]  --> src/machine.rs:6:3
[INFO] [stdout]   |
[INFO] [stdout] 6 |   Turn,
[INFO] [stdout]   |   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `locked`
[INFO] [stdout]   --> src/machine.rs:11:3
[INFO] [stdout]    |
[INFO] [stdout] 11 |   locked: bool,
[INFO] [stdout]    |   ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `candies`
[INFO] [stdout]   --> src/machine.rs:12:3
[INFO] [stdout]    |
[INFO] [stdout] 12 |   candies: i32,
[INFO] [stdout]    |   ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field is never read: `coins`
[INFO] [stdout]   --> src/machine.rs:13:3
[INFO] [stdout]    |
[INFO] [stdout] 13 |   coins: i32,
[INFO] [stdout]    |   ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `simulate_machine`
[INFO] [stdout]   --> src/machine.rs:17:6
[INFO] [stdout]    |
[INFO] [stdout] 17 |   fn simulate_machine(inputs: Vec<Input>) -> State<Machine, (i32, i32)> {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `update`
[INFO] [stdout]   --> src/machine.rs:31:6
[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: the feature `slice_fill_with` has been stable since 1.51.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(slice_fill_with)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: comparison is useless due to type limits
[INFO] [stdout]    --> src/rng.rs:249:12
[INFO] [stdout]     |
[INFO] [stdout] 249 |         if i + (n - 1) - m >= 0 {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_comparisons)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 14 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling env_logger v0.9.0
[INFO] [stderr]    Compiling prop-check-rs v0.0.7 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `Display`
[INFO] [stdout]  --> src/prop.rs:1:23
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::fmt::{Debug, Display};
[INFO] [stdout]   |                       ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Level`, `debug`, `error`, `log_enabled`
[INFO] [stdout]    --> src/prop.rs:156:13
[INFO] [stdout]     |
[INFO] [stdout] 156 |   use log::{debug, error, info, log_enabled, Level};
[INFO] [stdout]     |             ^^^^^  ^^^^^        ^^^^^^^^^^^  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: crate-level attribute should be an inner attribute: add an exclamation mark: `#![foo]`
[INFO] [stdout]  --> src/lib.rs:3:1
[INFO] [stdout]   |
[INFO] [stdout] 3 | #[feature(clone_closures)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_attributes)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Display`
[INFO] [stdout]  --> src/prop.rs:1:23
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::fmt::{Debug, Display};
[INFO] [stdout]   |                       ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Level`, `debug`, `error`, `log_enabled`
[INFO] [stdout]    --> src/prop.rs:156:13
[INFO] [stdout]     |
[INFO] [stdout] 156 |   use log::{debug, error, info, log_enabled, Level};
[INFO] [stdout]     |             ^^^^^  ^^^^^        ^^^^^^^^^^^  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `counter`
[INFO] [stdout]    --> src/prop.rs:176:7
[INFO] [stdout]     |
[INFO] [stdout] 176 |       counter += 1;
[INFO] [stdout]     |       ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout]     = help: did you mean to capture by reference instead?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/gen.rs:13:33
[INFO] [stdout]    |
[INFO] [stdout] 13 |   pub fn list_of_n<B>(n: usize, mut g: Gen<B>) -> Gen<Vec<B>>
[INFO] [stdout]    |                                 ----^
[INFO] [stdout]    |                                 |
[INFO] [stdout]    |                                 help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/gen.rs:247:31
[INFO] [stdout]     |
[INFO] [stdout] 247 |   pub fn flat_map<B, F>(self, mut f: F) -> Gen<B>
[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/prop.rs:38:25
[INFO] [stdout]    |
[INFO] [stdout] 38 | pub fn random_stream<A>(mut g: Gen<A>, rng: RNG) -> Unfold<RNG, Box<dyn FnMut(&mut RNG) -> Option<A>>>
[INFO] [stdout]    |                         ----^
[INFO] [stdout]    |                         |
[INFO] [stdout]    |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `slice_fill_with` has been stable since 1.51.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(slice_fill_with)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: comparison is useless due to type limits
[INFO] [stdout]    --> src/rng.rs:249:12
[INFO] [stdout]     |
[INFO] [stdout] 249 |         if i + (n - 1) - m >= 0 {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_comparisons)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `counter`
[INFO] [stdout]    --> src/prop.rs:176:7
[INFO] [stdout]     |
[INFO] [stdout] 176 |       counter += 1;
[INFO] [stdout]     |       ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout]     = help: did you mean to capture by reference instead?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/gen.rs:13:33
[INFO] [stdout]    |
[INFO] [stdout] 13 |   pub fn list_of_n<B>(n: usize, mut g: Gen<B>) -> Gen<Vec<B>>
[INFO] [stdout]    |                                 ----^
[INFO] [stdout]    |                                 |
[INFO] [stdout]    |                                 help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/gen.rs:247:31
[INFO] [stdout]     |
[INFO] [stdout] 247 |   pub fn flat_map<B, F>(self, mut f: F) -> Gen<B>
[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/prop.rs:38:25
[INFO] [stdout]    |
[INFO] [stdout] 38 | pub fn random_stream<A>(mut g: Gen<A>, rng: RNG) -> Unfold<RNG, Box<dyn FnMut(&mut RNG) -> Option<A>>>
[INFO] [stdout]    |                         ----^
[INFO] [stdout]    |                         |
[INFO] [stdout]    |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `list_of_n`
[INFO] [stdout]   --> src/gen.rs:13:10
[INFO] [stdout]    |
[INFO] [stdout] 13 |   pub fn list_of_n<B>(n: usize, mut g: Gen<B>) -> Gen<Vec<B>>
[INFO] [stdout]    |          ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `one`
[INFO] [stdout]   --> src/gen.rs:23:10
[INFO] [stdout]    |
[INFO] [stdout] 23 |   pub fn one<T: One>() -> Gen<T> {
[INFO] [stdout]    |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `even`
[INFO] [stdout]    --> src/gen.rs:180:10
[INFO] [stdout]     |
[INFO] [stdout] 180 |   pub fn even<T: Choose + Num + Copy + 'static>(start: T, stop_exclusive: T) -> Gen<T> {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `odd`
[INFO] [stdout]    --> src/gen.rs:193:10
[INFO] [stdout]     |
[INFO] [stdout] 193 |   pub fn odd<T: Choose + Num + Copy + 'static>(start: T, stop_exclusive: T) -> Gen<T> {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `unit`
[INFO] [stdout]    --> src/gen.rs:220:10
[INFO] [stdout]     |
[INFO] [stdout] 220 |   pub fn unit<B, F>(mut f: F) -> Gen<B>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `and_then`
[INFO] [stdout]    --> src/gen.rs:238:10
[INFO] [stdout]     |
[INFO] [stdout] 238 |   pub fn and_then<B, C, F>(self, g: Gen<B>, f: F) -> Gen<C>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `flat_map`
[INFO] [stdout]    --> src/gen.rs:247:10
[INFO] [stdout]     |
[INFO] [stdout] 247 |   pub fn flat_map<B, F>(self, mut f: F) -> Gen<B>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Proved`
[INFO] [stdout]   --> src/prop.rs:25:3
[INFO] [stdout]    |
[INFO] [stdout] 25 |   Proved,
[INFO] [stdout]    |   ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `run_with_prop`
[INFO] [stdout]   --> src/prop.rs:77:8
[INFO] [stdout]    |
[INFO] [stdout] 77 | 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: associated function is never used: `tag`
[INFO] [stdout]    --> src/prop.rs:118:10
[INFO] [stdout]     |
[INFO] [stdout] 118 |   pub fn tag(self, msg: String) -> Prop {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `and`
[INFO] [stdout]    --> src/prop.rs:133:10
[INFO] [stdout]     |
[INFO] [stdout] 133 |   pub fn and(self, p: Self) -> Prop {
[INFO] [stdout]     |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `or`
[INFO] [stdout]    --> src/prop.rs:144:10
[INFO] [stdout]     |
[INFO] [stdout] 144 |   pub fn or(self, p: Self) -> Prop {
[INFO] [stdout]     |          ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `DynRand`
[INFO] [stdout]   --> src/rng.rs:95:1
[INFO] [stdout]    |
[INFO] [stdout] 95 | type DynRand<A> = dyn FnMut(RNG) -> (A, RNG);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `BoxRand`
[INFO] [stdout]   --> src/rng.rs:96:1
[INFO] [stdout]    |
[INFO] [stdout] 96 | type BoxRand<A> = Box<DynRand<A>>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `with_seed`
[INFO] [stdout]    --> src/rng.rs:136:10
[INFO] [stdout]     |
[INFO] [stdout] 136 |   pub fn with_seed(&mut self, seed: i64) {
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `i32_f32`
[INFO] [stdout]    --> src/rng.rs:140:10
[INFO] [stdout]     |
[INFO] [stdout] 140 |   pub fn i32_f32(&self) -> ((i32, f32), Self) {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `f32_i32`
[INFO] [stdout]    --> src/rng.rs:146:10
[INFO] [stdout]     |
[INFO] [stdout] 146 |   pub fn f32_i32(&self) -> ((f32, i32), Self) {
[INFO] [stdout]     |          ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `f32_3`
[INFO] [stdout]    --> src/rng.rs:151:10
[INFO] [stdout]     |
[INFO] [stdout] 151 |   pub fn f32_3(&self) -> ((f32, f32, f32), Self) {
[INFO] [stdout]     |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `unit`
[INFO] [stdout]    --> src/rng.rs:171:10
[INFO] [stdout]     |
[INFO] [stdout] 171 |   pub fn unit<A: Clone + 'static>(a: A) -> BoxRand<A> {
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `sequence`
[INFO] [stdout]    --> src/rng.rs:175:10
[INFO] [stdout]     |
[INFO] [stdout] 175 |   pub fn sequence<A: Clone + 'static, F: 'static>(fs: Vec<F>) -> BoxRand<Vec<A>>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `int_value`
[INFO] [stdout]    --> src/rng.rs:188:10
[INFO] [stdout]     |
[INFO] [stdout] 188 |   pub fn int_value() -> BoxRand<i32> {
[INFO] [stdout]     |          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `double_value`
[INFO] [stdout]    --> src/rng.rs:192:10
[INFO] [stdout]     |
[INFO] [stdout] 192 |   pub fn double_value() -> BoxRand<f32> {
[INFO] [stdout]     |          ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `map`
[INFO] [stdout]    --> src/rng.rs:196:10
[INFO] [stdout]     |
[INFO] [stdout] 196 |   pub fn map<A, B, F1: 'static, F2: 'static>(mut s: F1, mut f: F2) -> BoxRand<B>
[INFO] [stdout]     |          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `map2`
[INFO] [stdout]    --> src/rng.rs:206:10
[INFO] [stdout]     |
[INFO] [stdout] 206 |   pub fn map2<F1: 'static, F2: 'static, F3: 'static, A, B, C>(mut ra: F1, mut rb: F2, mut f: F3) -> BoxRand<C>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `both`
[INFO] [stdout]    --> src/rng.rs:218:10
[INFO] [stdout]     |
[INFO] [stdout] 218 |   pub fn both<F1: 'static, F2: 'static, A, B>(ra: F1, rb: F2) -> BoxRand<(A, B)>
[INFO] [stdout]     |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `rand_int_double`
[INFO] [stdout]    --> src/rng.rs:225:10
[INFO] [stdout]     |
[INFO] [stdout] 225 |   pub fn rand_int_double() -> BoxRand<(i32, f32)> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `rand_double_int`
[INFO] [stdout]    --> src/rng.rs:229:10
[INFO] [stdout]     |
[INFO] [stdout] 229 |   pub fn rand_double_int<'a>() -> BoxRand<(f32, i32)> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `flat_map`
[INFO] [stdout]    --> src/rng.rs:233:10
[INFO] [stdout]     |
[INFO] [stdout] 233 |   pub fn flat_map<A, B, F: 'static, GF: 'static, BF>(mut f: F, mut g: GF) -> BoxRand<B>
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `non_negative_less_than`
[INFO] [stdout]    --> src/rng.rs:244:10
[INFO] [stdout]     |
[INFO] [stdout] 244 |   pub fn non_negative_less_than(n: u32) -> BoxRand<u32> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `unit`
[INFO] [stdout]   --> src/state.rs:18:10
[INFO] [stdout]    |
[INFO] [stdout] 18 |   pub fn unit(a: A) -> State<S, A> {
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `and_then`
[INFO] [stdout]   --> src/state.rs:45:10
[INFO] [stdout]    |
[INFO] [stdout] 45 |   pub fn and_then<B>(self, sb: State<S, B>) -> State<S, (A, B)>
[INFO] [stdout]    |          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: comparison is useless due to type limits
[INFO] [stdout]    --> src/rng.rs:249:12
[INFO] [stdout]     |
[INFO] [stdout] 249 |         if i + (n - 1) - m >= 0 {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_comparisons)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 38 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 9 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 5.01s
[INFO] running `Command { std: "docker" "inspect" "f2150bf0ab524cf3ab1e83e7464c4897d13ef43da999c7915dc3b955a9628764", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f2150bf0ab524cf3ab1e83e7464c4897d13ef43da999c7915dc3b955a9628764", kill_on_drop: false }`
[INFO] [stdout] f2150bf0ab524cf3ab1e83e7464c4897d13ef43da999c7915dc3b955a9628764
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-29/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" "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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+722e1797249a965b6335aebd65d777f917e498f1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 8db51057087dc6030caadfe478966724acd9945a30a0ecfe1e69e2565b7f945c
[INFO] running `Command { std: "docker" "start" "-a" "8db51057087dc6030caadfe478966724acd9945a30a0ecfe1e69e2565b7f945c", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `Display`
[INFO] [stderr]  --> src/prop.rs:1:23
[INFO] [stderr]   |
[INFO] [stderr] 1 | use std::fmt::{Debug, Display};
[INFO] [stderr]   |                       ^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: crate-level attribute should be an inner attribute: add an exclamation mark: `#![foo]`
[INFO] [stderr]  --> src/lib.rs:3:1
[INFO] [stderr]   |
[INFO] [stderr] 3 | #[feature(clone_closures)]
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_attributes)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> src/gen.rs:13:33
[INFO] [stderr]    |
[INFO] [stderr] 13 |   pub fn list_of_n<B>(n: usize, mut g: Gen<B>) -> Gen<Vec<B>>
[INFO] [stderr]    |                                 ----^
[INFO] [stderr]    |                                 |
[INFO] [stderr]    |                                 help: remove this `mut`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_mut)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/gen.rs:247:31
[INFO] [stderr]     |
[INFO] [stderr] 247 |   pub fn flat_map<B, F>(self, mut f: F) -> Gen<B>
[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/prop.rs:38:25
[INFO] [stderr]    |
[INFO] [stderr] 38 | pub fn random_stream<A>(mut g: Gen<A>, rng: RNG) -> Unfold<RNG, Box<dyn FnMut(&mut RNG) -> Option<A>>>
[INFO] [stderr]    |                         ----^
[INFO] [stderr]    |                         |
[INFO] [stderr]    |                         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Coin`
[INFO] [stderr]  --> src/machine.rs:5:3
[INFO] [stderr]   |
[INFO] [stderr] 5 |   Coin,
[INFO] [stderr]   |   ^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Turn`
[INFO] [stderr]  --> src/machine.rs:6:3
[INFO] [stderr]   |
[INFO] [stderr] 6 |   Turn,
[INFO] [stderr]   |   ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `locked`
[INFO] [stderr]   --> src/machine.rs:11:3
[INFO] [stderr]    |
[INFO] [stderr] 11 |   locked: bool,
[INFO] [stderr]    |   ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `candies`
[INFO] [stderr]   --> src/machine.rs:12:3
[INFO] [stderr]    |
[INFO] [stderr] 12 |   candies: i32,
[INFO] [stderr]    |   ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `coins`
[INFO] [stderr]   --> src/machine.rs:13:3
[INFO] [stderr]    |
[INFO] [stderr] 13 |   coins: i32,
[INFO] [stderr]    |   ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `simulate_machine`
[INFO] [stderr]   --> src/machine.rs:17:6
[INFO] [stderr]    |
[INFO] [stderr] 17 |   fn simulate_machine(inputs: Vec<Input>) -> State<Machine, (i32, i32)> {
[INFO] [stderr]    |      ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `update`
[INFO] [stderr]   --> src/machine.rs:31:6
[INFO] [stderr]    |
[INFO] [stderr] 31 |   fn update() -> Box<dyn Fn(Input) -> Box<dyn Fn(Machine) -> Machine>> {
[INFO] [stderr]    |      ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: the feature `slice_fill_with` has been stable since 1.51.0 and no longer requires an attribute to enable
[INFO] [stderr]  --> src/lib.rs:1:12
[INFO] [stderr]   |
[INFO] [stderr] 1 | #![feature(slice_fill_with)]
[INFO] [stderr]   |            ^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(stable_features)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: comparison is useless due to type limits
[INFO] [stderr]    --> src/rng.rs:249:12
[INFO] [stderr]     |
[INFO] [stderr] 249 |         if i + (n - 1) - m >= 0 {
[INFO] [stderr]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_comparisons)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `Level`, `debug`, `error`, `log_enabled`
[INFO] [stderr]    --> src/prop.rs:156:13
[INFO] [stderr]     |
[INFO] [stderr] 156 |   use log::{debug, error, info, log_enabled, Level};
[INFO] [stderr]     |             ^^^^^  ^^^^^        ^^^^^^^^^^^  ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `counter`
[INFO] [stderr]    --> src/prop.rs:176:7
[INFO] [stderr]     |
[INFO] [stderr] 176 |       counter += 1;
[INFO] [stderr]     |       ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr]     = help: did you mean to capture by reference instead?
[INFO] [stderr] 
[INFO] [stderr] warning: `prop-check-rs` (lib) generated 14 warnings
[INFO] [stderr] warning: `prop-check-rs` (lib test) generated 9 warnings (7 duplicates)
[INFO] [stderr] warning: associated function is never used: `list_of_n`
[INFO] [stderr]   --> src/gen.rs:13:10
[INFO] [stderr]    |
[INFO] [stderr] 13 |   pub fn list_of_n<B>(n: usize, mut g: Gen<B>) -> Gen<Vec<B>>
[INFO] [stderr]    |          ^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `one`
[INFO] [stderr]   --> src/gen.rs:23:10
[INFO] [stderr]    |
[INFO] [stderr] 23 |   pub fn one<T: One>() -> Gen<T> {
[INFO] [stderr]    |          ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `even`
[INFO] [stderr]    --> src/gen.rs:180:10
[INFO] [stderr]     |
[INFO] [stderr] 180 |   pub fn even<T: Choose + Num + Copy + 'static>(start: T, stop_exclusive: T) -> Gen<T> {
[INFO] [stderr]     |          ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `odd`
[INFO] [stderr]    --> src/gen.rs:193:10
[INFO] [stderr]     |
[INFO] [stderr] 193 |   pub fn odd<T: Choose + Num + Copy + 'static>(start: T, stop_exclusive: T) -> Gen<T> {
[INFO] [stderr]     |          ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `unit`
[INFO] [stderr]    --> src/gen.rs:220:10
[INFO] [stderr]     |
[INFO] [stderr] 220 |   pub fn unit<B, F>(mut f: F) -> Gen<B>
[INFO] [stderr]     |          ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `and_then`
[INFO] [stderr]    --> src/gen.rs:238:10
[INFO] [stderr]     |
[INFO] [stderr] 238 |   pub fn and_then<B, C, F>(self, g: Gen<B>, f: F) -> Gen<C>
[INFO] [stderr]     |          ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `flat_map`
[INFO] [stderr]    --> src/gen.rs:247:10
[INFO] [stderr]     |
[INFO] [stderr] 247 |   pub fn flat_map<B, F>(self, mut f: F) -> Gen<B>
[INFO] [stderr]     |          ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Proved`
[INFO] [stderr]   --> src/prop.rs:25:3
[INFO] [stderr]    |
[INFO] [stderr] 25 |   Proved,
[INFO] [stderr]    |   ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `run_with_prop`
[INFO] [stderr]   --> src/prop.rs:77:8
[INFO] [stderr]    |
[INFO] [stderr] 77 | pub fn run_with_prop(p: Prop, max_size: MaxSize, test_cases: TestCases, rng: RNG) -> Result<String> {
[INFO] [stderr]    |        ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `tag`
[INFO] [stderr]    --> src/prop.rs:118:10
[INFO] [stderr]     |
[INFO] [stderr] 118 |   pub fn tag(self, msg: String) -> Prop {
[INFO] [stderr]     |          ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `and`
[INFO] [stderr]    --> src/prop.rs:133:10
[INFO] [stderr]     |
[INFO] [stderr] 133 |   pub fn and(self, p: Self) -> Prop {
[INFO] [stderr]     |          ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `or`
[INFO] [stderr]    --> src/prop.rs:144:10
[INFO] [stderr]     |
[INFO] [stderr] 144 |   pub fn or(self, p: Self) -> Prop {
[INFO] [stderr]     |          ^^
[INFO] [stderr] 
[INFO] [stderr] warning: type alias is never used: `DynRand`
[INFO] [stderr]   --> src/rng.rs:95:1
[INFO] [stderr]    |
[INFO] [stderr] 95 | type DynRand<A> = dyn FnMut(RNG) -> (A, RNG);
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type alias is never used: `BoxRand`
[INFO] [stderr]   --> src/rng.rs:96:1
[INFO] [stderr]    |
[INFO] [stderr] 96 | type BoxRand<A> = Box<DynRand<A>>;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `with_seed`
[INFO] [stderr]    --> src/rng.rs:136:10
[INFO] [stderr]     |
[INFO] [stderr] 136 |   pub fn with_seed(&mut self, seed: i64) {
[INFO] [stderr]     |          ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `i32_f32`
[INFO] [stderr]    --> src/rng.rs:140:10
[INFO] [stderr]     |
[INFO] [stderr] 140 |   pub fn i32_f32(&self) -> ((i32, f32), Self) {
[INFO] [stderr]     |          ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `f32_i32`
[INFO] [stderr]    --> src/rng.rs:146:10
[INFO] [stderr]     |
[INFO] [stderr] 146 |   pub fn f32_i32(&self) -> ((f32, i32), Self) {
[INFO] [stderr]     |          ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `f32_3`
[INFO] [stderr]    --> src/rng.rs:151:10
[INFO] [stderr]     |
[INFO] [stderr] 151 |   pub fn f32_3(&self) -> ((f32, f32, f32), Self) {
[INFO] [stderr]     |          ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `unit`
[INFO] [stderr]    --> src/rng.rs:171:10
[INFO] [stderr]     |
[INFO] [stderr] 171 |   pub fn unit<A: Clone + 'static>(a: A) -> BoxRand<A> {
[INFO] [stderr]     |          ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `sequence`
[INFO] [stderr]    --> src/rng.rs:175:10
[INFO] [stderr]     |
[INFO] [stderr] 175 |   pub fn sequence<A: Clone + 'static, F: 'static>(fs: Vec<F>) -> BoxRand<Vec<A>>
[INFO] [stderr]     |          ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `int_value`
[INFO] [stderr]    --> src/rng.rs:188:10
[INFO] [stderr]     |
[INFO] [stderr] 188 |   pub fn int_value() -> BoxRand<i32> {
[INFO] [stderr]     |          ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `double_value`
[INFO] [stderr]    --> src/rng.rs:192:10
[INFO] [stderr]     |
[INFO] [stderr] 192 |   pub fn double_value() -> BoxRand<f32> {
[INFO] [stderr]     |          ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `map`
[INFO] [stderr]    --> src/rng.rs:196:10
[INFO] [stderr]     |
[INFO] [stderr] 196 |   pub fn map<A, B, F1: 'static, F2: 'static>(mut s: F1, mut f: F2) -> BoxRand<B>
[INFO] [stderr]     |          ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `map2`
[INFO] [stderr]    --> src/rng.rs:206:10
[INFO] [stderr]     |
[INFO] [stderr] 206 |   pub fn map2<F1: 'static, F2: 'static, F3: 'static, A, B, C>(mut ra: F1, mut rb: F2, mut f: F3) -> BoxRand<C>
[INFO] [stderr]     |          ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `both`
[INFO] [stderr]    --> src/rng.rs:218:10
[INFO] [stderr]     |
[INFO] [stderr] 218 |   pub fn both<F1: 'static, F2: 'static, A, B>(ra: F1, rb: F2) -> BoxRand<(A, B)>
[INFO] [stderr]     |          ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `rand_int_double`
[INFO] [stderr]    --> src/rng.rs:225:10
[INFO] [stderr]     |
[INFO] [stderr] 225 |   pub fn rand_int_double() -> BoxRand<(i32, f32)> {
[INFO] [stderr]     |          ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `rand_double_int`
[INFO] [stderr]    --> src/rng.rs:229:10
[INFO] [stderr]     |
[INFO] [stderr] 229 |   pub fn rand_double_int<'a>() -> BoxRand<(f32, i32)> {
[INFO] [stderr]     |          ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `flat_map`
[INFO] [stderr]    --> src/rng.rs:233:10
[INFO] [stderr]     |
[INFO] [stderr] 233 |   pub fn flat_map<A, B, F: 'static, GF: 'static, BF>(mut f: F, mut g: GF) -> BoxRand<B>
[INFO] [stderr]     |          ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `non_negative_less_than`
[INFO] [stderr]    --> src/rng.rs:244:10
[INFO] [stderr]     |
[INFO] [stderr] 244 |   pub fn non_negative_less_than(n: u32) -> BoxRand<u32> {
[INFO] [stderr]     |          ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `unit`
[INFO] [stderr]   --> src/state.rs:18:10
[INFO] [stderr]    |
[INFO] [stderr] 18 |   pub fn unit(a: A) -> State<S, A> {
[INFO] [stderr]    |          ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `and_then`
[INFO] [stderr]   --> src/state.rs:45:10
[INFO] [stderr]    |
[INFO] [stderr] 45 |   pub fn and_then<B>(self, sb: State<S, B>) -> State<S, (A, B)>
[INFO] [stderr]    |          ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `prop-check-rs` (bin "prop-check-rs" test) generated 38 warnings (7 duplicates)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/prop_check_rs-b2d812244ec0c77a)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test machine::tests::candy ... ok
[INFO] [stdout] test state::tests::state ... ok
[INFO] [stdout] test rng::tests::next_int ... ok
[INFO] [stdout] test prop::tests::choose ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/prop_check_rs-7e0cdbf30927301b)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test rng::tests::next_int ... ok
[INFO] [stdout] test machine::tests::candy ... ok
[INFO] [stdout] test state::tests::state ... ok
[INFO] [stdout] test prop::tests::choose ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests prop-check-rs
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "8db51057087dc6030caadfe478966724acd9945a30a0ecfe1e69e2565b7f945c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8db51057087dc6030caadfe478966724acd9945a30a0ecfe1e69e2565b7f945c", kill_on_drop: false }`
[INFO] [stdout] 8db51057087dc6030caadfe478966724acd9945a30a0ecfe1e69e2565b7f945c