[INFO] fetching crate varisat 0.2.2...
[INFO] checking varisat-0.2.2 against master#656ccbe796ff98def9b555c118e1620c5389e3b2 for pr-133502-24
[INFO] extracting crate varisat 0.2.2 into /workspace/builds/worker-0-tc1/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-0-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate varisat 0.2.2 on toolchain 656ccbe796ff98def9b555c118e1620c5389e3b2
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+656ccbe796ff98def9b555c118e1620c5389e3b2" "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" "+656ccbe796ff98def9b555c118e1620c5389e3b2" "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 78 packages to latest compatible versions
[INFO] [stderr]       Adding env_logger v0.7.1 (available: v0.11.11)
[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.2)
[INFO] [stderr]       Adding rustc-hash v1.1.0 (available: v2.1.3)
[INFO] [stderr]       Adding thiserror v1.0.69 (available: v2.0.19)
[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" "+656ccbe796ff98def9b555c118e1620c5389e3b2" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded varisat-internal-proof v0.2.2
[INFO] [stderr]   Downloaded varisat-formula v0.2.2
[INFO] [stderr]   Downloaded vec_mut_scan v0.3.0
[INFO] [stderr]   Downloaded rand_xorshift v0.2.0
[INFO] [stderr]   Downloaded varisat-dimacs v0.2.2
[INFO] [stderr]   Downloaded partial_ref_derive v0.3.3
[INFO] [stderr]   Downloaded quote v1.0.47
[INFO] [stderr]   Downloaded humantime v1.3.0
[INFO] [stderr]   Downloaded partial_ref v0.3.3
[INFO] [stderr]   Downloaded leb128 v0.2.7
[INFO] [stderr]   Downloaded itoa v0.4.8
[INFO] [stderr]   Downloaded zerocopy-derive v0.8.54
[INFO] [stderr]   Downloaded varisat-internal-macros v0.2.2
[INFO] [stderr]   Downloaded fastrand v2.5.0
[INFO] [stderr]   Downloaded env_logger v0.7.1
[INFO] [stderr]   Downloaded anyhow v1.0.104
[INFO] [stderr]   Downloaded varisat-checker v0.2.2
[INFO] [stderr]   Downloaded serde_derive v1.0.229
[INFO] [stderr]   Downloaded bitflags v2.13.1
[INFO] [stderr]   Downloaded getrandom v0.4.3
[INFO] [stderr]   Downloaded proc-macro2 v1.0.107
[INFO] [stderr]   Downloaded serde_core v1.0.229
[INFO] [stderr]   Downloaded log v0.4.33
[INFO] [stderr]   Downloaded serde v1.0.229
[INFO] [stderr]   Downloaded memchr v2.8.3
[INFO] [stderr]   Downloaded regex v1.13.1
[INFO] [stderr]   Downloaded proptest v0.10.1
[INFO] [stderr]   Downloaded zerocopy v0.8.54
[INFO] [stderr]   Downloaded syn v2.0.119
[INFO] [stderr]   Downloaded syn v3.0.1
[INFO] [stderr]   Downloaded regex-syntax v0.8.11
[INFO] [stderr]   Downloaded regex-automata v0.4.16
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 8da6668dcfeed67f877b6d65f5e4854b27f10eaaa4645c9b10cb84d4624c8344
[INFO] running `Command { std: "docker" "start" "8da6668dcfeed67f877b6d65f5e4854b27f10eaaa4645c9b10cb84d4624c8344", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8da6668dcfeed67f877b6d65f5e4854b27f10eaaa4645c9b10cb84d4624c8344", 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" "8da6668dcfeed67f877b6d65f5e4854b27f10eaaa4645c9b10cb84d4624c8344" "/opt/rustwide/cargo-home/bin/cargo" "+656ccbe796ff98def9b555c118e1620c5389e3b2" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8da6668dcfeed67f877b6d65f5e4854b27f10eaaa4645c9b10cb84d4624c8344", 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" "8da6668dcfeed67f877b6d65f5e4854b27f10eaaa4645c9b10cb84d4624c8344" "/opt/rustwide/cargo-home/bin/cargo" "+656ccbe796ff98def9b555c118e1620c5389e3b2" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]    Compiling proc-macro2 v1.0.107
[INFO] [stderr]    Compiling unicode-ident v1.0.24
[INFO] [stderr]    Compiling quote v1.0.47
[INFO] [stderr]    Compiling getrandom v0.1.16
[INFO] [stderr]    Compiling zerocopy v0.8.54
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling autocfg v1.5.1
[INFO] [stderr]    Compiling anyhow v1.0.104
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]     Checking bitflags v2.13.1
[INFO] [stderr]     Checking linux-raw-sys v0.12.1
[INFO] [stderr]     Checking fastrand v2.5.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking once_cell v1.21.4
[INFO] [stderr]     Checking fnv v1.0.7
[INFO] [stderr]     Checking bit-vec v0.6.3
[INFO] [stderr]     Checking regex-syntax v0.6.29
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling memchr v2.8.3
[INFO] [stderr]    Compiling regex-syntax v0.8.11
[INFO] [stderr]    Compiling serde_core v1.0.229
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]     Checking bit-set v0.5.3
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking log v0.4.33
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]     Checking itoa v0.4.8
[INFO] [stderr]     Checking smallvec v1.15.2
[INFO] [stderr]     Checking rustc-hash v1.1.0
[INFO] [stderr]     Checking humantime v1.3.0
[INFO] [stderr]     Checking termcolor v1.4.1
[INFO] [stderr]     Checking leb128 v0.2.7
[INFO] [stderr]     Checking vec_mut_scan v0.3.0
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling varisat v0.2.2 (/opt/rustwide/workdir)
[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 syn v2.0.119
[INFO] [stderr]    Compiling syn v3.0.1
[INFO] [stderr]     Checking ordered-float v2.10.1
[INFO] [stderr]     Checking wait-timeout v0.2.1
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking rand_core v0.5.1
[INFO] [stderr]     Checking rand_xorshift v0.2.0
[INFO] [stderr]     Checking regex-automata v0.4.16
[INFO] [stderr]     Checking tempfile v3.27.0
[INFO] [stderr]     Checking rusty-fork v0.3.1
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling synstructure v0.12.6
[INFO] [stderr]    Compiling partial_ref_derive v0.3.3
[INFO] [stderr]     Checking partial_ref v0.3.3
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking rand_chacha v0.2.2
[INFO] [stderr]     Checking rand v0.7.3
[INFO] [stderr]     Checking regex v1.13.1
[INFO] [stderr]     Checking env_logger v0.7.1
[INFO] [stderr]     Checking proptest v0.10.1
[INFO] [stderr]    Compiling varisat-internal-macros v0.2.2
[INFO] [stderr]     Checking varisat-formula v0.2.2
[INFO] [stderr]     Checking varisat-dimacs v0.2.2
[INFO] [stderr]     Checking varisat-internal-proof v0.2.2
[INFO] [stderr]     Checking 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: 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 33 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 `dev` profile [unoptimized + debuginfo] target(s) in 37.96s
[INFO] running `Command { std: "docker" "inspect" "8da6668dcfeed67f877b6d65f5e4854b27f10eaaa4645c9b10cb84d4624c8344", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8da6668dcfeed67f877b6d65f5e4854b27f10eaaa4645c9b10cb84d4624c8344", kill_on_drop: false }`
[INFO] [stdout] 8da6668dcfeed67f877b6d65f5e4854b27f10eaaa4645c9b10cb84d4624c8344
