[INFO] fetching crate implies 0.4.5...
[INFO] testing implies-0.4.5 against master#c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 for pr-146098-7
[INFO] extracting crate implies 0.4.5 into /workspace/builds/worker-0-tc1/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-0-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate implies 0.4.5 on toolchain c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "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" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "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.27.1)
[INFO] [stderr]       Adding pyo3-build-config v0.20.3 (available: v0.27.1)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded pyo3-macros v0.19.2
[INFO] [stderr]   Downloaded pyo3-macros-backend v0.19.2
[INFO] [stderr]   Downloaded cascade v1.0.1
[INFO] [stderr]   Downloaded unindent v0.1.11
[INFO] [stderr]   Downloaded pyo3-build-config v0.19.2
[INFO] [stderr]   Downloaded pyo3-ffi v0.19.2
[INFO] [stderr]   Downloaded pyo3 v0.19.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 89b44eade32a0c32bb876c589b6e4e8d2cedf5567a1f5bf52658bb758bbe75b0
[INFO] running `Command { std: "docker" "start" "-a" "89b44eade32a0c32bb876c589b6e4e8d2cedf5567a1f5bf52658bb758bbe75b0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "89b44eade32a0c32bb876c589b6e4e8d2cedf5567a1f5bf52658bb758bbe75b0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "89b44eade32a0c32bb876c589b6e4e8d2cedf5567a1f5bf52658bb758bbe75b0", kill_on_drop: false }`
[INFO] [stdout] 89b44eade32a0c32bb876c589b6e4e8d2cedf5567a1f5bf52658bb758bbe75b0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 08220567c1e384e82dc1ea879e95cffd2a8c32be6292946ab2b67ea8633a7359
[INFO] running `Command { std: "docker" "start" "-a" "08220567c1e384e82dc1ea879e95cffd2a8c32be6292946ab2b67ea8633a7359", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.110
[INFO] [stderr]    Compiling implies v0.4.5 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling cascade v1.0.1
[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]    Compiling 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] [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 6.74s
[INFO] running `Command { std: "docker" "inspect" "08220567c1e384e82dc1ea879e95cffd2a8c32be6292946ab2b67ea8633a7359", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "08220567c1e384e82dc1ea879e95cffd2a8c32be6292946ab2b67ea8633a7359", kill_on_drop: false }`
[INFO] [stdout] 08220567c1e384e82dc1ea879e95cffd2a8c32be6292946ab2b67ea8633a7359
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c45c1195252159d6b5b3f687b9efa16c7b535d479218097ebb351ad7e36e120d
[INFO] running `Command { std: "docker" "start" "-a" "c45c1195252159d6b5b3f687b9efa16c7b535d479218097ebb351ad7e36e120d", kill_on_drop: false }`
[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 implies v0.4.5 (/opt/rustwide/workdir)
[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 `test` profile [unoptimized + debuginfo] target(s) in 1.19s
[INFO] running `Command { std: "docker" "inspect" "c45c1195252159d6b5b3f687b9efa16c7b535d479218097ebb351ad7e36e120d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c45c1195252159d6b5b3f687b9efa16c7b535d479218097ebb351ad7e36e120d", kill_on_drop: false }`
[INFO] [stdout] c45c1195252159d6b5b3f687b9efa16c7b535d479218097ebb351ad7e36e120d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 1425ef1c5b55e2cea051c9f0e27c385751c061c22ca14dca9aaab2b1c84b69c8
[INFO] running `Command { std: "docker" "start" "-a" "1425ef1c5b55e2cea051c9f0e27c385751c061c22ca14dca9aaab2b1c84b69c8", kill_on_drop: false }`
[INFO] [stderr] warning: unexpected `cfg` condition name: `features`
[INFO] [stderr]  --> build.rs:1:7
[INFO] [stderr]   |
[INFO] [stderr] 1 | #[cfg(features = "python")]
[INFO] [stderr]   |       ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr]   = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stderr] help: there is a config with a similar name and value
[INFO] [stderr]   |
[INFO] [stderr] 1 - #[cfg(features = "python")]
[INFO] [stderr] 1 + #[cfg(feature = "python")]
[INFO] [stderr]   |
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `features`
[INFO] [stderr]  --> build.rs:4:11
[INFO] [stderr]   |
[INFO] [stderr] 4 |     #[cfg(features = "python")]
[INFO] [stderr]   |           ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] help: there is a config with a similar name and value
[INFO] [stderr]   |
[INFO] [stderr] 4 -     #[cfg(features = "python")]
[INFO] [stderr] 4 +     #[cfg(feature = "python")]
[INFO] [stderr]   |
[INFO] [stderr] 
[INFO] [stderr] warning: `implies` (build script) generated 2 warnings
[INFO] [stderr] warning: method `apply` is never used
[INFO] [stderr]    --> src/formula.rs:577:8
[INFO] [stderr]     |
[INFO] [stderr] 362 | impl<B: Symbolic, U: Symbolic, A: Symbolic> Formula<B, U, A> {
[INFO] [stderr]     | ------------------------------------------------------------ method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 577 |     fn apply<F: FnMut(&Self) -> Option<()>>(&self, func: &mut F) -> Option<()> {
[INFO] [stderr]     |        ^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: multiple associated functions are never used
[INFO] [stderr]     --> src/formula.rs:968:8
[INFO] [stderr]      |
[INFO] [stderr]  961 | / impl<B, U, A> Formula<B, U, A>
[INFO] [stderr]  962 | | where
[INFO] [stderr]  963 | |     B: Symbolic + Sequence,
[INFO] [stderr]  964 | |     U: Symbolic + Sequence,
[INFO] [stderr]  965 | |     A: Symbolic,
[INFO] [stderr]      | |________________- associated functions in this implementation
[INFO] [stderr] ...
[INFO] [stderr]  968 |       fn num_binary() -> usize {
[INFO] [stderr]      |          ^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr]  972 |       fn num_unary() -> usize {
[INFO] [stderr]      |          ^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr]  976 |       fn unary_counting(offset: usize) -> HashMap<U, usize> {
[INFO] [stderr]      |          ^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr]  984 |       fn unary_str_counting(offset: usize) -> HashMap<String, usize> {
[INFO] [stderr]      |          ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr]  992 |       fn binary_counting(offset: usize) -> HashMap<B, usize> {
[INFO] [stderr]      |          ^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 1000 |       fn binary_str_counting(offset: usize) -> HashMap<String, usize> {
[INFO] [stderr]      |          ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 1008 |       fn operator_counting(offset: usize) -> HashMap<Symbol<B, U, A>, usize> {
[INFO] [stderr]      |          ^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 1021 |       fn operator_str_counting(offset: usize) -> HashMap<String, usize> {
[INFO] [stderr]      |          ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: enum `ModalUnary` is never used
[INFO] [stderr]   --> src/modal.rs:21:6
[INFO] [stderr]    |
[INFO] [stderr] 21 | enum ModalUnary {
[INFO] [stderr]    |      ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `ModalBinary` is never used
[INFO] [stderr]   --> src/modal.rs:67:6
[INFO] [stderr]    |
[INFO] [stderr] 67 | type ModalBinary = PropBinary;
[INFO] [stderr]    |      ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type alias `ModalFormula` is never used
[INFO] [stderr]   --> src/modal.rs:70:6
[INFO] [stderr]    |
[INFO] [stderr] 70 | type ModalFormula = Formula<ModalBinary, ModalUnary, Atom>;
[INFO] [stderr]    |      ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `implies` (lib test) generated 5 warnings
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/implies-706213f0f9c5db49)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test tests::prop_formula::atomic_matching ... ok
[INFO] [stdout] test tests::prop_formula::distribute_binary ... ok
[INFO] [stdout] test tests::prop_formula::parentheses_parse ... ok
[INFO] [stdout] test tests::prop_formula::read_and_write ... ok
[INFO] [stdout] test tests::prop_formula::to_tensor ... ok
[INFO] [stdout] test tests::prop_formula::zip_zip ... ok
[INFO] [stdout] test tests::prop_formula::rotation_and_precedence ... ok
[INFO] [stdout] test tests::prop_formula::symbol_parse ... ok
[INFO] [stdout] test tests::prop_formula::unary_over_binary ... ok
[INFO] [stdout] test tests::prop_formula::formula_parse ... ok
[INFO] [stdout] test tests::prop_formula::instantiation ... ok
[INFO] [stdout] test tests::prop_formula::stripping_parens ... ok
[INFO] [stdout] test tests::prop_formula::atomization ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "1425ef1c5b55e2cea051c9f0e27c385751c061c22ca14dca9aaab2b1c84b69c8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1425ef1c5b55e2cea051c9f0e27c385751c061c22ca14dca9aaab2b1c84b69c8", kill_on_drop: false }`
[INFO] [stdout] 1425ef1c5b55e2cea051c9f0e27c385751c061c22ca14dca9aaab2b1c84b69c8
