[INFO] cloning repository https://github.com/jix/varisat
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/jix/varisat" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjix%2Fvarisat", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjix%2Fvarisat'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 33e876937c5d22305664e9ae5601484b25cec23f
[INFO] checking jix/varisat against dfbea5bc945a9d7ff017d3d4bfbd1af9295fe5b8 for pr-133502-27
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjix%2Fvarisat" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/jix/varisat
[INFO] finished tweaking git repo https://github.com/jix/varisat
[INFO] tweaked toml for git repo https://github.com/jix/varisat written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/jix/varisat on toolchain dfbea5bc945a9d7ff017d3d4bfbd1af9295fe5b8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dfbea5bc945a9d7ff017d3d4bfbd1af9295fe5b8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/jix/varisat 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" "+dfbea5bc945a9d7ff017d3d4bfbd1af9295fe5b8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded ppv-lite86 v0.2.9
[INFO] [stderr]   Downloaded getrandom v0.1.14
[INFO] [stderr]   Downloaded cfg-if v0.1.10
[INFO] [stderr]   Downloaded term_size v0.3.2
[INFO] [stderr]   Downloaded proptest v0.10.1
[INFO] [stderr]   Downloaded autocfg v1.0.1
[INFO] [stderr]   Downloaded unicode-xid v0.2.1
[INFO] [stderr]   Downloaded vec_mut_scan v0.3.0
[INFO] [stderr]   Downloaded termcolor v1.1.0
[INFO] [stderr]   Downloaded hermit-abi v0.1.15
[INFO] [stderr]   Downloaded partial_ref v0.3.2
[INFO] [stderr]   Downloaded partial_ref_derive v0.3.2
[INFO] [stderr]   Downloaded rand_xorshift v0.2.0
[INFO] [stderr]   Downloaded thread_local v1.0.1
[INFO] [stderr]   Downloaded ordered-float v2.0.0
[INFO] [stderr]   Downloaded remove_dir_all v0.5.3
[INFO] [stderr]   Downloaded bit-set v0.5.2
[INFO] [stderr]   Downloaded thiserror v1.0.20
[INFO] [stderr]   Downloaded byteorder v1.3.4
[INFO] [stderr]   Downloaded thiserror-impl v1.0.20
[INFO] [stderr]   Downloaded itoa v0.4.6
[INFO] [stderr]   Downloaded log v0.4.11
[INFO] [stderr]   Downloaded synstructure v0.12.4
[INFO] [stderr]   Downloaded wait-timeout v0.2.0
[INFO] [stderr]   Downloaded leb128 v0.2.4
[INFO] [stderr]   Downloaded redox_syscall v0.1.57
[INFO] [stderr]   Downloaded bitflags v1.2.1
[INFO] [stderr]   Downloaded bit-vec v0.6.2
[INFO] [stderr]   Downloaded anyhow v1.0.32
[INFO] [stderr]   Downloaded quote v1.0.7
[INFO] [stderr]   Downloaded proc-macro2 v1.0.20
[INFO] [stderr]   Downloaded smallvec v1.4.2
[INFO] [stderr]   Downloaded unicode-width v0.1.8
[INFO] [stderr]   Downloaded ansi_term v0.11.0
[INFO] [stderr]   Downloaded memchr v2.3.3
[INFO] [stderr]   Downloaded num-traits v0.2.12
[INFO] [stderr]   Downloaded serde_derive v1.0.115
[INFO] [stderr]   Downloaded tempfile v3.1.0
[INFO] [stderr]   Downloaded serde v1.0.115
[INFO] [stderr]   Downloaded toml v0.5.6
[INFO] [stderr]   Downloaded aho-corasick v0.7.13
[INFO] [stderr]   Downloaded clap v2.33.3
[INFO] [stderr]   Downloaded regex v1.3.9
[INFO] [stderr]   Downloaded syn v1.0.40
[INFO] [stderr]   Downloaded regex-syntax v0.6.18
[INFO] [stderr]   Downloaded libc v0.2.76
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:c36f533e8924a726b63f9d01e781fa8c8c28c96d1d595403829afb31452ee0f5" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 0a17715f06140d3f4c898fd985b725dec673ffa2f90d76567d01b41150965646
[INFO] running `Command { std: "docker" "start" "0a17715f06140d3f4c898fd985b725dec673ffa2f90d76567d01b41150965646", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0a17715f06140d3f4c898fd985b725dec673ffa2f90d76567d01b41150965646", 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" "0a17715f06140d3f4c898fd985b725dec673ffa2f90d76567d01b41150965646" "/opt/rustwide/cargo-home/bin/cargo" "+dfbea5bc945a9d7ff017d3d4bfbd1af9295fe5b8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0a17715f06140d3f4c898fd985b725dec673ffa2f90d76567d01b41150965646", 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" "0a17715f06140d3f4c898fd985b725dec673ffa2f90d76567d01b41150965646" "/opt/rustwide/cargo-home/bin/cargo" "+dfbea5bc945a9d7ff017d3d4bfbd1af9295fe5b8" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.76
[INFO] [stderr]    Compiling proc-macro2 v1.0.20
[INFO] [stderr]    Compiling syn v1.0.40
[INFO] [stderr]     Checking cfg-if v0.1.10
[INFO] [stderr]    Compiling getrandom v0.1.14
[INFO] [stderr]    Compiling unicode-xid v0.2.1
[INFO] [stderr]    Compiling memchr v2.3.3
[INFO] [stderr]    Compiling anyhow v1.0.32
[INFO] [stderr]     Checking ppv-lite86 v0.2.9
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]    Compiling bitflags v1.2.1
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]     Checking regex-syntax v0.6.18
[INFO] [stderr]    Compiling byteorder v1.3.4
[INFO] [stderr]     Checking remove_dir_all v0.5.3
[INFO] [stderr]     Checking fnv v1.0.7
[INFO] [stderr]     Checking bit-vec v0.6.2
[INFO] [stderr]    Compiling log v0.4.11
[INFO] [stderr]     Checking itoa v0.4.6
[INFO] [stderr]    Compiling serde_derive v1.0.115
[INFO] [stderr]     Checking smallvec v1.4.2
[INFO] [stderr]    Compiling serde v1.0.115
[INFO] [stderr]     Checking bit-set v0.5.2
[INFO] [stderr]     Checking rustc-hash v1.1.0
[INFO] [stderr]    Compiling num-traits v0.2.12
[INFO] [stderr]    Compiling thread_local v1.0.1
[INFO] [stderr]     Checking aho-corasick v0.7.13
[INFO] [stderr]     Checking leb128 v0.2.4
[INFO] [stderr]     Checking humantime v1.3.0
[INFO] [stderr]     Checking vec_mut_scan v0.3.0
[INFO] [stderr]    Compiling varisat v0.2.2 (/opt/rustwide/workdir/varisat)
[INFO] [stderr]     Checking termcolor v1.1.0
[INFO] [stderr]    Compiling varisat-lrat v0.2.2 (/opt/rustwide/workdir/varisat-lrat)
[INFO] [stderr]     Checking unicode-width v0.1.8
[INFO] [stderr]    Compiling varisat-cli v0.2.2 (/opt/rustwide/workdir/varisat-cli)
[INFO] [stderr]     Checking vec_map v0.8.2
[INFO] [stderr]    Compiling quote v1.0.7
[INFO] [stderr]     Checking strsim v0.8.0
[INFO] [stderr]     Checking wait-timeout v0.2.0
[INFO] [stderr]     Checking 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]     Checking term_size v0.3.2
[INFO] [stderr]     Checking ansi_term v0.11.0
[INFO] [stderr] warning: varisat-lrat@0.2.2: check-lrat utility not found, some tests will be disabled: No such file or directory (os error 2)
[INFO] [stderr]     Checking textwrap v0.11.0
[INFO] [stderr]     Checking rand_core v0.5.1
[INFO] [stderr]     Checking ordered-float v2.0.0
[INFO] [stderr]     Checking clap v2.33.3
[INFO] [stderr]     Checking rand_chacha v0.2.2
[INFO] [stderr]     Checking rand_xorshift v0.2.0
[INFO] [stderr]     Checking rand v0.7.3
[INFO] [stderr]    Compiling regex v1.3.9
[INFO] [stderr]     Checking tempfile v3.1.0
[INFO] [stderr]     Checking rusty-fork v0.3.0
[INFO] [stderr]     Checking proptest v0.10.1
[INFO] [stderr]    Compiling synstructure v0.12.4
[INFO] [stderr]    Compiling thiserror-impl v1.0.20
[INFO] [stderr]    Compiling partial_ref_derive v0.3.2
[INFO] [stderr]     Checking env_logger v0.7.1
[INFO] [stderr]     Checking thiserror v1.0.20
[INFO] [stderr]     Checking partial_ref v0.3.2
[INFO] [stderr]    Compiling varisat-internal-macros v0.2.2 (/opt/rustwide/workdir/varisat-internal-macros)
[INFO] [stderr]     Checking varisat-formula v0.2.2 (/opt/rustwide/workdir/varisat-formula)
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> varisat-formula/src/cnf.rs:106:21
[INFO] [stdout]     |
[INFO] [stdout] 106 |     fn new_var_iter(&mut self, count: usize) -> NewVarIter<Self> {
[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] 106 |     fn new_var_iter(&mut self, count: usize) -> NewVarIter<'_, Self> {
[INFO] [stdout]     |                                                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> varisat-formula/src/cnf.rs:115:21
[INFO] [stdout]     |
[INFO] [stdout] 115 |     fn new_lit_iter(&mut self, count: usize) -> NewVarIter<Self, Lit> {
[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] 115 |     fn new_lit_iter(&mut self, count: usize) -> NewVarIter<'_, Self, Lit> {
[INFO] [stdout]     |                                                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking varisat-internal-proof v0.2.2 (/opt/rustwide/workdir/varisat-internal-proof)
[INFO] [stderr]     Checking varisat-dimacs v0.2.2 (/opt/rustwide/workdir/varisat-dimacs)
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> varisat-internal-proof/src/binary_format.rs:263:18
[INFO] [stdout]     |
[INFO] [stdout] 263 |             _ => anyhow::bail!("parse error"),
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: `#[warn(semicolon_in_expressions_from_non_local_macros)]` (part of `#[warn(future_incompatible)]`) on by default
[INFO] [stdout]     = note: this warning originates in the macro `anyhow::bail` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary transmute
[INFO] [stdout]   --> varisat-internal-proof/src/vli_enc.rs:31:30
[INFO] [stdout]    |
[INFO] [stdout] 31 |         let bytes = unsafe { std::mem::transmute::<u64, [u8; 8]>(value.to_le()) };
[INFO] [stdout]    |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: there's also `to_le_bytes` and `to_be_bytes` if you expect a particular byte order
[INFO] [stdout]    = note: `#[warn(unnecessary_transmutes)]` on by default
[INFO] [stdout] help: replace this with
[INFO] [stdout]    |
[INFO] [stdout] 31 -         let bytes = unsafe { std::mem::transmute::<u64, [u8; 8]>(value.to_le()) };
[INFO] [stdout] 31 +         let bytes = unsafe { u64::to_ne_bytes(value.to_le()) };
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary transmute
[INFO] [stdout]   --> varisat-internal-proof/src/vli_enc.rs:35:33
[INFO] [stdout]    |
[INFO] [stdout] 35 |         let lo_bytes = unsafe { std::mem::transmute::<u64, [u8; 8]>(lo_data.to_le()) };
[INFO] [stdout]    |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: there's also `to_le_bytes` and `to_be_bytes` if you expect a particular byte order
[INFO] [stdout] help: replace this with
[INFO] [stdout]    |
[INFO] [stdout] 35 -         let lo_bytes = unsafe { std::mem::transmute::<u64, [u8; 8]>(lo_data.to_le()) };
[INFO] [stdout] 35 +         let lo_bytes = unsafe { u64::to_ne_bytes(lo_data.to_le()) };
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary transmute
[INFO] [stdout]   --> varisat-internal-proof/src/vli_enc.rs:37:33
[INFO] [stdout]    |
[INFO] [stdout] 37 |         let hi_bytes = unsafe { std::mem::transmute::<u64, [u8; 8]>(hi_data.to_le()) };
[INFO] [stdout]    |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: there's also `to_le_bytes` and `to_be_bytes` if you expect a particular byte order
[INFO] [stdout] help: replace this with
[INFO] [stdout]    |
[INFO] [stdout] 37 -         let hi_bytes = unsafe { std::mem::transmute::<u64, [u8; 8]>(hi_data.to_le()) };
[INFO] [stdout] 37 +         let hi_bytes = unsafe { u64::to_ne_bytes(hi_data.to_le()) };
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary transmute
[INFO] [stdout]   --> varisat-internal-proof/src/vli_enc.rs:47:9
[INFO] [stdout]    |
[INFO] [stdout] 47 |         std::mem::transmute::<[u8; 8], u64>(*<&[u8; 8]>::try_from(&bytes[..8]).unwrap())
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: there's also `from_le_bytes` and `from_be_bytes` if you expect a particular byte order
[INFO] [stdout] help: replace this with
[INFO] [stdout]    |
[INFO] [stdout] 47 -         std::mem::transmute::<[u8; 8], u64>(*<&[u8; 8]>::try_from(&bytes[..8]).unwrap())
[INFO] [stdout] 47 +         u64::from_ne_bytes(*<&[u8; 8]>::try_from(&bytes[..8]).unwrap())
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary transmute
[INFO] [stdout]   --> varisat-internal-proof/src/vli_enc.rs:60:13
[INFO] [stdout]    |
[INFO] [stdout] 60 |             std::mem::transmute::<[u8; 8], u64>(*<&[u8; 8]>::try_from(&bytes[8..]).unwrap())
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: there's also `from_le_bytes` and `from_be_bytes` if you expect a particular byte order
[INFO] [stdout] help: replace this with
[INFO] [stdout]    |
[INFO] [stdout] 60 -             std::mem::transmute::<[u8; 8], u64>(*<&[u8; 8]>::try_from(&bytes[8..]).unwrap())
[INFO] [stdout] 60 +             u64::from_ne_bytes(*<&[u8; 8]>::try_from(&bytes[8..]).unwrap())
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> varisat-internal-proof/src/binary_format.rs:263:18
[INFO] [stdout]     |
[INFO] [stdout] 263 |             _ => anyhow::bail!("parse error"),
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: `#[warn(semicolon_in_expressions_from_non_local_macros)]` (part of `#[warn(future_incompatible)]`) on by default
[INFO] [stdout]     = note: this warning originates in the macro `anyhow::bail` (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]    --> varisat-formula/src/cnf.rs:106:21
[INFO] [stdout]     |
[INFO] [stdout] 106 |     fn new_var_iter(&mut self, count: usize) -> NewVarIter<Self> {
[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] 106 |     fn new_var_iter(&mut self, count: usize) -> NewVarIter<'_, Self> {
[INFO] [stdout]     |                                                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> varisat-formula/src/cnf.rs:115:21
[INFO] [stdout]     |
[INFO] [stdout] 115 |     fn new_lit_iter(&mut self, count: usize) -> NewVarIter<Self, Lit> {
[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] 115 |     fn new_lit_iter(&mut self, count: usize) -> NewVarIter<'_, Self, Lit> {
[INFO] [stdout]     |                                                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking varisat-checker v0.2.2 (/opt/rustwide/workdir/varisat-checker)
[INFO] [stdout] warning: unnecessary transmute
[INFO] [stdout]   --> varisat-internal-proof/src/vli_enc.rs:31:30
[INFO] [stdout]    |
[INFO] [stdout] 31 |         let bytes = unsafe { std::mem::transmute::<u64, [u8; 8]>(value.to_le()) };
[INFO] [stdout]    |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: there's also `to_le_bytes` and `to_be_bytes` if you expect a particular byte order
[INFO] [stdout]    = note: `#[warn(unnecessary_transmutes)]` on by default
[INFO] [stdout] help: replace this with
[INFO] [stdout]    |
[INFO] [stdout] 31 -         let bytes = unsafe { std::mem::transmute::<u64, [u8; 8]>(value.to_le()) };
[INFO] [stdout] 31 +         let bytes = unsafe { u64::to_ne_bytes(value.to_le()) };
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary transmute
[INFO] [stdout]   --> varisat-internal-proof/src/vli_enc.rs:35:33
[INFO] [stdout]    |
[INFO] [stdout] 35 |         let lo_bytes = unsafe { std::mem::transmute::<u64, [u8; 8]>(lo_data.to_le()) };
[INFO] [stdout]    |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: there's also `to_le_bytes` and `to_be_bytes` if you expect a particular byte order
[INFO] [stdout] help: replace this with
[INFO] [stdout]    |
[INFO] [stdout] 35 -         let lo_bytes = unsafe { std::mem::transmute::<u64, [u8; 8]>(lo_data.to_le()) };
[INFO] [stdout] 35 +         let lo_bytes = unsafe { u64::to_ne_bytes(lo_data.to_le()) };
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary transmute
[INFO] [stdout]   --> varisat-internal-proof/src/vli_enc.rs:37:33
[INFO] [stdout]    |
[INFO] [stdout] 37 |         let hi_bytes = unsafe { std::mem::transmute::<u64, [u8; 8]>(hi_data.to_le()) };
[INFO] [stdout]    |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: there's also `to_le_bytes` and `to_be_bytes` if you expect a particular byte order
[INFO] [stdout] help: replace this with
[INFO] [stdout]    |
[INFO] [stdout] 37 -         let hi_bytes = unsafe { std::mem::transmute::<u64, [u8; 8]>(hi_data.to_le()) };
[INFO] [stdout] 37 +         let hi_bytes = unsafe { u64::to_ne_bytes(hi_data.to_le()) };
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary transmute
[INFO] [stdout]   --> varisat-internal-proof/src/vli_enc.rs:47:9
[INFO] [stdout]    |
[INFO] [stdout] 47 |         std::mem::transmute::<[u8; 8], u64>(*<&[u8; 8]>::try_from(&bytes[..8]).unwrap())
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: there's also `from_le_bytes` and `from_be_bytes` if you expect a particular byte order
[INFO] [stdout] help: replace this with
[INFO] [stdout]    |
[INFO] [stdout] 47 -         std::mem::transmute::<[u8; 8], u64>(*<&[u8; 8]>::try_from(&bytes[..8]).unwrap())
[INFO] [stdout] 47 +         u64::from_ne_bytes(*<&[u8; 8]>::try_from(&bytes[..8]).unwrap())
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary transmute
[INFO] [stdout]   --> varisat-internal-proof/src/vli_enc.rs:60:13
[INFO] [stdout]    |
[INFO] [stdout] 60 |             std::mem::transmute::<[u8; 8], u64>(*<&[u8; 8]>::try_from(&bytes[8..]).unwrap())
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: there's also `from_le_bytes` and `from_be_bytes` if you expect a particular byte order
[INFO] [stdout] help: replace this with
[INFO] [stdout]    |
[INFO] [stdout] 60 -             std::mem::transmute::<[u8; 8], u64>(*<&[u8; 8]>::try_from(&bytes[8..]).unwrap())
[INFO] [stdout] 60 +             u64::from_ne_bytes(*<&[u8; 8]>::try_from(&bytes[8..]).unwrap())
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> varisat-checker/src/transcript.rs:41:9
[INFO] [stdout]    |
[INFO] [stdout] 41 |         &mut self,
[INFO] [stdout]    |         ^^^^^^^^^ the lifetime is elided here
[INFO] [stdout] ...
[INFO] [stdout] 44 |     ) -> Option<ProofTranscriptStep> {
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 44 |     ) -> Option<ProofTranscriptStep<'_>> {
[INFO] [stdout]    |                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> varisat-checker/src/transcript.rs:41:9
[INFO] [stdout]    |
[INFO] [stdout] 41 |         &mut self,
[INFO] [stdout]    |         ^^^^^^^^^ the lifetime is elided here
[INFO] [stdout] ...
[INFO] [stdout] 44 |     ) -> Option<ProofTranscriptStep> {
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 44 |     ) -> Option<ProofTranscriptStep<'_>> {
[INFO] [stdout]    |                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking toml v0.5.6
[INFO] [stdout] warning: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> varisat/src/proof.rs:305:21
[INFO] [stdout]     |
[INFO] [stdout] 305 |                     log::error!("failed step was {}", debug_step)
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `error`
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: `#[warn(semicolon_in_expressions_from_non_local_macros)]` (part of `#[warn(future_incompatible)]`) on by default
[INFO] [stdout]     = note: this warning originates in the macro `log::error` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ImplNode`
[INFO] [stdout]   --> varisat/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: trailing semicolon in macro used in expression position
[INFO] [stdout]    --> varisat/src/proof.rs:305:21
[INFO] [stdout]     |
[INFO] [stdout] 305 |                     log::error!("failed step was {}", debug_step)
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `error`
[INFO] [stdout]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]     = note: `#[warn(semicolon_in_expressions_from_non_local_macros)]` (part of `#[warn(future_incompatible)]`) on by default
[INFO] [stdout]     = note: this warning originates in the macro `log::error` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `test_drat_trim`
[INFO] [stdout]    --> varisat/src/proof.rs:398:24
[INFO] [stdout]     |
[INFO] [stdout] 398 |         #[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]    --> varisat/src/proof.rs:406:24
[INFO] [stdout]     |
[INFO] [stdout] 406 |         #[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]    --> varisat/src/proof.rs:414:24
[INFO] [stdout]     |
[INFO] [stdout] 414 |         #[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]    --> varisat/src/proof.rs:422:24
[INFO] [stdout]     |
[INFO] [stdout] 422 |         #[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]   --> varisat/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]  --> varisat/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]    --> varisat/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]    --> varisat/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]    --> varisat/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]    --> varisat/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]   --> varisat/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]   --> varisat/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: trailing semicolon in macro used in expression position
[INFO] [stdout]   --> varisat-cli/src/check.rs:77:21
[INFO] [stdout]    |
[INFO] [stdout] 77 |                     log::error!("failed step was {}", debug_step)
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]    = note: to ignore the value produced by the macro, add a semicolon after the invocation of `error`
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]    = note: `#[warn(semicolon_in_expressions_from_non_local_macros)]` (part of `#[warn(future_incompatible)]`) on by default
[INFO] [stdout]    = note: this warning originates in the macro `log::error` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `test_check_lrat`
[INFO] [stdout]    --> varisat-lrat/src/lib.rs:303:20
[INFO] [stdout]     |
[INFO] [stdout] 303 |     #[cfg_attr(not(test_check_lrat), 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_check_lrat)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_check_lrat)");` 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_check_lrat`
[INFO] [stdout]    --> varisat-lrat/src/lib.rs:331:20
[INFO] [stdout]     |
[INFO] [stdout] 331 |     #[cfg_attr(not(test_check_lrat), 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_check_lrat)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_check_lrat)");` 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_check_lrat`
[INFO] [stdout]    --> varisat-lrat/src/lib.rs:358:24
[INFO] [stdout]     |
[INFO] [stdout] 358 |         #[cfg_attr(not(test_check_lrat), 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_check_lrat)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_check_lrat)");` 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: trailing semicolon in macro used in expression position
[INFO] [stdout]   --> varisat-cli/src/check.rs:77:21
[INFO] [stdout]    |
[INFO] [stdout] 77 |                     log::error!("failed step was {}", debug_step)
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: macro invocations at the end of a block are treated as expressions
[INFO] [stdout]    = note: to ignore the value produced by the macro, add a semicolon after the invocation of `error`
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stdout]    = note: `#[warn(semicolon_in_expressions_from_non_local_macros)]` (part of `#[warn(future_incompatible)]`) on by default
[INFO] [stdout]    = note: this warning originates in the macro `log::error` (in Nightly builds, run with -Z macro-backtrace for more info)
[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]  --> varisat/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]    --> varisat/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]    --> varisat/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]    --> varisat/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]    --> varisat/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]   --> varisat/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]   --> varisat/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 [optimized + debuginfo] target(s) in 29.18s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: varisat v0.2.2 (/opt/rustwide/workdir/varisat), varisat-cli v0.2.2 (/opt/rustwide/workdir/varisat-cli), varisat-internal-proof v0.2.2 (/opt/rustwide/workdir/varisat-internal-proof)
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 3`
[INFO] running `Command { std: "docker" "inspect" "0a17715f06140d3f4c898fd985b725dec673ffa2f90d76567d01b41150965646", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0a17715f06140d3f4c898fd985b725dec673ffa2f90d76567d01b41150965646", kill_on_drop: false }`
[INFO] [stdout] 0a17715f06140d3f4c898fd985b725dec673ffa2f90d76567d01b41150965646
