[INFO] fetching crate logicng 0.1.0-alpha.3... [INFO] checking logicng-0.1.0-alpha.3 against master#350d0ef0ec0493e6d21cfb265cb8211a0e74d766 for pr-145342-1 [INFO] extracting crate logicng 0.1.0-alpha.3 into /workspace/builds/worker-3-tc1/source [INFO] started tweaking crates.io crate logicng 0.1.0-alpha.3 [INFO] removed 7 missing examples [INFO] removed 2 missing tests [INFO] finished tweaking crates.io crate logicng 0.1.0-alpha.3 [INFO] tweaked toml for crates.io crate logicng 0.1.0-alpha.3 written to /workspace/builds/worker-3-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate logicng 0.1.0-alpha.3 on toolchain 350d0ef0ec0493e6d21cfb265cb8211a0e74d766 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate logicng 0.1.0-alpha.3 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded link-cplusplus v1.0.9 [INFO] [stderr] Downloaded cxxbridge-flags v1.0.107 [INFO] [stderr] Downloaded scratch v1.0.7 [INFO] [stderr] Downloaded pest_generator v2.7.3 [INFO] [stderr] Downloaded fastrand v2.0.0 [INFO] [stderr] Downloaded num-traits v0.2.16 [INFO] [stderr] Downloaded pest_derive v2.7.3 [INFO] [stderr] Downloaded pest_meta v2.7.3 [INFO] [stderr] Downloaded cxxbridge-macro v1.0.107 [INFO] [stderr] Downloaded cxx-build v1.0.107 [INFO] [stderr] Downloaded memchr v2.6.3 [INFO] [stderr] Downloaded logicng-open-wbo-sys v0.1.0-alpha.3 [INFO] [stderr] Downloaded pest v2.7.3 [INFO] [stderr] Downloaded syn v2.0.32 [INFO] [stderr] Downloaded cxx v1.0.107 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 417823bdf5da2ff02625ec04a5c7462f550f3d69fb4bc73ffb17bc1dd38a5f5b [INFO] running `Command { std: "docker" "start" "-a" "417823bdf5da2ff02625ec04a5c7462f550f3d69fb4bc73ffb17bc1dd38a5f5b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "417823bdf5da2ff02625ec04a5c7462f550f3d69fb4bc73ffb17bc1dd38a5f5b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "417823bdf5da2ff02625ec04a5c7462f550f3d69fb4bc73ffb17bc1dd38a5f5b", kill_on_drop: false }` [INFO] [stdout] 417823bdf5da2ff02625ec04a5c7462f550f3d69fb4bc73ffb17bc1dd38a5f5b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] adacfd59a1237978ca1c39622bc71f72fdc1700b550c75fa0816f63e2884a01f [INFO] running `Command { std: "docker" "start" "-a" "adacfd59a1237978ca1c39622bc71f72fdc1700b550c75fa0816f63e2884a01f", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.1.0 [INFO] [stderr] Compiling proc-macro2 v1.0.66 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Compiling thiserror v1.0.48 [INFO] [stderr] Compiling memchr v2.6.3 [INFO] [stderr] Compiling ucd-trie v0.1.6 [INFO] [stderr] Compiling libc v0.2.147 [INFO] [stderr] Compiling once_cell v1.18.0 [INFO] [stderr] Compiling parking_lot_core v0.9.8 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Checking smallvec v1.11.0 [INFO] [stderr] Checking scopeguard v1.2.0 [INFO] [stderr] Checking tap v1.0.1 [INFO] [stderr] Checking regex-syntax v0.7.5 [INFO] [stderr] Checking hashbrown v0.14.0 [INFO] [stderr] Checking wyz v0.5.1 [INFO] [stderr] Checking funty v2.0.0 [INFO] [stderr] Checking either v1.9.0 [INFO] [stderr] Checking fastrand v2.0.0 [INFO] [stderr] Compiling num-traits v0.2.16 [INFO] [stderr] Compiling lock_api v0.4.10 [INFO] [stderr] Compiling num-integer v0.1.45 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Checking itertools v0.11.0 [INFO] [stderr] Checking bitvec v1.0.1 [INFO] [stderr] Checking aho-corasick v1.0.5 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Checking dashmap v5.5.3 [INFO] [stderr] Compiling syn v2.0.32 [INFO] [stderr] Checking regex-automata v0.3.8 [INFO] [stderr] Compiling thiserror-impl v1.0.48 [INFO] [stderr] Checking regex v1.9.5 [INFO] [stderr] Compiling pest v2.7.3 [INFO] [stderr] Compiling pest_meta v2.7.3 [INFO] [stderr] Compiling pest_generator v2.7.3 [INFO] [stderr] Compiling pest_derive v2.7.3 [INFO] [stderr] Checking logicng v0.1.0-alpha.3 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `formula_on_solver_function::*` [INFO] [stdout] --> src/solver/functions/mod.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | pub use formula_on_solver_function::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `formula_on_solver_function::*` [INFO] [stdout] --> src/solver/functions/mod.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | pub use formula_on_solver_function::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/formulas/formula.rs:173:28 [INFO] [stdout] | [INFO] [stdout] 173 | pub fn unpack(self, f: &FormulaFactory) -> Formula { [INFO] [stdout] | ^^^^^^^^^^^^^^^ ------- the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 173 | pub fn unpack(self, f: &FormulaFactory) -> Formula<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/formulas/formula.rs:734:38 [INFO] [stdout] | [INFO] [stdout] 734 | pub fn string_variables(self, f: &FormulaFactory) -> BTreeSet> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ -------- the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 734 | pub fn string_variables(self, f: &FormulaFactory) -> BTreeSet> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/formulas/formula.rs:784:37 [INFO] [stdout] | [INFO] [stdout] 784 | pub fn string_literals(self, f: &FormulaFactory) -> BTreeSet { [INFO] [stdout] | ^^^^^^^^^^^^^^^ ------------- the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 784 | pub fn string_literals(self, f: &FormulaFactory) -> BTreeSet> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/formulas/formula_cache/nary_formula_cache.rs:45:21 [INFO] [stdout] | [INFO] [stdout] 45 | pub fn get_iter(&self, index: FormulaEncoding) -> NaryIterator { [INFO] [stdout] | ^^^^^ the lifetime is elided here ------------ the same lifetime is hidden here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 45 | pub fn get_iter(&self, index: FormulaEncoding) -> NaryIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/operations/functions/literals.rs:31:52 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn string_literals(formula: EncodedFormula, f: &FormulaFactory) -> BTreeSet { [INFO] [stdout] | ^^^^^^^^^^^^^^^ ------------- the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 31 | pub fn string_literals(formula: EncodedFormula, f: &FormulaFactory) -> BTreeSet> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: missing documentation for a method [INFO] [stdout] --> src/datastructures/ubtree.rs:90:5 [INFO] [stdout] | [INFO] [stdout] 90 | pub fn root_nodes(&self) -> &BTreeMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: the lint level is defined here [INFO] [stdout] --> src/lib.rs:2:57 [INFO] [stdout] | [INFO] [stdout] 2 | #![warn(clippy::all, clippy::pedantic, clippy::nursery, missing_docs)] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/formulas/formula.rs:173:28 [INFO] [stdout] | [INFO] [stdout] 173 | pub fn unpack(self, f: &FormulaFactory) -> Formula { [INFO] [stdout] | ^^^^^^^^^^^^^^^ ------- the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 173 | pub fn unpack(self, f: &FormulaFactory) -> Formula<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/formulas/formula.rs:734:38 [INFO] [stdout] | [INFO] [stdout] 734 | pub fn string_variables(self, f: &FormulaFactory) -> BTreeSet> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ -------- the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 734 | pub fn string_variables(self, f: &FormulaFactory) -> BTreeSet> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/formulas/formula.rs:784:37 [INFO] [stdout] | [INFO] [stdout] 784 | pub fn string_literals(self, f: &FormulaFactory) -> BTreeSet { [INFO] [stdout] | ^^^^^^^^^^^^^^^ ------------- the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 784 | pub fn string_literals(self, f: &FormulaFactory) -> BTreeSet> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/formulas/formula_cache/nary_formula_cache.rs:45:21 [INFO] [stdout] | [INFO] [stdout] 45 | pub fn get_iter(&self, index: FormulaEncoding) -> NaryIterator { [INFO] [stdout] | ^^^^^ the lifetime is elided here ------------ the same lifetime is hidden here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 45 | pub fn get_iter(&self, index: FormulaEncoding) -> NaryIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/operations/functions/literals.rs:31:52 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn string_literals(formula: EncodedFormula, f: &FormulaFactory) -> BTreeSet { [INFO] [stdout] | ^^^^^^^^^^^^^^^ ------------- the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 31 | pub fn string_literals(formula: EncodedFormula, f: &FormulaFactory) -> BTreeSet> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing [INFO] [stdout] --> src/util/test_util.rs:12:31 [INFO] [stdout] | [INFO] [stdout] 12 | pub fn string_vars(elements: &'static str) -> BTreeSet> { [INFO] [stdout] | ^^^^^^^ -------- the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is named here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: consistently use `'static` [INFO] [stdout] | [INFO] [stdout] 12 | pub fn string_vars(elements: &'static str) -> BTreeSet> { [INFO] [stdout] | ++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/util/test_util.rs:16:30 [INFO] [stdout] | [INFO] [stdout] 16 | pub fn string_lits(elements: &str) -> BTreeSet { [INFO] [stdout] | ^^^^ ------------- the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 16 | pub fn string_lits(elements: &str) -> BTreeSet> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 18.30s [INFO] running `Command { std: "docker" "inspect" "adacfd59a1237978ca1c39622bc71f72fdc1700b550c75fa0816f63e2884a01f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "adacfd59a1237978ca1c39622bc71f72fdc1700b550c75fa0816f63e2884a01f", kill_on_drop: false }` [INFO] [stdout] adacfd59a1237978ca1c39622bc71f72fdc1700b550c75fa0816f63e2884a01f