[INFO] fetching crate automatic-relations 0.2.1...
[INFO] checking automatic-relations-0.2.1 against try#8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8 for pr-82565
[INFO] extracting crate automatic-relations 0.2.1 into /workspace/builds/worker-2/source
[INFO] validating manifest of crates.io crate automatic-relations 0.2.1 on toolchain 8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate automatic-relations 0.2.1
[INFO] finished tweaking crates.io crate automatic-relations 0.2.1
[INFO] tweaked toml for crates.io crate automatic-relations 0.2.1 written to /workspace/builds/worker-2/source/Cargo.toml
[INFO] crate crates.io crate automatic-relations 0.2.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded union-find v0.3.2
[INFO] [stderr]   Downloaded terms v0.1.3
[INFO] [stderr]   Downloaded immutable-map v0.1.2
[INFO] [stderr]   Downloaded tree-automata v0.1.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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" "rustops/crates-build-env@sha256:f2f6bcd4b43ebee4e173f653a26493129bdb64017c85f916b780ca7fbdbaa79d" "/opt/rustwide/cargo-home/bin/cargo" "+8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] c29af2d6bac9ea740eb884c5f8775e6c1765cf25611c21ecc662cf451b8811dc
[INFO] running `Command { std: "docker" "start" "-a" "c29af2d6bac9ea740eb884c5f8775e6c1765cf25611c21ecc662cf451b8811dc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c29af2d6bac9ea740eb884c5f8775e6c1765cf25611c21ecc662cf451b8811dc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c29af2d6bac9ea740eb884c5f8775e6c1765cf25611c21ecc662cf451b8811dc", kill_on_drop: false }`
[INFO] [stdout] c29af2d6bac9ea740eb884c5f8775e6c1765cf25611c21ecc662cf451b8811dc
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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" "rustops/crates-build-env@sha256:f2f6bcd4b43ebee4e173f653a26493129bdb64017c85f916b780ca7fbdbaa79d" "/opt/rustwide/cargo-home/bin/cargo" "+8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ca153041d88d01675433db0754f6acec3d4e52a7487a8a4ea79d767d5717389e
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "ca153041d88d01675433db0754f6acec3d4e52a7487a8a4ea79d767d5717389e", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.76
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]     Checking union-find v0.3.2
[INFO] [stderr]     Checking immutable-map v0.1.2
[INFO] [stderr]    Compiling crossbeam-utils v0.7.2
[INFO] [stderr]     Checking crossbeam-channel v0.4.3
[INFO] [stderr]     Checking getrandom v0.1.14
[INFO] [stderr]     Checking rand_core v0.5.1
[INFO] [stderr]     Checking rand_chacha v0.2.2
[INFO] [stderr]     Checking rand v0.7.3
[INFO] [stderr]     Checking terms v0.1.3
[INFO] [stderr]     Checking tree-automata v0.1.2
[INFO] [stderr]     Checking automatic-relations v0.2.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused imports: `Sorted`, `width_search::TermFragment`
[INFO] [stdout]   --> examples/search.rs:25:5
[INFO] [stdout]    |
[INFO] [stdout] 25 |     Sorted,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 33 |         width_search::TermFragment
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Sorted`, `width_search::TermFragment`
[INFO] [stdout]   --> tests/multi_search.rs:24:2
[INFO] [stdout]    |
[INFO] [stdout] 24 |     Sorted,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 32 |         width_search::TermFragment
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Sorted`, `width_search::TermFragment`
[INFO] [stdout]   --> examples/false.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 |     Sorted,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 32 |         width_search::TermFragment
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Sorted`, `width_search::TermFragment`
[INFO] [stdout]   --> tests/search.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 |     Sorted,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 31 |         width_search::TermFragment
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Relation`
[INFO] [stdout]   --> examples/search.rs:38:5
[INFO] [stdout]    |
[INFO] [stdout] 38 |     Relation,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> examples/search.rs:103:9
[INFO] [stdout]     |
[INFO] [stdout] 103 |     let mut types = automaton! {
[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: 3 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Relation`
[INFO] [stdout]   --> tests/multi_search.rs:37:2
[INFO] [stdout]    |
[INFO] [stdout] 37 |     Relation,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> tests/multi_search.rs:196:6
[INFO] [stdout]     |
[INFO] [stdout] 196 |     let x: Parented<Var<_>> = Parented::spawn(&&namespace);
[INFO] [stdout]     |         ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `zzz`
[INFO] [stdout]    --> tests/multi_search.rs:276:6
[INFO] [stdout]     |
[INFO] [stdout] 276 |     let zzz = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(z), MaybeBottom::Some(z)]), 0);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zzz`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `zzs`
[INFO] [stdout]    --> tests/multi_search.rs:277:6
[INFO] [stdout]     |
[INFO] [stdout] 277 |     let zzs = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(z), MaybeBottom::Some(s)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zzs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `zzb`
[INFO] [stdout]    --> tests/multi_search.rs:278:6
[INFO] [stdout]     |
[INFO] [stdout] 278 |     let zzb = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(z), MaybeBottom::Bottom]), 0);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zzb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `zsz`
[INFO] [stdout]    --> tests/multi_search.rs:280:6
[INFO] [stdout]     |
[INFO] [stdout] 280 |     let zsz = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(s), MaybeBottom::Some(z)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zsz`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `zsb`
[INFO] [stdout]    --> tests/multi_search.rs:282:6
[INFO] [stdout]     |
[INFO] [stdout] 282 |     let zsb = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(s), MaybeBottom::Bottom]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zsb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `zbz`
[INFO] [stdout]    --> tests/multi_search.rs:284:6
[INFO] [stdout]     |
[INFO] [stdout] 284 |     let zbz = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Bottom, MaybeBottom::Some(z)]), 0);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zbz`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `zbs`
[INFO] [stdout]    --> tests/multi_search.rs:285:6
[INFO] [stdout]     |
[INFO] [stdout] 285 |     let zbs = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Bottom, MaybeBottom::Some(s)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zbs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `zbb`
[INFO] [stdout]    --> tests/multi_search.rs:286:6
[INFO] [stdout]     |
[INFO] [stdout] 286 |     let zbb = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Bottom, MaybeBottom::Bottom]), 0);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zbb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `szz`
[INFO] [stdout]    --> tests/multi_search.rs:288:6
[INFO] [stdout]     |
[INFO] [stdout] 288 |     let szz = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(z), MaybeBottom::Some(z)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_szz`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `szs`
[INFO] [stdout]    --> tests/multi_search.rs:289:6
[INFO] [stdout]     |
[INFO] [stdout] 289 |     let szs = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(z), MaybeBottom::Some(s)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_szs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `szb`
[INFO] [stdout]    --> tests/multi_search.rs:290:6
[INFO] [stdout]     |
[INFO] [stdout] 290 |     let szb = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(z), MaybeBottom::Bottom]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_szb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ssz`
[INFO] [stdout]    --> tests/multi_search.rs:292:6
[INFO] [stdout]     |
[INFO] [stdout] 292 |     let ssz = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(s), MaybeBottom::Some(z)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ssz`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ssb`
[INFO] [stdout]    --> tests/multi_search.rs:294:6
[INFO] [stdout]     |
[INFO] [stdout] 294 |     let ssb = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(s), MaybeBottom::Bottom]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ssb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sbz`
[INFO] [stdout]    --> tests/multi_search.rs:296:6
[INFO] [stdout]     |
[INFO] [stdout] 296 |     let sbz = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Bottom, MaybeBottom::Some(z)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_sbz`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sbs`
[INFO] [stdout]    --> tests/multi_search.rs:297:6
[INFO] [stdout]     |
[INFO] [stdout] 297 |     let sbs = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Bottom, MaybeBottom::Some(s)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_sbs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sbb`
[INFO] [stdout]    --> tests/multi_search.rs:298:6
[INFO] [stdout]     |
[INFO] [stdout] 298 |     let sbb = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Bottom, MaybeBottom::Bottom]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_sbb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bzb`
[INFO] [stdout]    --> tests/multi_search.rs:302:6
[INFO] [stdout]     |
[INFO] [stdout] 302 |     let bzb = Rank(Convoluted(vec![MaybeBottom::Bottom, MaybeBottom::Some(z), MaybeBottom::Bottom]), 0);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_bzb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bsz`
[INFO] [stdout]    --> tests/multi_search.rs:304:6
[INFO] [stdout]     |
[INFO] [stdout] 304 |     let bsz = Rank(Convoluted(vec![MaybeBottom::Bottom, MaybeBottom::Some(s), MaybeBottom::Some(z)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_bsz`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bsb`
[INFO] [stdout]    --> tests/multi_search.rs:306:6
[INFO] [stdout]     |
[INFO] [stdout] 306 |     let bsb = Rank(Convoluted(vec![MaybeBottom::Bottom, MaybeBottom::Some(s), MaybeBottom::Bottom]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_bsb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bbs`
[INFO] [stdout]    --> tests/multi_search.rs:309:6
[INFO] [stdout]     |
[INFO] [stdout] 309 |     let bbs = Rank(Convoluted(vec![MaybeBottom::Bottom, MaybeBottom::Bottom, MaybeBottom::Some(s)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_bbs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `zzz`
[INFO] [stdout]    --> tests/multi_search.rs:371:6
[INFO] [stdout]     |
[INFO] [stdout] 371 |     let zzz = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(z), MaybeBottom::Some(z)]), 0);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zzz`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `zzs`
[INFO] [stdout]    --> tests/multi_search.rs:372:6
[INFO] [stdout]     |
[INFO] [stdout] 372 |     let zzs = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(z), MaybeBottom::Some(s)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zzs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `zzb`
[INFO] [stdout]    --> tests/multi_search.rs:373:6
[INFO] [stdout]     |
[INFO] [stdout] 373 |     let zzb = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(z), MaybeBottom::Bottom]), 0);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zzb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `zsz`
[INFO] [stdout]    --> tests/multi_search.rs:375:6
[INFO] [stdout]     |
[INFO] [stdout] 375 |     let zsz = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(s), MaybeBottom::Some(z)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zsz`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `zsb`
[INFO] [stdout]    --> tests/multi_search.rs:377:6
[INFO] [stdout]     |
[INFO] [stdout] 377 |     let zsb = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(s), MaybeBottom::Bottom]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zsb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `zbz`
[INFO] [stdout]    --> tests/multi_search.rs:379:6
[INFO] [stdout]     |
[INFO] [stdout] 379 |     let zbz = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Bottom, MaybeBottom::Some(z)]), 0);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zbz`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `zbs`
[INFO] [stdout]    --> tests/multi_search.rs:380:6
[INFO] [stdout]     |
[INFO] [stdout] 380 |     let zbs = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Bottom, MaybeBottom::Some(s)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zbs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `zbb`
[INFO] [stdout]    --> tests/multi_search.rs:381:6
[INFO] [stdout]     |
[INFO] [stdout] 381 |     let zbb = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Bottom, MaybeBottom::Bottom]), 0);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zbb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `szz`
[INFO] [stdout]    --> tests/multi_search.rs:383:6
[INFO] [stdout]     |
[INFO] [stdout] 383 |     let szz = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(z), MaybeBottom::Some(z)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_szz`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `szs`
[INFO] [stdout]    --> tests/multi_search.rs:384:6
[INFO] [stdout]     |
[INFO] [stdout] 384 |     let szs = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(z), MaybeBottom::Some(s)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_szs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `szb`
[INFO] [stdout]    --> tests/multi_search.rs:385:6
[INFO] [stdout]     |
[INFO] [stdout] 385 |     let szb = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(z), MaybeBottom::Bottom]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_szb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ssz`
[INFO] [stdout]    --> tests/multi_search.rs:387:6
[INFO] [stdout]     |
[INFO] [stdout] 387 |     let ssz = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(s), MaybeBottom::Some(z)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ssz`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ssb`
[INFO] [stdout]    --> tests/multi_search.rs:389:6
[INFO] [stdout]     |
[INFO] [stdout] 389 |     let ssb = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(s), MaybeBottom::Bottom]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ssb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sbz`
[INFO] [stdout]    --> tests/multi_search.rs:391:6
[INFO] [stdout]     |
[INFO] [stdout] 391 |     let sbz = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Bottom, MaybeBottom::Some(z)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_sbz`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sbs`
[INFO] [stdout]    --> tests/multi_search.rs:392:6
[INFO] [stdout]     |
[INFO] [stdout] 392 |     let sbs = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Bottom, MaybeBottom::Some(s)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_sbs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sbb`
[INFO] [stdout]    --> tests/multi_search.rs:393:6
[INFO] [stdout]     |
[INFO] [stdout] 393 |     let sbb = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Bottom, MaybeBottom::Bottom]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_sbb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bzb`
[INFO] [stdout]    --> tests/multi_search.rs:397:6
[INFO] [stdout]     |
[INFO] [stdout] 397 |     let bzb = Rank(Convoluted(vec![MaybeBottom::Bottom, MaybeBottom::Some(z), MaybeBottom::Bottom]), 0);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_bzb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bsz`
[INFO] [stdout]    --> tests/multi_search.rs:399:6
[INFO] [stdout]     |
[INFO] [stdout] 399 |     let bsz = Rank(Convoluted(vec![MaybeBottom::Bottom, MaybeBottom::Some(s), MaybeBottom::Some(z)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_bsz`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bsb`
[INFO] [stdout]    --> tests/multi_search.rs:401:6
[INFO] [stdout]     |
[INFO] [stdout] 401 |     let bsb = Rank(Convoluted(vec![MaybeBottom::Bottom, MaybeBottom::Some(s), MaybeBottom::Bottom]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_bsb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bbs`
[INFO] [stdout]    --> tests/multi_search.rs:404:6
[INFO] [stdout]     |
[INFO] [stdout] 404 |     let bbs = Rank(Convoluted(vec![MaybeBottom::Bottom, MaybeBottom::Bottom, MaybeBottom::Some(s)]), 1);
[INFO] [stdout]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_bbs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> tests/multi_search.rs:139:6
[INFO] [stdout]     |
[INFO] [stdout] 139 |     let mut prop_mod2 = automaton! {
[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]    --> tests/multi_search.rs:149:6
[INFO] [stdout]     |
[INFO] [stdout] 149 |     let mut prop_mod3 = automaton! {
[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]    --> tests/multi_search.rs:188:6
[INFO] [stdout]     |
[INFO] [stdout] 188 |     let mut aut = automaton! {
[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]    --> tests/multi_search.rs:224:6
[INFO] [stdout]     |
[INFO] [stdout] 224 |     let mut prop_all_false = automaton! {
[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]    --> tests/multi_search.rs:232:6
[INFO] [stdout]     |
[INFO] [stdout] 232 |     let mut prop_sorted = automaton! {
[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]    --> tests/multi_search.rs:329:6
[INFO] [stdout]     |
[INFO] [stdout] 329 |     let mut p = automaton! {
[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]    --> tests/multi_search.rs:337:6
[INFO] [stdout]     |
[INFO] [stdout] 337 |     let mut np = automaton! {
[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]    --> tests/multi_search.rs:424:6
[INFO] [stdout]     |
[INFO] [stdout] 424 |     let mut p = automaton! {
[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]    --> tests/multi_search.rs:431:6
[INFO] [stdout]     |
[INFO] [stdout] 431 |     let mut np = automaton! {
[INFO] [stdout]     |         ----^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Relation`
[INFO] [stdout]   --> examples/false.rs:37:5
[INFO] [stdout]    |
[INFO] [stdout] 37 |     Relation,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 52 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> examples/false.rs:132:9
[INFO] [stdout]     |
[INFO] [stdout] 132 |     let mut prop_all_false = automaton! {
[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]    --> examples/false.rs:140:9
[INFO] [stdout]     |
[INFO] [stdout] 140 |     let mut prop_sorted = automaton! {
[INFO] [stdout]     |         ----^^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 4 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Relation`
[INFO] [stdout]   --> tests/search.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 36 |     Relation,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `y`
[INFO] [stdout]    --> tests/search.rs:152:9
[INFO] [stdout]     |
[INFO] [stdout] 152 |     let y: Parented<Var<_>> = Parented::spawn(&&namespace);
[INFO] [stdout]     |         ^ help: if this is intentional, prefix it with an underscore: `_y`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `y`
[INFO] [stdout]    --> tests/search.rs:284:9
[INFO] [stdout]     |
[INFO] [stdout] 284 |     let y: Parented<Var<_>> = Parented::spawn(&&namespace);
[INFO] [stdout]     |         ^ help: if this is intentional, prefix it with an underscore: `_y`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `max_depth`
[INFO] [stdout]    --> tests/search.rs:434:9
[INFO] [stdout]     |
[INFO] [stdout] 434 |     let max_depth = 10;
[INFO] [stdout]     |         ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_max_depth`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> tests/search.rs:109:9
[INFO] [stdout]     |
[INFO] [stdout] 109 |     let mut types = automaton! {
[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]    --> tests/search.rs:140:9
[INFO] [stdout]     |
[INFO] [stdout] 140 |     let mut types = automaton! {
[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]    --> tests/search.rs:169:9
[INFO] [stdout]     |
[INFO] [stdout] 169 |     let mut types = automaton! {
[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]    --> tests/search.rs:201:9
[INFO] [stdout]     |
[INFO] [stdout] 201 |     let mut types = automaton! {
[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]    --> tests/search.rs:237:9
[INFO] [stdout]     |
[INFO] [stdout] 237 |     let mut types = automaton! {
[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]    --> tests/search.rs:272:9
[INFO] [stdout]     |
[INFO] [stdout] 272 |     let mut types = automaton! {
[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]    --> tests/search.rs:312:9
[INFO] [stdout]     |
[INFO] [stdout] 312 |     let mut prop = automaton! {
[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]    --> tests/search.rs:351:9
[INFO] [stdout]     |
[INFO] [stdout] 351 |     let mut prop = automaton! {
[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]    --> tests/search.rs:396:9
[INFO] [stdout]     |
[INFO] [stdout] 396 |     let mut prop = automaton! {
[INFO] [stdout]     |         ----^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 14 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 10.89s
[INFO] running `Command { std: "docker" "inspect" "ca153041d88d01675433db0754f6acec3d4e52a7487a8a4ea79d767d5717389e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ca153041d88d01675433db0754f6acec3d4e52a7487a8a4ea79d767d5717389e", kill_on_drop: false }`
[INFO] [stdout] ca153041d88d01675433db0754f6acec3d4e52a7487a8a4ea79d767d5717389e