[INFO] cloning repository https://github.com/PiotrBieszczad/CS4535-Constraint-Solving [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/PiotrBieszczad/CS4535-Constraint-Solving" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FPiotrBieszczad%2FCS4535-Constraint-Solving", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FPiotrBieszczad%2FCS4535-Constraint-Solving'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] d31a359126a184184e074e56745ef483831590a3 [INFO] checking PiotrBieszczad/CS4535-Constraint-Solving against a5689b034ad287112f709693384a37f1377eb9cc for pr-129249-3 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FPiotrBieszczad%2FCS4535-Constraint-Solving" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/PiotrBieszczad/CS4535-Constraint-Solving [INFO] finished tweaking git repo https://github.com/PiotrBieszczad/CS4535-Constraint-Solving [INFO] tweaked toml for git repo https://github.com/PiotrBieszczad/CS4535-Constraint-Solving written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/PiotrBieszczad/CS4535-Constraint-Solving on toolchain a5689b034ad287112f709693384a37f1377eb9cc [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a5689b034ad287112f709693384a37f1377eb9cc" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/PiotrBieszczad/CS4535-Constraint-Solving 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" "+a5689b034ad287112f709693384a37f1377eb9cc" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }` [INFO] [stdout] 74bd71227db9e4347da70d08018c51b9f07da3cb1abb26799b223e73d91be57b [INFO] running `Command { std: "docker" "start" "74bd71227db9e4347da70d08018c51b9f07da3cb1abb26799b223e73d91be57b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "74bd71227db9e4347da70d08018c51b9f07da3cb1abb26799b223e73d91be57b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "74bd71227db9e4347da70d08018c51b9f07da3cb1abb26799b223e73d91be57b" "/opt/rustwide/cargo-home/bin/cargo" "+a5689b034ad287112f709693384a37f1377eb9cc" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "74bd71227db9e4347da70d08018c51b9f07da3cb1abb26799b223e73d91be57b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "74bd71227db9e4347da70d08018c51b9f07da3cb1abb26799b223e73d91be57b" "/opt/rustwide/cargo-home/bin/cargo" "+a5689b034ad287112f709693384a37f1377eb9cc" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.93 [INFO] [stderr] Compiling unicode-ident v1.0.15 [INFO] [stderr] Compiling libc v0.2.169 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Compiling rustix v0.38.44 [INFO] [stderr] Checking anstyle v1.0.10 [INFO] [stderr] Checking anstyle-parse v0.2.6 [INFO] [stderr] Checking anstyle-query v1.1.2 [INFO] [stderr] Checking linux-raw-sys v0.4.15 [INFO] [stderr] Checking colorchoice v1.0.3 [INFO] [stderr] Checking bitflags v2.8.0 [INFO] [stderr] Checking regex-syntax v0.8.5 [INFO] [stderr] Checking nom v7.1.3 [INFO] [stderr] Checking anstream v0.6.18 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling anyhow v1.0.97 [INFO] [stderr] Checking fastrand v2.3.0 [INFO] [stderr] Checking clap_lex v0.7.4 [INFO] [stderr] Checking once_cell v1.20.2 [INFO] [stderr] Checking clap_builder v4.5.32 [INFO] [stderr] Checking quick-error v1.2.3 [INFO] [stderr] Checking bit-vec v0.8.0 [INFO] [stderr] Checking bit-set v0.8.0 [INFO] [stderr] Compiling quote v1.0.38 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking wait-timeout v0.2.0 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling syn v2.0.96 [INFO] [stderr] Checking rand_xorshift v0.3.0 [INFO] [stderr] Checking unarray v0.1.4 [INFO] [stderr] Compiling signal-hook v0.3.17 [INFO] [stderr] Checking is-terminal v0.4.15 [INFO] [stderr] Checking signal-hook-registry v1.4.2 [INFO] [stderr] Checking winnow v0.6.24 [INFO] [stderr] Checking log v0.4.25 [INFO] [stderr] Checking bitfield v0.14.0 [INFO] [stderr] Checking regex-automata v0.4.9 [INFO] [stderr] Checking tempfile v3.15.0 [INFO] [stderr] Checking rusty-fork v0.3.0 [INFO] [stderr] Checking regex v1.11.1 [INFO] [stderr] Compiling darling_core v0.20.10 [INFO] [stderr] Checking env_logger v0.10.2 [INFO] [stderr] Compiling zerocopy-derive v0.7.35 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling clap_derive v4.5.32 [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Checking thiserror v1.0.69 [INFO] [stderr] Checking drcp-format v0.1.0 (/opt/rustwide/workdir/drcp-format) [INFO] [stderr] Checking ppv-lite86 v0.2.20 [INFO] [stderr] Checking clap v4.5.32 [INFO] [stderr] Checking drcp-debugger v0.1.0 (/opt/rustwide/workdir/drcp-debugger) [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Compiling darling_macro v0.20.10 [INFO] [stderr] Compiling darling v0.20.10 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Compiling enumset_derive v0.10.0 [INFO] [stderr] Checking enumset v1.1.5 [INFO] [stderr] Checking proptest v1.6.0 [INFO] [stderr] Checking dzn-rs v0.2.2 [INFO] [stderr] Checking munchkin v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error: useless conversion to the same type: `PropositionalConjunction` [INFO] [stdout] --> src/propagators/circuit/forward_checking.rs:77:17 [INFO] [stdout] | [INFO] [stdout] 77 | / self.explain_conflict(&context, SubCircuit, &self.successor[fixed], fixed as i32) [INFO] [stdout] 78 | | .into(), [INFO] [stdout] | |___________________________^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: `#[deny(self_type_conversion)]` on by default [INFO] [stdout] help: consider removing the conversion call [INFO] [stdout] | [INFO] [stdout] 77 - self.explain_conflict(&context, SubCircuit, &self.successor[fixed], fixed as i32) [INFO] [stdout] 78 - .into(), [INFO] [stdout] 77 + self.explain_conflict(&context, SubCircuit, &self.successor[fixed], fixed as i32), [INFO] [stdout] | [INFO] [stdout] help: you can use the fully-qualified path to avoid triggering this lint [INFO] [stdout] | [INFO] [stdout] 77 - self.explain_conflict(&context, SubCircuit, &self.successor[fixed], fixed as i32) [INFO] [stdout] 78 - .into(), [INFO] [stdout] 77 + >::into(self.explain_conflict(&context, SubCircuit, &self.successor[fixed], fixed as i32)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `TimeTableExplanation` [INFO] [stdout] --> src/propagators/cumulative/time_table.rs:129:15 [INFO] [stdout] | [INFO] [stdout] 129 | match e.into() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] help: consider removing the conversion call [INFO] [stdout] | [INFO] [stdout] 129 - match e.into() { [INFO] [stdout] 129 + match e { [INFO] [stdout] | [INFO] [stdout] help: you can use the fully-qualified path to avoid triggering this lint [INFO] [stdout] | [INFO] [stdout] 129 - match e.into() { [INFO] [stdout] 129 + match >::into(e) { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/basic_types/trail.rs:35:31 [INFO] [stdout] | [INFO] [stdout] 35 | pub(crate) fn synchronise(&mut self, new_decision_level: usize) -> Rev> { [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] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 35 | pub(crate) fn synchronise(&mut self, new_decision_level: usize) -> Rev> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/api/outputs/solution_iterator.rs:41:26 [INFO] [stdout] | [INFO] [stdout] 41 | pub fn next_solution(&mut self) -> IteratedSolution { [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] 41 | pub fn next_solution(&mut self) -> IteratedSolution<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `munchkin` (lib) due to 2 previous errors; 2 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: useless conversion to the same type: `propositional_conjunction::PropositionalConjunction` [INFO] [stdout] --> src/propagators/circuit/forward_checking.rs:77:17 [INFO] [stdout] | [INFO] [stdout] 77 | / self.explain_conflict(&context, SubCircuit, &self.successor[fixed], fixed as i32) [INFO] [stdout] 78 | | .into(), [INFO] [stdout] | |___________________________^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: `#[deny(self_type_conversion)]` on by default [INFO] [stdout] help: consider removing the conversion call [INFO] [stdout] | [INFO] [stdout] 77 - self.explain_conflict(&context, SubCircuit, &self.successor[fixed], fixed as i32) [INFO] [stdout] 78 - .into(), [INFO] [stdout] 77 + self.explain_conflict(&context, SubCircuit, &self.successor[fixed], fixed as i32), [INFO] [stdout] | [INFO] [stdout] help: you can use the fully-qualified path to avoid triggering this lint [INFO] [stdout] | [INFO] [stdout] 77 - self.explain_conflict(&context, SubCircuit, &self.successor[fixed], fixed as i32) [INFO] [stdout] 78 - .into(), [INFO] [stdout] 77 + >::into(self.explain_conflict(&context, SubCircuit, &self.successor[fixed], fixed as i32)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `TimeTableExplanation` [INFO] [stdout] --> src/propagators/cumulative/time_table.rs:129:15 [INFO] [stdout] | [INFO] [stdout] 129 | match e.into() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] help: consider removing the conversion call [INFO] [stdout] | [INFO] [stdout] 129 - match e.into() { [INFO] [stdout] 129 + match e { [INFO] [stdout] | [INFO] [stdout] help: you can use the fully-qualified path to avoid triggering this lint [INFO] [stdout] | [INFO] [stdout] 129 - match e.into() { [INFO] [stdout] 129 + match >::into(e) { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/basic_types/trail.rs:35:31 [INFO] [stdout] | [INFO] [stdout] 35 | pub(crate) fn synchronise(&mut self, new_decision_level: usize) -> Rev> { [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] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 35 | pub(crate) fn synchronise(&mut self, new_decision_level: usize) -> Rev> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/api/outputs/solution_iterator.rs:41:26 [INFO] [stdout] | [INFO] [stdout] 41 | pub fn next_solution(&mut self) -> IteratedSolution { [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] 41 | pub fn next_solution(&mut self) -> IteratedSolution<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `munchkin` (lib test) due to 2 previous errors; 2 warnings emitted [INFO] [stderr] warning: unused dependency `env_logger` [INFO] [stderr] --> Cargo.toml:6:1 [INFO] [stderr] | [INFO] [stderr] 6 | env_logger = "0.10.0" [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `cargo::unused_dependencies` is set to `warn` by default [INFO] [stderr] help: consider removing the dependency on `env_logger` [INFO] [stderr] warning: `munchkin` (manifest) generated 1 warning [INFO] running `Command { std: "docker" "inspect" "74bd71227db9e4347da70d08018c51b9f07da3cb1abb26799b223e73d91be57b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "74bd71227db9e4347da70d08018c51b9f07da3cb1abb26799b223e73d91be57b", kill_on_drop: false }` [INFO] [stdout] 74bd71227db9e4347da70d08018c51b9f07da3cb1abb26799b223e73d91be57b