[INFO] cloning repository https://github.com/MarkasAis/pumpkin
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/MarkasAis/pumpkin" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarkasAis%2Fpumpkin", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarkasAis%2Fpumpkin'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 601a2c564ecaa60bcb328daf88754981c6987c1b
[INFO] checking MarkasAis/pumpkin/601a2c564ecaa60bcb328daf88754981c6987c1b against master#779e19d8baa3e3625bd4fc5c85cbb2ad47b43155 for pr-147589-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarkasAis%2Fpumpkin" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-3-tc1/source/.cargo/config.toml
[INFO] removed /workspace/builds/worker-3-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/MarkasAis/pumpkin
[INFO] finished tweaking git repo https://github.com/MarkasAis/pumpkin
[INFO] tweaked toml for git repo https://github.com/MarkasAis/pumpkin written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/MarkasAis/pumpkin on toolchain 779e19d8baa3e3625bd4fc5c85cbb2ad47b43155
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+779e19d8baa3e3625bd4fc5c85cbb2ad47b43155" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/MarkasAis/pumpkin 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" "+779e19d8baa3e3625bd4fc5c85cbb2ad47b43155" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded pyo3-macros v0.23.3
[INFO] [stderr]   Downloaded pyo3-build-config v0.23.3
[INFO] [stderr]   Downloaded clap_lex v0.7.2
[INFO] [stderr]   Downloaded anstyle v1.0.9
[INFO] [stderr]   Downloaded flatzinc v0.3.21
[INFO] [stderr]   Downloaded bitfield v0.14.0
[INFO] [stderr]   Downloaded clap v4.5.20
[INFO] [stderr]   Downloaded pyo3-ffi v0.23.3
[INFO] [stderr]   Downloaded cc v1.1.31
[INFO] [stderr]   Downloaded portable-atomic v1.9.0
[INFO] [stderr]   Downloaded proc-macro2 v1.0.89
[INFO] [stderr]   Downloaded bitfield-struct v0.9.2
[INFO] [stderr]   Downloaded clap_builder v4.5.20
[INFO] [stderr]   Downloaded anstream v0.6.17
[INFO] [stderr]   Downloaded drcp-format v0.2.0
[INFO] [stderr]   Downloaded enumset v1.1.5
[INFO] [stderr]   Downloaded pyo3-macros-backend v0.23.3
[INFO] [stderr]   Downloaded enumset_derive v0.10.0
[INFO] [stderr]   Downloaded syn v2.0.85
[INFO] [stderr]   Downloaded stringcase v0.3.0
[INFO] [stderr]   Downloaded thiserror-impl v1.0.65
[INFO] [stderr]   Downloaded thiserror v1.0.65
[INFO] [stderr]   Downloaded regex-automata v0.4.8
[INFO] [stderr]   Downloaded libc v0.2.161
[INFO] [stderr]   Downloaded pyo3 v0.23.3
[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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+779e19d8baa3e3625bd4fc5c85cbb2ad47b43155" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 2dcccee067bdf74649a7f61c3cfd022c7af23f86dc7716b1ea26621b96b05f6c
[INFO] running `Command { std: "docker" "start" "-a" "2dcccee067bdf74649a7f61c3cfd022c7af23f86dc7716b1ea26621b96b05f6c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2dcccee067bdf74649a7f61c3cfd022c7af23f86dc7716b1ea26621b96b05f6c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2dcccee067bdf74649a7f61c3cfd022c7af23f86dc7716b1ea26621b96b05f6c", kill_on_drop: false }`
[INFO] [stdout] 2dcccee067bdf74649a7f61c3cfd022c7af23f86dc7716b1ea26621b96b05f6c
[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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+779e19d8baa3e3625bd4fc5c85cbb2ad47b43155" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 43f51c5251f4a8c709f1fb34f2b42669d1bff1e14cdfacce1a03e35a64a331ba
[INFO] running `Command { std: "docker" "start" "-a" "43f51c5251f4a8c709f1fb34f2b42669d1bff1e14cdfacce1a03e35a64a331ba", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.89
[INFO] [stderr]    Compiling unicode-ident v1.0.13
[INFO] [stderr]    Compiling libc v0.2.161
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling thiserror v1.0.65
[INFO] [stderr]     Checking utf8parse v0.2.2
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]     Checking minimal-lexical v0.2.1
[INFO] [stderr]     Checking anstyle-parse v0.2.6
[INFO] [stderr]     Checking anstyle-query v1.1.2
[INFO] [stderr]     Checking anstyle v1.0.9
[INFO] [stderr]     Checking colorchoice v1.0.3
[INFO] [stderr]     Checking is_terminal_polyfill v1.70.1
[INFO] [stderr]     Checking regex-automata v0.4.8
[INFO] [stderr]     Checking nom v7.1.3
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]    Compiling cc v1.1.31
[INFO] [stderr]     Checking anstream v0.6.17
[INFO] [stderr]     Checking clap_lex v0.7.2
[INFO] [stderr]     Checking strsim v0.11.1
[INFO] [stderr]    Compiling quote v1.0.37
[INFO] [stderr]    Compiling signal-hook v0.3.17
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking is-terminal v0.4.13
[INFO] [stderr]    Compiling syn v2.0.85
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking num-complex v0.4.6
[INFO] [stderr]     Checking signal-hook-registry v1.4.2
[INFO] [stderr]     Checking clap_builder v4.5.20
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking num-iter v0.1.45
[INFO] [stderr]     Checking once_cell v1.20.2
[INFO] [stderr]     Checking winnow v0.6.20
[INFO] [stderr]     Checking unicode-segmentation v1.12.0
[INFO] [stderr]    Compiling pumpkin-solver v0.1.4 (/opt/rustwide/workdir/pumpkin-solver)
[INFO] [stderr]     Checking downcast-rs v1.2.1
[INFO] [stderr]     Checking convert_case v0.6.0
[INFO] [stderr]     Checking bitfield v0.14.0
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]     Checking stringcase v0.3.0
[INFO] [stderr]    Compiling either v1.13.0
[INFO] [stderr]     Checking regex v1.11.1
[INFO] [stderr]     Checking num v0.4.3
[INFO] [stderr]     Checking wait-timeout v0.2.0
[INFO] [stderr]    Compiling target-lexicon v0.12.16
[INFO] [stderr]    Compiling memoffset v0.9.1
[INFO] [stderr]     Checking env_logger v0.10.2
[INFO] [stderr]    Compiling indoc v2.0.5
[INFO] [stderr]    Compiling pyo3-build-config v0.23.3
[INFO] [stderr]     Checking unindent v0.2.3
[INFO] [stderr]     Checking flatzinc v0.3.21
[INFO] [stderr]    Compiling pyo3-macros-backend v0.23.3
[INFO] [stderr]    Compiling pyo3-ffi v0.23.3
[INFO] [stderr]    Compiling pyo3 v0.23.3
[INFO] [stderr]    Compiling darling_core v0.20.10
[INFO] [stderr]    Compiling zerocopy-derive v0.7.35
[INFO] [stderr]    Compiling thiserror-impl v1.0.65
[INFO] [stderr]    Compiling clap_derive v4.5.18
[INFO] [stderr]    Compiling bitfield-struct v0.9.2
[INFO] [stderr]    Compiling pumpkin-macros v0.1.0 (/opt/rustwide/workdir/pumpkin-macros)
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]     Checking ppv-lite86 v0.2.20
[INFO] [stderr]     Checking drcp-format v0.2.0
[INFO] [stderr]     Checking drcp-format v0.2.0 (/opt/rustwide/workdir/drcp-format)
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking clap v4.5.20
[INFO] [stderr]    Compiling darling_macro v0.20.10
[INFO] [stderr]    Compiling darling v0.20.10
[INFO] [stderr]    Compiling enumset_derive v0.10.0
[INFO] [stderr]    Compiling pyo3-macros v0.23.3
[INFO] [stderr]     Checking enumset v1.1.5
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> pumpkin-solver/src/propagators/table.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[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 import: `std::collections::HashSet`
[INFO] [stdout]  --> pumpkin-solver/src/propagators/table.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::collections::HashSet;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::ptr::null`
[INFO] [stdout]  --> pumpkin-solver/src/propagators/table.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::ptr::null;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::engine::reason`
[INFO] [stdout]   --> pumpkin-solver/src/propagators/table.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 | use crate::engine::reason;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: braces around TablePropagator is unnecessary
[INFO] [stdout]  --> pumpkin-solver/src/constraints/table.rs:2:1
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::propagators::table::{TablePropagator};
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: requested on the command line with `-W unused-import-braces`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> pumpkin-solver/src/propagators/table.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[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 import: `std::collections::HashSet`
[INFO] [stdout]  --> pumpkin-solver/src/propagators/table.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::collections::HashSet;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::ptr::null`
[INFO] [stdout]  --> pumpkin-solver/src/propagators/table.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::ptr::null;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::engine::reason`
[INFO] [stdout]   --> pumpkin-solver/src/propagators/table.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 | use crate::engine::reason;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: braces around TablePropagator is unnecessary
[INFO] [stdout]  --> pumpkin-solver/src/constraints/table.rs:2:1
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::propagators::table::{TablePropagator};
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: requested on the command line with `-W unused-import-braces`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `engine::cp::propagation::explanation_context::ExplanationContext::<'a>::assignments`: using the assignments directly is not ideal, and we should develop this context API further instead
[INFO] [stdout]    --> pumpkin-solver/src/propagators/table.rs:127:85
[INFO] [stdout]     |
[INFO] [stdout] 127 |         let invalid_domains = self.compute_invalid_domains(target.index(), &context.assignments());
[INFO] [stdout]     |                                                                                     ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `IntegerVariable`
[INFO] [stdout]  --> pumpkin-solver/src/constraints/table.rs:3:34
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::variables::{DomainId, IntegerVariable, Literal};
[INFO] [stdout]   |                                  ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::ops::Index`
[INFO] [stdout]  --> pumpkin-solver/src/propagators/table.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::ops::Index;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> pumpkin-solver/src/basic_types/trail.rs:55:31
[INFO] [stdout]    |
[INFO] [stdout] 55 |     pub(crate) fn synchronise(&mut self, new_decision_level: usize) -> Rev<Drain<T>> {
[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] 55 |     pub(crate) fn synchronise(&mut self, new_decision_level: usize) -> Rev<Drain<'_, T>> {
[INFO] [stdout]    |                                                                                  +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> pumpkin-solver/src/engine/cp/assignments.rs:319:39
[INFO] [stdout]     |
[INFO] [stdout] 319 |     pub(crate) fn get_domain_iterator(&self, domain_id: DomainId) -> IntegerDomainIterator {
[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] 319 |     pub(crate) fn get_domain_iterator(&self, domain_id: DomainId) -> IntegerDomainIterator<'_> {
[INFO] [stdout]     |                                                                                           ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> pumpkin-solver/src/engine/cp/assignments.rs:953:24
[INFO] [stdout]     |
[INFO] [stdout] 953 |     fn domain_iterator(&self) -> IntegerDomainIterator {
[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] 953 |     fn domain_iterator(&self) -> IntegerDomainIterator<'_> {
[INFO] [stdout]     |                                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]     --> pumpkin-solver/src/engine/cp/assignments.rs:1348:20
[INFO] [stdout]      |
[INFO] [stdout] 1348 |     fn new(domain: &IntegerDomain) -> IntegerDomainIterator {
[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] 1348 |     fn new(domain: &IntegerDomain) -> IntegerDomainIterator<'_> {
[INFO] [stdout]      |                                                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> pumpkin-solver/src/engine/cp/propagation/propagator_initialisation_context.rs:43:31
[INFO] [stdout]    |
[INFO] [stdout] 43 |     pub(crate) fn as_readonly(&self) -> PropagationContext {
[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] 43 |     pub(crate) fn as_readonly(&self) -> PropagationContext<'_> {
[INFO] [stdout]    |                                                           ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `engine::cp::propagation::explanation_context::ExplanationContext::<'a>::assignments`: using the assignments directly is not ideal, and we should develop this context API further instead
[INFO] [stdout]    --> pumpkin-solver/src/propagators/table.rs:127:85
[INFO] [stdout]     |
[INFO] [stdout] 127 |         let invalid_domains = self.compute_invalid_domains(target.index(), &context.assignments());
[INFO] [stdout]     |                                                                                     ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `pumpkin_solver::branching::branchers::independent_variable_value_brancher::IndependentVariableValueBrancher`
[INFO] [stdout]  --> pumpkin-solver/examples/bacchus.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use pumpkin_solver::branching::branchers::independent_variable_value_brancher::IndependentVariableValueBrancher;
[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: `Smallest` and `VariableSelector`
[INFO] [stdout]  --> pumpkin-solver/examples/bacchus.rs:3:53
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::branching::variable_selection::{Smallest, VariableSelector};
[INFO] [stdout]   |                                                     ^^^^^^^^  ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `TableExplanationStrategy` and `self`
[INFO] [stdout]  --> pumpkin-solver/examples/bacchus.rs:4:35
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pumpkin_solver::constraints::{self, TableExplanationStrategy};
[INFO] [stdout]   |                                   ^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `IntegerVariable`
[INFO] [stdout]  --> pumpkin-solver/examples/bacchus.rs:8:43
[INFO] [stdout]   |
[INFO] [stdout] 8 | use pumpkin_solver::variables::{DomainId, IntegerVariable, Literal};
[INFO] [stdout]   |                                           ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 3 arguments but 2 arguments were supplied
[INFO] [stdout]   --> pumpkin-solver/examples/table_5.rs:47:25
[INFO] [stdout]    |
[INFO] [stdout] 47 |         .add_constraint(constraints::table(top_left_region, valid_region.clone()))
[INFO] [stdout]    |                         ^^^^^^^^^^^^^^^^^^--------------------------------------- argument #3 of type `TableExplanationStrategy` is missing
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> /opt/rustwide/workdir/pumpkin-solver/src/constraints/table.rs:45:8
[INFO] [stdout]    |
[INFO] [stdout] 45 | pub fn table<V>(
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] help: provide the argument
[INFO] [stdout]    |
[INFO] [stdout] 47 |         .add_constraint(constraints::table(top_left_region, valid_region.clone(), /* TableExplanationStrategy */))
[INFO] [stdout]    |                                                                                 ++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 3 arguments but 2 arguments were supplied
[INFO] [stdout]   --> pumpkin-solver/examples/table_5.rs:53:25
[INFO] [stdout]    |
[INFO] [stdout] 53 |         .add_constraint(constraints::table(bottom_right_region, valid_region))
[INFO] [stdout]    |                         ^^^^^^^^^^^^^^^^^^----------------------------------- argument #3 of type `TableExplanationStrategy` is missing
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> /opt/rustwide/workdir/pumpkin-solver/src/constraints/table.rs:45:8
[INFO] [stdout]    |
[INFO] [stdout] 45 | pub fn table<V>(
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] help: provide the argument
[INFO] [stdout]    |
[INFO] [stdout] 53 |         .add_constraint(constraints::table(bottom_right_region, valid_region, /* TableExplanationStrategy */))
[INFO] [stdout]    |                                                                             ++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0061`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `pumpkin-solver` (example "table_5") due to 2 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: unused import: `IntegerVariable`
[INFO] [stdout]  --> pumpkin-solver/src/constraints/table.rs:3:34
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::variables::{DomainId, IntegerVariable, Literal};
[INFO] [stdout]   |                                  ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::ops::Index`
[INFO] [stdout]  --> pumpkin-solver/src/propagators/table.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::ops::Index;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> pumpkin-solver/src/basic_types/trail.rs:55:31
[INFO] [stdout]    |
[INFO] [stdout] 55 |     pub(crate) fn synchronise(&mut self, new_decision_level: usize) -> Rev<Drain<T>> {
[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] 55 |     pub(crate) fn synchronise(&mut self, new_decision_level: usize) -> Rev<Drain<'_, T>> {
[INFO] [stdout]    |                                                                                  +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> pumpkin-solver/src/engine/cp/assignments.rs:319:39
[INFO] [stdout]     |
[INFO] [stdout] 319 |     pub(crate) fn get_domain_iterator(&self, domain_id: DomainId) -> IntegerDomainIterator {
[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] 319 |     pub(crate) fn get_domain_iterator(&self, domain_id: DomainId) -> IntegerDomainIterator<'_> {
[INFO] [stdout]     |                                                                                           ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> pumpkin-solver/src/engine/cp/assignments.rs:953:24
[INFO] [stdout]     |
[INFO] [stdout] 953 |     fn domain_iterator(&self) -> IntegerDomainIterator {
[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] 953 |     fn domain_iterator(&self) -> IntegerDomainIterator<'_> {
[INFO] [stdout]     |                                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]     --> pumpkin-solver/src/engine/cp/assignments.rs:1348:20
[INFO] [stdout]      |
[INFO] [stdout] 1348 |     fn new(domain: &IntegerDomain) -> IntegerDomainIterator {
[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] 1348 |     fn new(domain: &IntegerDomain) -> IntegerDomainIterator<'_> {
[INFO] [stdout]      |                                                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> pumpkin-solver/src/engine/cp/propagation/propagator_initialisation_context.rs:43:31
[INFO] [stdout]    |
[INFO] [stdout] 43 |     pub(crate) fn as_readonly(&self) -> PropagationContext {
[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] 43 |     pub(crate) fn as_readonly(&self) -> PropagationContext<'_> {
[INFO] [stdout]    |                                                           ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "43f51c5251f4a8c709f1fb34f2b42669d1bff1e14cdfacce1a03e35a64a331ba", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "43f51c5251f4a8c709f1fb34f2b42669d1bff1e14cdfacce1a03e35a64a331ba", kill_on_drop: false }`
[INFO] [stdout] 43f51c5251f4a8c709f1fb34f2b42669d1bff1e14cdfacce1a03e35a64a331ba
