[INFO] fetching crate automatic-relations 0.2.1...
[INFO] testing automatic-relations-0.2.1 against master#1871252fc8bb672d40787e67404e6eaae7059369 for pr-125151
[INFO] extracting crate automatic-relations 0.2.1 into /workspace/builds/worker-3-tc1/source
[INFO] validating manifest of crates.io crate automatic-relations 0.2.1 on toolchain 1871252fc8bb672d40787e67404e6eaae7059369
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "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-3-tc1/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: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded once_cell v1.4.1
[INFO] [stderr]   Downloaded terms v0.1.3
[INFO] [stderr]   Downloaded ppv-lite86 v0.2.9
[INFO] [stderr]   Downloaded tree-automata v0.1.2
[INFO] [stderr]   Downloaded crossbeam-channel v0.4.3
[INFO] [stderr]   Downloaded union-find v0.3.2
[INFO] [stderr]   Downloaded immutable-map v0.1.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 52ab28db7c302da6c649aceb060aca925fa04cc216de378e4c381bd60c39bb94
[INFO] running `Command { std: "docker" "start" "-a" "52ab28db7c302da6c649aceb060aca925fa04cc216de378e4c381bd60c39bb94", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "52ab28db7c302da6c649aceb060aca925fa04cc216de378e4c381bd60c39bb94", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "52ab28db7c302da6c649aceb060aca925fa04cc216de378e4c381bd60c39bb94", kill_on_drop: false }`
[INFO] [stdout] 52ab28db7c302da6c649aceb060aca925fa04cc216de378e4c381bd60c39bb94
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f2bbc0f7be58ad51d559c8582e07da7a658d733385dd8bedc9589d3e9e30d272
[INFO] running `Command { std: "docker" "start" "-a" "f2bbc0f7be58ad51d559c8582e07da7a658d733385dd8bedc9589d3e9e30d272", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.76
[INFO] [stderr]    Compiling getrandom v0.1.14
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.9
[INFO] [stderr]    Compiling union-find v0.3.2
[INFO] [stderr]    Compiling immutable-map v0.1.2
[INFO] [stderr]    Compiling once_cell v1.4.1
[INFO] [stderr]    Compiling crossbeam-utils v0.7.2
[INFO] [stderr]    Compiling rand_core v0.5.1
[INFO] [stderr]    Compiling crossbeam-channel v0.4.3
[INFO] [stderr]    Compiling rand_chacha v0.2.2
[INFO] [stderr]    Compiling rand v0.7.3
[INFO] [stderr]    Compiling terms v0.1.3
[INFO] [stderr]    Compiling tree-automata v0.1.2
[INFO] [stderr]    Compiling automatic-relations v0.2.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.70s
[INFO] running `Command { std: "docker" "inspect" "f2bbc0f7be58ad51d559c8582e07da7a658d733385dd8bedc9589d3e9e30d272", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f2bbc0f7be58ad51d559c8582e07da7a658d733385dd8bedc9589d3e9e30d272", kill_on_drop: false }`
[INFO] [stdout] f2bbc0f7be58ad51d559c8582e07da7a658d733385dd8bedc9589d3e9e30d272
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1054d32d82327ae5a6c79482ee6a7f85b9fa48567aca0c0c1590c77db90768f7
[INFO] running `Command { std: "docker" "start" "-a" "1054d32d82327ae5a6c79482ee6a7f85b9fa48567aca0c0c1590c77db90768f7", kill_on_drop: false }`
[INFO] [stderr]    Compiling 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]   --> 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 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 import: `Relation`
[INFO] [stdout]   --> examples/search.rs:38:5
[INFO] [stdout]    |
[INFO] [stdout] 38 |     Relation,
[INFO] [stdout]    |     ^^^^^^^^
[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: 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: 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: 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 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: 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: 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: 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/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: 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: 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/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: 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: 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/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: 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: 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: 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/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: 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: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: 3 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 4 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 52 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 14 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.15s
[INFO] running `Command { std: "docker" "inspect" "1054d32d82327ae5a6c79482ee6a7f85b9fa48567aca0c0c1590c77db90768f7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1054d32d82327ae5a6c79482ee6a7f85b9fa48567aca0c0c1590c77db90768f7", kill_on_drop: false }`
[INFO] [stdout] 1054d32d82327ae5a6c79482ee6a7f85b9fa48567aca0c0c1590c77db90768f7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] d43e297ab28224f2fb3c46fb6feda43741fbbed901021aba4f885a198e824a1c
[INFO] running `Command { std: "docker" "start" "-a" "d43e297ab28224f2fb3c46fb6feda43741fbbed901021aba4f885a198e824a1c", kill_on_drop: false }`
[INFO] [stderr] warning: unused imports: `Sorted`, `width_search::TermFragment`
[INFO] [stderr]   --> tests/search.rs:23:5
[INFO] [stderr]    |
[INFO] [stderr] 23 |     Sorted,
[INFO] [stderr]    |     ^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 31 |         width_search::TermFragment
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `Relation`
[INFO] [stderr]   --> tests/search.rs:36:5
[INFO] [stderr]    |
[INFO] [stderr] 36 |     Relation,
[INFO] [stderr]    |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/search.rs:109:9
[INFO] [stderr]     |
[INFO] [stderr] 109 |     let mut types = automaton! {
[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: unused variable: `y`
[INFO] [stderr]    --> tests/search.rs:152:9
[INFO] [stderr]     |
[INFO] [stderr] 152 |     let y: Parented<Var<_>> = Parented::spawn(&&namespace);
[INFO] [stderr]     |         ^ help: if this is intentional, prefix it with an underscore: `_y`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/search.rs:140:9
[INFO] [stderr]     |
[INFO] [stderr] 140 |     let mut types = automaton! {
[INFO] [stderr]     |         ----^^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/search.rs:169:9
[INFO] [stderr]     |
[INFO] [stderr] 169 |     let mut types = automaton! {
[INFO] [stderr]     |         ----^^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/search.rs:201:9
[INFO] [stderr]     |
[INFO] [stderr] 201 |     let mut types = automaton! {
[INFO] [stderr]     |         ----^^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/search.rs:237:9
[INFO] [stderr]     |
[INFO] [stderr] 237 |     let mut types = automaton! {
[INFO] [stderr]     |         ----^^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `y`
[INFO] [stderr]    --> tests/search.rs:284:9
[INFO] [stderr]     |
[INFO] [stderr] 284 |     let y: Parented<Var<_>> = Parented::spawn(&&namespace);
[INFO] [stderr]     |         ^ help: if this is intentional, prefix it with an underscore: `_y`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/search.rs:272:9
[INFO] [stderr]     |
[INFO] [stderr] 272 |     let mut types = automaton! {
[INFO] [stderr]     |         ----^^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/search.rs:312:9
[INFO] [stderr]     |
[INFO] [stderr] 312 |     let mut prop = automaton! {
[INFO] [stderr]     |         ----^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/search.rs:351:9
[INFO] [stderr]     |
[INFO] [stderr] 351 |     let mut prop = automaton! {
[INFO] [stderr]     |         ----^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/search.rs:396:9
[INFO] [stderr]     |
[INFO] [stderr] 396 |     let mut prop = automaton! {
[INFO] [stderr]     |         ----^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `max_depth`
[INFO] [stderr]    --> tests/search.rs:434:9
[INFO] [stderr]     |
[INFO] [stderr] 434 |     let max_depth = 10;
[INFO] [stderr]     |         ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_max_depth`
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `Sorted`, `width_search::TermFragment`
[INFO] [stderr]   --> tests/multi_search.rs:24:2
[INFO] [stderr]    |
[INFO] [stderr] 24 |     Sorted,
[INFO] [stderr]    |     ^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 32 |         width_search::TermFragment
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `Relation`
[INFO] [stderr]   --> tests/multi_search.rs:37:2
[INFO] [stderr]    |
[INFO] [stderr] 37 |     Relation,
[INFO] [stderr]    |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/multi_search.rs:139:6
[INFO] [stderr]     |
[INFO] [stderr] 139 |     let mut prop_mod2 = automaton! {
[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]    --> tests/multi_search.rs:149:6
[INFO] [stderr]     |
[INFO] [stderr] 149 |     let mut prop_mod3 = automaton! {
[INFO] [stderr]     |         ----^^^^^^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `x`
[INFO] [stderr]    --> tests/multi_search.rs:196:6
[INFO] [stderr]     |
[INFO] [stderr] 196 |     let x: Parented<Var<_>> = Parented::spawn(&&namespace);
[INFO] [stderr]     |         ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/multi_search.rs:188:6
[INFO] [stderr]     |
[INFO] [stderr] 188 |     let mut aut = automaton! {
[INFO] [stderr]     |         ----^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/multi_search.rs:224:6
[INFO] [stderr]     |
[INFO] [stderr] 224 |     let mut prop_all_false = automaton! {
[INFO] [stderr]     |         ----^^^^^^^^^^^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/multi_search.rs:232:6
[INFO] [stderr]     |
[INFO] [stderr] 232 |     let mut prop_sorted = automaton! {
[INFO] [stderr]     |         ----^^^^^^^^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `zzz`
[INFO] [stderr]    --> tests/multi_search.rs:276:6
[INFO] [stderr]     |
[INFO] [stderr] 276 |     let zzz = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(z), MaybeBottom::Some(z)]), 0);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zzz`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `zzs`
[INFO] [stderr]    --> tests/multi_search.rs:277:6
[INFO] [stderr]     |
[INFO] [stderr] 277 |     let zzs = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(z), MaybeBottom::Some(s)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zzs`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `zzb`
[INFO] [stderr]    --> tests/multi_search.rs:278:6
[INFO] [stderr]     |
[INFO] [stderr] 278 |     let zzb = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(z), MaybeBottom::Bottom]), 0);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zzb`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `zsz`
[INFO] [stderr]    --> tests/multi_search.rs:280:6
[INFO] [stderr]     |
[INFO] [stderr] 280 |     let zsz = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(s), MaybeBottom::Some(z)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zsz`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `zsb`
[INFO] [stderr]    --> tests/multi_search.rs:282:6
[INFO] [stderr]     |
[INFO] [stderr] 282 |     let zsb = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(s), MaybeBottom::Bottom]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zsb`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `zbz`
[INFO] [stderr]    --> tests/multi_search.rs:284:6
[INFO] [stderr]     |
[INFO] [stderr] 284 |     let zbz = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Bottom, MaybeBottom::Some(z)]), 0);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zbz`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `zbs`
[INFO] [stderr]    --> tests/multi_search.rs:285:6
[INFO] [stderr]     |
[INFO] [stderr] 285 |     let zbs = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Bottom, MaybeBottom::Some(s)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zbs`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `zbb`
[INFO] [stderr]    --> tests/multi_search.rs:286:6
[INFO] [stderr]     |
[INFO] [stderr] 286 |     let zbb = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Bottom, MaybeBottom::Bottom]), 0);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zbb`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `szz`
[INFO] [stderr]    --> tests/multi_search.rs:288:6
[INFO] [stderr]     |
[INFO] [stderr] 288 |     let szz = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(z), MaybeBottom::Some(z)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_szz`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `szs`
[INFO] [stderr]    --> tests/multi_search.rs:289:6
[INFO] [stderr]     |
[INFO] [stderr] 289 |     let szs = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(z), MaybeBottom::Some(s)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_szs`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `szb`
[INFO] [stderr]    --> tests/multi_search.rs:290:6
[INFO] [stderr]     |
[INFO] [stderr] 290 |     let szb = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(z), MaybeBottom::Bottom]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_szb`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ssz`
[INFO] [stderr]    --> tests/multi_search.rs:292:6
[INFO] [stderr]     |
[INFO] [stderr] 292 |     let ssz = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(s), MaybeBottom::Some(z)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ssz`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ssb`
[INFO] [stderr]    --> tests/multi_search.rs:294:6
[INFO] [stderr]     |
[INFO] [stderr] 294 |     let ssb = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(s), MaybeBottom::Bottom]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ssb`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sbz`
[INFO] [stderr]    --> tests/multi_search.rs:296:6
[INFO] [stderr]     |
[INFO] [stderr] 296 |     let sbz = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Bottom, MaybeBottom::Some(z)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_sbz`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sbs`
[INFO] [stderr]    --> tests/multi_search.rs:297:6
[INFO] [stderr]     |
[INFO] [stderr] 297 |     let sbs = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Bottom, MaybeBottom::Some(s)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_sbs`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sbb`
[INFO] [stderr]    --> tests/multi_search.rs:298:6
[INFO] [stderr]     |
[INFO] [stderr] 298 |     let sbb = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Bottom, MaybeBottom::Bottom]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_sbb`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `bzb`
[INFO] [stderr]    --> tests/multi_search.rs:302:6
[INFO] [stderr]     |
[INFO] [stderr] 302 |     let bzb = Rank(Convoluted(vec![MaybeBottom::Bottom, MaybeBottom::Some(z), MaybeBottom::Bottom]), 0);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_bzb`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `bsz`
[INFO] [stderr]    --> tests/multi_search.rs:304:6
[INFO] [stderr]     |
[INFO] [stderr] 304 |     let bsz = Rank(Convoluted(vec![MaybeBottom::Bottom, MaybeBottom::Some(s), MaybeBottom::Some(z)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_bsz`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `bsb`
[INFO] [stderr]    --> tests/multi_search.rs:306:6
[INFO] [stderr]     |
[INFO] [stderr] 306 |     let bsb = Rank(Convoluted(vec![MaybeBottom::Bottom, MaybeBottom::Some(s), MaybeBottom::Bottom]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_bsb`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `bbs`
[INFO] [stderr]    --> tests/multi_search.rs:309:6
[INFO] [stderr]     |
[INFO] [stderr] 309 |     let bbs = Rank(Convoluted(vec![MaybeBottom::Bottom, MaybeBottom::Bottom, MaybeBottom::Some(s)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_bbs`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/multi_search.rs:329:6
[INFO] [stderr]     |
[INFO] [stderr] 329 |     let mut p = automaton! {
[INFO] [stderr]     |         ----^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/multi_search.rs:337:6
[INFO] [stderr]     |
[INFO] [stderr] 337 |     let mut np = automaton! {
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `zzz`
[INFO] [stderr]    --> tests/multi_search.rs:371:6
[INFO] [stderr]     |
[INFO] [stderr] 371 |     let zzz = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(z), MaybeBottom::Some(z)]), 0);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zzz`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `zzs`
[INFO] [stderr]    --> tests/multi_search.rs:372:6
[INFO] [stderr]     |
[INFO] [stderr] 372 |     let zzs = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(z), MaybeBottom::Some(s)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zzs`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `zzb`
[INFO] [stderr]    --> tests/multi_search.rs:373:6
[INFO] [stderr]     |
[INFO] [stderr] 373 |     let zzb = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(z), MaybeBottom::Bottom]), 0);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zzb`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `zsz`
[INFO] [stderr]    --> tests/multi_search.rs:375:6
[INFO] [stderr]     |
[INFO] [stderr] 375 |     let zsz = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(s), MaybeBottom::Some(z)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zsz`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `zsb`
[INFO] [stderr]    --> tests/multi_search.rs:377:6
[INFO] [stderr]     |
[INFO] [stderr] 377 |     let zsb = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Some(s), MaybeBottom::Bottom]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zsb`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `zbz`
[INFO] [stderr]    --> tests/multi_search.rs:379:6
[INFO] [stderr]     |
[INFO] [stderr] 379 |     let zbz = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Bottom, MaybeBottom::Some(z)]), 0);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zbz`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `zbs`
[INFO] [stderr]    --> tests/multi_search.rs:380:6
[INFO] [stderr]     |
[INFO] [stderr] 380 |     let zbs = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Bottom, MaybeBottom::Some(s)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zbs`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `zbb`
[INFO] [stderr]    --> tests/multi_search.rs:381:6
[INFO] [stderr]     |
[INFO] [stderr] 381 |     let zbb = Rank(Convoluted(vec![MaybeBottom::Some(z), MaybeBottom::Bottom, MaybeBottom::Bottom]), 0);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_zbb`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `szz`
[INFO] [stderr]    --> tests/multi_search.rs:383:6
[INFO] [stderr]     |
[INFO] [stderr] 383 |     let szz = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(z), MaybeBottom::Some(z)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_szz`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `szs`
[INFO] [stderr]    --> tests/multi_search.rs:384:6
[INFO] [stderr]     |
[INFO] [stderr] 384 |     let szs = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(z), MaybeBottom::Some(s)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_szs`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `szb`
[INFO] [stderr]    --> tests/multi_search.rs:385:6
[INFO] [stderr]     |
[INFO] [stderr] 385 |     let szb = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(z), MaybeBottom::Bottom]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_szb`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ssz`
[INFO] [stderr]    --> tests/multi_search.rs:387:6
[INFO] [stderr]     |
[INFO] [stderr] 387 |     let ssz = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(s), MaybeBottom::Some(z)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ssz`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ssb`
[INFO] [stderr]    --> tests/multi_search.rs:389:6
[INFO] [stderr]     |
[INFO] [stderr] 389 |     let ssb = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Some(s), MaybeBottom::Bottom]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_ssb`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sbz`
[INFO] [stderr]    --> tests/multi_search.rs:391:6
[INFO] [stderr]     |
[INFO] [stderr] 391 |     let sbz = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Bottom, MaybeBottom::Some(z)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_sbz`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sbs`
[INFO] [stderr]    --> tests/multi_search.rs:392:6
[INFO] [stderr]     |
[INFO] [stderr] 392 |     let sbs = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Bottom, MaybeBottom::Some(s)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_sbs`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `sbb`
[INFO] [stderr]    --> tests/multi_search.rs:393:6
[INFO] [stderr]     |
[INFO] [stderr] 393 |     let sbb = Rank(Convoluted(vec![MaybeBottom::Some(s), MaybeBottom::Bottom, MaybeBottom::Bottom]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_sbb`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `bzb`
[INFO] [stderr]    --> tests/multi_search.rs:397:6
[INFO] [stderr]     |
[INFO] [stderr] 397 |     let bzb = Rank(Convoluted(vec![MaybeBottom::Bottom, MaybeBottom::Some(z), MaybeBottom::Bottom]), 0);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_bzb`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `bsz`
[INFO] [stderr]    --> tests/multi_search.rs:399:6
[INFO] [stderr]     |
[INFO] [stderr] 399 |     let bsz = Rank(Convoluted(vec![MaybeBottom::Bottom, MaybeBottom::Some(s), MaybeBottom::Some(z)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_bsz`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `bsb`
[INFO] [stderr]    --> tests/multi_search.rs:401:6
[INFO] [stderr]     |
[INFO] [stderr] 401 |     let bsb = Rank(Convoluted(vec![MaybeBottom::Bottom, MaybeBottom::Some(s), MaybeBottom::Bottom]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_bsb`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `bbs`
[INFO] [stderr]    --> tests/multi_search.rs:404:6
[INFO] [stderr]     |
[INFO] [stderr] 404 |     let bbs = Rank(Convoluted(vec![MaybeBottom::Bottom, MaybeBottom::Bottom, MaybeBottom::Some(s)]), 1);
[INFO] [stderr]     |         ^^^ help: if this is intentional, prefix it with an underscore: `_bbs`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/multi_search.rs:424:6
[INFO] [stderr]     |
[INFO] [stderr] 424 |     let mut p = automaton! {
[INFO] [stderr]     |         ----^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> tests/multi_search.rs:431:6
[INFO] [stderr]     |
[INFO] [stderr] 431 |     let mut np = automaton! {
[INFO] [stderr]     |         ----^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `Sorted`, `width_search::TermFragment`
[INFO] [stderr]   --> examples/false.rs:24:5
[INFO] [stderr]    |
[INFO] [stderr] 24 |     Sorted,
[INFO] [stderr]    |     ^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 32 |         width_search::TermFragment
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `Relation`
[INFO] [stderr]   --> examples/false.rs:37:5
[INFO] [stderr]    |
[INFO] [stderr] 37 |     Relation,
[INFO] [stderr]    |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> examples/false.rs:132:9
[INFO] [stderr]     |
[INFO] [stderr] 132 |     let mut prop_all_false = automaton! {
[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]    --> examples/false.rs:140:9
[INFO] [stderr]     |
[INFO] [stderr] 140 |     let mut prop_sorted = automaton! {
[INFO] [stderr]     |         ----^^^^^^^^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `Sorted`, `width_search::TermFragment`
[INFO] [stderr]   --> examples/search.rs:25:5
[INFO] [stderr]    |
[INFO] [stderr] 25 |     Sorted,
[INFO] [stderr]    |     ^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 33 |         width_search::TermFragment
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `Relation`
[INFO] [stderr]   --> examples/search.rs:38:5
[INFO] [stderr]    |
[INFO] [stderr] 38 |     Relation,
[INFO] [stderr]    |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> examples/search.rs:103:9
[INFO] [stderr]     |
[INFO] [stderr] 103 |     let mut types = automaton! {
[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: `automatic-relations` (test "search") generated 14 warnings (run `cargo fix --test "search"` to apply 10 suggestions)
[INFO] [stderr] warning: `automatic-relations` (test "multi_search") generated 52 warnings (run `cargo fix --test "multi_search"` to apply 10 suggestions)
[INFO] [stderr] warning: `automatic-relations` (example "false") generated 4 warnings (run `cargo fix --example "false"` to apply 3 suggestions)
[INFO] [stderr] warning: `automatic-relations` (example "search") generated 3 warnings (run `cargo fix --example "search"` to apply 2 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.01s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/automatic_relations-d4629007fa3dfd61)
[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] [stderr]      Running tests/multi_search.rs (/opt/rustwide/target/debug/deps/multi_search-c3caeeeb5ccac4e2)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test even1 ... ok
[INFO] [stdout] test fix2 ... ok
[INFO] [stdout] test fix1 ... ok
[INFO] [stdout] test mod_2_3 ... ok
[INFO] [stdout] test constrained_loop ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/search.rs (/opt/rustwide/target/debug/deps/search-895dfccc9f11b79d)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test linear1 ... ok
[INFO] [stdout] test linear_impossible1 ... ok
[INFO] [stdout] test lists1 ... ok
[INFO] [stdout] test lists2 ... ok
[INFO] [stdout] test lists_impossible1 ... ok
[INFO] [stdout] test non_linear2 ... ok
[INFO] [stdout] test non_linear_impossible1 ... ok
[INFO] [stdout] test non_linear1 ... ok
[INFO] [stdout] test non_linear3 ... ok
[INFO] [stdout] test finite1 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.27s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests automatic_relations
[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" "d43e297ab28224f2fb3c46fb6feda43741fbbed901021aba4f885a198e824a1c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d43e297ab28224f2fb3c46fb6feda43741fbbed901021aba4f885a198e824a1c", kill_on_drop: false }`
[INFO] [stdout] d43e297ab28224f2fb3c46fb6feda43741fbbed901021aba4f885a198e824a1c
