[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] testing jix/varisat against 1.99.0-beta.1+cargoflags=--release for beta-release-1.99-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjix%2Fvarisat" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/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-6-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/jix/varisat on toolchain 1.99.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.1" "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" "+1.99.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:8683fc1fc2eb5c9ac98e0d076ab094b2ffac7f99da555d2b6a2e27f346de2ec7" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 2860c057ba4128453965da4804ecd70169fbaa54f8a323bd83fa0db997e86c09
[INFO] running `Command { std: "docker" "start" "2860c057ba4128453965da4804ecd70169fbaa54f8a323bd83fa0db997e86c09", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2860c057ba4128453965da4804ecd70169fbaa54f8a323bd83fa0db997e86c09", 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" "2860c057ba4128453965da4804ecd70169fbaa54f8a323bd83fa0db997e86c09" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2860c057ba4128453965da4804ecd70169fbaa54f8a323bd83fa0db997e86c09", 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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "2860c057ba4128453965da4804ecd70169fbaa54f8a323bd83fa0db997e86c09" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.76
[INFO] [stderr]    Compiling proc-macro2 v1.0.20
[INFO] [stderr]    Compiling unicode-xid v0.2.1
[INFO] [stderr]    Compiling syn v1.0.40
[INFO] [stderr]    Compiling cfg-if v0.1.10
[INFO] [stderr]    Compiling getrandom v0.1.14
[INFO] [stderr]    Compiling anyhow v1.0.32
[INFO] [stderr]    Compiling memchr v2.3.3
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.9
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling bitflags v1.2.1
[INFO] [stderr]    Compiling remove_dir_all v0.5.3
[INFO] [stderr]    Compiling byteorder v1.3.4
[INFO] [stderr]    Compiling regex-syntax v0.6.18
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling bit-vec v0.6.2
[INFO] [stderr]    Compiling log v0.4.11
[INFO] [stderr]    Compiling serde_derive v1.0.115
[INFO] [stderr]    Compiling thread_local v1.0.1
[INFO] [stderr]    Compiling itoa v0.4.6
[INFO] [stderr]    Compiling serde v1.0.115
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling smallvec v1.4.2
[INFO] [stderr]    Compiling aho-corasick v0.7.13
[INFO] [stderr]    Compiling leb128 v0.2.4
[INFO] [stderr]    Compiling unicode-width v0.1.8
[INFO] [stderr]    Compiling bit-set v0.5.2
[INFO] [stderr]    Compiling humantime v1.3.0
[INFO] [stderr]    Compiling num-traits v0.2.12
[INFO] [stderr]    Compiling wait-timeout v0.2.0
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling term_size v0.3.2
[INFO] [stderr]    Compiling varisat-lrat v0.2.2 (/opt/rustwide/workdir/varisat-lrat)
[INFO] [stderr]    Compiling varisat v0.2.2 (/opt/rustwide/workdir/varisat)
[INFO] [stderr]    Compiling ansi_term v0.11.0
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling vec_mut_scan v0.3.0
[INFO] [stderr]    Compiling rand_core v0.5.1
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling rand_chacha v0.2.2
[INFO] [stderr]    Compiling rand_xorshift v0.2.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]    Compiling vec_map v0.8.2
[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 termcolor v1.1.0
[INFO] [stderr]    Compiling quote v1.0.7
[INFO] [stderr]    Compiling varisat-cli v0.2.2 (/opt/rustwide/workdir/varisat-cli)
[INFO] [stderr]    Compiling clap v2.33.3
[INFO] [stderr]    Compiling rand v0.7.3
[INFO] [stderr]    Compiling ordered-float v2.0.0
[INFO] [stderr]    Compiling tempfile v3.1.0
[INFO] [stderr]    Compiling rusty-fork v0.3.0
[INFO] [stderr]    Compiling proptest v0.10.1
[INFO] [stderr]    Compiling regex v1.3.9
[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]    Compiling env_logger v0.7.1
[INFO] [stderr]    Compiling varisat-internal-macros v0.2.2 (/opt/rustwide/workdir/varisat-internal-macros)
[INFO] [stderr]    Compiling partial_ref v0.3.2
[INFO] [stderr]    Compiling thiserror v1.0.20
[INFO] [stderr]    Compiling varisat-formula v0.2.2 (/opt/rustwide/workdir/varisat-formula)
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> varisat-formula/src/lit.rs:61:28
[INFO] [stdout]    |
[INFO] [stdout] 61 |             index: LitIdx::max_value() >> 4,
[INFO] [stdout]    |                            ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[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]    Compiling varisat-dimacs v0.2.2 (/opt/rustwide/workdir/varisat-dimacs)
[INFO] [stderr]    Compiling varisat-internal-proof v0.2.2 (/opt/rustwide/workdir/varisat-internal-proof)
[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] [stderr]    Compiling varisat-checker v0.2.2 (/opt/rustwide/workdir/varisat-checker)
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u64>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> varisat-checker/src/hash.rs:39:38
[INFO] [stdout]    |
[INFO] [stdout] 39 |         let shift_bits = ClauseHash::max_value().count_ones() - self.hash_bits;
[INFO] [stdout]    |                                      ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[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]    Compiling 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: use of deprecated constant `std::f32::MAX`: replaced by the `MAX` associated constant on `f32`
[INFO] [stdout]   --> varisat/src/clause/activity.rs:42:15
[INFO] [stdout]    |
[INFO] [stdout] 42 |     std::f32::MAX / 16.0
[INFO] [stdout]    |               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::f32::MAX`: replaced by the `MAX` associated constant on `f32`
[INFO] [stdout]   --> varisat/src/decision/vsids.rs:62:19
[INFO] [stdout]    |
[INFO] [stdout] 62 |         std::f32::MAX / 16.0
[INFO] [stdout]    |                   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl usize>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> varisat/src/clause/alloc.rs:191:18
[INFO] [stdout]     |
[INFO] [stdout] 191 |         ((usize::max_value() >> 1) & (ClauseOffset::max_value() as usize)) as ClauseOffset
[INFO] [stdout]     |                  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> varisat/src/clause/alloc.rs:191:53
[INFO] [stdout]     |
[INFO] [stdout] 191 |         ((usize::max_value() >> 1) & (ClauseOffset::max_value() as usize)) as ClauseOffset
[INFO] [stdout]     |                                                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u64>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> varisat/src/proof.rs:248:34
[INFO] [stdout]     |
[INFO] [stdout] 248 |     let shift_bits = ClauseHash::max_value().count_ones() - proof.hash_bits;
[INFO] [stdout]     |                                  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> varisat/src/prop/graph.rs:128:30
[INFO] [stdout]     |
[INFO] [stdout] 128 |         node.depth = LitIdx::max_value();
[INFO] [stdout]     |                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> varisat/src/prop/graph.rs:132:50
[INFO] [stdout]     |
[INFO] [stdout] 132 |         self.nodes[var.index()].depth == LitIdx::max_value()
[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]  --> 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] [stderr]     Finished `release` profile [optimized + debuginfo] target(s) in 52.80s
[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 1`
[INFO] running `Command { std: "docker" "inspect" "2860c057ba4128453965da4804ecd70169fbaa54f8a323bd83fa0db997e86c09", 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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "2860c057ba4128453965da4804ecd70169fbaa54f8a323bd83fa0db997e86c09" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json" "--release", 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: 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]    Compiling varisat-internal-macros v0.2.2 (/opt/rustwide/workdir/varisat-internal-macros)
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> varisat-formula/src/lit.rs:61:28
[INFO] [stdout]    |
[INFO] [stdout] 61 |             index: LitIdx::max_value() >> 4,
[INFO] [stdout]    |                            ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling 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] [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] [stderr]    Compiling varisat-internal-proof v0.2.2 (/opt/rustwide/workdir/varisat-internal-proof)
[INFO] [stderr]    Compiling varisat-dimacs v0.2.2 (/opt/rustwide/workdir/varisat-dimacs)
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u64>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> varisat-checker/src/hash.rs:39:38
[INFO] [stdout]    |
[INFO] [stdout] 39 |         let shift_bits = ClauseHash::max_value().count_ones() - self.hash_bits;
[INFO] [stdout]    |                                      ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling varisat-checker v0.2.2 (/opt/rustwide/workdir/varisat-checker)
[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: 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: use of deprecated constant `std::f32::MAX`: replaced by the `MAX` associated constant on `f32`
[INFO] [stdout]   --> varisat/src/clause/activity.rs:42:15
[INFO] [stdout]    |
[INFO] [stdout] 42 |     std::f32::MAX / 16.0
[INFO] [stdout]    |               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::f32::MAX`: replaced by the `MAX` associated constant on `f32`
[INFO] [stdout]   --> varisat/src/decision/vsids.rs:62:19
[INFO] [stdout]    |
[INFO] [stdout] 62 |         std::f32::MAX / 16.0
[INFO] [stdout]    |                   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl usize>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> varisat/src/clause/alloc.rs:191:18
[INFO] [stdout]     |
[INFO] [stdout] 191 |         ((usize::max_value() >> 1) & (ClauseOffset::max_value() as usize)) as ClauseOffset
[INFO] [stdout]     |                  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> varisat/src/clause/alloc.rs:191:53
[INFO] [stdout]     |
[INFO] [stdout] 191 |         ((usize::max_value() >> 1) & (ClauseOffset::max_value() as usize)) as ClauseOffset
[INFO] [stdout]     |                                                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u64>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> varisat/src/proof.rs:248:34
[INFO] [stdout]     |
[INFO] [stdout] 248 |     let shift_bits = ClauseHash::max_value().count_ones() - proof.hash_bits;
[INFO] [stdout]     |                                  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> varisat/src/prop/graph.rs:128:30
[INFO] [stdout]     |
[INFO] [stdout] 128 |         node.depth = LitIdx::max_value();
[INFO] [stdout]     |                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> varisat/src/prop/graph.rs:132:50
[INFO] [stdout]     |
[INFO] [stdout] 132 |         self.nodes[var.index()].depth == LitIdx::max_value()
[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]  --> 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] [stderr]    Compiling varisat v0.2.2 (/opt/rustwide/workdir/varisat)
[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] [stderr]    Compiling varisat-lrat v0.2.2 (/opt/rustwide/workdir/varisat-lrat)
[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]    Compiling varisat-cli v0.2.2 (/opt/rustwide/workdir/varisat-cli)
[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: 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 34 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: 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-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: use of deprecated associated function `core::num::<impl u64>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> varisat-checker/src/hash.rs:39:38
[INFO] [stdout]    |
[INFO] [stdout] 39 |         let shift_bits = ClauseHash::max_value().count_ones() - self.hash_bits;
[INFO] [stdout]    |                                      ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` 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 34 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: use of deprecated constant `std::f32::MAX`: replaced by the `MAX` associated constant on `f32`
[INFO] [stdout]   --> varisat/src/clause/activity.rs:42:15
[INFO] [stdout]    |
[INFO] [stdout] 42 |     std::f32::MAX / 16.0
[INFO] [stdout]    |               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::f32::MAX`: replaced by the `MAX` associated constant on `f32`
[INFO] [stdout]   --> varisat/src/decision/vsids.rs:62:19
[INFO] [stdout]    |
[INFO] [stdout] 62 |         std::f32::MAX / 16.0
[INFO] [stdout]    |                   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> varisat-formula/src/lit.rs:61:28
[INFO] [stdout]    |
[INFO] [stdout] 61 |             index: LitIdx::max_value() >> 4,
[INFO] [stdout]    |                            ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[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] [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: use of deprecated associated function `core::num::<impl usize>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> varisat/src/clause/alloc.rs:191:18
[INFO] [stdout]     |
[INFO] [stdout] 191 |         ((usize::max_value() >> 1) & (ClauseOffset::max_value() as usize)) as ClauseOffset
[INFO] [stdout]     |                  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> varisat/src/clause/alloc.rs:191:53
[INFO] [stdout]     |
[INFO] [stdout] 191 |         ((usize::max_value() >> 1) & (ClauseOffset::max_value() as usize)) as ClauseOffset
[INFO] [stdout]     |                                                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u64>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> varisat/src/proof.rs:248:34
[INFO] [stdout]     |
[INFO] [stdout] 248 |     let shift_bits = ClauseHash::max_value().count_ones() - proof.hash_bits;
[INFO] [stdout]     |                                  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> varisat/src/prop/graph.rs:128:30
[INFO] [stdout]     |
[INFO] [stdout] 128 |         node.depth = LitIdx::max_value();
[INFO] [stdout]     |                              ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> varisat/src/prop/graph.rs:132:50
[INFO] [stdout]     |
[INFO] [stdout] 132 |         self.nodes[var.index()].depth == LitIdx::max_value()
[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]  --> 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 `release` profile [optimized + debuginfo] target(s) in 31.51s
[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 2`
[INFO] running `Command { std: "docker" "inspect" "2860c057ba4128453965da4804ecd70169fbaa54f8a323bd83fa0db997e86c09", 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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "2860c057ba4128453965da4804ecd70169fbaa54f8a323bd83fa0db997e86c09" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.1" "test" "--frozen" "--release", 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: 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] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stderr]   --> varisat-formula/src/lit.rs:61:28
[INFO] [stderr]    |
[INFO] [stderr] 61 |             index: LitIdx::max_value() >> 4,
[INFO] [stderr]    |                            ^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(deprecated)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> varisat-formula/src/cnf.rs:106:21
[INFO] [stderr]     |
[INFO] [stderr] 106 |     fn new_var_iter(&mut self, count: usize) -> NewVarIter<Self> {
[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] 106 |     fn new_var_iter(&mut self, count: usize) -> NewVarIter<'_, Self> {
[INFO] [stderr]     |                                                            +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> varisat-formula/src/cnf.rs:115:21
[INFO] [stderr]     |
[INFO] [stderr] 115 |     fn new_lit_iter(&mut self, count: usize) -> NewVarIter<Self, Lit> {
[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] 115 |     fn new_lit_iter(&mut self, count: usize) -> NewVarIter<'_, Self, Lit> {
[INFO] [stderr]     |                                                            +++
[INFO] [stderr] 
[INFO] [stderr] warning: `varisat-formula` (lib) generated 3 warnings (run `cargo fix --lib -p varisat-formula` to apply 2 suggestions)
[INFO] [stderr] warning: `varisat-formula` (lib test) generated 3 warnings (3 duplicates)
[INFO] [stderr] warning: trailing semicolon in macro used in expression position
[INFO] [stderr]    --> varisat-internal-proof/src/binary_format.rs:263:18
[INFO] [stderr]     |
[INFO] [stderr] 263 |             _ => anyhow::bail!("parse error"),
[INFO] [stderr]     |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stderr]     = note: `#[warn(semicolon_in_expressions_from_non_local_macros)]` (part of `#[warn(future_incompatible)]`) on by default
[INFO] [stderr]     = note: this warning originates in the macro `anyhow::bail` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary transmute
[INFO] [stderr]   --> varisat-internal-proof/src/vli_enc.rs:31:30
[INFO] [stderr]    |
[INFO] [stderr] 31 |         let bytes = unsafe { std::mem::transmute::<u64, [u8; 8]>(value.to_le()) };
[INFO] [stderr]    |                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: there's also `to_le_bytes` and `to_be_bytes` if you expect a particular byte order
[INFO] [stderr]    = note: `#[warn(unnecessary_transmutes)]` on by default
[INFO] [stderr] help: replace this with
[INFO] [stderr]    |
[INFO] [stderr] 31 -         let bytes = unsafe { std::mem::transmute::<u64, [u8; 8]>(value.to_le()) };
[INFO] [stderr] 31 +         let bytes = unsafe { u64::to_ne_bytes(value.to_le()) };
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary transmute
[INFO] [stderr]   --> varisat-internal-proof/src/vli_enc.rs:35:33
[INFO] [stderr]    |
[INFO] [stderr] 35 |         let lo_bytes = unsafe { std::mem::transmute::<u64, [u8; 8]>(lo_data.to_le()) };
[INFO] [stderr]    |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: there's also `to_le_bytes` and `to_be_bytes` if you expect a particular byte order
[INFO] [stderr] help: replace this with
[INFO] [stderr]    |
[INFO] [stderr] 35 -         let lo_bytes = unsafe { std::mem::transmute::<u64, [u8; 8]>(lo_data.to_le()) };
[INFO] [stderr] 35 +         let lo_bytes = unsafe { u64::to_ne_bytes(lo_data.to_le()) };
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary transmute
[INFO] [stderr]   --> varisat-internal-proof/src/vli_enc.rs:37:33
[INFO] [stderr]    |
[INFO] [stderr] 37 |         let hi_bytes = unsafe { std::mem::transmute::<u64, [u8; 8]>(hi_data.to_le()) };
[INFO] [stderr]    |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: there's also `to_le_bytes` and `to_be_bytes` if you expect a particular byte order
[INFO] [stderr] help: replace this with
[INFO] [stderr]    |
[INFO] [stderr] 37 -         let hi_bytes = unsafe { std::mem::transmute::<u64, [u8; 8]>(hi_data.to_le()) };
[INFO] [stderr] 37 +         let hi_bytes = unsafe { u64::to_ne_bytes(hi_data.to_le()) };
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary transmute
[INFO] [stderr]   --> varisat-internal-proof/src/vli_enc.rs:47:9
[INFO] [stderr]    |
[INFO] [stderr] 47 |         std::mem::transmute::<[u8; 8], u64>(*<&[u8; 8]>::try_from(&bytes[..8]).unwrap())
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: there's also `from_le_bytes` and `from_be_bytes` if you expect a particular byte order
[INFO] [stderr] help: replace this with
[INFO] [stderr]    |
[INFO] [stderr] 47 -         std::mem::transmute::<[u8; 8], u64>(*<&[u8; 8]>::try_from(&bytes[..8]).unwrap())
[INFO] [stderr] 47 +         u64::from_ne_bytes(*<&[u8; 8]>::try_from(&bytes[..8]).unwrap())
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: unnecessary transmute
[INFO] [stderr]   --> varisat-internal-proof/src/vli_enc.rs:60:13
[INFO] [stderr]    |
[INFO] [stderr] 60 |             std::mem::transmute::<[u8; 8], u64>(*<&[u8; 8]>::try_from(&bytes[8..]).unwrap())
[INFO] [stderr]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: there's also `from_le_bytes` and `from_be_bytes` if you expect a particular byte order
[INFO] [stderr] help: replace this with
[INFO] [stderr]    |
[INFO] [stderr] 60 -             std::mem::transmute::<[u8; 8], u64>(*<&[u8; 8]>::try_from(&bytes[8..]).unwrap())
[INFO] [stderr] 60 +             u64::from_ne_bytes(*<&[u8; 8]>::try_from(&bytes[8..]).unwrap())
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: `varisat-internal-proof` (lib) generated 6 warnings (run `cargo fix --lib -p varisat-internal-proof` to apply 5 suggestions)
[INFO] [stderr] warning: `varisat-internal-proof` (lib test) generated 6 warnings (6 duplicates)
[INFO] [stderr] warning: use of deprecated associated function `core::num::<impl u64>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stderr]   --> varisat-checker/src/hash.rs:39:38
[INFO] [stderr]    |
[INFO] [stderr] 39 |         let shift_bits = ClauseHash::max_value().count_ones() - self.hash_bits;
[INFO] [stderr]    |                                      ^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(deprecated)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]   --> varisat-checker/src/transcript.rs:41:9
[INFO] [stderr]    |
[INFO] [stderr] 41 |         &mut self,
[INFO] [stderr]    |         ^^^^^^^^^ the lifetime is elided here
[INFO] [stderr] ...
[INFO] [stderr] 44 |     ) -> Option<ProofTranscriptStep> {
[INFO] [stderr]    |                 ^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden 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] 44 |     ) -> Option<ProofTranscriptStep<'_>> {
[INFO] [stderr]    |                                    ++++
[INFO] [stderr] 
[INFO] [stderr] warning: `varisat-checker` (lib) generated 2 warnings (run `cargo fix --lib -p varisat-checker` to apply 1 suggestion)
[INFO] [stderr] warning: `varisat-checker` (lib test) generated 2 warnings (2 duplicates)
[INFO] [stderr] warning: trailing semicolon in macro used in expression position
[INFO] [stderr]    --> varisat/src/proof.rs:305:21
[INFO] [stderr]     |
[INFO] [stderr] 305 |                     log::error!("failed step was {}", debug_step)
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: macro invocations at the end of a block are treated as expressions
[INFO] [stderr]     = note: to ignore the value produced by the macro, add a semicolon after the invocation of `error`
[INFO] [stderr]     = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]     = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stderr]     = note: `#[warn(semicolon_in_expressions_from_non_local_macros)]` (part of `#[warn(future_incompatible)]`) on by default
[INFO] [stderr]     = note: this warning originates in the macro `log::error` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `ImplNode`
[INFO] [stderr]   --> varisat/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: use of deprecated constant `std::f32::MAX`: replaced by the `MAX` associated constant on `f32`
[INFO] [stderr]   --> varisat/src/clause/activity.rs:42:15
[INFO] [stderr]    |
[INFO] [stderr] 42 |     std::f32::MAX / 16.0
[INFO] [stderr]    |               ^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(deprecated)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated constant `std::f32::MAX`: replaced by the `MAX` associated constant on `f32`
[INFO] [stderr]   --> varisat/src/decision/vsids.rs:62:19
[INFO] [stderr]    |
[INFO] [stderr] 62 |         std::f32::MAX / 16.0
[INFO] [stderr]    |                   ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `core::num::<impl usize>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stderr]    --> varisat/src/clause/alloc.rs:191:18
[INFO] [stderr]     |
[INFO] [stderr] 191 |         ((usize::max_value() >> 1) & (ClauseOffset::max_value() as usize)) as ClauseOffset
[INFO] [stderr]     |                  ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stderr]    --> varisat/src/clause/alloc.rs:191:53
[INFO] [stderr]     |
[INFO] [stderr] 191 |         ((usize::max_value() >> 1) & (ClauseOffset::max_value() as usize)) as ClauseOffset
[INFO] [stderr]     |                                                     ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `core::num::<impl u64>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stderr]    --> varisat/src/proof.rs:248:34
[INFO] [stderr]     |
[INFO] [stderr] 248 |     let shift_bits = ClauseHash::max_value().count_ones() - proof.hash_bits;
[INFO] [stderr]     |                                  ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stderr]    --> varisat/src/prop/graph.rs:128:30
[INFO] [stderr]     |
[INFO] [stderr] 128 |         node.depth = LitIdx::max_value();
[INFO] [stderr]     |                              ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stderr]    --> varisat/src/prop/graph.rs:132:50
[INFO] [stderr]     |
[INFO] [stderr] 132 |         self.nodes[var.index()].depth == LitIdx::max_value()
[INFO] [stderr]     |                                                  ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item
[INFO] [stderr]  --> varisat/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]    --> varisat/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]    --> varisat/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]    --> varisat/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]    --> varisat/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]   --> varisat/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]   --> varisat/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]    --> varisat/src/proof.rs:398:24
[INFO] [stderr]     |
[INFO] [stderr] 398 |         #[cfg_attr(not(test_drat_trim), ignore)]
[INFO] [stderr]     |                        ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: expected names are: `docsrs`, `feature`, and `test` and 34 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]    --> varisat/src/proof.rs:406:24
[INFO] [stderr]     |
[INFO] [stderr] 406 |         #[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]    --> varisat/src/proof.rs:414:24
[INFO] [stderr]     |
[INFO] [stderr] 414 |         #[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]    --> varisat/src/proof.rs:422:24
[INFO] [stderr]     |
[INFO] [stderr] 422 |         #[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 16 warnings (run `cargo fix --lib -p varisat` to apply 7 suggestions)
[INFO] [stderr] warning: `varisat` (lib test) generated 20 warnings (16 duplicates)
[INFO] [stderr] warning: unexpected `cfg` condition name: `test_check_lrat`
[INFO] [stderr]    --> varisat-lrat/src/lib.rs:303:20
[INFO] [stderr]     |
[INFO] [stderr] 303 |     #[cfg_attr(not(test_check_lrat), ignore)]
[INFO] [stderr]     |                    ^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: expected names are: `docsrs`, `feature`, and `test` and 34 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_check_lrat)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_check_lrat)");` 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_check_lrat`
[INFO] [stderr]    --> varisat-lrat/src/lib.rs:331:20
[INFO] [stderr]     |
[INFO] [stderr] 331 |     #[cfg_attr(not(test_check_lrat), 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_check_lrat)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_check_lrat)");` 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_check_lrat`
[INFO] [stderr]    --> varisat-lrat/src/lib.rs:358:24
[INFO] [stderr]     |
[INFO] [stderr] 358 |         #[cfg_attr(not(test_check_lrat), 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_check_lrat)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(test_check_lrat)");` 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: trailing semicolon in macro used in expression position
[INFO] [stderr]   --> varisat-cli/src/check.rs:77:21
[INFO] [stderr]    |
[INFO] [stderr] 77 |                     log::error!("failed step was {}", debug_step)
[INFO] [stderr]    |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: macro invocations at the end of a block are treated as expressions
[INFO] [stderr]    = note: to ignore the value produced by the macro, add a semicolon after the invocation of `error`
[INFO] [stderr]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]    = note: for more information, see issue #79813 <https://github.com/rust-lang/rust/issues/79813>
[INFO] [stderr]    = note: `#[warn(semicolon_in_expressions_from_non_local_macros)]` (part of `#[warn(future_incompatible)]`) on by default
[INFO] [stderr]    = note: this warning originates in the macro `log::error` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: `varisat-lrat` (lib test) generated 3 warnings
[INFO] [stderr] warning: `varisat-cli` (bin "varisat" test) generated 1 warning
[INFO] [stderr]     Finished `release` profile [optimized + debuginfo] target(s) in 0.12s
[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 2`
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/varisat-7e0810d55e049b20)
[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 decision::vsids::tests::heap_sorts ... ok
[INFO] [stdout] test clause::db::tests::set_tiers_and_deletes ... ok
[INFO] [stdout] test decision::vsids::tests::heap_bump ... ok
[INFO] [stdout] test decision::vsids::tests::rescale_bump ... ok
[INFO] [stdout] test decision::vsids::tests::rescale_decay ... ok
[INFO] [stdout] test load::tests::binary_clauses ... ok
[INFO] [stdout] test load::tests::long_clauses ... 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 load::tests::unit_clauses ... ok
[INFO] [stdout] test load::tests::unsat_on_empty_clause ... ok
[INFO] [stdout] test schedule::luby::tests::luby_sequence ... ok
[INFO] [stdout] test cdcl::tests::sgen_unsat ... ok
[INFO] [stdout] test cdcl::tests::sat ... ok
[INFO] [stdout] test solver::tests::self_check_duplicated_unit_clauses ... ok
[INFO] [stdout] test prop::tests::propagation_no_conflict ... 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::sat ... ok
[INFO] [stdout] test assumptions::tests::pigeon_hole_unsat_assumption_core_internal ... ok
[INFO] [stdout] test solver::tests::sgen_unsat_checked ... ok
[INFO] [stdout] test solver::tests::sgen_unsat ... ok
[INFO] [stdout] test solver::tests::sat_via_dimacs ... ok
[INFO] [stdout] test prop::tests::propagation_no_conflict_after_gc ... ok
[INFO] [stdout] test solver::tests::add_proof_processor_too_late - should panic ... ok
[INFO] [stdout] test solver::tests::error_handling_proof_processing - should panic ... ok
[INFO] [stdout] test solver::tests::error_handling_proof_writing - should panic ... ok
[INFO] [stdout] test solver::tests::write_proof_too_late - should panic ... ok
[INFO] [stdout] test solver::tests::enable_self_checking_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 cdcl::tests::sgen_unsat_incremetal_clauses ... ok
[INFO] [stdout] test variables::tests::sgen_unsat_hidden_with_sat ... ok
[INFO] [stdout] test solver::tests::sgen_unsat_incremental_clauses ... ok
[INFO] [stdout] test variables::tests::sgen_sat_many_hidden_observe_internal ... ok
[INFO] [stdout] test clause::alloc::tests::roundtrip_from_cnf_formula ... ok
[INFO] [stdout] test clause::alloc::tests::clause_mutation ... ok
[INFO] [stdout] test clause::gc::tests::garbage_collection ... ok
[INFO] [stderr]      Running tests/checker.rs (/opt/rustwide/target/release/deps/checker-15314cb9c69e98a2)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 38 passed; 0 failed; 4 ignored; 0 measured; 0 filtered out; finished in 0.64s
[INFO] [stdout] 
[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] [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 0.13s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/cnfs.rs (/opt/rustwide/target/release/deps/cnfs-6a82f8795711b63e)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test sgen1_unsat_57_0 ... ok
[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 1.84s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/varisat_checker-e363785557d44e5d)
[INFO] [stdout] 
[INFO] [stdout] running 27 tests
[INFO] [stdout] test tests::add_clause_to_hidden_var ... ok
[INFO] [stdout] test tests::add_clause_to_non_sampling_var ... ok
[INFO] [stdout] test tests::clause_check_failed ... ok
[INFO] [stdout] test tests::clause_not_found ... ok
[INFO] [stdout] test tests::conflicting_units ... ok
[INFO] [stdout] test tests::colloding_user_vars ... ok
[INFO] [stdout] test tests::delete_derived_tautology ... ok
[INFO] [stdout] test tests::delete_in_use_var ... ok
[INFO] [stdout] test tests::delete_unit_clause ... ok
[INFO] [stdout] test tests::delete_user_var ... ok
[INFO] [stdout] test tests::failed_assumptions_with_missing_propagations ... ok
[INFO] [stdout] test tests::failed_assumptions_with_conflicting_assumptions ... ok
[INFO] [stdout] test tests::delete_clause_not_redundant ... ok
[INFO] [stdout] test tests::failed_core_with_non_assumed_vars ... ok
[INFO] [stdout] test tests::delete_clause_not_satisfied ... ok
[INFO] [stdout] test tests::hide_hidden_var ... ok
[INFO] [stdout] test tests::invalid_delete ... ok
[INFO] [stdout] test tests::invalid_hidden_to_sample ... ok
[INFO] [stdout] test tests::model_clause_unsat ... ok
[INFO] [stdout] test tests::model_conflicts_assumptions ... ok
[INFO] [stdout] test tests::model_internal_conflict ... ok
[INFO] [stdout] test tests::model_misses_assumption ... ok
[INFO] [stdout] test tests::model_unit_conflict ... ok
[INFO] [stdout] test tests::observe_without_setting_mode ... ok
[INFO] [stdout] test tests::ref_counts ... ok
[INFO] [stdout] test tests::delete_clause_not_simplified ... ok
[INFO] [stdout] test tests::add_derived_tautology ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 27 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/release/deps/varisat-26cba7d57f3a9a3b)
[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] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/varisat_dimacs-68d3a97e5117f547)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test tests::invalid_header_data ... ok
[INFO] [stdout] test tests::odd_whitespace ... ok
[INFO] [stdout] test tests::invalid_headers ... ok
[INFO] [stdout] test tests::literal_too_large ... ok
[INFO] [stdout] test tests::syntax_errors ... ok
[INFO] [stdout] test tests::unterminated_clause ... ok
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/varisat_formula-f9a2b019925ab745)
[INFO] [stdout] test tests::roundtrip ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.14s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test cnf::tests::new_vars ... ok
[INFO] [stdout] test cnf::tests::simple_roundtrip ... ok
[INFO] [stdout] test cnf::tests::roundtrip_from_cnf ... ok
[INFO] [stdout] test cnf::tests::roundtrip_from_vec ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.15s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/varisat_internal_macros-124c04b8232a6c36)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/varisat_internal_proof-44b606a6da835379)
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test vli_enc::tests::roundtrip ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/varisat_lrat-a9f45707cbdce6e0)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test tests::duplicated_clause_lrat ... ignored
[INFO] [stdout] test tests::sgen_unsat_lrat ... ignored
[INFO] [stdout] test tests::unit_conflict_lrat ... ignored
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 3 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests varisat
[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] [stderr]    Doc-tests varisat_checker
[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] [stderr]    Doc-tests varisat_dimacs
[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] [stderr]    Doc-tests varisat_formula
[INFO] [stderr]    Doc-tests varisat_internal_macros
[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] [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] [stderr]    Doc-tests varisat_internal_proof
[INFO] [stderr]    Doc-tests varisat_lrat
[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] [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" "2860c057ba4128453965da4804ecd70169fbaa54f8a323bd83fa0db997e86c09", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2860c057ba4128453965da4804ecd70169fbaa54f8a323bd83fa0db997e86c09", kill_on_drop: false }`
[INFO] [stdout] 2860c057ba4128453965da4804ecd70169fbaa54f8a323bd83fa0db997e86c09
