[INFO] cloning repository https://github.com/alpaylan/etna-rust-rbt
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/alpaylan/etna-rust-rbt" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Falpaylan%2Fetna-rust-rbt", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Falpaylan%2Fetna-rust-rbt'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 9ba518dc14c57875d135b140e5602e85b005b9d8
[INFO] checking alpaylan/etna-rust-rbt against try#163937523761cc0def32f1ba9ed63fdf65ad3478 for pr-156749
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Falpaylan%2Fetna-rust-rbt" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-2-tc2/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/alpaylan/etna-rust-rbt
[INFO] finished tweaking git repo https://github.com/alpaylan/etna-rust-rbt
[INFO] tweaked toml for git repo https://github.com/alpaylan/etna-rust-rbt written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/alpaylan/etna-rust-rbt on toolchain 163937523761cc0def32f1ba9ed63fdf65ad3478
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+163937523761cc0def32f1ba9ed63fdf65ad3478" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/alpaylan/etna-rust-rbt 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" "+163937523761cc0def32f1ba9ed63fdf65ad3478" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating git repository `https://github.com/alpaylan/quickcheck.git`
[INFO] [stderr]      Locking 1 package to latest Rust 1.98.0-nightly compatible version
[INFO] [stderr]       Adding quickcheck v1.0.3 (https://github.com/alpaylan/quickcheck.git?branch=master#687d7656)
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3e793bdf10248eb2ddbd6b0faebed8155c11b4589982e2893733958d93e8d540" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] cebed789638b99be44fa7909317dccd09e98c5b630b211abe2647f503fab3fbb
[INFO] running `Command { std: "docker" "start" "cebed789638b99be44fa7909317dccd09e98c5b630b211abe2647f503fab3fbb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "cebed789638b99be44fa7909317dccd09e98c5b630b211abe2647f503fab3fbb" "/opt/rustwide/cargo-home/bin/cargo" "+163937523761cc0def32f1ba9ed63fdf65ad3478" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "cebed789638b99be44fa7909317dccd09e98c5b630b211abe2647f503fab3fbb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "cebed789638b99be44fa7909317dccd09e98c5b630b211abe2647f503fab3fbb" "/opt/rustwide/cargo-home/bin/cargo" "+163937523761cc0def32f1ba9ed63fdf65ad3478" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.47
[INFO] [stderr]     Checking memchr v2.7.5
[INFO] [stderr]    Compiling rustix v1.1.2
[INFO] [stderr]    Compiling serde_json v1.0.141
[INFO] [stderr]     Checking log v0.4.27
[INFO] [stderr]     Checking etna-rs-utils v0.1.0 (https://github.com/alpaylan/etna-rs-utils?branch=main#50431af0)
[INFO] [stderr]    Compiling syn v2.0.104
[INFO] [stderr]     Checking getrandom v0.3.3
[INFO] [stderr]    Compiling lexpr-macros v0.2.2
[INFO] [stderr]     Checking wait-timeout v0.2.1
[INFO] [stderr]     Checking crc32fast v1.5.0
[INFO] [stderr]     Checking rand_core v0.9.3
[INFO] [stderr]     Checking lexpr v0.2.7
[INFO] [stderr]     Checking rand v0.9.2
[INFO] [stderr]     Checking rand_xorshift v0.4.0
[INFO] [stderr]     Checking aho-corasick v1.1.3
[INFO] [stderr]     Checking regex-automata v0.4.9
[INFO] [stderr]     Checking tempfile v3.23.0
[INFO] [stderr]     Checking rusty-fork v0.3.1
[INFO] [stderr]    Compiling zerocopy-derive v0.8.47
[INFO] [stderr]    Compiling serde_derive v1.0.219
[INFO] [stderr]    Compiling hegeltest-macros v0.2.0
[INFO] [stderr]     Checking regex v1.11.1
[INFO] [stderr]     Checking env_filter v0.1.3
[INFO] [stderr]     Checking env_logger v0.11.8
[INFO] [stderr]     Checking serde v1.0.219
[INFO] [stderr]     Checking erased-serde v0.4.6
[INFO] [stderr]     Checking serde-lexpr v0.1.3
[INFO] [stderr]     Checking half v2.7.1
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking ciborium-ll v0.2.2
[INFO] [stderr]     Checking rand_chacha v0.9.0
[INFO] [stderr]     Checking proptest v1.11.0
[INFO] [stderr]     Checking ciborium v0.2.2
[INFO] [stderr]     Checking quickcheck v1.0.3 (https://github.com/alpaylan/quickcheck.git?branch=master#687d7656)
[INFO] [stderr]     Checking hegeltest v0.2.0
[INFO] [stderr]     Checking rbt v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_patterns)]
[INFO] [stdout]   |            ^^^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: removed in CURRENT_RUSTC_VERSION
[INFO] [stdout]   = note: superseded by `deref_patterns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/implementation.rs:54:18
[INFO] [stdout]    |
[INFO] [stdout] 54 |             T(_, box a, x, vx, box b) => {
[INFO] [stdout]    |                  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/implementation.rs:54:32
[INFO] [stdout]    |
[INFO] [stdout] 54 |             T(_, box a, x, vx, box b) => {
[INFO] [stdout]    |                                ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/implementation.rs:83:18
[INFO] [stdout]    |
[INFO] [stdout] 83 |         (B, T(R, box T(R, a, x, vx, b), y, vy, c), z, vz, d) => T(
[INFO] [stdout]    |                  ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:101:28
[INFO] [stdout]     |
[INFO] [stdout] 101 |         (B, T(R, a, x, vx, box T(R, b, y, vy, c)), z, vz, d) => T(
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:109:28
[INFO] [stdout]     |
[INFO] [stdout] 109 |         (B, a, x, vx, T(R, box T(R, b, y, vy, c), z, vz, d)) => T(
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:127:38
[INFO] [stdout]     |
[INFO] [stdout] 127 |         (B, a, x, vx, T(R, b, y, vy, box T(R, c, z, vz, d))) => T(
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:150:27
[INFO] [stdout]     |
[INFO] [stdout] 150 |             (x, vx, T(rb, box a, y, vy, box b)) => {
[INFO] [stdout]     |                           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:150:41
[INFO] [stdout]     |
[INFO] [stdout] 150 |             (x, vx, T(rb, box a, y, vy, box b)) => {
[INFO] [stdout]     |                                         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:214:45
[INFO] [stdout]     |
[INFO] [stdout] 214 |         (bl, x, vx, T(R, box T(B, a, y, vy, box b), z, vz, box c)) => {
[INFO] [stdout]     |                                             ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:214:26
[INFO] [stdout]     |
[INFO] [stdout] 214 |         (bl, x, vx, T(R, box T(B, a, y, vy, box b), z, vz, box c)) => {
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:214:60
[INFO] [stdout]     |
[INFO] [stdout] 214 |         (bl, x, vx, T(R, box T(B, a, y, vy, box b), z, vz, box c)) => {
[INFO] [stdout]     |                                                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:246:15
[INFO] [stdout]     |
[INFO] [stdout] 246 |         (T(R, box a, x, vx, box T(B, box b, y, vy, c)), z, vz, bl) => {
[INFO] [stdout]     |               ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:246:38
[INFO] [stdout]     |
[INFO] [stdout] 246 |         (T(R, box a, x, vx, box T(B, box b, y, vy, c)), z, vz, bl) => {
[INFO] [stdout]     |                                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:246:29
[INFO] [stdout]     |
[INFO] [stdout] 246 |         (T(R, box a, x, vx, box T(B, box b, y, vy, c)), z, vz, bl) => {
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:280:25
[INFO] [stdout]     |
[INFO] [stdout] 280 |         (T(R, a, x, vx, box b), T(R, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout]     |                         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:280:38
[INFO] [stdout]     |
[INFO] [stdout] 280 |         (T(R, a, x, vx, box b), T(R, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout]     |                                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:305:25
[INFO] [stdout]     |
[INFO] [stdout] 305 |         (T(B, a, x, vx, box b), T(B, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout]     |                         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:305:38
[INFO] [stdout]     |
[INFO] [stdout] 305 |         (T(B, a, x, vx, box b), T(B, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout]     |                                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:330:18
[INFO] [stdout]     |
[INFO] [stdout] 330 |         (a, T(R, box b, x, vx, c)) => match _join(a, b, fp) {
[INFO] [stdout]     |                  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:334:25
[INFO] [stdout]     |
[INFO] [stdout] 334 |         (T(R, a, x, vx, box b), c) => {
[INFO] [stdout]     |                         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:353:14
[INFO] [stdout]     |
[INFO] [stdout] 353 |         T(_, box a, y, vy, box b) => {
[INFO] [stdout]     |              ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:353:28
[INFO] [stdout]     |
[INFO] [stdout] 353 |         T(_, box a, y, vy, box b) => {
[INFO] [stdout]     |                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_patterns)]
[INFO] [stdout]   |            ^^^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: removed in CURRENT_RUSTC_VERSION
[INFO] [stdout]   = note: superseded by `deref_patterns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/implementation.rs:54:18
[INFO] [stdout]    |
[INFO] [stdout] 54 |             T(_, box a, x, vx, box b) => {
[INFO] [stdout]    |                  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/implementation.rs:54:32
[INFO] [stdout]    |
[INFO] [stdout] 54 |             T(_, box a, x, vx, box b) => {
[INFO] [stdout]    |                                ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/implementation.rs:83:18
[INFO] [stdout]    |
[INFO] [stdout] 83 |         (B, T(R, box T(R, a, x, vx, b), y, vy, c), z, vz, d) => T(
[INFO] [stdout]    |                  ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:101:28
[INFO] [stdout]     |
[INFO] [stdout] 101 |         (B, T(R, a, x, vx, box T(R, b, y, vy, c)), z, vz, d) => T(
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:109:28
[INFO] [stdout]     |
[INFO] [stdout] 109 |         (B, a, x, vx, T(R, box T(R, b, y, vy, c), z, vz, d)) => T(
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:127:38
[INFO] [stdout]     |
[INFO] [stdout] 127 |         (B, a, x, vx, T(R, b, y, vy, box T(R, c, z, vz, d))) => T(
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:150:27
[INFO] [stdout]     |
[INFO] [stdout] 150 |             (x, vx, T(rb, box a, y, vy, box b)) => {
[INFO] [stdout]     |                           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:150:41
[INFO] [stdout]     |
[INFO] [stdout] 150 |             (x, vx, T(rb, box a, y, vy, box b)) => {
[INFO] [stdout]     |                                         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:214:45
[INFO] [stdout]     |
[INFO] [stdout] 214 |         (bl, x, vx, T(R, box T(B, a, y, vy, box b), z, vz, box c)) => {
[INFO] [stdout]     |                                             ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:214:26
[INFO] [stdout]     |
[INFO] [stdout] 214 |         (bl, x, vx, T(R, box T(B, a, y, vy, box b), z, vz, box c)) => {
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:214:60
[INFO] [stdout]     |
[INFO] [stdout] 214 |         (bl, x, vx, T(R, box T(B, a, y, vy, box b), z, vz, box c)) => {
[INFO] [stdout]     |                                                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:246:15
[INFO] [stdout]     |
[INFO] [stdout] 246 |         (T(R, box a, x, vx, box T(B, box b, y, vy, c)), z, vz, bl) => {
[INFO] [stdout]     |               ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:246:38
[INFO] [stdout]     |
[INFO] [stdout] 246 |         (T(R, box a, x, vx, box T(B, box b, y, vy, c)), z, vz, bl) => {
[INFO] [stdout]     |                                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:246:29
[INFO] [stdout]     |
[INFO] [stdout] 246 |         (T(R, box a, x, vx, box T(B, box b, y, vy, c)), z, vz, bl) => {
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:280:25
[INFO] [stdout]     |
[INFO] [stdout] 280 |         (T(R, a, x, vx, box b), T(R, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout]     |                         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:280:38
[INFO] [stdout]     |
[INFO] [stdout] 280 |         (T(R, a, x, vx, box b), T(R, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout]     |                                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:442:14
[INFO] [stdout]     |
[INFO] [stdout] 442 |         T(_, box l, y, vy, box r) => {
[INFO] [stdout]     |              ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:442:28
[INFO] [stdout]     |
[INFO] [stdout] 442 |         T(_, box l, y, vy, box r) => {
[INFO] [stdout]     |                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:305:25
[INFO] [stdout]     |
[INFO] [stdout] 305 |         (T(B, a, x, vx, box b), T(B, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout]     |                         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:457:14
[INFO] [stdout]     |
[INFO] [stdout] 457 |         T(_, box l, _, _, box r) => 1 + size(l) + size(r),
[INFO] [stdout]     |              ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:457:27
[INFO] [stdout]     |
[INFO] [stdout] 457 |         T(_, box l, _, _, box r) => 1 + size(l) + size(r),
[INFO] [stdout]     |                           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:305:38
[INFO] [stdout]     |
[INFO] [stdout] 305 |         (T(B, a, x, vx, box b), T(B, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout]     |                                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:330:18
[INFO] [stdout]     |
[INFO] [stdout] 330 |         (a, T(R, box b, x, vx, c)) => match _join(a, b, fp) {
[INFO] [stdout]     |                  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:334:25
[INFO] [stdout]     |
[INFO] [stdout] 334 |         (T(R, a, x, vx, box b), c) => {
[INFO] [stdout]     |                         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:353:14
[INFO] [stdout]     |
[INFO] [stdout] 353 |         T(_, box a, y, vy, box b) => {
[INFO] [stdout]     |              ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:353:28
[INFO] [stdout]     |
[INFO] [stdout] 353 |         T(_, box a, y, vy, box b) => {
[INFO] [stdout]     |                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:442:14
[INFO] [stdout]     |
[INFO] [stdout] 442 |         T(_, box l, y, vy, box r) => {
[INFO] [stdout]     |              ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:442:28
[INFO] [stdout]     |
[INFO] [stdout] 442 |         T(_, box l, y, vy, box r) => {
[INFO] [stdout]     |                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:457:14
[INFO] [stdout]     |
[INFO] [stdout] 457 |         T(_, box l, _, _, box r) => 1 + size(l) + size(r),
[INFO] [stdout]     |              ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/implementation.rs:457:27
[INFO] [stdout]     |
[INFO] [stdout] 457 |         T(_, box l, _, _, box r) => 1 + size(l) + size(r),
[INFO] [stdout]     |                           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]  --> src/spec.rs:9:24
[INFO] [stdout]   |
[INFO] [stdout] 9 |             Tree::T(_, box a, x, _, box b) => every(&p, a) && p(*x) && every(&p, b),
[INFO] [stdout]   |                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]  --> src/spec.rs:9:37
[INFO] [stdout]   |
[INFO] [stdout] 9 |             Tree::T(_, box a, x, _, box b) => every(&p, a) && p(*x) && every(&p, b),
[INFO] [stdout]   |                                     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/strategies/bespoke.rs:25:18
[INFO] [stdout]    |
[INFO] [stdout] 25 |         (B, T(R, box T(R, a, x, vx, b), y, vy, c), z, vz, d) => T(
[INFO] [stdout]    |                  ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/strategies/bespoke.rs:33:28
[INFO] [stdout]    |
[INFO] [stdout] 33 |         (B, T(R, a, x, vx, box T(R, b, y, vy, c)), z, vz, d) => T(
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/strategies/bespoke.rs:40:28
[INFO] [stdout]    |
[INFO] [stdout] 40 |         (B, a, x, vx, T(R, box T(R, b, y, vy, c), z, vz, d)) => T(
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]  --> src/spec.rs:9:24
[INFO] [stdout]   |
[INFO] [stdout] 9 |             Tree::T(_, box a, x, _, box b) => every(&p, a) && p(*x) && every(&p, b),
[INFO] [stdout]   |                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/strategies/bespoke.rs:47:38
[INFO] [stdout]    |
[INFO] [stdout] 47 |         (B, a, x, vx, T(R, b, y, vy, box T(R, c, z, vz, d))) => T(
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/strategies/bespoke.rs:62:27
[INFO] [stdout]    |
[INFO] [stdout] 62 |             (x, vx, T(rb, box a, y, vy, box b)) => {
[INFO] [stdout]    |                           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/strategies/bespoke.rs:62:41
[INFO] [stdout]    |
[INFO] [stdout] 62 |             (x, vx, T(rb, box a, y, vy, box b)) => {
[INFO] [stdout]    |                                         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]  --> src/spec.rs:9:37
[INFO] [stdout]   |
[INFO] [stdout] 9 |             Tree::T(_, box a, x, _, box b) => every(&p, a) && p(*x) && every(&p, b),
[INFO] [stdout]   |                                     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/strategies/bespoke.rs:25:18
[INFO] [stdout]    |
[INFO] [stdout] 25 |         (B, T(R, box T(R, a, x, vx, b), y, vy, c), z, vz, d) => T(
[INFO] [stdout]    |                  ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/strategies/bespoke.rs:33:28
[INFO] [stdout]    |
[INFO] [stdout] 33 |         (B, T(R, a, x, vx, box T(R, b, y, vy, c)), z, vz, d) => T(
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/strategies/bespoke.rs:40:28
[INFO] [stdout]    |
[INFO] [stdout] 40 |         (B, a, x, vx, T(R, box T(R, b, y, vy, c), z, vz, d)) => T(
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/strategies/bespoke.rs:47:38
[INFO] [stdout]    |
[INFO] [stdout] 47 |         (B, a, x, vx, T(R, b, y, vy, box T(R, c, z, vz, d))) => T(
[INFO] [stdout]    |                                      ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/strategies/bespoke.rs:62:27
[INFO] [stdout]    |
[INFO] [stdout] 62 |             (x, vx, T(rb, box a, y, vy, box b)) => {
[INFO] [stdout]    |                           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/strategies/bespoke.rs:62:41
[INFO] [stdout]    |
[INFO] [stdout] 62 |             (x, vx, T(rb, box a, y, vy, box b)) => {
[INFO] [stdout]    |                                         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]   --> src/implementation.rs:55:20
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 55 |                 go(a, acc);
[INFO] [stdout]    |                    ^
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 55 -                 go(a, acc);
[INFO] [stdout] 55 +                 go(B, acc);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]   --> src/implementation.rs:57:20
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 57 |                 go(b, acc);
[INFO] [stdout]    |                    ^
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 57 -                 go(b, acc);
[INFO] [stdout] 57 +                 go(B, acc);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]   --> src/implementation.rs:85:27
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 85 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]    |                           ^
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 85 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 85 +             Box::new(T(B, B, x, vx, b)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `x` in this scope
[INFO] [stdout]   --> src/implementation.rs:85:30
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 85 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]    |                              ^
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 85 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 85 +             Box::new(T(B, a, B, vx, b)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vx` in this scope
[INFO] [stdout]   --> src/implementation.rs:85:33
[INFO] [stdout]    |
[INFO] [stdout] 85 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]    |                                 ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 85 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 85 +             Box::new(T(B, a, x, vy, b)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]   --> src/implementation.rs:85:37
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 85 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]    |                                     ^
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 85 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 85 +             Box::new(T(B, a, x, vx, B)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:103:37
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 103 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]     |                                     ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 103 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 103 +             Box::new(T(B, a, x, vx, B)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `y` in this scope
[INFO] [stdout]    --> src/implementation.rs:104:13
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 104 |             y,
[INFO] [stdout]     |             ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 104 -             y,
[INFO] [stdout] 104 +             B,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vy` in this scope
[INFO] [stdout]    --> src/implementation.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |             vy,
[INFO] [stdout]     |             ^^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 105 -             vy,
[INFO] [stdout] 105 +             vx,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]    --> src/implementation.rs:106:27
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 106 |             Box::new(T(B, c, z, vz, Box::new(d))),
[INFO] [stdout]     |                           ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 106 -             Box::new(T(B, c, z, vz, Box::new(d))),
[INFO] [stdout] 106 +             Box::new(T(B, B, z, vz, Box::new(d))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:111:47
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 111 |             Box::new(T(B, Box::new(a), x, vx, b)),
[INFO] [stdout]     |                                               ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 111 -             Box::new(T(B, Box::new(a), x, vx, b)),
[INFO] [stdout] 111 +             Box::new(T(B, Box::new(a), x, vx, B)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `y` in this scope
[INFO] [stdout]    --> src/implementation.rs:112:13
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 112 |             y,
[INFO] [stdout]     |             ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 112 -             y,
[INFO] [stdout] 112 +             B,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vy` in this scope
[INFO] [stdout]    --> src/implementation.rs:113:13
[INFO] [stdout]     |
[INFO] [stdout] 113 |             vy,
[INFO] [stdout]     |             ^^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 113 -             vy,
[INFO] [stdout] 113 +             vx,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]    --> src/implementation.rs:114:27
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 114 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]     |                           ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 114 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 114 +             Box::new(T(B, B, z, vz, d)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]    --> src/implementation.rs:132:27
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 132 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]     |                           ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 132 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 132 +             Box::new(T(B, B, z, vz, d)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `z` in this scope
[INFO] [stdout]    --> src/implementation.rs:132:30
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 132 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]     |                              ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 132 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 132 +             Box::new(T(B, c, B, vz, d)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vz` in this scope
[INFO] [stdout]    --> src/implementation.rs:132:33
[INFO] [stdout]     |
[INFO] [stdout] 132 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]     |                                 ^^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 132 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 132 +             Box::new(T(B, c, z, vx, d)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `d` in this scope
[INFO] [stdout]    --> src/implementation.rs:132:37
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 132 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]     |                                     ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 132 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 132 +             Box::new(T(B, c, z, vz, B)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]    --> src/implementation.rs:153:76
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 153 |                                                     balance(rb, ins(x, vx, a), y, vy, b)
[INFO] [stdout]     |                                                                            ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 153 -                                                     balance(rb, ins(x, vx, a), y, vy, b)
[INFO] [stdout] 153 +                                                     balance(rb, ins(x, vx, B), y, vy, b)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:153:87
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 153 |                                                     balance(rb, ins(x, vx, a), y, vy, b)
[INFO] [stdout]     |                                                                                       ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 153 -                                                     balance(rb, ins(x, vx, a), y, vy, b)
[INFO] [stdout] 153 +                                                     balance(rb, ins(x, vx, a), y, vy, B)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]    --> src/implementation.rs:155:65
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 155 |                                                     balance(rb, a, y, vy, ins(x, vx, b))
[INFO] [stdout]     |                                                                 ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 155 -                                                     balance(rb, a, y, vy, ins(x, vx, b))
[INFO] [stdout] 155 +                                                     balance(rb, B, y, vy, ins(x, vx, b))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:155:86
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 155 |                                                     balance(rb, a, y, vy, ins(x, vx, b))
[INFO] [stdout]     |                                                                                      ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 155 -                                                     balance(rb, a, y, vy, ins(x, vx, b))
[INFO] [stdout] 155 +                                                     balance(rb, a, y, vy, ins(x, vx, B))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]    --> src/implementation.rs:157:68
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 157 |                                                     T(rb, Box::new(a), y, vx, Box::new(b))
[INFO] [stdout]     |                                                                    ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 157 -                                                     T(rb, Box::new(a), y, vx, Box::new(b))
[INFO] [stdout] 157 +                                                     T(rb, Box::new(B), y, vx, Box::new(b))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:157:88
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 157 |                                                     T(rb, Box::new(a), y, vx, Box::new(b))
[INFO] [stdout]     |                                                                                        ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 157 -                                                     T(rb, Box::new(a), y, vx, Box::new(b))
[INFO] [stdout] 157 +                                                     T(rb, Box::new(a), y, vx, Box::new(B))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]    --> src/implementation.rs:216:29
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 216 |             let cp = redden(c)?;
[INFO] [stdout]     |                             ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 216 -             let cp = redden(c)?;
[INFO] [stdout] 216 +             let cp = redden(B)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]    --> src/implementation.rs:219:52
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 219 |                 Box::new(T(B, Box::new(bl), x, vx, a)),
[INFO] [stdout]     |                                                    ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 219 -                 Box::new(T(B, Box::new(bl), x, vx, a)),
[INFO] [stdout] 219 +                 Box::new(T(B, Box::new(bl), x, vx, B)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `y` in this scope
[INFO] [stdout]    --> src/implementation.rs:220:17
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 220 |                 y,
[INFO] [stdout]     |                 ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 220 -                 y,
[INFO] [stdout] 220 +                 B,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vy` in this scope
[INFO] [stdout]    --> src/implementation.rs:221:17
[INFO] [stdout]     |
[INFO] [stdout] 221 |                 vy,
[INFO] [stdout]     |                 ^^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 221 -                 vy,
[INFO] [stdout] 221 +                 v,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:222:37
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 222 |                 Box::new(balance(B, b, z, vz, cp)),
[INFO] [stdout]     |                                     ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 222 -                 Box::new(balance(B, b, z, vz, cp)),
[INFO] [stdout] 222 +                 Box::new(balance(B, B, z, vz, cp)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]    --> src/implementation.rs:248:29
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 248 |             let ap = redden(a)?;
[INFO] [stdout]     |                             ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 248 -             let ap = redden(a)?;
[INFO] [stdout] 248 +             let ap = redden(B)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:251:48
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 251 |                 Box::new(balance(B, ap, x, vx, b)),
[INFO] [stdout]     |                                                ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 251 -                 Box::new(balance(B, ap, x, vx, b)),
[INFO] [stdout] 251 +                 Box::new(balance(B, ap, x, vx, B)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `y` in this scope
[INFO] [stdout]    --> src/implementation.rs:252:17
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 252 |                 y,
[INFO] [stdout]     |                 ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 252 -                 y,
[INFO] [stdout] 252 +                 B,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vy` in this scope
[INFO] [stdout]    --> src/implementation.rs:253:17
[INFO] [stdout]     |
[INFO] [stdout] 253 |                 vy,
[INFO] [stdout]     |                 ^^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 253 -                 vy,
[INFO] [stdout] 253 +                 v,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]    --> src/implementation.rs:254:31
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 254 |                 Box::new(T(B, c, z, vz, Box::new(bl))),
[INFO] [stdout]     |                               ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 254 -                 Box::new(T(B, c, z, vz, Box::new(bl))),
[INFO] [stdout] 254 +                 Box::new(T(B, B, z, vz, Box::new(bl))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:280:71
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 280 |         (T(R, a, x, vx, box b), T(R, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout]     |                                                                       ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 280 -         (T(R, a, x, vx, box b), T(R, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout] 280 +         (T(R, a, x, vx, box b), T(R, box c, y, vy, d)) => match _join(B, c, fp) {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]    --> src/implementation.rs:280:74
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 280 |         (T(R, a, x, vx, box b), T(R, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout]     |                                                                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 280 -         (T(R, a, x, vx, box b), T(R, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout] 280 +         (T(R, a, x, vx, box b), T(R, box c, y, vy, d)) => match _join(b, B, fp) {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:305:71
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 305 |         (T(B, a, x, vx, box b), T(B, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout]     |                                                                       ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 305 -         (T(B, a, x, vx, box b), T(B, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout] 305 +         (T(B, a, x, vx, box b), T(B, box c, y, vy, d)) => match _join(B, c, fp) {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]    --> src/implementation.rs:305:74
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 305 |         (T(B, a, x, vx, box b), T(B, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout]     |                                                                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 305 -         (T(B, a, x, vx, box b), T(B, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout] 305 +         (T(B, a, x, vx, box b), T(B, box c, y, vy, d)) => match _join(b, B, fp) {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:330:54
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 330 |         (a, T(R, box b, x, vx, c)) => match _join(a, b, fp) {
[INFO] [stdout]     |                                                      ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 330 -         (a, T(R, box b, x, vx, c)) => match _join(a, b, fp) {
[INFO] [stdout] 330 +         (a, T(R, box b, x, vx, c)) => match _join(a, B, fp) {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:335:28
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 335 |             let tp = _join(b, c, fp)?;
[INFO] [stdout]     |                            ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 335 -             let tp = _join(b, c, fp)?;
[INFO] [stdout] 335 +             let tp = _join(B, c, fp)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]    --> src/implementation.rs:356:38
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 356 |                 let tp = del_left(x, a, y, vy, b, fp)?;
[INFO] [stdout]     |                                      ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 356 -                 let tp = del_left(x, a, y, vy, b, fp)?;
[INFO] [stdout] 356 +                 let tp = del_left(x, B, y, vy, b, fp)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:356:48
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 356 |                 let tp = del_left(x, a, y, vy, b, fp)?;
[INFO] [stdout]     |                                                ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 356 -                 let tp = del_left(x, a, y, vy, b, fp)?;
[INFO] [stdout] 356 +                 let tp = del_left(x, a, y, vy, B, fp)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]    --> src/implementation.rs:359:39
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 359 |                 let tp = del_right(x, a, y, vy, b, fp)?;
[INFO] [stdout]     |                                       ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 359 -                 let tp = del_right(x, a, y, vy, b, fp)?;
[INFO] [stdout] 359 +                 let tp = del_right(x, B, y, vy, b, fp)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:359:49
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 359 |                 let tp = del_right(x, a, y, vy, b, fp)?;
[INFO] [stdout]     |                                                 ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 359 -                 let tp = del_right(x, a, y, vy, b, fp)?;
[INFO] [stdout] 359 +                 let tp = del_right(x, a, y, vy, B, fp)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]    --> src/implementation.rs:362:31
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 362 |                 let tp = join(a, b)?;
[INFO] [stdout]     |                               ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 362 -                 let tp = join(a, b)?;
[INFO] [stdout] 362 +                 let tp = join(B, b)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:362:34
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 362 |                 let tp = join(a, b)?;
[INFO] [stdout]     |                                  ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 362 -                 let tp = join(a, b)?;
[INFO] [stdout] 362 +                 let tp = join(a, B)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `l` in this scope
[INFO] [stdout]    --> src/implementation.rs:444:25
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 444 |                 find(x, l)
[INFO] [stdout]     |                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 444 -                 find(x, l)
[INFO] [stdout] 444 +                 find(x, B)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `r` in this scope
[INFO] [stdout]    --> src/implementation.rs:446:25
[INFO] [stdout]     |
[INFO] [stdout]   7 |     R,
[INFO] [stdout]     |     - similarly named unit variant `R` defined here
[INFO] [stdout] ...
[INFO] [stdout] 446 |                 find(x, r)
[INFO] [stdout]     |                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 446 -                 find(x, r)
[INFO] [stdout] 446 +                 find(x, R)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `l` in this scope
[INFO] [stdout]    --> src/implementation.rs:457:46
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 457 |         T(_, box l, _, _, box r) => 1 + size(l) + size(r),
[INFO] [stdout]     |                                              ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 457 -         T(_, box l, _, _, box r) => 1 + size(l) + size(r),
[INFO] [stdout] 457 +         T(_, box l, _, _, box r) => 1 + size(B) + size(r),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `r` in this scope
[INFO] [stdout]    --> src/implementation.rs:457:56
[INFO] [stdout]     |
[INFO] [stdout]   7 |     R,
[INFO] [stdout]     |     - similarly named unit variant `R` defined here
[INFO] [stdout] ...
[INFO] [stdout] 457 |         T(_, box l, _, _, box r) => 1 + size(l) + size(r),
[INFO] [stdout]     |                                                        ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 457 -         T(_, box l, _, _, box r) => 1 + size(l) + size(r),
[INFO] [stdout] 457 +         T(_, box l, _, _, box r) => 1 + size(l) + size(R),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]  --> src/spec.rs:9:57
[INFO] [stdout]   |
[INFO] [stdout] 9 |             Tree::T(_, box a, x, _, box b) => every(&p, a) && p(*x) && every(&p, b),
[INFO] [stdout]   |                                                         ^
[INFO] [stdout]   |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]   |
[INFO] [stdout] 9 -             Tree::T(_, box a, x, _, box b) => every(&p, a) && p(*x) && every(&p, b),
[INFO] [stdout] 9 +             Tree::T(_, box a, x, _, box b) => every(&p, p) && p(*x) && every(&p, b),
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]  --> src/spec.rs:9:82
[INFO] [stdout]   |
[INFO] [stdout] 9 |             Tree::T(_, box a, x, _, box b) => every(&p, a) && p(*x) && every(&p, b),
[INFO] [stdout]   |                                                                                  ^
[INFO] [stdout]   |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]   |
[INFO] [stdout] 9 -             Tree::T(_, box a, x, _, box b) => every(&p, a) && p(*x) && every(&p, b),
[INFO] [stdout] 9 +             Tree::T(_, box a, x, _, box b) => every(&p, a) && p(*x) && every(&p, p),
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:27:27
[INFO] [stdout]    |
[INFO] [stdout] 27 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]    |                           ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 27 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 27 +             Box::new(T(B, B, x, vx, b)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `x` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:27:30
[INFO] [stdout]    |
[INFO] [stdout] 27 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]    |                              ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 27 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 27 +             Box::new(T(B, a, B, vx, b)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vx` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:27:33
[INFO] [stdout]    |
[INFO] [stdout] 27 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]    |                                 ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 27 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 27 +             Box::new(T(B, a, x, vy, b)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:27:37
[INFO] [stdout]    |
[INFO] [stdout] 27 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]    |                                     ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 27 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 27 +             Box::new(T(B, a, x, vx, B)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:35:37
[INFO] [stdout]    |
[INFO] [stdout] 35 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]    |                                     ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 35 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 35 +             Box::new(T(B, a, x, vx, B)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `y` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:36:13
[INFO] [stdout]    |
[INFO] [stdout] 36 |             y,
[INFO] [stdout]    |             ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 36 -             y,
[INFO] [stdout] 36 +             B,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vy` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:37:13
[INFO] [stdout]    |
[INFO] [stdout] 37 |             vy,
[INFO] [stdout]    |             ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 37 -             vy,
[INFO] [stdout] 37 +             vx,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:38:27
[INFO] [stdout]    |
[INFO] [stdout] 38 |             Box::new(T(B, c, z, vz, Box::new(d))),
[INFO] [stdout]    |                           ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 38 -             Box::new(T(B, c, z, vz, Box::new(d))),
[INFO] [stdout] 38 +             Box::new(T(B, B, z, vz, Box::new(d))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:42:47
[INFO] [stdout]    |
[INFO] [stdout] 42 |             Box::new(T(B, Box::new(a), x, vx, b)),
[INFO] [stdout]    |                                               ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 42 -             Box::new(T(B, Box::new(a), x, vx, b)),
[INFO] [stdout] 42 +             Box::new(T(B, Box::new(a), x, vx, B)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `y` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:43:13
[INFO] [stdout]    |
[INFO] [stdout] 43 |             y,
[INFO] [stdout]    |             ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 43 -             y,
[INFO] [stdout] 43 +             B,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vy` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:44:13
[INFO] [stdout]    |
[INFO] [stdout] 44 |             vy,
[INFO] [stdout]    |             ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 44 -             vy,
[INFO] [stdout] 44 +             vx,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:45:27
[INFO] [stdout]    |
[INFO] [stdout] 45 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]    |                           ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 45 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 45 +             Box::new(T(B, B, z, vz, d)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:52:27
[INFO] [stdout]    |
[INFO] [stdout] 52 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]    |                           ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 52 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 52 +             Box::new(T(B, B, z, vz, d)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `z` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:52:30
[INFO] [stdout]    |
[INFO] [stdout] 52 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]    |                              ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 52 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 52 +             Box::new(T(B, c, B, vz, d)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vz` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:52:33
[INFO] [stdout]    |
[INFO] [stdout] 52 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]    |                                 ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 52 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 52 +             Box::new(T(B, c, z, vx, d)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `d` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:52:37
[INFO] [stdout]    |
[INFO] [stdout] 52 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]    |                                     ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 52 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 52 +             Box::new(T(B, c, z, vz, B)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:64:44
[INFO] [stdout]    |
[INFO] [stdout] 64 |                     balance(rb, ins(x, vx, a), y, vy, b)
[INFO] [stdout]    |                                            ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 64 -                     balance(rb, ins(x, vx, a), y, vy, b)
[INFO] [stdout] 64 +                     balance(rb, ins(x, vx, B), y, vy, b)
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:64:55
[INFO] [stdout]    |
[INFO] [stdout] 64 |                     balance(rb, ins(x, vx, a), y, vy, b)
[INFO] [stdout]    |                                                       ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 64 -                     balance(rb, ins(x, vx, a), y, vy, b)
[INFO] [stdout] 64 +                     balance(rb, ins(x, vx, a), y, vy, B)
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:66:33
[INFO] [stdout]    |
[INFO] [stdout] 66 |                     balance(rb, a, y, vy, ins(x, vx, b))
[INFO] [stdout]    |                                 ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 66 -                     balance(rb, a, y, vy, ins(x, vx, b))
[INFO] [stdout] 66 +                     balance(rb, B, y, vy, ins(x, vx, b))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:66:54
[INFO] [stdout]    |
[INFO] [stdout] 66 |                     balance(rb, a, y, vy, ins(x, vx, b))
[INFO] [stdout]    |                                                      ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 66 -                     balance(rb, a, y, vy, ins(x, vx, b))
[INFO] [stdout] 66 +                     balance(rb, a, y, vy, ins(x, vx, B))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:68:36
[INFO] [stdout]    |
[INFO] [stdout] 68 |                     T(rb, Box::new(a), y, vx, Box::new(b))
[INFO] [stdout]    |                                    ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 68 -                     T(rb, Box::new(a), y, vx, Box::new(b))
[INFO] [stdout] 68 +                     T(rb, Box::new(B), y, vx, Box::new(b))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:68:56
[INFO] [stdout]    |
[INFO] [stdout] 68 |                     T(rb, Box::new(a), y, vx, Box::new(b))
[INFO] [stdout]    |                                                        ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 68 -                     T(rb, Box::new(a), y, vx, Box::new(b))
[INFO] [stdout] 68 +                     T(rb, Box::new(a), y, vx, Box::new(B))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]   --> src/implementation.rs:55:20
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 55 |                 go(a, acc);
[INFO] [stdout]    |                    ^
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 55 -                 go(a, acc);
[INFO] [stdout] 55 +                 go(B, acc);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]   --> src/implementation.rs:57:20
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 57 |                 go(b, acc);
[INFO] [stdout]    |                    ^
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 57 -                 go(b, acc);
[INFO] [stdout] 57 +                 go(B, acc);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]   --> src/implementation.rs:85:27
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 85 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]    |                           ^
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 85 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 85 +             Box::new(T(B, B, x, vx, b)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `x` in this scope
[INFO] [stdout]   --> src/implementation.rs:85:30
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 85 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]    |                              ^
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 85 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 85 +             Box::new(T(B, a, B, vx, b)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vx` in this scope
[INFO] [stdout]   --> src/implementation.rs:85:33
[INFO] [stdout]    |
[INFO] [stdout] 85 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]    |                                 ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 85 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 85 +             Box::new(T(B, a, x, vy, b)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]   --> src/implementation.rs:85:37
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 85 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]    |                                     ^
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 85 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 85 +             Box::new(T(B, a, x, vx, B)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:103:37
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 103 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]     |                                     ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 103 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 103 +             Box::new(T(B, a, x, vx, B)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `y` in this scope
[INFO] [stdout]    --> src/implementation.rs:104:13
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 104 |             y,
[INFO] [stdout]     |             ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 104 -             y,
[INFO] [stdout] 104 +             B,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vy` in this scope
[INFO] [stdout]    --> src/implementation.rs:105:13
[INFO] [stdout]     |
[INFO] [stdout] 105 |             vy,
[INFO] [stdout]     |             ^^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 105 -             vy,
[INFO] [stdout] 105 +             vx,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]    --> src/implementation.rs:106:27
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 106 |             Box::new(T(B, c, z, vz, Box::new(d))),
[INFO] [stdout]     |                           ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 106 -             Box::new(T(B, c, z, vz, Box::new(d))),
[INFO] [stdout] 106 +             Box::new(T(B, B, z, vz, Box::new(d))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:111:47
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 111 |             Box::new(T(B, Box::new(a), x, vx, b)),
[INFO] [stdout]     |                                               ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 111 -             Box::new(T(B, Box::new(a), x, vx, b)),
[INFO] [stdout] 111 +             Box::new(T(B, Box::new(a), x, vx, B)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `y` in this scope
[INFO] [stdout]    --> src/implementation.rs:112:13
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 112 |             y,
[INFO] [stdout]     |             ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 112 -             y,
[INFO] [stdout] 112 +             B,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vy` in this scope
[INFO] [stdout]    --> src/implementation.rs:113:13
[INFO] [stdout]     |
[INFO] [stdout] 113 |             vy,
[INFO] [stdout]     |             ^^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 113 -             vy,
[INFO] [stdout] 113 +             vx,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]    --> src/implementation.rs:114:27
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 114 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]     |                           ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 114 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 114 +             Box::new(T(B, B, z, vz, d)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]    --> src/implementation.rs:132:27
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 132 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]     |                           ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 132 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 132 +             Box::new(T(B, B, z, vz, d)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `z` in this scope
[INFO] [stdout]    --> src/implementation.rs:132:30
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 132 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]     |                              ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 132 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 132 +             Box::new(T(B, c, B, vz, d)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vz` in this scope
[INFO] [stdout]    --> src/implementation.rs:132:33
[INFO] [stdout]     |
[INFO] [stdout] 132 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]     |                                 ^^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 132 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 132 +             Box::new(T(B, c, z, vx, d)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `d` in this scope
[INFO] [stdout]    --> src/implementation.rs:132:37
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 132 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]     |                                     ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 132 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 132 +             Box::new(T(B, c, z, vz, B)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]    --> src/implementation.rs:153:76
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 153 |                                                     balance(rb, ins(x, vx, a), y, vy, b)
[INFO] [stdout]     |                                                                            ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 153 -                                                     balance(rb, ins(x, vx, a), y, vy, b)
[INFO] [stdout] 153 +                                                     balance(rb, ins(x, vx, B), y, vy, b)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:153:87
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 153 |                                                     balance(rb, ins(x, vx, a), y, vy, b)
[INFO] [stdout]     |                                                                                       ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 153 -                                                     balance(rb, ins(x, vx, a), y, vy, b)
[INFO] [stdout] 153 +                                                     balance(rb, ins(x, vx, a), y, vy, B)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]    --> src/implementation.rs:155:65
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 155 |                                                     balance(rb, a, y, vy, ins(x, vx, b))
[INFO] [stdout]     |                                                                 ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 155 -                                                     balance(rb, a, y, vy, ins(x, vx, b))
[INFO] [stdout] 155 +                                                     balance(rb, B, y, vy, ins(x, vx, b))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:155:86
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 155 |                                                     balance(rb, a, y, vy, ins(x, vx, b))
[INFO] [stdout]     |                                                                                      ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 155 -                                                     balance(rb, a, y, vy, ins(x, vx, b))
[INFO] [stdout] 155 +                                                     balance(rb, a, y, vy, ins(x, vx, B))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]    --> src/implementation.rs:157:68
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 157 |                                                     T(rb, Box::new(a), y, vx, Box::new(b))
[INFO] [stdout]     |                                                                    ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 157 -                                                     T(rb, Box::new(a), y, vx, Box::new(b))
[INFO] [stdout] 157 +                                                     T(rb, Box::new(B), y, vx, Box::new(b))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:157:88
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 157 |                                                     T(rb, Box::new(a), y, vx, Box::new(b))
[INFO] [stdout]     |                                                                                        ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 157 -                                                     T(rb, Box::new(a), y, vx, Box::new(b))
[INFO] [stdout] 157 +                                                     T(rb, Box::new(a), y, vx, Box::new(B))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]    --> src/implementation.rs:216:29
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 216 |             let cp = redden(c)?;
[INFO] [stdout]     |                             ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 216 -             let cp = redden(c)?;
[INFO] [stdout] 216 +             let cp = redden(B)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]    --> src/implementation.rs:219:52
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 219 |                 Box::new(T(B, Box::new(bl), x, vx, a)),
[INFO] [stdout]     |                                                    ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 219 -                 Box::new(T(B, Box::new(bl), x, vx, a)),
[INFO] [stdout] 219 +                 Box::new(T(B, Box::new(bl), x, vx, B)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `y` in this scope
[INFO] [stdout]    --> src/implementation.rs:220:17
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 220 |                 y,
[INFO] [stdout]     |                 ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 220 -                 y,
[INFO] [stdout] 220 +                 B,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vy` in this scope
[INFO] [stdout]    --> src/implementation.rs:221:17
[INFO] [stdout]     |
[INFO] [stdout] 221 |                 vy,
[INFO] [stdout]     |                 ^^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 221 -                 vy,
[INFO] [stdout] 221 +                 v,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:222:37
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 222 |                 Box::new(balance(B, b, z, vz, cp)),
[INFO] [stdout]     |                                     ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 222 -                 Box::new(balance(B, b, z, vz, cp)),
[INFO] [stdout] 222 +                 Box::new(balance(B, B, z, vz, cp)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]    --> src/implementation.rs:248:29
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 248 |             let ap = redden(a)?;
[INFO] [stdout]     |                             ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 248 -             let ap = redden(a)?;
[INFO] [stdout] 248 +             let ap = redden(B)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:251:48
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 251 |                 Box::new(balance(B, ap, x, vx, b)),
[INFO] [stdout]     |                                                ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 251 -                 Box::new(balance(B, ap, x, vx, b)),
[INFO] [stdout] 251 +                 Box::new(balance(B, ap, x, vx, B)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `y` in this scope
[INFO] [stdout]    --> src/implementation.rs:252:17
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 252 |                 y,
[INFO] [stdout]     |                 ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 252 -                 y,
[INFO] [stdout] 252 +                 B,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vy` in this scope
[INFO] [stdout]    --> src/implementation.rs:253:17
[INFO] [stdout]     |
[INFO] [stdout] 253 |                 vy,
[INFO] [stdout]     |                 ^^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 253 -                 vy,
[INFO] [stdout] 253 +                 v,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]    --> src/implementation.rs:254:31
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 254 |                 Box::new(T(B, c, z, vz, Box::new(bl))),
[INFO] [stdout]     |                               ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 254 -                 Box::new(T(B, c, z, vz, Box::new(bl))),
[INFO] [stdout] 254 +                 Box::new(T(B, B, z, vz, Box::new(bl))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:280:71
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 280 |         (T(R, a, x, vx, box b), T(R, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout]     |                                                                       ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 280 -         (T(R, a, x, vx, box b), T(R, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout] 280 +         (T(R, a, x, vx, box b), T(R, box c, y, vy, d)) => match _join(B, c, fp) {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]    --> src/implementation.rs:280:74
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 280 |         (T(R, a, x, vx, box b), T(R, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout]     |                                                                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 280 -         (T(R, a, x, vx, box b), T(R, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout] 280 +         (T(R, a, x, vx, box b), T(R, box c, y, vy, d)) => match _join(b, B, fp) {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:305:71
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 305 |         (T(B, a, x, vx, box b), T(B, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout]     |                                                                       ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 305 -         (T(B, a, x, vx, box b), T(B, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout] 305 +         (T(B, a, x, vx, box b), T(B, box c, y, vy, d)) => match _join(B, c, fp) {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]    --> src/implementation.rs:305:74
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 305 |         (T(B, a, x, vx, box b), T(B, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout]     |                                                                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 305 -         (T(B, a, x, vx, box b), T(B, box c, y, vy, d)) => match _join(b, c, fp) {
[INFO] [stdout] 305 +         (T(B, a, x, vx, box b), T(B, box c, y, vy, d)) => match _join(b, B, fp) {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:330:54
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 330 |         (a, T(R, box b, x, vx, c)) => match _join(a, b, fp) {
[INFO] [stdout]     |                                                      ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 330 -         (a, T(R, box b, x, vx, c)) => match _join(a, b, fp) {
[INFO] [stdout] 330 +         (a, T(R, box b, x, vx, c)) => match _join(a, B, fp) {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:335:28
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 335 |             let tp = _join(b, c, fp)?;
[INFO] [stdout]     |                            ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 335 -             let tp = _join(b, c, fp)?;
[INFO] [stdout] 335 +             let tp = _join(B, c, fp)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]    --> src/implementation.rs:356:38
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 356 |                 let tp = del_left(x, a, y, vy, b, fp)?;
[INFO] [stdout]     |                                      ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 356 -                 let tp = del_left(x, a, y, vy, b, fp)?;
[INFO] [stdout] 356 +                 let tp = del_left(x, B, y, vy, b, fp)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:356:48
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 356 |                 let tp = del_left(x, a, y, vy, b, fp)?;
[INFO] [stdout]     |                                                ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 356 -                 let tp = del_left(x, a, y, vy, b, fp)?;
[INFO] [stdout] 356 +                 let tp = del_left(x, a, y, vy, B, fp)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]    --> src/implementation.rs:359:39
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 359 |                 let tp = del_right(x, a, y, vy, b, fp)?;
[INFO] [stdout]     |                                       ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 359 -                 let tp = del_right(x, a, y, vy, b, fp)?;
[INFO] [stdout] 359 +                 let tp = del_right(x, B, y, vy, b, fp)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:359:49
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 359 |                 let tp = del_right(x, a, y, vy, b, fp)?;
[INFO] [stdout]     |                                                 ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 359 -                 let tp = del_right(x, a, y, vy, b, fp)?;
[INFO] [stdout] 359 +                 let tp = del_right(x, a, y, vy, B, fp)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]    --> src/implementation.rs:362:31
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 362 |                 let tp = join(a, b)?;
[INFO] [stdout]     |                               ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 362 -                 let tp = join(a, b)?;
[INFO] [stdout] 362 +                 let tp = join(B, b)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]    --> src/implementation.rs:362:34
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 362 |                 let tp = join(a, b)?;
[INFO] [stdout]     |                                  ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 362 -                 let tp = join(a, b)?;
[INFO] [stdout] 362 +                 let tp = join(a, B)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `l` in this scope
[INFO] [stdout]    --> src/implementation.rs:444:25
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 444 |                 find(x, l)
[INFO] [stdout]     |                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 444 -                 find(x, l)
[INFO] [stdout] 444 +                 find(x, B)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `r` in this scope
[INFO] [stdout]    --> src/implementation.rs:446:25
[INFO] [stdout]     |
[INFO] [stdout]   7 |     R,
[INFO] [stdout]     |     - similarly named unit variant `R` defined here
[INFO] [stdout] ...
[INFO] [stdout] 446 |                 find(x, r)
[INFO] [stdout]     |                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 446 -                 find(x, r)
[INFO] [stdout] 446 +                 find(x, R)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `l` in this scope
[INFO] [stdout]    --> src/implementation.rs:457:46
[INFO] [stdout]     |
[INFO] [stdout]   8 |     B,
[INFO] [stdout]     |     - similarly named unit variant `B` defined here
[INFO] [stdout] ...
[INFO] [stdout] 457 |         T(_, box l, _, _, box r) => 1 + size(l) + size(r),
[INFO] [stdout]     |                                              ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 457 -         T(_, box l, _, _, box r) => 1 + size(l) + size(r),
[INFO] [stdout] 457 +         T(_, box l, _, _, box r) => 1 + size(B) + size(r),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `r` in this scope
[INFO] [stdout]    --> src/implementation.rs:457:56
[INFO] [stdout]     |
[INFO] [stdout]   7 |     R,
[INFO] [stdout]     |     - similarly named unit variant `R` defined here
[INFO] [stdout] ...
[INFO] [stdout] 457 |         T(_, box l, _, _, box r) => 1 + size(l) + size(r),
[INFO] [stdout]     |                                                        ^
[INFO] [stdout]     |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 457 -         T(_, box l, _, _, box r) => 1 + size(l) + size(r),
[INFO] [stdout] 457 +         T(_, box l, _, _, box r) => 1 + size(l) + size(R),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]  --> src/spec.rs:9:57
[INFO] [stdout]   |
[INFO] [stdout] 9 |             Tree::T(_, box a, x, _, box b) => every(&p, a) && p(*x) && every(&p, b),
[INFO] [stdout]   |                                                         ^
[INFO] [stdout]   |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]   |
[INFO] [stdout] 9 -             Tree::T(_, box a, x, _, box b) => every(&p, a) && p(*x) && every(&p, b),
[INFO] [stdout] 9 +             Tree::T(_, box a, x, _, box b) => every(&p, p) && p(*x) && every(&p, b),
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]  --> src/spec.rs:9:82
[INFO] [stdout]   |
[INFO] [stdout] 9 |             Tree::T(_, box a, x, _, box b) => every(&p, a) && p(*x) && every(&p, b),
[INFO] [stdout]   |                                                                                  ^
[INFO] [stdout]   |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]   |
[INFO] [stdout] 9 -             Tree::T(_, box a, x, _, box b) => every(&p, a) && p(*x) && every(&p, b),
[INFO] [stdout] 9 +             Tree::T(_, box a, x, _, box b) => every(&p, a) && p(*x) && every(&p, p),
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:27:27
[INFO] [stdout]    |
[INFO] [stdout] 27 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]    |                           ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 27 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 27 +             Box::new(T(B, B, x, vx, b)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `x` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:27:30
[INFO] [stdout]    |
[INFO] [stdout] 27 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]    |                              ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 27 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 27 +             Box::new(T(B, a, B, vx, b)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vx` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:27:33
[INFO] [stdout]    |
[INFO] [stdout] 27 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]    |                                 ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 27 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 27 +             Box::new(T(B, a, x, vy, b)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:27:37
[INFO] [stdout]    |
[INFO] [stdout] 27 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]    |                                     ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 27 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 27 +             Box::new(T(B, a, x, vx, B)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:35:37
[INFO] [stdout]    |
[INFO] [stdout] 35 |             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout]    |                                     ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 35 -             Box::new(T(B, a, x, vx, b)),
[INFO] [stdout] 35 +             Box::new(T(B, a, x, vx, B)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `y` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:36:13
[INFO] [stdout]    |
[INFO] [stdout] 36 |             y,
[INFO] [stdout]    |             ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 36 -             y,
[INFO] [stdout] 36 +             B,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vy` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:37:13
[INFO] [stdout]    |
[INFO] [stdout] 37 |             vy,
[INFO] [stdout]    |             ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 37 -             vy,
[INFO] [stdout] 37 +             vx,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:38:27
[INFO] [stdout]    |
[INFO] [stdout] 38 |             Box::new(T(B, c, z, vz, Box::new(d))),
[INFO] [stdout]    |                           ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 38 -             Box::new(T(B, c, z, vz, Box::new(d))),
[INFO] [stdout] 38 +             Box::new(T(B, B, z, vz, Box::new(d))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:42:47
[INFO] [stdout]    |
[INFO] [stdout] 42 |             Box::new(T(B, Box::new(a), x, vx, b)),
[INFO] [stdout]    |                                               ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 42 -             Box::new(T(B, Box::new(a), x, vx, b)),
[INFO] [stdout] 42 +             Box::new(T(B, Box::new(a), x, vx, B)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `y` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:43:13
[INFO] [stdout]    |
[INFO] [stdout] 43 |             y,
[INFO] [stdout]    |             ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 43 -             y,
[INFO] [stdout] 43 +             B,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vy` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:44:13
[INFO] [stdout]    |
[INFO] [stdout] 44 |             vy,
[INFO] [stdout]    |             ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 44 -             vy,
[INFO] [stdout] 44 +             vx,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:45:27
[INFO] [stdout]    |
[INFO] [stdout] 45 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]    |                           ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 45 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 45 +             Box::new(T(B, B, z, vz, d)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `c` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:52:27
[INFO] [stdout]    |
[INFO] [stdout] 52 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]    |                           ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 52 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 52 +             Box::new(T(B, B, z, vz, d)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `z` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:52:30
[INFO] [stdout]    |
[INFO] [stdout] 52 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]    |                              ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 52 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 52 +             Box::new(T(B, c, B, vz, d)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `vz` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:52:33
[INFO] [stdout]    |
[INFO] [stdout] 52 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]    |                                 ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 52 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 52 +             Box::new(T(B, c, z, vx, d)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `d` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:52:37
[INFO] [stdout]    |
[INFO] [stdout] 52 |             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout]    |                                     ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 52 -             Box::new(T(B, c, z, vz, d)),
[INFO] [stdout] 52 +             Box::new(T(B, c, z, vz, B)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:64:44
[INFO] [stdout]    |
[INFO] [stdout] 64 |                     balance(rb, ins(x, vx, a), y, vy, b)
[INFO] [stdout]    |                                            ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 64 -                     balance(rb, ins(x, vx, a), y, vy, b)
[INFO] [stdout] 64 +                     balance(rb, ins(x, vx, B), y, vy, b)
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:64:55
[INFO] [stdout]    |
[INFO] [stdout] 64 |                     balance(rb, ins(x, vx, a), y, vy, b)
[INFO] [stdout]    |                                                       ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 64 -                     balance(rb, ins(x, vx, a), y, vy, b)
[INFO] [stdout] 64 +                     balance(rb, ins(x, vx, a), y, vy, B)
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:66:33
[INFO] [stdout]    |
[INFO] [stdout] 66 |                     balance(rb, a, y, vy, ins(x, vx, b))
[INFO] [stdout]    |                                 ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 66 -                     balance(rb, a, y, vy, ins(x, vx, b))
[INFO] [stdout] 66 +                     balance(rb, B, y, vy, ins(x, vx, b))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:66:54
[INFO] [stdout]    |
[INFO] [stdout] 66 |                     balance(rb, a, y, vy, ins(x, vx, b))
[INFO] [stdout]    |                                                      ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 66 -                     balance(rb, a, y, vy, ins(x, vx, b))
[INFO] [stdout] 66 +                     balance(rb, a, y, vy, ins(x, vx, B))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `a` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:68:36
[INFO] [stdout]    |
[INFO] [stdout] 68 |                     T(rb, Box::new(a), y, vx, Box::new(b))
[INFO] [stdout]    |                                    ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 68 -                     T(rb, Box::new(a), y, vx, Box::new(b))
[INFO] [stdout] 68 +                     T(rb, Box::new(B), y, vx, Box::new(b))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `b` in this scope
[INFO] [stdout]   --> src/strategies/bespoke.rs:68:56
[INFO] [stdout]    |
[INFO] [stdout] 68 |                     T(rb, Box::new(a), y, vx, Box::new(b))
[INFO] [stdout]    |                                                        ^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/implementation.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  8 |     B,
[INFO] [stdout]    |     - similarly named unit variant `B` defined here
[INFO] [stdout]    |
[INFO] [stdout] help: a unit variant with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 68 -                     T(rb, Box::new(a), y, vx, Box::new(b))
[INFO] [stdout] 68 +                     T(rb, Box::new(a), y, vx, Box::new(B))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0425, E0557.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rbt` (lib test) due to 109 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] Some errors have detailed explanations: E0425, E0557.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rbt` (lib) due to 109 previous errors
[INFO] running `Command { std: "docker" "inspect" "cebed789638b99be44fa7909317dccd09e98c5b630b211abe2647f503fab3fbb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cebed789638b99be44fa7909317dccd09e98c5b630b211abe2647f503fab3fbb", kill_on_drop: false }`
[INFO] [stdout] cebed789638b99be44fa7909317dccd09e98c5b630b211abe2647f503fab3fbb
