[INFO] fetching crate implies 0.4.5...
[INFO] checking implies-0.4.5 against try#38c2997544af84fe301d600d6896397738163002 for pr-154205-1
[INFO] extracting crate implies 0.4.5 into /workspace/builds/worker-7-tc2/source
[INFO] started tweaking crates.io crate implies 0.4.5
[INFO] finished tweaking crates.io crate implies 0.4.5
[INFO] tweaked toml for crates.io crate implies 0.4.5 written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate implies 0.4.5 on toolchain 38c2997544af84fe301d600d6896397738163002
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+38c2997544af84fe301d600d6896397738163002" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+38c2997544af84fe301d600d6896397738163002" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 30 packages to latest compatible versions
[INFO] [stderr]       Adding enum-iterator v1.5.0 (available: v2.3.0)
[INFO] [stderr]       Adding pyo3 v0.19.2 (available: v0.28.2)
[INFO] [stderr]       Adding pyo3-build-config v0.20.3 (available: v0.28.2)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+38c2997544af84fe301d600d6896397738163002" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+38c2997544af84fe301d600d6896397738163002" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6a9016910b9d707cb9bf22b1e5be17486737df58182e87ee11918014e7b8fc32
[INFO] running `Command { std: "docker" "start" "-a" "6a9016910b9d707cb9bf22b1e5be17486737df58182e87ee11918014e7b8fc32", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6a9016910b9d707cb9bf22b1e5be17486737df58182e87ee11918014e7b8fc32", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6a9016910b9d707cb9bf22b1e5be17486737df58182e87ee11918014e7b8fc32", kill_on_drop: false }`
[INFO] [stdout] 6a9016910b9d707cb9bf22b1e5be17486737df58182e87ee11918014e7b8fc32
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+38c2997544af84fe301d600d6896397738163002" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7b213796077a3f861833cbf2c78f2684fe185d317dbb27f12d9f12f453311a9e
[INFO] running `Command { std: "docker" "start" "-a" "7b213796077a3f861833cbf2c78f2684fe185d317dbb27f12d9f12f453311a9e", kill_on_drop: false }`
[INFO] [stderr]    Compiling implies v0.4.5 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking cascade v1.0.1
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stdout] warning: unexpected `cfg` condition name: `features`
[INFO] [stdout]  --> build.rs:1:7
[INFO] [stdout]   |
[INFO] [stdout] 1 | #[cfg(features = "python")]
[INFO] [stdout]   |       ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]   = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] help: there is a config with a similar name and value
[INFO] [stdout]   |
[INFO] [stdout] 1 - #[cfg(features = "python")]
[INFO] [stdout] 1 + #[cfg(feature = "python")]
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `features`
[INFO] [stdout]  --> build.rs:4:11
[INFO] [stdout]   |
[INFO] [stdout] 4 |     #[cfg(features = "python")]
[INFO] [stdout]   |           ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] help: there is a config with a similar name and value
[INFO] [stdout]   |
[INFO] [stdout] 4 -     #[cfg(features = "python")]
[INFO] [stdout] 4 +     #[cfg(feature = "python")]
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling enum-iterator-derive v1.5.0
[INFO] [stderr]     Checking enum-iterator v1.5.0
[INFO] [stdout] warning: unused imports: `Tree` and `Zipper`
[INFO] [stdout]  --> src/tests/prop_formula.rs:1:22
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::formula::{Tree, Zipper};
[INFO] [stdout]   |                      ^^^^  ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Match`, `ParseError`, `ParsedSymbols`, `build_formula`, `build_tree`, `main_operator`, and `strip_parentheses`
[INFO] [stdout]  --> src/tests/prop_formula.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 |     build_formula, build_tree, main_operator, strip_parentheses, Match, ParseError, ParsedSymbols,
[INFO] [stdout]   |     ^^^^^^^^^^^^^  ^^^^^^^^^^  ^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^  ^^^^^  ^^^^^^^^^^  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Atom`, `PropBinary`, `PropFormula`, `PropSymbol`, and `PropUnary`
[INFO] [stdout]  --> src/tests/prop_formula.rs:5:19
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::prop::{Atom, PropBinary, PropFormula, PropSymbol, PropUnary};
[INFO] [stdout]   |                   ^^^^  ^^^^^^^^^^  ^^^^^^^^^^^  ^^^^^^^^^^  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::symbol::Symbol`
[INFO] [stdout]  --> src/tests/prop_formula.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::symbol::Symbol;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `cascade::cascade`
[INFO] [stdout]  --> src/tests/prop_formula.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use cascade::cascade;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `HashMap` and `HashSet`
[INFO] [stdout]  --> src/tests/prop_formula.rs:8:24
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::collections::{HashMap, HashSet};
[INFO] [stdout]   |                        ^^^^^^^  ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/formula.rs:43:18","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/formula.rs:1042:18","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/modal.rs:35:41","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/modal.rs:36:45","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/modal.rs:37:41","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/parser.rs:53:26","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/parser.rs:56:26","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/parser.rs:59:26","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/parser.rs:62:26","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/parser.rs:65:26","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/parser.rs:68:26","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/prop.rs:21:40","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/prop.rs:64:41","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/prop.rs:65:45","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/prop.rs:66:41","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/prop.rs:67:40","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/symbol.rs:43:26","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/symbol.rs:46:26","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/symbol.rs:49:26","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/symbol.rs:52:26","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/symbol.rs:55:26","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/symbol.rs:160:22","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/symbol.rs:162:22","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/formula.rs:43:18","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/formula.rs:1042:18","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/modal.rs:35:41","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/modal.rs:36:45","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/modal.rs:37:41","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/parser.rs:53:26","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/parser.rs:56:26","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/parser.rs:59:26","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/parser.rs:62:26","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/parser.rs:65:26","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/parser.rs:68:26","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/prop.rs:21:40","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/prop.rs:64:41","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/prop.rs:65:45","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/prop.rs:66:41","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/prop.rs:67:40","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/symbol.rs:43:26","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/symbol.rs:46:26","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/symbol.rs:49:26","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/symbol.rs:52:26","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/symbol.rs:55:26","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/symbol.rs:160:22","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stderr] [FMTARGS] {"crate":"implies","loc":"src/symbol.rs:162:22","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16}
[INFO] [stdout] warning: method `apply` is never used
[INFO] [stdout]    --> src/formula.rs:577:8
[INFO] [stdout]     |
[INFO] [stdout] 362 | impl<B: Symbolic, U: Symbolic, A: Symbolic> Formula<B, U, A> {
[INFO] [stdout]     | ------------------------------------------------------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 577 |     fn apply<F: FnMut(&Self) -> Option<()>>(&self, func: &mut F) -> Option<()> {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated functions are never used
[INFO] [stdout]     --> src/formula.rs:968:8
[INFO] [stdout]      |
[INFO] [stdout]  961 | / impl<B, U, A> Formula<B, U, A>
[INFO] [stdout]  962 | | where
[INFO] [stdout]  963 | |     B: Symbolic + Sequence,
[INFO] [stdout]  964 | |     U: Symbolic + Sequence,
[INFO] [stdout]  965 | |     A: Symbolic,
[INFO] [stdout]      | |________________- associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout]  968 |       fn num_binary() -> usize {
[INFO] [stdout]      |          ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  972 |       fn num_unary() -> usize {
[INFO] [stdout]      |          ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  976 |       fn unary_counting(offset: usize) -> HashMap<U, usize> {
[INFO] [stdout]      |          ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  984 |       fn unary_str_counting(offset: usize) -> HashMap<String, usize> {
[INFO] [stdout]      |          ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  992 |       fn binary_counting(offset: usize) -> HashMap<B, usize> {
[INFO] [stdout]      |          ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1000 |       fn binary_str_counting(offset: usize) -> HashMap<String, usize> {
[INFO] [stdout]      |          ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1008 |       fn operator_counting(offset: usize) -> HashMap<Symbol<B, U, A>, usize> {
[INFO] [stdout]      |          ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1021 |       fn operator_str_counting(offset: usize) -> HashMap<String, usize> {
[INFO] [stdout]      |          ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `ModalUnary` is never used
[INFO] [stdout]   --> src/modal.rs:21:6
[INFO] [stdout]    |
[INFO] [stdout] 21 | enum ModalUnary {
[INFO] [stdout]    |      ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `ModalBinary` is never used
[INFO] [stdout]   --> src/modal.rs:67:6
[INFO] [stdout]    |
[INFO] [stdout] 67 | type ModalBinary = PropBinary;
[INFO] [stdout]    |      ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `ModalFormula` is never used
[INFO] [stdout]   --> src/modal.rs:70:6
[INFO] [stdout]    |
[INFO] [stdout] 70 | type ModalFormula = Formula<ModalBinary, ModalUnary, Atom>;
[INFO] [stdout]    |      ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `apply` is never used
[INFO] [stdout]    --> src/formula.rs:577:8
[INFO] [stdout]     |
[INFO] [stdout] 362 | impl<B: Symbolic, U: Symbolic, A: Symbolic> Formula<B, U, A> {
[INFO] [stdout]     | ------------------------------------------------------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 577 |     fn apply<F: FnMut(&Self) -> Option<()>>(&self, func: &mut F) -> Option<()> {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated functions are never used
[INFO] [stdout]     --> src/formula.rs:968:8
[INFO] [stdout]      |
[INFO] [stdout]  961 | / impl<B, U, A> Formula<B, U, A>
[INFO] [stdout]  962 | | where
[INFO] [stdout]  963 | |     B: Symbolic + Sequence,
[INFO] [stdout]  964 | |     U: Symbolic + Sequence,
[INFO] [stdout]  965 | |     A: Symbolic,
[INFO] [stdout]      | |________________- associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout]  968 |       fn num_binary() -> usize {
[INFO] [stdout]      |          ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  972 |       fn num_unary() -> usize {
[INFO] [stdout]      |          ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  976 |       fn unary_counting(offset: usize) -> HashMap<U, usize> {
[INFO] [stdout]      |          ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  984 |       fn unary_str_counting(offset: usize) -> HashMap<String, usize> {
[INFO] [stdout]      |          ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  992 |       fn binary_counting(offset: usize) -> HashMap<B, usize> {
[INFO] [stdout]      |          ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1000 |       fn binary_str_counting(offset: usize) -> HashMap<String, usize> {
[INFO] [stdout]      |          ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1008 |       fn operator_counting(offset: usize) -> HashMap<Symbol<B, U, A>, usize> {
[INFO] [stdout]      |          ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1021 |       fn operator_str_counting(offset: usize) -> HashMap<String, usize> {
[INFO] [stdout]      |          ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `ModalUnary` is never used
[INFO] [stdout]   --> src/modal.rs:21:6
[INFO] [stdout]    |
[INFO] [stdout] 21 | enum ModalUnary {
[INFO] [stdout]    |      ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `ModalBinary` is never used
[INFO] [stdout]   --> src/modal.rs:67:6
[INFO] [stdout]    |
[INFO] [stdout] 67 | type ModalBinary = PropBinary;
[INFO] [stdout]    |      ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `ModalFormula` is never used
[INFO] [stdout]   --> src/modal.rs:70:6
[INFO] [stdout]    |
[INFO] [stdout] 70 | type ModalFormula = Formula<ModalBinary, ModalUnary, Atom>;
[INFO] [stdout]    |      ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 3.92s
[INFO] running `Command { std: "docker" "inspect" "7b213796077a3f861833cbf2c78f2684fe185d317dbb27f12d9f12f453311a9e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7b213796077a3f861833cbf2c78f2684fe185d317dbb27f12d9f12f453311a9e", kill_on_drop: false }`
[INFO] [stdout] 7b213796077a3f861833cbf2c78f2684fe185d317dbb27f12d9f12f453311a9e