[INFO] fetching crate varisat 0.2.2...
[INFO] testing varisat-0.2.2 against try#33835004928d3bf65db4d4712e1330766263b0bd for pr-155739-1
[INFO] extracting crate varisat 0.2.2 into /workspace/builds/worker-1-tc2/source
[INFO] started tweaking crates.io crate varisat 0.2.2
[INFO] finished tweaking crates.io crate varisat 0.2.2
[INFO] tweaked toml for crates.io crate varisat 0.2.2 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate varisat 0.2.2 on toolchain 33835004928d3bf65db4d4712e1330766263b0bd
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 102 packages to latest compatible versions
[INFO] [stderr]       Adding env_logger v0.7.1 (available: v0.11.10)
[INFO] [stderr]       Adding itoa v0.4.8 (available: v1.0.18)
[INFO] [stderr]       Adding ordered-float v2.10.1 (available: v5.3.0)
[INFO] [stderr]       Adding proptest v0.10.1 (available: v1.11.0)
[INFO] [stderr]       Adding rand v0.7.3 (available: v0.10.1)
[INFO] [stderr]       Adding rustc-hash v1.1.0 (available: v2.1.2)
[INFO] [stderr]       Adding thiserror v1.0.69 (available: v2.0.18)
[INFO] [stderr]       Adding vec_mut_scan v0.3.0 (available: v0.5.0)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "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" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 9506735decb3efe609e2d2175d885f6b447c0abb98c206ed01c2726424c036c8
[INFO] running `Command { std: "docker" "start" "-a" "9506735decb3efe609e2d2175d885f6b447c0abb98c206ed01c2726424c036c8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9506735decb3efe609e2d2175d885f6b447c0abb98c206ed01c2726424c036c8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9506735decb3efe609e2d2175d885f6b447c0abb98c206ed01c2726424c036c8", kill_on_drop: false }`
[INFO] [stdout] 9506735decb3efe609e2d2175d885f6b447c0abb98c206ed01c2726424c036c8
[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" "+33835004928d3bf65db4d4712e1330766263b0bd" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 6b1b4493fb6617f4e4eaf56e3f59109357a18b323f1438862dea906e60b86261
[INFO] running `Command { std: "docker" "start" "-a" "6b1b4493fb6617f4e4eaf56e3f59109357a18b323f1438862dea906e60b86261", kill_on_drop: false }`
[INFO] [stderr]    Compiling once_cell v1.21.4
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]    Compiling getrandom v0.1.16
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling byteorder v1.5.0
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling varisat v0.2.2 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling log v0.4.29
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling rand_core v0.5.1
[INFO] [stderr]    Compiling vec_mut_scan v0.3.0
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling rand_chacha v0.2.2
[INFO] [stderr]    Compiling rand_xorshift v0.2.0
[INFO] [stderr] warning: varisat@0.2.2: drat-trim proof checker not found, some tests will be disabled: No such file or directory (os error 2)
[INFO] [stderr] warning: varisat@0.2.2: rate proof checker not found, some tests will be disabled: No such file or directory (os error 2)
[INFO] [stderr]    Compiling rand v0.7.3
[INFO] [stderr]    Compiling ordered-float v2.10.1
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling proptest v0.10.1
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling synstructure v0.12.6
[INFO] [stderr]    Compiling partial_ref_derive v0.3.3
[INFO] [stderr]    Compiling partial_ref v0.3.3
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling varisat-internal-macros v0.2.2
[INFO] [stderr]    Compiling varisat-formula v0.2.2
[INFO] [stderr]    Compiling varisat-dimacs v0.2.2
[INFO] [stderr]    Compiling varisat-internal-proof v0.2.2
[INFO] [stderr]    Compiling varisat-checker v0.2.2
[INFO] [stdout] warning: unused import: `ImplNode`
[INFO] [stdout]   --> src/prop.rs:13:38
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub use graph::{Conflict, ImplGraph, ImplNode, Reason};
[INFO] [stdout]    |                                      ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item
[INFO] [stdout]  --> src/config.rs:5:10
[INFO] [stdout]   |
[INFO] [stdout] 5 | #[derive(DocDefault, ConfigUpdate)]
[INFO] [stdout]   |          ^---------
[INFO] [stdout]   |          |
[INFO] [stdout]   |          `Default` is not local
[INFO] [stdout]   |          move the `impl` block outside of this constant `_DERIVE_Default_FOR_SolverConfig`
[INFO] [stdout] 6 | pub struct SolverConfig {
[INFO] [stdout]   |            ------------ `SolverConfig` is not local
[INFO] [stdout]   |
[INFO] [stdout]   = note: the derive macro `DocDefault` defines the non-local `impl`, and may need to be changed
[INFO] [stdout]   = note: the derive macro `DocDefault` may come from an old version of the `varisat_internal_macros` crate, try updating your dependency with `cargo update -p varisat_internal_macros`
[INFO] [stdout]   = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl`
[INFO] [stdout]   = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint
[INFO] [stdout]   = note: `#[warn(non_local_definitions)]` on by default
[INFO] [stdout]   = note: this warning originates in the derive macro `DocDefault` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/variables.rs:101:33
[INFO] [stdout]     |
[INFO] [stdout] 101 |     pub fn global_from_user_mut(&mut self) -> VarBiMapMut {
[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] 101 |     pub fn global_from_user_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stdout]     |                                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/variables.rs:111:35
[INFO] [stdout]     |
[INFO] [stdout] 111 |     pub fn solver_from_global_mut(&mut self) -> VarBiMapMut {
[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] 111 |     pub fn solver_from_global_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stdout]     |                                                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/variables.rs:121:33
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn user_from_global_mut(&mut self) -> VarBiMapMut {
[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] 121 |     pub fn user_from_global_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stdout]     |                                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/variables.rs:131:35
[INFO] [stdout]     |
[INFO] [stdout] 131 |     pub fn global_from_solver_mut(&mut self) -> VarBiMapMut {
[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] 131 |     pub fn global_from_solver_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stdout]     |                                                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/variables/var_map.rs:74:20
[INFO] [stdout]    |
[INFO] [stdout] 74 |     pub fn fwd_mut(&mut self) -> VarBiMapMut {
[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] 74 |     pub fn fwd_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stdout]    |                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/variables/var_map.rs:82:20
[INFO] [stdout]    |
[INFO] [stdout] 82 |     pub fn bwd_mut(&mut self) -> VarBiMapMut {
[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] 82 |     pub fn bwd_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stdout]    |                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 19.87s
[INFO] running `Command { std: "docker" "inspect" "6b1b4493fb6617f4e4eaf56e3f59109357a18b323f1438862dea906e60b86261", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6b1b4493fb6617f4e4eaf56e3f59109357a18b323f1438862dea906e60b86261", kill_on_drop: false }`
[INFO] [stdout] 6b1b4493fb6617f4e4eaf56e3f59109357a18b323f1438862dea906e60b86261
[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" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 71e9496c4c9f3ef5ffd9789a3ea88f953eb7a0932942b5a3223fc37a448804cc
[INFO] running `Command { std: "docker" "start" "-a" "71e9496c4c9f3ef5ffd9789a3ea88f953eb7a0932942b5a3223fc37a448804cc", kill_on_drop: false }`
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr] warning: varisat@0.2.2: drat-trim proof checker not found, some tests will be disabled: No such file or directory (os error 2)
[INFO] [stderr] warning: varisat@0.2.2: rate proof checker not found, some tests will be disabled: No such file or directory (os error 2)
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling env_logger v0.7.1
[INFO] [stderr]    Compiling varisat-internal-macros v0.2.2
[INFO] [stderr]    Compiling varisat v0.2.2 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `ImplNode`
[INFO] [stdout]   --> src/prop.rs:13:38
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub use graph::{Conflict, ImplGraph, ImplNode, Reason};
[INFO] [stdout]    |                                      ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `test_drat_trim`
[INFO] [stdout]    --> src/proof.rs:402:24
[INFO] [stdout]     |
[INFO] [stdout] 402 |         #[cfg_attr(not(test_drat_trim), ignore)]
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: expected names are: `docsrs`, `feature`, and `test` and 32 more
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_drat_trim)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_drat_trim)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `test_drat_trim`
[INFO] [stdout]    --> src/proof.rs:410:24
[INFO] [stdout]     |
[INFO] [stdout] 410 |         #[cfg_attr(not(test_drat_trim), ignore)]
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_drat_trim)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_drat_trim)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `test_rate`
[INFO] [stdout]    --> src/proof.rs:418:24
[INFO] [stdout]     |
[INFO] [stdout] 418 |         #[cfg_attr(not(test_rate), ignore)]
[INFO] [stdout]     |                        ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_rate)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_rate)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `test_rate`
[INFO] [stdout]    --> src/proof.rs:426:24
[INFO] [stdout]     |
[INFO] [stdout] 426 |         #[cfg_attr(not(test_rate), ignore)]
[INFO] [stdout]     |                        ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_rate)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_rate)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ImplNode`
[INFO] [stdout]   --> src/prop.rs:13:38
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub use graph::{Conflict, ImplGraph, ImplNode, Reason};
[INFO] [stdout]    |                                      ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item
[INFO] [stdout]  --> src/config.rs:5:10
[INFO] [stdout]   |
[INFO] [stdout] 5 | #[derive(DocDefault, ConfigUpdate)]
[INFO] [stdout]   |          ^---------
[INFO] [stdout]   |          |
[INFO] [stdout]   |          `Default` is not local
[INFO] [stdout]   |          move the `impl` block outside of this constant `_DERIVE_Default_FOR_SolverConfig`
[INFO] [stdout] 6 | pub struct SolverConfig {
[INFO] [stdout]   |            ------------ `SolverConfig` is not local
[INFO] [stdout]   |
[INFO] [stdout]   = note: the derive macro `DocDefault` defines the non-local `impl`, and may need to be changed
[INFO] [stdout]   = note: the derive macro `DocDefault` may come from an old version of the `varisat_internal_macros` crate, try updating your dependency with `cargo update -p varisat_internal_macros`
[INFO] [stdout]   = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl`
[INFO] [stdout]   = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint
[INFO] [stdout]   = note: `#[warn(non_local_definitions)]` on by default
[INFO] [stdout]   = note: this warning originates in the derive macro `DocDefault` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/variables.rs:101:33
[INFO] [stdout]     |
[INFO] [stdout] 101 |     pub fn global_from_user_mut(&mut self) -> VarBiMapMut {
[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] 101 |     pub fn global_from_user_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stdout]     |                                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/variables.rs:111:35
[INFO] [stdout]     |
[INFO] [stdout] 111 |     pub fn solver_from_global_mut(&mut self) -> VarBiMapMut {
[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] 111 |     pub fn solver_from_global_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stdout]     |                                                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/variables.rs:121:33
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn user_from_global_mut(&mut self) -> VarBiMapMut {
[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] 121 |     pub fn user_from_global_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stdout]     |                                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/variables.rs:131:35
[INFO] [stdout]     |
[INFO] [stdout] 131 |     pub fn global_from_solver_mut(&mut self) -> VarBiMapMut {
[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] 131 |     pub fn global_from_solver_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stdout]     |                                                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/variables/var_map.rs:74:20
[INFO] [stdout]    |
[INFO] [stdout] 74 |     pub fn fwd_mut(&mut self) -> VarBiMapMut {
[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] 74 |     pub fn fwd_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stdout]    |                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/variables/var_map.rs:82:20
[INFO] [stdout]    |
[INFO] [stdout] 82 |     pub fn bwd_mut(&mut self) -> VarBiMapMut {
[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] 82 |     pub fn bwd_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stdout]    |                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item
[INFO] [stdout]  --> src/config.rs:5:10
[INFO] [stdout]   |
[INFO] [stdout] 5 | #[derive(DocDefault, ConfigUpdate)]
[INFO] [stdout]   |          ^---------
[INFO] [stdout]   |          |
[INFO] [stdout]   |          `Default` is not local
[INFO] [stdout]   |          move the `impl` block outside of this constant `_DERIVE_Default_FOR_SolverConfig`
[INFO] [stdout] 6 | pub struct SolverConfig {
[INFO] [stdout]   |            ------------ `SolverConfig` is not local
[INFO] [stdout]   |
[INFO] [stdout]   = note: the derive macro `DocDefault` defines the non-local `impl`, and may need to be changed
[INFO] [stdout]   = note: the derive macro `DocDefault` may come from an old version of the `varisat_internal_macros` crate, try updating your dependency with `cargo update -p varisat_internal_macros`
[INFO] [stdout]   = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl`
[INFO] [stdout]   = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint
[INFO] [stdout]   = note: `#[warn(non_local_definitions)]` on by default
[INFO] [stdout]   = note: this warning originates in the derive macro `DocDefault` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/variables.rs:101:33
[INFO] [stdout]     |
[INFO] [stdout] 101 |     pub fn global_from_user_mut(&mut self) -> VarBiMapMut {
[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] 101 |     pub fn global_from_user_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stdout]     |                                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/variables.rs:111:35
[INFO] [stdout]     |
[INFO] [stdout] 111 |     pub fn solver_from_global_mut(&mut self) -> VarBiMapMut {
[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] 111 |     pub fn solver_from_global_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stdout]     |                                                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/variables.rs:121:33
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn user_from_global_mut(&mut self) -> VarBiMapMut {
[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] 121 |     pub fn user_from_global_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stdout]     |                                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/variables.rs:131:35
[INFO] [stdout]     |
[INFO] [stdout] 131 |     pub fn global_from_solver_mut(&mut self) -> VarBiMapMut {
[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] 131 |     pub fn global_from_solver_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stdout]     |                                                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/variables/var_map.rs:74:20
[INFO] [stdout]    |
[INFO] [stdout] 74 |     pub fn fwd_mut(&mut self) -> VarBiMapMut {
[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] 74 |     pub fn fwd_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stdout]    |                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/variables/var_map.rs:82:20
[INFO] [stdout]    |
[INFO] [stdout] 82 |     pub fn bwd_mut(&mut self) -> VarBiMapMut {
[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] 82 |     pub fn bwd_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stdout]    |                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 18.32s
[INFO] running `Command { std: "docker" "inspect" "71e9496c4c9f3ef5ffd9789a3ea88f953eb7a0932942b5a3223fc37a448804cc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "71e9496c4c9f3ef5ffd9789a3ea88f953eb7a0932942b5a3223fc37a448804cc", kill_on_drop: false }`
[INFO] [stdout] 71e9496c4c9f3ef5ffd9789a3ea88f953eb7a0932942b5a3223fc37a448804cc
[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" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] eec597de232113fb070bf6f04a945715175566e420da5e01ad9f1128f66b54d5
[INFO] running `Command { std: "docker" "start" "-a" "eec597de232113fb070bf6f04a945715175566e420da5e01ad9f1128f66b54d5", kill_on_drop: false }`
[INFO] [stderr] warning: varisat@0.2.2: drat-trim proof checker not found, some tests will be disabled: No such file or directory (os error 2)
[INFO] [stderr] warning: varisat@0.2.2: rate proof checker not found, some tests will be disabled: No such file or directory (os error 2)
[INFO] [stderr] warning: unused import: `ImplNode`
[INFO] [stderr]   --> src/prop.rs:13:38
[INFO] [stderr]    |
[INFO] [stderr] 13 | pub use graph::{Conflict, ImplGraph, ImplNode, Reason};
[INFO] [stderr]    |                                      ^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item
[INFO] [stderr]  --> src/config.rs:5:10
[INFO] [stderr]   |
[INFO] [stderr] 5 | #[derive(DocDefault, ConfigUpdate)]
[INFO] [stderr]   |          ^---------
[INFO] [stderr]   |          |
[INFO] [stderr]   |          `Default` is not local
[INFO] [stderr]   |          move the `impl` block outside of this constant `_DERIVE_Default_FOR_SolverConfig`
[INFO] [stderr] 6 | pub struct SolverConfig {
[INFO] [stderr]   |            ------------ `SolverConfig` is not local
[INFO] [stderr]   |
[INFO] [stderr]   = note: the derive macro `DocDefault` defines the non-local `impl`, and may need to be changed
[INFO] [stderr]   = note: the derive macro `DocDefault` may come from an old version of the `varisat_internal_macros` crate, try updating your dependency with `cargo update -p varisat_internal_macros`
[INFO] [stderr]   = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl`
[INFO] [stderr]   = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint
[INFO] [stderr]   = note: `#[warn(non_local_definitions)]` on by default
[INFO] [stderr]   = note: this warning originates in the derive macro `DocDefault` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/variables.rs:101:33
[INFO] [stderr]     |
[INFO] [stderr] 101 |     pub fn global_from_user_mut(&mut self) -> VarBiMapMut {
[INFO] [stderr]     |                                 ^^^^^^^^^     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                                 |
[INFO] [stderr]     |                                 the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 101 |     pub fn global_from_user_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stderr]     |                                                          ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/variables.rs:111:35
[INFO] [stderr]     |
[INFO] [stderr] 111 |     pub fn solver_from_global_mut(&mut self) -> VarBiMapMut {
[INFO] [stderr]     |                                   ^^^^^^^^^     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                                   |
[INFO] [stderr]     |                                   the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 111 |     pub fn solver_from_global_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stderr]     |                                                            ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/variables.rs:121:33
[INFO] [stderr]     |
[INFO] [stderr] 121 |     pub fn user_from_global_mut(&mut self) -> VarBiMapMut {
[INFO] [stderr]     |                                 ^^^^^^^^^     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                                 |
[INFO] [stderr]     |                                 the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 121 |     pub fn user_from_global_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stderr]     |                                                          ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/variables.rs:131:35
[INFO] [stderr]     |
[INFO] [stderr] 131 |     pub fn global_from_solver_mut(&mut self) -> VarBiMapMut {
[INFO] [stderr]     |                                   ^^^^^^^^^     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                                   |
[INFO] [stderr]     |                                   the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 131 |     pub fn global_from_solver_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stderr]     |                                                            ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]   --> src/variables/var_map.rs:74:20
[INFO] [stderr]    |
[INFO] [stderr] 74 |     pub fn fwd_mut(&mut self) -> VarBiMapMut {
[INFO] [stderr]    |                    ^^^^^^^^^     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]    |                    |
[INFO] [stderr]    |                    the lifetime is elided here
[INFO] [stderr]    |
[INFO] [stderr]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]    |
[INFO] [stderr] 74 |     pub fn fwd_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stderr]    |                                             ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]   --> src/variables/var_map.rs:82:20
[INFO] [stderr]    |
[INFO] [stderr] 82 |     pub fn bwd_mut(&mut self) -> VarBiMapMut {
[INFO] [stderr]    |                    ^^^^^^^^^     ^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]    |                    |
[INFO] [stderr]    |                    the lifetime is elided here
[INFO] [stderr]    |
[INFO] [stderr]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]    |
[INFO] [stderr] 82 |     pub fn bwd_mut(&mut self) -> VarBiMapMut<'_> {
[INFO] [stderr]    |                                             ++++
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `test_drat_trim`
[INFO] [stderr]    --> src/proof.rs:402:24
[INFO] [stderr]     |
[INFO] [stderr] 402 |         #[cfg_attr(not(test_drat_trim), ignore)]
[INFO] [stderr]     |                        ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: expected names are: `docsrs`, `feature`, and `test` and 32 more
[INFO] [stderr]     = help: consider using a Cargo feature instead
[INFO] [stderr]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]              [lints.rust]
[INFO] [stderr]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_drat_trim)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_drat_trim)");` to the top of the `build.rs`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr]     = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `test_drat_trim`
[INFO] [stderr]    --> src/proof.rs:410:24
[INFO] [stderr]     |
[INFO] [stderr] 410 |         #[cfg_attr(not(test_drat_trim), ignore)]
[INFO] [stderr]     |                        ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: consider using a Cargo feature instead
[INFO] [stderr]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]              [lints.rust]
[INFO] [stderr]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_drat_trim)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_drat_trim)");` to the top of the `build.rs`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `test_rate`
[INFO] [stderr]    --> src/proof.rs:418:24
[INFO] [stderr]     |
[INFO] [stderr] 418 |         #[cfg_attr(not(test_rate), ignore)]
[INFO] [stderr]     |                        ^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: consider using a Cargo feature instead
[INFO] [stderr]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]              [lints.rust]
[INFO] [stderr]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_rate)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_rate)");` to the top of the `build.rs`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `test_rate`
[INFO] [stderr]    --> src/proof.rs:426:24
[INFO] [stderr]     |
[INFO] [stderr] 426 |         #[cfg_attr(not(test_rate), ignore)]
[INFO] [stderr]     |                        ^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: consider using a Cargo feature instead
[INFO] [stderr]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]              [lints.rust]
[INFO] [stderr]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(test_rate)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_rate)");` to the top of the `build.rs`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: `varisat` (lib) generated 8 warnings (run `cargo fix --lib -p varisat` to apply 7 suggestions)
[INFO] [stderr] warning: `varisat` (lib test) generated 12 warnings (8 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.13s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/varisat-2aa2424124ea08a0)
[INFO] [stdout] 
[INFO] [stdout] running 42 tests
[INFO] [stdout] test cdcl::tests::level_0_unsat ... ok
[INFO] [stdout] test clause::header::tests::tier_mask ... ok
[INFO] [stdout] test load::tests::binary_clauses ... ok
[INFO] [stdout] test load::tests::long_clauses ... ok
[INFO] [stdout] test load::tests::unit_clauses ... ok
[INFO] [stdout] test load::tests::unsat_on_empty_clause ... ok
[INFO] [stdout] test proof::tests::sgen_unsat_binary_drat_trim ... ignored
[INFO] [stdout] test proof::tests::sgen_unsat_binary_rate ... ignored
[INFO] [stdout] test proof::tests::sgen_unsat_drat_trim ... ignored
[INFO] [stdout] test proof::tests::sgen_unsat_rate ... ignored
[INFO] [stdout] test decision::vsids::tests::heap_bump ... ok
[INFO] [stdout] test schedule::luby::tests::luby_sequence ... ok
[INFO] [stdout] test decision::vsids::tests::rescale_bump ... ok
[INFO] [stdout] test decision::vsids::tests::heap_sorts ... ok
[INFO] [stdout] test decision::vsids::tests::rescale_decay ... ok
[INFO] [stdout] test solver::tests::enable_self_checking_too_late - should panic ... ok
[INFO] [stdout] test solver::tests::error_handling_proof_writing - should panic ... ok
[INFO] [stdout] test solver::tests::error_handling_proof_processing - should panic ... ok
[INFO] [stdout] test solver::tests::self_check_duplicated_unit_clauses ... ok
[INFO] [stdout] test clause::db::tests::set_tiers_and_deletes ... ok
[INFO] [stdout] test solver::tests::add_proof_processor_too_late - should panic ... ok
[INFO] [stdout] test solver::tests::sat ... ok
[INFO] [stdout] test solver::tests::write_proof_too_late - should panic ... ok
[INFO] [stdout] test variables::tests::cannot_hide_assumed_vars - should panic ... ok
[INFO] [stdout] test variables::tests::cannot_witness_assumed_vars - should panic ... ok
[INFO] [stdout] test assumptions::tests::pigeon_hole_unsat_assumption_core_internal ... ok
[INFO] [stdout] test prop::tests::propagation_no_conflict ... ok
[INFO] [stdout] test cdcl::tests::sgen_unsat_incremetal_clauses ... ok
[INFO] [stdout] test cdcl::tests::sgen_unsat ... ok
[INFO] [stdout] test cdcl::tests::sat ... ok
[INFO] [stdout] test prop::tests::propagation_conflict ... ok
[INFO] [stdout] test assumptions::tests::pigeon_hole_unsat_assumption_core_solver ... ok
[INFO] [stdout] test solver::tests::sgen_unsat ... ok
[INFO] [stdout] test solver::tests::sgen_unsat_incremental_clauses ... ok
[INFO] [stdout] test solver::tests::sat_via_dimacs ... ok
[INFO] [stdout] test solver::tests::sgen_unsat_checked ... ok
[INFO] [stdout] test prop::tests::propagation_no_conflict_after_gc ... ok
[INFO] [stdout] test variables::tests::sgen_unsat_hidden_with_sat ... ok
[INFO] [stdout] test variables::tests::sgen_sat_many_hidden_observe_internal ... ok
[INFO] [stdout] test clause::alloc::tests::clause_mutation ... ok
[INFO] [stdout] test clause::alloc::tests::roundtrip_from_cnf_formula ... ok
[INFO] [stdout] test clause::gc::tests::garbage_collection ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 38 passed; 0 failed; 4 ignored; 0 measured; 0 filtered out; finished in 15.31s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/checker.rs (/opt/rustwide/target/debug/deps/checker-44c68ef338d86e72)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test checked_unsat_via_dimacs ... ok
[INFO] [stdout] test pigeon_hole_checked_unsat_assumption_core ... ok
[INFO] [stderr]      Running tests/cnfs.rs (/opt/rustwide/target/debug/deps/cnfs-6cca4c76099fac8f)
[INFO] [stdout] test sgen_checked_unsat_incremental_clauses ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.55s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test sgen1_unsat_57_0 ... ok
[INFO] [stderr]    Doc-tests varisat
[INFO] [stdout] test sgen1_sat_90_0 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 14.28s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "eec597de232113fb070bf6f04a945715175566e420da5e01ad9f1128f66b54d5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "eec597de232113fb070bf6f04a945715175566e420da5e01ad9f1128f66b54d5", kill_on_drop: false }`
[INFO] [stdout] eec597de232113fb070bf6f04a945715175566e420da5e01ad9f1128f66b54d5
