[INFO] cloning repository https://github.com/krobelus/rate
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/krobelus/rate" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkrobelus%2Frate", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkrobelus%2Frate'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 93bf524435455ddc0b370669c17b1eb8741a026c
[INFO] testing krobelus/rate 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%2Fkrobelus%2Frate" "/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/krobelus/rate
[INFO] finished tweaking git repo https://github.com/krobelus/rate
[INFO] tweaked toml for git repo https://github.com/krobelus/rate written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/krobelus/rate 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/krobelus/rate 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] be16b765749c18da1f3a6d18900709bd7e5a15424fc98b4136437018528c0ceb
[INFO] running `Command { std: "docker" "start" "be16b765749c18da1f3a6d18900709bd7e5a15424fc98b4136437018528c0ceb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "be16b765749c18da1f3a6d18900709bd7e5a15424fc98b4136437018528c0ceb", 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" "be16b765749c18da1f3a6d18900709bd7e5a15424fc98b4136437018528c0ceb" "/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" "be16b765749c18da1f3a6d18900709bd7e5a15424fc98b4136437018528c0ceb", 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" "be16b765749c18da1f3a6d18900709bd7e5a15424fc98b4136437018528c0ceb" "/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.82
[INFO] [stderr]    Compiling pkg-config v0.3.19
[INFO] [stderr]    Compiling either v1.6.1
[INFO] [stderr]    Compiling proc-macro2 v1.0.24
[INFO] [stderr]    Compiling unicode-xid v0.2.1
[INFO] [stderr]    Compiling glob v0.3.0
[INFO] [stderr]    Compiling syn v1.0.59
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling crc32fast v1.2.1
[INFO] [stderr]    Compiling serde v1.0.120
[INFO] [stderr]    Compiling zstd-safe v3.0.0+zstd.1.4.8
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling bitflags v1.2.1
[INFO] [stderr]    Compiling adler v0.2.3
[INFO] [stderr]    Compiling serde_derive v1.0.120
[INFO] [stderr]    Compiling unicode-width v0.1.8
[INFO] [stderr]    Compiling ansi_term v0.11.0
[INFO] [stderr]    Compiling static_assertions v1.1.0
[INFO] [stderr]    Compiling itertools v0.9.0
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling miniz_oxide v0.4.3
[INFO] [stderr]    Compiling jobserver v0.1.21
[INFO] [stderr]    Compiling quote v1.0.8
[INFO] [stderr]    Compiling cc v1.0.66
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling flate2 v1.0.19
[INFO] [stderr]    Compiling clap v2.33.3
[INFO] [stderr]    Compiling zstd-sys v1.4.19+zstd.1.4.8
[INFO] [stderr]    Compiling lzma-sys v0.1.17
[INFO] [stderr]    Compiling bzip2-sys v0.1.9+1.0.8
[INFO] [stderr]    Compiling lz4-sys v1.9.2
[INFO] [stderr]    Compiling bzip2 v0.4.1
[INFO] [stderr]    Compiling xz2 v0.1.6
[INFO] [stderr]    Compiling rate-macros v0.3.0 (/opt/rustwide/workdir/rate-macros)
[INFO] [stderr]    Compiling toml v0.5.8
[INFO] [stderr]    Compiling lz4 v1.23.2
[INFO] [stderr]    Compiling zstd v0.6.0+zstd.1.4.8
[INFO] [stderr]    Compiling rate-common v0.3.0 (/opt/rustwide/workdir/rate-common)
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]   --> rate-common/src/assignment.rs:47:13
[INFO] [stdout]    |
[INFO] [stdout] 47 |             /// + 2 for Literal::TOP and one conflicting assignment
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 48 |             trail: BoundedVector::with_capacity(maxvar.array_size_for_variables() + 2),
[INFO] [stdout]    |             -------------------------------------------------------------------------- rustdoc does not generate documentation for expression fields
[INFO] [stdout]    |
[INFO] [stdout]    = help: use `//` for a plain comment
[INFO] [stdout]    = note: `#[warn(unused_doc_comments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `as_error`, `puts`, and `requires`
[INFO] [stdout]   --> rate-common/src/sick.rs:4:5
[INFO] [stdout]    |
[INFO] [stdout]  4 |     as_error,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 11 |     puts, requires,
[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 module `std::i32`: all constants in this module replaced by associated constants on the type
[INFO] [stdout]    --> rate-common/src/literal.rs:252:18
[INFO] [stdout]     |
[INFO] [stdout] 252 |         use std::i32;
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::i32::MIN`: replaced by the `MIN` associated constant on this type
[INFO] [stdout]    --> rate-common/src/literal.rs:253:36
[INFO] [stdout]     |
[INFO] [stdout] 253 |         if value >= i64::from(i32::MIN) && value <= i64::from(i32::MAX) {
[INFO] [stdout]     |                                    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::i32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> rate-common/src/literal.rs:253:68
[INFO] [stdout]     |
[INFO] [stdout] 253 |         if value >= i64::from(i32::MIN) && value <= i64::from(i32::MAX) {
[INFO] [stdout]     |                                                                    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl usize>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> rate-common/src/assignment.rs:49:50
[INFO] [stdout]    |
[INFO] [stdout] 49 |             position_in_trail: Array::new(usize::max_value(), maxvar.array_size_for_literals()),
[INFO] [stdout]    |                                                  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> rate-common/src/clause.rs:37:49
[INFO] [stdout]    |
[INFO] [stdout] 37 |         requires!(index < ClauseIdentifierType::max_value().try_into().unwrap());
[INFO] [stdout]    |                                                 ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> rate-common/src/clause.rs:308:60
[INFO] [stdout]     |
[INFO] [stdout] 308 |         requires!(clause.index + 1 < ClauseIdentifierType::max_value());
[INFO] [stdout]     |                                                            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> rate-common/src/clause.rs:336:35
[INFO] [stdout]     |
[INFO] [stdout] 336 |     const MAX_PAYLOAD: u32 = u32::max_value() & !Tagged32::MASK;
[INFO] [stdout]     |                                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl usize>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> rate-common/src/clause.rs:367:39
[INFO] [stdout]     |
[INFO] [stdout] 367 |     const MAX_PAYLOAD: usize = usize::max_value() & !TaggedUSize::MASK;
[INFO] [stdout]     |                                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl i32>::min_value`: replaced by the `MIN` associated constant on this type
[INFO] [stdout]   --> rate-common/src/literal.rs:64:33
[INFO] [stdout]    |
[INFO] [stdout] 64 |         requires!(value != i32::min_value());
[INFO] [stdout]    |                                 ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> rate-common/src/literal.rs:82:24
[INFO] [stdout]    |
[INFO] [stdout] 82 |         encoding: u32::max_value(),
[INFO] [stdout]    |                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl i32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> rate-common/src/parser.rs:538:21
[INFO] [stdout]     |
[INFO] [stdout] 538 |     if value > i32::max_value().try_into().unwrap() {
[INFO] [stdout]     |                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> rate-common/src/parser.rs:577:56
[INFO] [stdout]     |
[INFO] [stdout] 577 |         if (u64::from(value & 0x7f) << (7 * i)) > u32::max_value().into() {
[INFO] [stdout]     |                                                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> rate-common/src/parser.rs:213:5
[INFO] [stdout]     |
[INFO] [stdout] 213 |     mut parser: &mut Parser,
[INFO] [stdout]     |     ----^^^^^^
[INFO] [stdout]     |     |
[INFO] [stdout]     |     help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/boundedvector.rs:70:17
[INFO] [stdout]    |
[INFO] [stdout] 70 |     pub fn iter(&self) -> slice::Iter<T> {
[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] 70 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/vector.rs:69:17
[INFO] [stdout]    |
[INFO] [stdout] 69 |     pub fn iter(&self) -> slice::Iter<T> {
[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] 69 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/stackmapping.rs:94:17
[INFO] [stdout]    |
[INFO] [stdout] 94 |     pub fn iter(&self) -> slice::Iter<Key> {
[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] 94 |     pub fn iter(&self) -> slice::Iter<'_, Key> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate-common/src/assignment.rs:113:17
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn iter(&self) -> slice::Iter<(Literal, Reason)> {
[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] 113 |     pub fn iter(&self) -> slice::Iter<'_, (Literal, Reason)> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate-common/src/parser.rs:355:39
[INFO] [stdout]     |
[INFO] [stdout] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input {
[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] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input<'_> {
[INFO] [stdout]     |                                                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling rate-proof-utils v0.3.0 (/opt/rustwide/workdir/rate-proof-utils)
[INFO] [stderr]    Compiling rate v0.3.0 (/opt/rustwide/workdir/rate)
[INFO] [stderr]    Compiling rate-sick-check v0.3.0 (/opt/rustwide/workdir/rate-sick-check)
[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]    --> rate/rate.rs:541:35
[INFO] [stdout]     |
[INFO] [stdout] 541 |                 Array::new(usize::max_value(), num_clauses)
[INFO] [stdout]     |                                   ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[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]    --> rate/rate.rs:579:48
[INFO] [stdout]     |
[INFO] [stdout] 579 |             proof_steps_until_conflict: usize::max_value(),
[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]     --> rate/rate.rs:2604:50
[INFO] [stdout]      |
[INFO] [stdout] 2604 |         trail_length_after_removing_cone: usize::max_value(),
[INFO] [stdout]      |                                                  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate/rate.rs:649:15
[INFO] [stdout]     |
[INFO] [stdout] 649 |     fn fields(&self, clause: Clause) -> ClauseFields {
[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] 649 |     fn fields(&self, clause: Clause) -> ClauseFields<'_> {
[INFO] [stdout]     |                                                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate/rate.rs:655:19
[INFO] [stdout]     |
[INFO] [stdout] 655 |     fn fields_mut(&mut self, clause: Clause) -> ClauseFieldsMut {
[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] 655 |     fn fields_mut(&mut self, clause: Clause) -> ClauseFieldsMut<'_> {
[INFO] [stdout]     |                                                                ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate/rate.rs:662:27
[INFO] [stdout]     |
[INFO] [stdout] 662 |     fn fields_from_offset(&self, offset: usize) -> ClauseFields {
[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] 662 |     fn fields_from_offset(&self, offset: usize) -> ClauseFields<'_> {
[INFO] [stdout]     |                                                                ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate/rate.rs:669:31
[INFO] [stdout]     |
[INFO] [stdout] 669 |     fn fields_mut_from_offset(&mut self, offset: usize) -> ClauseFieldsMut {
[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] 669 |     fn fields_mut_from_offset(&mut self, offset: usize) -> ClauseFieldsMut<'_> {
[INFO] [stdout]     |                                                                           ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 1m 42s
[INFO] running `Command { std: "docker" "inspect" "be16b765749c18da1f3a6d18900709bd7e5a15424fc98b4136437018528c0ceb", 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" "be16b765749c18da1f3a6d18900709bd7e5a15424fc98b4136437018528c0ceb" "/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]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling adler v0.2.3
[INFO] [stderr]    Compiling static_assertions v1.1.0
[INFO] [stderr]    Compiling libc v0.2.82
[INFO] [stderr]    Compiling unicode-width v0.1.8
[INFO] [stderr]    Compiling ansi_term v0.11.0
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling serde v1.0.120
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling bitflags v1.2.1
[INFO] [stderr]    Compiling rate-macros v0.3.0 (/opt/rustwide/workdir/rate-macros)
[INFO] [stderr]    Compiling crc32fast v1.2.1
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling miniz_oxide v0.4.3
[INFO] [stderr]    Compiling zstd-sys v1.4.19+zstd.1.4.8
[INFO] [stderr]    Compiling lz4-sys v1.9.2
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling lzma-sys v0.1.17
[INFO] [stderr]    Compiling bzip2-sys v0.1.9+1.0.8
[INFO] [stderr]    Compiling flate2 v1.0.19
[INFO] [stderr]    Compiling lz4 v1.23.2
[INFO] [stderr]    Compiling clap v2.33.3
[INFO] [stderr]    Compiling bzip2 v0.4.1
[INFO] [stderr]    Compiling xz2 v0.1.6
[INFO] [stderr]    Compiling zstd-safe v3.0.0+zstd.1.4.8
[INFO] [stderr]    Compiling zstd v0.6.0+zstd.1.4.8
[INFO] [stderr]    Compiling toml v0.5.8
[INFO] [stderr]    Compiling rate-common v0.3.0 (/opt/rustwide/workdir/rate-common)
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]   --> rate-common/src/assignment.rs:47:13
[INFO] [stdout]    |
[INFO] [stdout] 47 |             /// + 2 for Literal::TOP and one conflicting assignment
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 48 |             trail: BoundedVector::with_capacity(maxvar.array_size_for_variables() + 2),
[INFO] [stdout]    |             -------------------------------------------------------------------------- rustdoc does not generate documentation for expression fields
[INFO] [stdout]    |
[INFO] [stdout]    = help: use `//` for a plain comment
[INFO] [stdout]    = note: `#[warn(unused_doc_comments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `as_error`, `puts`, and `requires`
[INFO] [stdout]   --> rate-common/src/sick.rs:4:5
[INFO] [stdout]    |
[INFO] [stdout]  4 |     as_error,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 11 |     puts, requires,
[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 module `std::i32`: all constants in this module replaced by associated constants on the type
[INFO] [stdout]    --> rate-common/src/literal.rs:252:18
[INFO] [stdout]     |
[INFO] [stdout] 252 |         use std::i32;
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::i32::MIN`: replaced by the `MIN` associated constant on this type
[INFO] [stdout]    --> rate-common/src/literal.rs:253:36
[INFO] [stdout]     |
[INFO] [stdout] 253 |         if value >= i64::from(i32::MIN) && value <= i64::from(i32::MAX) {
[INFO] [stdout]     |                                    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::i32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> rate-common/src/literal.rs:253:68
[INFO] [stdout]     |
[INFO] [stdout] 253 |         if value >= i64::from(i32::MIN) && value <= i64::from(i32::MAX) {
[INFO] [stdout]     |                                                                    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl usize>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> rate-common/src/assignment.rs:49:50
[INFO] [stdout]    |
[INFO] [stdout] 49 |             position_in_trail: Array::new(usize::max_value(), maxvar.array_size_for_literals()),
[INFO] [stdout]    |                                                  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> rate-common/src/clause.rs:37:49
[INFO] [stdout]    |
[INFO] [stdout] 37 |         requires!(index < ClauseIdentifierType::max_value().try_into().unwrap());
[INFO] [stdout]    |                                                 ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> rate-common/src/clause.rs:308:60
[INFO] [stdout]     |
[INFO] [stdout] 308 |         requires!(clause.index + 1 < ClauseIdentifierType::max_value());
[INFO] [stdout]     |                                                            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> rate-common/src/clause.rs:336:35
[INFO] [stdout]     |
[INFO] [stdout] 336 |     const MAX_PAYLOAD: u32 = u32::max_value() & !Tagged32::MASK;
[INFO] [stdout]     |                                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl usize>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> rate-common/src/clause.rs:367:39
[INFO] [stdout]     |
[INFO] [stdout] 367 |     const MAX_PAYLOAD: usize = usize::max_value() & !TaggedUSize::MASK;
[INFO] [stdout]     |                                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl i32>::min_value`: replaced by the `MIN` associated constant on this type
[INFO] [stdout]   --> rate-common/src/literal.rs:64:33
[INFO] [stdout]    |
[INFO] [stdout] 64 |         requires!(value != i32::min_value());
[INFO] [stdout]    |                                 ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> rate-common/src/literal.rs:82:24
[INFO] [stdout]    |
[INFO] [stdout] 82 |         encoding: u32::max_value(),
[INFO] [stdout]    |                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl i32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> rate-common/src/parser.rs:538:21
[INFO] [stdout]     |
[INFO] [stdout] 538 |     if value > i32::max_value().try_into().unwrap() {
[INFO] [stdout]     |                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> rate-common/src/parser.rs:577:56
[INFO] [stdout]     |
[INFO] [stdout] 577 |         if (u64::from(value & 0x7f) << (7 * i)) > u32::max_value().into() {
[INFO] [stdout]     |                                                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> rate-common/src/parser.rs:213:5
[INFO] [stdout]     |
[INFO] [stdout] 213 |     mut parser: &mut Parser,
[INFO] [stdout]     |     ----^^^^^^
[INFO] [stdout]     |     |
[INFO] [stdout]     |     help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/boundedvector.rs:70:17
[INFO] [stdout]    |
[INFO] [stdout] 70 |     pub fn iter(&self) -> slice::Iter<T> {
[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] 70 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/vector.rs:69:17
[INFO] [stdout]    |
[INFO] [stdout] 69 |     pub fn iter(&self) -> slice::Iter<T> {
[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] 69 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/stackmapping.rs:94:17
[INFO] [stdout]    |
[INFO] [stdout] 94 |     pub fn iter(&self) -> slice::Iter<Key> {
[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] 94 |     pub fn iter(&self) -> slice::Iter<'_, Key> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate-common/src/assignment.rs:113:17
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn iter(&self) -> slice::Iter<(Literal, Reason)> {
[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] 113 |     pub fn iter(&self) -> slice::Iter<'_, (Literal, Reason)> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate-common/src/parser.rs:355:39
[INFO] [stdout]     |
[INFO] [stdout] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input {
[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] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input<'_> {
[INFO] [stdout]     |                                                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]   --> rate-common/src/assignment.rs:47:13
[INFO] [stdout]    |
[INFO] [stdout] 47 |             /// + 2 for Literal::TOP and one conflicting assignment
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 48 |             trail: BoundedVector::with_capacity(maxvar.array_size_for_variables() + 2),
[INFO] [stdout]    |             -------------------------------------------------------------------------- rustdoc does not generate documentation for expression fields
[INFO] [stdout]    |
[INFO] [stdout]    = help: use `//` for a plain comment
[INFO] [stdout]    = note: `#[warn(unused_doc_comments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `as_error`, `puts`, and `requires`
[INFO] [stdout]   --> rate-common/src/sick.rs:4:5
[INFO] [stdout]    |
[INFO] [stdout]  4 |     as_error,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 11 |     puts, requires,
[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 module `std::i32`: all constants in this module replaced by associated constants on the type
[INFO] [stdout]    --> rate-common/src/literal.rs:252:18
[INFO] [stdout]     |
[INFO] [stdout] 252 |         use std::i32;
[INFO] [stdout]     |                  ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::i32::MIN`: replaced by the `MIN` associated constant on this type
[INFO] [stdout]    --> rate-common/src/literal.rs:253:36
[INFO] [stdout]     |
[INFO] [stdout] 253 |         if value >= i64::from(i32::MIN) && value <= i64::from(i32::MAX) {
[INFO] [stdout]     |                                    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::i32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> rate-common/src/literal.rs:253:68
[INFO] [stdout]     |
[INFO] [stdout] 253 |         if value >= i64::from(i32::MIN) && value <= i64::from(i32::MAX) {
[INFO] [stdout]     |                                                                    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl usize>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> rate-common/src/assignment.rs:49:50
[INFO] [stdout]    |
[INFO] [stdout] 49 |             position_in_trail: Array::new(usize::max_value(), maxvar.array_size_for_literals()),
[INFO] [stdout]    |                                                  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> rate-common/src/clause.rs:37:49
[INFO] [stdout]    |
[INFO] [stdout] 37 |         requires!(index < ClauseIdentifierType::max_value().try_into().unwrap());
[INFO] [stdout]    |                                                 ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> rate-common/src/clause.rs:308:60
[INFO] [stdout]     |
[INFO] [stdout] 308 |         requires!(clause.index + 1 < ClauseIdentifierType::max_value());
[INFO] [stdout]     |                                                            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> rate-common/src/clause.rs:336:35
[INFO] [stdout]     |
[INFO] [stdout] 336 |     const MAX_PAYLOAD: u32 = u32::max_value() & !Tagged32::MASK;
[INFO] [stdout]     |                                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl usize>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> rate-common/src/clause.rs:367:39
[INFO] [stdout]     |
[INFO] [stdout] 367 |     const MAX_PAYLOAD: usize = usize::max_value() & !TaggedUSize::MASK;
[INFO] [stdout]     |                                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling rate-sick-check v0.3.0 (/opt/rustwide/workdir/rate-sick-check)
[INFO] [stderr]    Compiling rate-proof-utils v0.3.0 (/opt/rustwide/workdir/rate-proof-utils)
[INFO] [stderr]    Compiling rate v0.3.0 (/opt/rustwide/workdir/rate)
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl i32>::min_value`: replaced by the `MIN` associated constant on this type
[INFO] [stdout]   --> rate-common/src/literal.rs:64:33
[INFO] [stdout]    |
[INFO] [stdout] 64 |         requires!(value != i32::min_value());
[INFO] [stdout]    |                                 ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> rate-common/src/literal.rs:82:24
[INFO] [stdout]    |
[INFO] [stdout] 82 |         encoding: u32::max_value(),
[INFO] [stdout]    |                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl i32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> rate-common/src/parser.rs:538:21
[INFO] [stdout]     |
[INFO] [stdout] 538 |     if value > i32::max_value().try_into().unwrap() {
[INFO] [stdout]     |                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> rate-common/src/parser.rs:577:56
[INFO] [stdout]     |
[INFO] [stdout] 577 |         if (u64::from(value & 0x7f) << (7 * i)) > u32::max_value().into() {
[INFO] [stdout]     |                                                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> rate-common/src/parser.rs:213:5
[INFO] [stdout]     |
[INFO] [stdout] 213 |     mut parser: &mut Parser,
[INFO] [stdout]     |     ----^^^^^^
[INFO] [stdout]     |     |
[INFO] [stdout]     |     help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/boundedvector.rs:70:17
[INFO] [stdout]    |
[INFO] [stdout] 70 |     pub fn iter(&self) -> slice::Iter<T> {
[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] 70 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/vector.rs:69:17
[INFO] [stdout]    |
[INFO] [stdout] 69 |     pub fn iter(&self) -> slice::Iter<T> {
[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] 69 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/stackmapping.rs:94:17
[INFO] [stdout]    |
[INFO] [stdout] 94 |     pub fn iter(&self) -> slice::Iter<Key> {
[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] 94 |     pub fn iter(&self) -> slice::Iter<'_, Key> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate-common/src/assignment.rs:113:17
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn iter(&self) -> slice::Iter<(Literal, Reason)> {
[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] 113 |     pub fn iter(&self) -> slice::Iter<'_, (Literal, Reason)> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate-common/src/parser.rs:355:39
[INFO] [stdout]     |
[INFO] [stdout] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input {
[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] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input<'_> {
[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]    --> rate/rate.rs:541:35
[INFO] [stdout]     |
[INFO] [stdout] 541 |                 Array::new(usize::max_value(), num_clauses)
[INFO] [stdout]     |                                   ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[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]    --> rate/rate.rs:579:48
[INFO] [stdout]     |
[INFO] [stdout] 579 |             proof_steps_until_conflict: usize::max_value(),
[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]     --> rate/rate.rs:2604:50
[INFO] [stdout]      |
[INFO] [stdout] 2604 |         trail_length_after_removing_cone: usize::max_value(),
[INFO] [stdout]      |                                                  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate/rate.rs:649:15
[INFO] [stdout]     |
[INFO] [stdout] 649 |     fn fields(&self, clause: Clause) -> ClauseFields {
[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] 649 |     fn fields(&self, clause: Clause) -> ClauseFields<'_> {
[INFO] [stdout]     |                                                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate/rate.rs:655:19
[INFO] [stdout]     |
[INFO] [stdout] 655 |     fn fields_mut(&mut self, clause: Clause) -> ClauseFieldsMut {
[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] 655 |     fn fields_mut(&mut self, clause: Clause) -> ClauseFieldsMut<'_> {
[INFO] [stdout]     |                                                                ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate/rate.rs:662:27
[INFO] [stdout]     |
[INFO] [stdout] 662 |     fn fields_from_offset(&self, offset: usize) -> ClauseFields {
[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] 662 |     fn fields_from_offset(&self, offset: usize) -> ClauseFields<'_> {
[INFO] [stdout]     |                                                                ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate/rate.rs:669:31
[INFO] [stdout]     |
[INFO] [stdout] 669 |     fn fields_mut_from_offset(&mut self, offset: usize) -> ClauseFieldsMut {
[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] 669 |     fn fields_mut_from_offset(&mut self, offset: usize) -> ClauseFieldsMut<'_> {
[INFO] [stdout]     |                                                                           ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 48.63s
[INFO] running `Command { std: "docker" "inspect" "be16b765749c18da1f3a6d18900709bd7e5a15424fc98b4136437018528c0ceb", 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" "be16b765749c18da1f3a6d18900709bd7e5a15424fc98b4136437018528c0ceb" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.1" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]   --> rate-common/src/assignment.rs:47:13
[INFO] [stderr]    |
[INFO] [stderr] 47 |             /// + 2 for Literal::TOP and one conflicting assignment
[INFO] [stderr]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 48 |             trail: BoundedVector::with_capacity(maxvar.array_size_for_variables() + 2),
[INFO] [stderr]    |             -------------------------------------------------------------------------- rustdoc does not generate documentation for expression fields
[INFO] [stderr]    |
[INFO] [stderr]    = help: use `//` for a plain comment
[INFO] [stderr]    = note: `#[warn(unused_doc_comments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `as_error`, `puts`, and `requires`
[INFO] [stderr]   --> rate-common/src/sick.rs:4:5
[INFO] [stderr]    |
[INFO] [stderr]  4 |     as_error,
[INFO] [stderr]    |     ^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 11 |     puts, requires,
[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 module `std::i32`: all constants in this module replaced by associated constants on the type
[INFO] [stderr]    --> rate-common/src/literal.rs:252:18
[INFO] [stderr]     |
[INFO] [stderr] 252 |         use std::i32;
[INFO] [stderr]     |                  ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(deprecated)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated constant `std::i32::MIN`: replaced by the `MIN` associated constant on this type
[INFO] [stderr]    --> rate-common/src/literal.rs:253:36
[INFO] [stderr]     |
[INFO] [stderr] 253 |         if value >= i64::from(i32::MIN) && value <= i64::from(i32::MAX) {
[INFO] [stderr]     |                                    ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated constant `std::i32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stderr]    --> rate-common/src/literal.rs:253:68
[INFO] [stderr]     |
[INFO] [stderr] 253 |         if value >= i64::from(i32::MIN) && value <= i64::from(i32::MAX) {
[INFO] [stderr]     |                                                                    ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `static_assertions::core::num::<impl usize>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stderr]   --> rate-common/src/assignment.rs:49:50
[INFO] [stderr]    |
[INFO] [stderr] 49 |             position_in_trail: Array::new(usize::max_value(), maxvar.array_size_for_literals()),
[INFO] [stderr]    |                                                  ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stderr]   --> rate-common/src/clause.rs:37:49
[INFO] [stderr]    |
[INFO] [stderr] 37 |         requires!(index < ClauseIdentifierType::max_value().try_into().unwrap());
[INFO] [stderr]    |                                                 ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stderr]    --> rate-common/src/clause.rs:308:60
[INFO] [stderr]     |
[INFO] [stderr] 308 |         requires!(clause.index + 1 < ClauseIdentifierType::max_value());
[INFO] [stderr]     |                                                            ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stderr]    --> rate-common/src/clause.rs:336:35
[INFO] [stderr]     |
[INFO] [stderr] 336 |     const MAX_PAYLOAD: u32 = u32::max_value() & !Tagged32::MASK;
[INFO] [stderr]     |                                   ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `static_assertions::core::num::<impl usize>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stderr]    --> rate-common/src/clause.rs:367:39
[INFO] [stderr]     |
[INFO] [stderr] 367 |     const MAX_PAYLOAD: usize = usize::max_value() & !TaggedUSize::MASK;
[INFO] [stderr]     |                                       ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `static_assertions::core::num::<impl i32>::min_value`: replaced by the `MIN` associated constant on this type
[INFO] [stderr]   --> rate-common/src/literal.rs:64:33
[INFO] [stderr]    |
[INFO] [stderr] 64 |         requires!(value != i32::min_value());
[INFO] [stderr]    |                                 ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stderr]   --> rate-common/src/literal.rs:82:24
[INFO] [stderr]    |
[INFO] [stderr] 82 |         encoding: u32::max_value(),
[INFO] [stderr]    |                        ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `static_assertions::core::num::<impl i32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stderr]    --> rate-common/src/parser.rs:538:21
[INFO] [stderr]     |
[INFO] [stderr] 538 |     if value > i32::max_value().try_into().unwrap() {
[INFO] [stderr]     |                     ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `static_assertions::core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stderr]    --> rate-common/src/parser.rs:577:56
[INFO] [stderr]     |
[INFO] [stderr] 577 |         if (u64::from(value & 0x7f) << (7 * i)) > u32::max_value().into() {
[INFO] [stderr]     |                                                        ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> rate-common/src/parser.rs:213:5
[INFO] [stderr]     |
[INFO] [stderr] 213 |     mut parser: &mut Parser,
[INFO] [stderr]     |     ----^^^^^^
[INFO] [stderr]     |     |
[INFO] [stderr]     |     help: remove this `mut`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]   --> rate-common/src/memory/boundedvector.rs:70:17
[INFO] [stderr]    |
[INFO] [stderr] 70 |     pub fn iter(&self) -> slice::Iter<T> {
[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] 70 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stderr]    |                                       +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]   --> rate-common/src/memory/vector.rs:69:17
[INFO] [stderr]    |
[INFO] [stderr] 69 |     pub fn iter(&self) -> slice::Iter<T> {
[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] 69 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stderr]    |                                       +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]   --> rate-common/src/memory/stackmapping.rs:94:17
[INFO] [stderr]    |
[INFO] [stderr] 94 |     pub fn iter(&self) -> slice::Iter<Key> {
[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] 94 |     pub fn iter(&self) -> slice::Iter<'_, Key> {
[INFO] [stderr]    |                                       +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> rate-common/src/assignment.rs:113:17
[INFO] [stderr]     |
[INFO] [stderr] 113 |     pub fn iter(&self) -> slice::Iter<(Literal, Reason)> {
[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] 113 |     pub fn iter(&self) -> slice::Iter<'_, (Literal, Reason)> {
[INFO] [stderr]     |                                       +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> rate-common/src/parser.rs:355:39
[INFO] [stderr]     |
[INFO] [stderr] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input {
[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] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input<'_> {
[INFO] [stderr]     |                                                                   ++++
[INFO] [stderr] 
[INFO] [stderr] warning: `rate-common` (lib) generated 20 warnings (run `cargo fix --lib -p rate-common` to apply 7 suggestions)
[INFO] [stderr] warning: `rate-common` (lib test) generated 20 warnings (20 duplicates)
[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]    --> rate/rate.rs:541:35
[INFO] [stderr]     |
[INFO] [stderr] 541 |                 Array::new(usize::max_value(), num_clauses)
[INFO] [stderr]     |                                   ^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(deprecated)]` on by default
[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]    --> rate/rate.rs:579:48
[INFO] [stderr]     |
[INFO] [stderr] 579 |             proof_steps_until_conflict: usize::max_value(),
[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]     --> rate/rate.rs:2604:50
[INFO] [stderr]      |
[INFO] [stderr] 2604 |         trail_length_after_removing_cone: usize::max_value(),
[INFO] [stderr]      |                                                  ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stdout] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout] running 0 tests
[INFO] [stderr]    --> rate/rate.rs:649:15
[INFO] [stdout] 
[INFO] [stderr]     |
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stderr] 649 |     fn fields(&self, clause: Clause) -> ClauseFields {
[INFO] [stdout] 
[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] 649 |     fn fields(&self, clause: Clause) -> ClauseFields<'_> {
[INFO] [stderr]     |                                                     ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> rate/rate.rs:655:19
[INFO] [stderr]     |
[INFO] [stderr] 655 |     fn fields_mut(&mut self, clause: Clause) -> ClauseFieldsMut {
[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] 655 |     fn fields_mut(&mut self, clause: Clause) -> ClauseFieldsMut<'_> {
[INFO] [stderr]     |                                                                ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> rate/rate.rs:662:27
[INFO] [stderr]     |
[INFO] [stderr] 662 |     fn fields_from_offset(&self, offset: usize) -> ClauseFields {
[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] 662 |     fn fields_from_offset(&self, offset: usize) -> ClauseFields<'_> {
[INFO] [stderr]     |                                                                ++++
[INFO] [stderr] 
[INFO] [stdout] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout] running 1 test
[INFO] [stderr]    --> rate/rate.rs:669:31
[INFO] [stderr]     |
[INFO] [stderr] 669 |     fn fields_mut_from_offset(&mut self, offset: usize) -> ClauseFieldsMut {
[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] 669 |     fn fields_mut_from_offset(&mut self, offset: usize) -> ClauseFieldsMut<'_> {
[INFO] [stderr]     |                                                                           ++++
[INFO] [stderr] 
[INFO] [stderr] warning: `rate` (bin "rate" test) generated 7 warnings (run `cargo fix --bin "rate" -p rate --tests` to apply 4 suggestions)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.11s
[INFO] [stderr]      Running unittests rate.rs (/opt/rustwide/target/release/deps/rate-8837ff526c62681e)
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/rate_common-78abd1833afdcc1a)
[INFO] [stdout] test parser::tests::valid_formula_and_proof ... ok
[INFO] [stderr]      Running unittests lib.rs (/opt/rustwide/target/release/deps/rate_macros-cc6151b9ffcdb0b4)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]      Running unittests apply-proof.rs (/opt/rustwide/target/release/deps/apply_proof-32a61e1dfff9924c)
[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] [stderr]      Running unittests bdrat2drat.rs (/opt/rustwide/target/release/deps/bdrat2drat-81255c33774bc9a9)
[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]      Running unittests drat2bdrat.rs (/opt/rustwide/target/release/deps/drat2bdrat-36b37062e2f2b91d)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stderr]      Running unittests sick-check.rs (/opt/rustwide/target/release/deps/sick_check-96a48f46f6ee899c)
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stderr]    Doc-tests rate_common
[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] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test rate-common/src/literal.rs - literal::Literal::variable (line 100) ... ok
[INFO] [stdout] test rate-common/src/literal.rs - literal::Literal::all (line 122) ... ok
[INFO] [stdout] test rate-common/src/literal.rs - literal::Literal::is_zero (line 134) ... ok
[INFO] [stdout] test rate-common/src/literal.rs - literal::Literal::is_constant (line 110) ... ok
[INFO] [stdout] test rate-common/src/literal.rs - literal::Literal::decode (line 87) ... ok
[INFO] [stdout] test rate-common/src/literal.rs - literal::Literal (line 172) ... ok
[INFO] [stdout] test rate-common/src/clause.rs - clause::Reason (line 146) ... ok
[INFO] [stdout] test rate-common/src/clause.rs - clause::ProofStep (line 108) ... ok
[INFO] [stdout] test rate-common/src/clause.rs - clause::LRATDependency (line 200) ... ok
[INFO] [stdout] test rate-common/src/clause.rs - clause::LRATLiteral (line 249) ... ok
[INFO] [stdout] test rate-common/src/literal.rs - literal::Literal (line 157) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 6.60s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests rate_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] running `Command { std: "docker" "inspect" "be16b765749c18da1f3a6d18900709bd7e5a15424fc98b4136437018528c0ceb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "be16b765749c18da1f3a6d18900709bd7e5a15424fc98b4136437018528c0ceb", kill_on_drop: false }`
[INFO] [stdout] be16b765749c18da1f3a6d18900709bd7e5a15424fc98b4136437018528c0ceb
