[INFO] fetching crate logicng 0.1.0-alpha.3... [INFO] checking logicng-0.1.0-alpha.3 against master#cf38b8e663f15db10ce49d7bbce02c99fc3dbc0c for pr-143170 [INFO] extracting crate logicng 0.1.0-alpha.3 into /workspace/builds/worker-6-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-6-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate logicng 0.1.0-alpha.3 on toolchain cf38b8e663f15db10ce49d7bbce02c99fc3dbc0c [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cf38b8e663f15db10ce49d7bbce02c99fc3dbc0c" "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" "+cf38b8e663f15db10ce49d7bbce02c99fc3dbc0c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded cxxbridge-flags v1.0.107 [INFO] [stderr] Downloaded cxxbridge-macro v1.0.107 [INFO] [stderr] Downloaded cxx-build v1.0.107 [INFO] [stderr] Downloaded logicng-open-wbo-sys v0.1.0-alpha.3 [INFO] [stderr] Downloaded cxx v1.0.107 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+cf38b8e663f15db10ce49d7bbce02c99fc3dbc0c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] bf217e013889815c553951291723738229b40f9d362fa357b442c9f5d21d043c [INFO] running `Command { std: "docker" "start" "-a" "bf217e013889815c553951291723738229b40f9d362fa357b442c9f5d21d043c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "bf217e013889815c553951291723738229b40f9d362fa357b442c9f5d21d043c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "bf217e013889815c553951291723738229b40f9d362fa357b442c9f5d21d043c", kill_on_drop: false }` [INFO] [stdout] bf217e013889815c553951291723738229b40f9d362fa357b442c9f5d21d043c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+cf38b8e663f15db10ce49d7bbce02c99fc3dbc0c" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] f6d58fb44badf61cafe504298613aa2ebbe1d5e53d591d233d10e760610d23cf [INFO] running `Command { std: "docker" "start" "-a" "f6d58fb44badf61cafe504298613aa2ebbe1d5e53d591d233d10e760610d23cf", kill_on_drop: false }` [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 num-traits v0.2.16 [INFO] [stderr] Checking memchr v2.6.3 [INFO] [stderr] Compiling ucd-trie v0.1.6 [INFO] [stderr] Compiling libc v0.2.147 [INFO] [stderr] Compiling lock_api v0.4.10 [INFO] [stderr] Compiling num-integer v0.1.45 [INFO] [stderr] Compiling once_cell v1.18.0 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Compiling parking_lot_core v0.9.8 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Checking smallvec v1.11.0 [INFO] [stderr] Checking regex-syntax v0.7.5 [INFO] [stderr] Checking tap v1.0.1 [INFO] [stderr] Checking hashbrown v0.14.0 [INFO] [stderr] Checking wyz v0.5.1 [INFO] [stderr] Checking either v1.9.0 [INFO] [stderr] Checking funty v2.0.0 [INFO] [stderr] Checking fastrand v2.0.0 [INFO] [stderr] Checking itertools v0.11.0 [INFO] [stderr] Checking aho-corasick v1.0.5 [INFO] [stderr] Checking bitvec v1.0.1 [INFO] [stderr] Checking dashmap v5.5.3 [INFO] [stderr] Compiling quote v1.0.33 [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: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> src/formulas/formula.rs:173:28 [INFO] [stdout] | [INFO] [stdout] 173 | pub fn unpack(self, f: &FormulaFactory) -> Formula { [INFO] [stdout] | ^^^^^^^^^^^^^^^ ------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 173 | pub fn unpack(self, f: &FormulaFactory) -> Formula<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be 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 lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 734 | pub fn string_variables(self, f: &FormulaFactory) -> BTreeSet> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be 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 lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 784 | pub fn string_literals(self, f: &FormulaFactory) -> BTreeSet> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be 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 gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 45 | pub fn get_iter(&self, index: FormulaEncoding) -> NaryIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be 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 lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for 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: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> src/formulas/formula.rs:173:28 [INFO] [stdout] | [INFO] [stdout] 173 | pub fn unpack(self, f: &FormulaFactory) -> Formula { [INFO] [stdout] | ^^^^^^^^^^^^^^^ ------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 173 | pub fn unpack(self, f: &FormulaFactory) -> Formula<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be 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 lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 734 | pub fn string_variables(self, f: &FormulaFactory) -> BTreeSet> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be 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 lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 784 | pub fn string_literals(self, f: &FormulaFactory) -> BTreeSet> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be 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 gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 45 | pub fn get_iter(&self, index: FormulaEncoding) -> NaryIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be 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 lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 31 | pub fn string_literals(formula: EncodedFormula, f: &FormulaFactory) -> BTreeSet> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be 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 lifetime gets resolved as `'static` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to 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: lifetime flowing from input to output with different syntax can be 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 lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for 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 17.88s [INFO] running `Command { std: "docker" "inspect" "f6d58fb44badf61cafe504298613aa2ebbe1d5e53d591d233d10e760610d23cf", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f6d58fb44badf61cafe504298613aa2ebbe1d5e53d591d233d10e760610d23cf", kill_on_drop: false }` [INFO] [stdout] f6d58fb44badf61cafe504298613aa2ebbe1d5e53d591d233d10e760610d23cf