[INFO] cloning repository https://github.com/ML-KULeuven/Revisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ML-KULeuven/Revisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FML-KULeuven%2FRevisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FML-KULeuven%2FRevisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 2742d1b95325ebc14f9e1c63b097ff1499a533d1
[INFO] checking ML-KULeuven/Revisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective against try#b28cc4eb48a6415b914e8ad0308be255ff8d73ed for pr-156508
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FML-KULeuven%2FRevisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  97% (683/698)
Updating files:  98% (685/698)
Updating files:  99% (692/698)
Updating files: 100% (698/698)
Updating files: 100% (698/698), done.
[INFO] started tweaking git repo https://github.com/ML-KULeuven/Revisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective
[INFO] finished tweaking git repo https://github.com/ML-KULeuven/Revisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective
[INFO] tweaked toml for git repo https://github.com/ML-KULeuven/Revisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/ML-KULeuven/Revisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective on toolchain b28cc4eb48a6415b914e8ad0308be255ff8d73ed
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b28cc4eb48a6415b914e8ad0308be255ff8d73ed" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/ML-KULeuven/Revisiting-Pseudo-Boolean-Encodings-from-an-Integer-Perspective 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" "+b28cc4eb48a6415b914e8ad0308be255ff8d73ed" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b28cc4eb48a6415b914e8ad0308be255ff8d73ed" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] d990e6b8c77de4df7e6567c311f29c0929d33973cd28d12f00e3a8d7f9092345
[INFO] running `Command { std: "docker" "start" "-a" "d990e6b8c77de4df7e6567c311f29c0929d33973cd28d12f00e3a8d7f9092345", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d990e6b8c77de4df7e6567c311f29c0929d33973cd28d12f00e3a8d7f9092345", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d990e6b8c77de4df7e6567c311f29c0929d33973cd28d12f00e3a8d7f9092345", kill_on_drop: false }`
[INFO] [stdout] d990e6b8c77de4df7e6567c311f29c0929d33973cd28d12f00e3a8d7f9092345
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+b28cc4eb48a6415b914e8ad0308be255ff8d73ed" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2d91b97ada2a2904d6b47e934ca8150cbf8ef9246f383903acda74e8b73c06c3
[INFO] running `Command { std: "docker" "start" "-a" "2d91b97ada2a2904d6b47e934ca8150cbf8ef9246f383903acda74e8b73c06c3", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.89
[INFO] [stderr]    Compiling libc v0.2.149
[INFO] [stderr]    Compiling syn v1.0.99
[INFO] [stderr]    Compiling serde v1.0.215
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]     Checking either v1.8.0
[INFO] [stderr]     Checking miniz_oxide v0.6.2
[INFO] [stderr]     Checking regex-automata v0.1.10
[INFO] [stderr]     Checking bytecount v0.6.3
[INFO] [stderr]     Checking os_str_bytes v6.3.0
[INFO] [stderr]    Compiling serde_json v1.0.85
[INFO] [stderr]     Checking once_cell v1.14.0
[INFO] [stderr]     Checking itoa v1.0.3
[INFO] [stderr]     Checking rustc-hash v2.0.0
[INFO] [stderr]     Checking iset v0.3.0
[INFO] [stderr]     Checking itoa v0.4.8
[INFO] [stderr]     Checking papergrid v0.7.1
[INFO] [stderr]     Checking clap_lex v0.3.0
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking itertools v0.10.3
[INFO] [stderr]     Checking csv-core v0.1.10
[INFO] [stderr]     Checking flate2 v1.0.25
[INFO] [stderr]    Compiling jobserver v0.1.32
[INFO] [stderr]    Compiling quote v1.0.37
[INFO] [stderr]    Compiling syn v2.0.87
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling cc v1.0.73
[INFO] [stderr]     Checking getrandom v0.2.7
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking rand_core v0.6.3
[INFO] [stderr]    Compiling bzip2-sys v0.1.11+1.0.8
[INFO] [stderr]    Compiling pindakaas-cadical v2.1.0 (/opt/rustwide/workdir/bin/pindakaas/crates/pindakaas-cadical)
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking pindakaas-build-macros v0.1.0 (/opt/rustwide/workdir/bin/pindakaas/crates/pindakaas-build-macros)
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]     Checking bzip2 v0.4.4
[INFO] [stderr]    Compiling darling_core v0.20.10
[INFO] [stderr]    Compiling clap_derive v4.0.18
[INFO] [stderr]    Compiling tabled_derive v0.5.0
[INFO] [stderr]    Compiling serde_derive v1.0.215
[INFO] [stderr]    Compiling derive_more-impl v1.0.0
[INFO] [stderr]     Checking tabled v0.10.0
[INFO] [stderr]     Checking derive_more v1.0.0
[INFO] [stderr]     Checking clap v4.0.18
[INFO] [stderr]    Compiling darling_macro v0.20.10
[INFO] [stderr]    Compiling darling v0.20.10
[INFO] [stderr]    Compiling pindakaas-derive v0.1.0 (/opt/rustwide/workdir/bin/pindakaas/crates/pindakaas-derive)
[INFO] [stderr]     Checking bstr v0.2.17
[INFO] [stderr]     Checking pindakaas v0.1.0 (/opt/rustwide/workdir/bin/pindakaas/crates/pindakaas)
[INFO] [stderr]     Checking csv v1.1.6
[INFO] [stdout] warning: unnecessary parentheses around closure body
[INFO] [stdout]   --> bin/pindakaas/crates/pindakaas/src/integer.rs:61:18
[INFO] [stdout]    |
[INFO] [stdout] 61 |                     .filter(|j| (*j == i || *k.get(*j).unwrap_or(&false)))
[INFO] [stdout]    |                                 ^                                       ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 61 -                     .filter(|j| (*j == i || *k.get(*j).unwrap_or(&false)))
[INFO] [stdout] 61 +                     .filter(|j| *j == i || *k.get(*j).unwrap_or(&false) )
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around closure body
[INFO] [stdout]   --> bin/pindakaas/crates/pindakaas/src/integer.rs:87:18
[INFO] [stdout]    |
[INFO] [stdout] 87 |                     .filter(|j| (*j == i || !k.get(*j).unwrap_or(&false)))
[INFO] [stdout]    |                                 ^                                       ^
[INFO] [stdout]    |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 87 -                     .filter(|j| (*j == i || !k.get(*j).unwrap_or(&false)))
[INFO] [stdout] 87 +                     .filter(|j| *j == i || !k.get(*j).unwrap_or(&false) )
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> bin/pindakaas/crates/pindakaas/src/lib.rs:160:21
[INFO] [stdout]     |
[INFO] [stdout] 160 |     fn with_conditions(&mut self, conditions: Vec<Lit>) -> ConditionalDatabase<Self::CondDB>;
[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] 160 |     fn with_conditions(&mut self, conditions: Vec<Lit>) -> ConditionalDatabase<'_, Self::CondDB>;
[INFO] [stdout]     |                                                                                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> bin/pindakaas/crates/pindakaas/src/lib.rs:632:21
[INFO] [stdout]     |
[INFO] [stdout] 632 |     fn with_conditions(&mut self, conditions: Vec<Lit>) -> ConditionalDatabase<Self::CondDB> {
[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] 632 |     fn with_conditions(&mut self, conditions: Vec<Lit>) -> ConditionalDatabase<'_, Self::CondDB> {
[INFO] [stdout]     |                                                                                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> bin/pindakaas/crates/pindakaas/src/lib.rs:704:21
[INFO] [stdout]     |
[INFO] [stdout] 704 |     fn with_conditions(&mut self, mut conditions: Vec<Lit>) -> ConditionalDatabase<DB> {
[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] 704 |     fn with_conditions(&mut self, mut conditions: Vec<Lit>) -> ConditionalDatabase<'_, DB> {
[INFO] [stdout]     |                                                                                    +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]     --> bin/pindakaas/crates/pindakaas/src/lib.rs:1064:21
[INFO] [stdout]      |
[INFO] [stdout] 1064 |     fn with_conditions(&mut self, conditions: Vec<Lit>) -> ConditionalDatabase<Self::CondDB> {
[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] 1064 |     fn with_conditions(&mut self, conditions: Vec<Lit>) -> ConditionalDatabase<'_, Self::CondDB> {
[INFO] [stdout]      |                                                                                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> bin/pindakaas/crates/pindakaas/src/integer/dom.rs:100:14
[INFO] [stdout]     |
[INFO] [stdout] 100 |     pub fn iter(&self) -> DomIterator {
[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] 100 |     pub fn iter(&self) -> DomIterator<'_> {
[INFO] [stdout]     |                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function pointer comparisons do not produce meaningful results since their addresses are not guaranteed to be unique
[INFO] [stdout]   --> bin/pindakaas/crates/pindakaas/src/solver.rs:27:2
[INFO] [stdout]    |
[INFO] [stdout] 24 | #[derive(Debug, PartialEq)]
[INFO] [stdout]    |                 --------- in this derive macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 27 |     drop_fn: fn(*mut c_void),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: the address of the same function can vary between different codegen units
[INFO] [stdout]    = note: furthermore, different functions could have the same address after being merged together
[INFO] [stdout]    = note: for more information visit <https://doc.rust-lang.org/nightly/core/ptr/fn.fn_addr_eq.html>
[INFO] [stdout]    = note: `#[warn(unpredictable_function_pointer_comparisons)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking pbc v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unnecessary parentheses around closure body
[INFO] [stdout]    --> src/cli.rs:480:40
[INFO] [stdout]     |
[INFO] [stdout] 480 |                     .unwrap_or_else(|| (1.0 - fl));
[INFO] [stdout]     |                                        ^        ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 480 -                     .unwrap_or_else(|| (1.0 - fl));
[INFO] [stdout] 480 +                     .unwrap_or_else(|| 1.0 - fl);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around closure body
[INFO] [stdout]    --> src/cli.rs:480:40
[INFO] [stdout]     |
[INFO] [stdout] 480 |                     .unwrap_or_else(|| (1.0 - fl));
[INFO] [stdout]     |                                        ^        ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 480 -                     .unwrap_or_else(|| (1.0 - fl));
[INFO] [stdout] 480 +                     .unwrap_or_else(|| 1.0 - fl);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 19s
[INFO] running `Command { std: "docker" "inspect" "2d91b97ada2a2904d6b47e934ca8150cbf8ef9246f383903acda74e8b73c06c3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2d91b97ada2a2904d6b47e934ca8150cbf8ef9246f383903acda74e8b73c06c3", kill_on_drop: false }`
[INFO] [stdout] 2d91b97ada2a2904d6b47e934ca8150cbf8ef9246f383903acda74e8b73c06c3
