[INFO] fetching crate implies 0.4.5... [INFO] testing implies-0.4.5 against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1 [INFO] extracting crate implies 0.4.5 into /workspace/builds/worker-1-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-1-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate implies 0.4.5 on toolchain cdb45c87e2cd43495379f7e867e3cc15dcee9f93 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 38 packages to latest compatible versions [INFO] [stderr] Adding enum-iterator v1.5.0 (available: v2.1.0) [INFO] [stderr] Adding pyo3 v0.19.2 (available: v0.26.0) [INFO] [stderr] Adding pyo3-build-config v0.20.3 (available: v0.26.0) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "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-build-config v0.19.2 [INFO] [stderr] Downloaded cascade v1.0.1 [INFO] [stderr] Downloaded pyo3-macros-backend 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-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 2a43f5f5302856d6541d9156e418e6eb9cad8bb1110ba00abdfda5650394cc19 [INFO] running `Command { std: "docker" "start" "-a" "2a43f5f5302856d6541d9156e418e6eb9cad8bb1110ba00abdfda5650394cc19", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "2a43f5f5302856d6541d9156e418e6eb9cad8bb1110ba00abdfda5650394cc19", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2a43f5f5302856d6541d9156e418e6eb9cad8bb1110ba00abdfda5650394cc19", kill_on_drop: false }` [INFO] [stdout] 2a43f5f5302856d6541d9156e418e6eb9cad8bb1110ba00abdfda5650394cc19 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 8a347749fd7036614588f593e3fff2131f3532e2370b1fd8e1e3f4b701fbbd5c [INFO] running `Command { std: "docker" "start" "-a" "8a347749fd7036614588f593e3fff2131f3532e2370b1fd8e1e3f4b701fbbd5c", 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.106 [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.4.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 6.04s [INFO] running `Command { std: "docker" "inspect" "8a347749fd7036614588f593e3fff2131f3532e2370b1fd8e1e3f4b701fbbd5c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8a347749fd7036614588f593e3fff2131f3532e2370b1fd8e1e3f4b701fbbd5c", kill_on_drop: false }` [INFO] [stdout] 8a347749fd7036614588f593e3fff2131f3532e2370b1fd8e1e3f4b701fbbd5c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 72b0311ecfa7e0c6d36685d8e510c876ca46790f6a0e062c2e2fc03caf2bef6e [INFO] running `Command { std: "docker" "start" "-a" "72b0311ecfa7e0c6d36685d8e510c876ca46790f6a0e062c2e2fc03caf2bef6e", 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.09s [INFO] running `Command { std: "docker" "inspect" "72b0311ecfa7e0c6d36685d8e510c876ca46790f6a0e062c2e2fc03caf2bef6e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "72b0311ecfa7e0c6d36685d8e510c876ca46790f6a0e062c2e2fc03caf2bef6e", kill_on_drop: false }` [INFO] [stdout] 72b0311ecfa7e0c6d36685d8e510c876ca46790f6a0e062c2e2fc03caf2bef6e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 9fed3b9097a781aae1bec998c178e4152f552231ae0372088a95213edb4b3645 [INFO] running `Command { std: "docker" "start" "-a" "9fed3b9097a781aae1bec998c178e4152f552231ae0372088a95213edb4b3645", 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.05s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/implies-004d50f189bc5cb2) [INFO] [stdout] [INFO] [stdout] running 13 tests [INFO] [stdout] test tests::prop_formula::formula_parse ... ok [INFO] [stdout] test tests::prop_formula::atomic_matching ... ok [INFO] [stdout] test tests::prop_formula::atomization ... ok [INFO] [stdout] test tests::prop_formula::distribute_binary ... 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::parentheses_parse ... ok [INFO] [stdout] test tests::prop_formula::read_and_write ... ok [INFO] [stdout] test tests::prop_formula::rotation_and_precedence ... ok [INFO] [stdout] test tests::prop_formula::zip_zip ... ok [INFO] [stdout] test tests::prop_formula::stripping_parens ... ok [INFO] [stdout] test tests::prop_formula::instantiation ... 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" "9fed3b9097a781aae1bec998c178e4152f552231ae0372088a95213edb4b3645", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9fed3b9097a781aae1bec998c178e4152f552231ae0372088a95213edb4b3645", kill_on_drop: false }` [INFO] [stdout] 9fed3b9097a781aae1bec998c178e4152f552231ae0372088a95213edb4b3645