[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#14e4661efa5acbf985e4fe564baae04683366cc1 for pr-157696
[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-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] 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-5-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 14e4661efa5acbf985e4fe564baae04683366cc1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+14e4661efa5acbf985e4fe564baae04683366cc1" "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" "+14e4661efa5acbf985e4fe564baae04683366cc1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:3a6becf2bc8dde7f3fa57ede90e4f284e72d296796fc446bbb1e2c7cc0530151" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] f6cfcb8480fd8e73ba895f1aaa1906639183a32f56d91a18aecf87aedcf3dcee
[INFO] running `Command { std: "docker" "start" "f6cfcb8480fd8e73ba895f1aaa1906639183a32f56d91a18aecf87aedcf3dcee", 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" "f6cfcb8480fd8e73ba895f1aaa1906639183a32f56d91a18aecf87aedcf3dcee" "/opt/rustwide/cargo-home/bin/cargo" "+14e4661efa5acbf985e4fe564baae04683366cc1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f6cfcb8480fd8e73ba895f1aaa1906639183a32f56d91a18aecf87aedcf3dcee", 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" "f6cfcb8480fd8e73ba895f1aaa1906639183a32f56d91a18aecf87aedcf3dcee" "/opt/rustwide/cargo-home/bin/cargo" "+14e4661efa5acbf985e4fe564baae04683366cc1" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.89
[INFO] [stderr]    Compiling libc v0.2.149
[INFO] [stderr]    Compiling unicode-ident v1.0.3
[INFO] [stderr]    Compiling syn v1.0.99
[INFO] [stderr]    Compiling serde v1.0.215
[INFO] [stderr]    Compiling pkg-config v0.3.27
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling crc32fast v1.3.2
[INFO] [stderr]    Compiling heck v0.4.0
[INFO] [stderr]     Checking either v1.8.0
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]     Checking ryu v1.0.11
[INFO] [stderr]     Checking regex-automata v0.1.10
[INFO] [stderr]     Checking miniz_oxide v0.6.2
[INFO] [stderr]     Checking ppv-lite86 v0.2.16
[INFO] [stderr]    Compiling serde_json v1.0.85
[INFO] [stderr]     Checking unicode-width v0.1.9
[INFO] [stderr]     Checking bytecount v0.6.3
[INFO] [stderr]     Checking os_str_bytes v6.3.0
[INFO] [stderr]     Checking once_cell v1.14.0
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking papergrid v0.7.1
[INFO] [stderr]     Checking itoa v0.4.8
[INFO] [stderr]     Checking termcolor v1.1.3
[INFO] [stderr]     Checking flate2 v1.0.25
[INFO] [stderr]     Checking iset v0.3.0
[INFO] [stderr]     Checking itoa v1.0.3
[INFO] [stderr]     Checking rustc-hash v2.0.0
[INFO] [stderr]     Checking strsim v0.10.0
[INFO] [stderr]     Checking itertools v0.10.3
[INFO] [stderr]     Checking clap_lex v0.3.0
[INFO] [stderr]     Checking csv-core v0.1.10
[INFO] [stderr]    Compiling jobserver v0.1.32
[INFO] [stderr]     Checking getrandom v0.2.7
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking cc v1.0.73
[INFO] [stderr]     Checking rand_core v0.6.3
[INFO] [stderr]    Compiling quote v1.0.37
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]    Compiling syn v2.0.87
[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 pindakaas-build-macros v0.1.0 (/opt/rustwide/workdir/bin/pindakaas/crates/pindakaas-build-macros)
[INFO] [stderr]     Checking bzip2 v0.4.4
[INFO] [stderr]    Compiling darling_core v0.20.10
[INFO] [stderr]    Compiling tabled_derive v0.5.0
[INFO] [stderr]    Compiling clap_derive v4.0.18
[INFO] [stderr]     Checking tabled v0.10.0
[INFO] [stderr]    Compiling serde_derive v1.0.215
[INFO] [stderr]    Compiling derive_more-impl v1.0.0
[INFO] [stderr]     Checking clap v4.0.18
[INFO] [stderr]     Checking derive_more v1.0.0
[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 32s
[INFO] running `Command { std: "docker" "inspect" "f6cfcb8480fd8e73ba895f1aaa1906639183a32f56d91a18aecf87aedcf3dcee", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f6cfcb8480fd8e73ba895f1aaa1906639183a32f56d91a18aecf87aedcf3dcee", kill_on_drop: false }`
[INFO] [stdout] f6cfcb8480fd8e73ba895f1aaa1906639183a32f56d91a18aecf87aedcf3dcee
