[INFO] fetching crate implies 0.4.5... [INFO] testing implies-0.4.5 against try#c2e32f1c9652b13ed99608599c1e855462f421f3 for pr-146098-7 [INFO] extracting crate implies 0.4.5 into /workspace/builds/worker-0-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-0-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate implies 0.4.5 on toolchain c2e32f1c9652b13ed99608599c1e855462f421f3 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "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" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "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" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 9457126fb313649f721662e62880d8782a07aadb3ec6233eac0f8fa0110e0b46 [INFO] running `Command { std: "docker" "start" "-a" "9457126fb313649f721662e62880d8782a07aadb3ec6233eac0f8fa0110e0b46", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "9457126fb313649f721662e62880d8782a07aadb3ec6233eac0f8fa0110e0b46", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9457126fb313649f721662e62880d8782a07aadb3ec6233eac0f8fa0110e0b46", kill_on_drop: false }` [INFO] [stdout] 9457126fb313649f721662e62880d8782a07aadb3ec6233eac0f8fa0110e0b46 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 34bec874da535fc542e126162d830b21f5c595ceb24a9755c3b83632bff18a27 [INFO] running `Command { std: "docker" "start" "-a" "34bec874da535fc542e126162d830b21f5c595ceb24a9755c3b83632bff18a27", kill_on_drop: false }` [INFO] [stderr] Compiling implies v0.4.5 (/opt/rustwide/workdir) [INFO] [stderr] Compiling cascade v1.0.1 [INFO] [stderr] Compiling syn v2.0.110 [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 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 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 Formula { [INFO] [stdout] | ------------------------------------------------------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 577 | fn apply 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 Formula [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 { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 984 | fn unary_str_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 992 | fn binary_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1000 | fn binary_str_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1008 | fn operator_counting(offset: usize) -> HashMap, usize> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1021 | fn operator_str_counting(offset: usize) -> HashMap { [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; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 7.00s [INFO] running `Command { std: "docker" "inspect" "34bec874da535fc542e126162d830b21f5c595ceb24a9755c3b83632bff18a27", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "34bec874da535fc542e126162d830b21f5c595ceb24a9755c3b83632bff18a27", kill_on_drop: false }` [INFO] [stdout] 34bec874da535fc542e126162d830b21f5c595ceb24a9755c3b83632bff18a27 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5c8ad8b0954fde4269cd9b51586219623a67976845447c28a364704b07d9f3d8 [INFO] running `Command { std: "docker" "start" "-a" "5c8ad8b0954fde4269cd9b51586219623a67976845447c28a364704b07d9f3d8", 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 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 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 Formula { [INFO] [stdout] | ------------------------------------------------------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 577 | fn apply 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 Formula [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 { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 984 | fn unary_str_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 992 | fn binary_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1000 | fn binary_str_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1008 | fn operator_counting(offset: usize) -> HashMap, usize> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1021 | fn operator_str_counting(offset: usize) -> HashMap { [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; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 1.28s [INFO] running `Command { std: "docker" "inspect" "5c8ad8b0954fde4269cd9b51586219623a67976845447c28a364704b07d9f3d8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5c8ad8b0954fde4269cd9b51586219623a67976845447c28a364704b07d9f3d8", kill_on_drop: false }` [INFO] [stdout] 5c8ad8b0954fde4269cd9b51586219623a67976845447c28a364704b07d9f3d8 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] d6fa52a6bbf761f63c122bcfd3047ca0ddb04d01490704194ece73f84c2e7a1d [INFO] running `Command { std: "docker" "start" "-a" "d6fa52a6bbf761f63c122bcfd3047ca0ddb04d01490704194ece73f84c2e7a1d", 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 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 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 Formula { [INFO] [stderr] | ------------------------------------------------------------ method in this implementation [INFO] [stderr] ... [INFO] [stderr] 577 | fn apply 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 Formula [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 { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 984 | fn unary_str_counting(offset: usize) -> HashMap { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 992 | fn binary_counting(offset: usize) -> HashMap { [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 1000 | fn binary_str_counting(offset: usize) -> HashMap { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 1008 | fn operator_counting(offset: usize) -> HashMap, usize> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 1021 | fn operator_str_counting(offset: usize) -> HashMap { [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; [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `implies` (lib test) generated 5 warnings [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s [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::formula_parse ... ok [INFO] [stdout] test tests::prop_formula::distribute_binary ... ok [INFO] [stdout] test tests::prop_formula::atomization ... ok [INFO] [stdout] test tests::prop_formula::parentheses_parse ... ok [INFO] [stdout] test tests::prop_formula::rotation_and_precedence ... 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::unary_over_binary ... ok [INFO] [stdout] test tests::prop_formula::zip_zip ... ok [INFO] [stdout] test tests::prop_formula::instantiation ... ok [INFO] [stdout] test tests::prop_formula::stripping_parens ... ok [INFO] [stdout] test tests::prop_formula::symbol_parse ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "d6fa52a6bbf761f63c122bcfd3047ca0ddb04d01490704194ece73f84c2e7a1d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d6fa52a6bbf761f63c122bcfd3047ca0ddb04d01490704194ece73f84c2e7a1d", kill_on_drop: false }` [INFO] [stdout] d6fa52a6bbf761f63c122bcfd3047ca0ddb04d01490704194ece73f84c2e7a1d