[INFO] cloning repository https://github.com/sorear/smetamath-rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/sorear/smetamath-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsorear%2Fsmetamath-rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsorear%2Fsmetamath-rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 7bdd3a6fb4296e690504439951314046981bbf8a
[INFO] testing sorear/smetamath-rs against nightly-2025-01-18+rustflags=-Zrandomize-layout for randomize-layout-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsorear%2Fsmetamath-rs" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/sorear/smetamath-rs on toolchain nightly-2025-01-18
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2025-01-18" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/sorear/smetamath-rs
[INFO] finished tweaking git repo https://github.com/sorear/smetamath-rs
[INFO] tweaked toml for git repo https://github.com/sorear/smetamath-rs written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/sorear/smetamath-rs 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" "+nightly-2025-01-18" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 527b4bc6d7009b163c626afa6acbada6b6c1342f8e6037ebfe76e877c3dac415
[INFO] running `Command { std: "docker" "start" "-a" "527b4bc6d7009b163c626afa6acbada6b6c1342f8e6037ebfe76e877c3dac415", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "527b4bc6d7009b163c626afa6acbada6b6c1342f8e6037ebfe76e877c3dac415", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "527b4bc6d7009b163c626afa6acbada6b6c1342f8e6037ebfe76e877c3dac415", kill_on_drop: false }`
[INFO] [stdout] 527b4bc6d7009b163c626afa6acbada6b6c1342f8e6037ebfe76e877c3dac415
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Zrandomize-layout" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 792ce2c204d04d4cab8fe04d8af8ed8fb2830d1faf7fb051f0d72fe6032cbb14
[INFO] running `Command { std: "docker" "start" "-a" "792ce2c204d04d4cab8fe04d8af8ed8fb2830d1faf7fb051f0d72fe6032cbb14", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] [stderr]    Compiling libc v0.2.11
[INFO] [stderr]    Compiling winapi-build v0.1.1
[INFO] [stderr]    Compiling winapi v0.2.7
[INFO] [stderr]    Compiling strsim v0.4.1
[INFO] [stderr]    Compiling utf8-ranges v0.1.3
[INFO] [stderr]    Compiling vec_map v0.6.0
[INFO] [stderr]    Compiling regex-syntax v0.3.3
[INFO] [stderr]    Compiling ansi_term v0.7.2
[INFO] [stderr]    Compiling unicode-width v0.1.3
[INFO] [stderr]    Compiling bitflags v0.5.0
[INFO] [stderr]    Compiling fnv v1.0.2
[INFO] [stderr]    Compiling kernel32-sys v0.2.2
[INFO] [stderr]    Compiling memchr v0.1.11
[INFO] [stderr]    Compiling thread-id v2.0.0
[INFO] [stderr]    Compiling clap v2.5.2
[INFO] [stderr]    Compiling filetime v0.1.10
[INFO] [stderr]    Compiling thread_local v0.2.6
[INFO] [stderr]    Compiling aho-corasick v0.5.2
[INFO] [stderr]    Compiling regex v0.1.71
[INFO] [stderr]    Compiling smetamath v3.0.1-1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]   --> src/export.rs:74:5
[INFO] [stdout]    |
[INFO] [stdout] 74 |     try!(writeln!(out,
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/export.rs:167:5
[INFO] [stdout]     |
[INFO] [stdout] 167 |     try!(writeln!(out,
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/export.rs:181:5
[INFO] [stdout]     |
[INFO] [stdout] 181 |     try!(writeln!(out, "\n$)"));
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]   --> src/export.rs:85:9
[INFO] [stdout]    |
[INFO] [stdout] 85 |         try!(writeln!(out, "*{}\n", cstr));
[INFO] [stdout]    |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]   --> src/export.rs:88:15
[INFO] [stdout]    |
[INFO] [stdout] 88 |     let arr = try!(ProofTreeArray::new(sset, nset, scope, stmt));
[INFO] [stdout]    |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/export.rs:165:9
[INFO] [stdout]     |
[INFO] [stdout] 165 |         try!(writeln!(out, "{}", line));
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/proof.rs:130:19
[INFO] [stdout]     |
[INFO] [stdout] 130 |         arr.qed = try!(verify_one(sset, nset, scopes, &mut arr, stmt));
[INFO] [stdout]     |                   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/proof.rs:406:9
[INFO] [stdout]     |
[INFO] [stdout] 406 |         try!(f.write_str(&indent[(self.initial_chr + 2) as usize..]));
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/proof.rs:461:17
[INFO] [stdout]     |
[INFO] [stdout] 461 |                 try!(f.write_char(' '));
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/proof.rs:464:17
[INFO] [stdout]     |
[INFO] [stdout] 464 |                 try!(f.write_str(&indent));
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/proof.rs:473:21
[INFO] [stdout]     |
[INFO] [stdout] 473 |                     try!(print_step(item));
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/proof.rs:479:21
[INFO] [stdout]     |
[INFO] [stdout] 479 |                     try!(print_step(item));
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/segment_set.rs:331:28
[INFO] [stdout]     |
[INFO] [stdout] 331 |             let metadata = try!(fs::metadata(&path));
[INFO] [stdout]     |                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/segment_set.rs:343:21
[INFO] [stdout]     |
[INFO] [stdout] 343 |                     try!(fh.read_to_end(&mut buf));
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/segment_set.rs:340:34
[INFO] [stdout]     |
[INFO] [stdout] 340 |                     let mut fh = try!(File::open(&path));
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 261 | /     try_assert!(state.order.cmp(&pos, &valid.start) == Ordering::Greater,
[INFO] [stdout] 262 | |                 Diagnostic::StepUsedBeforeDefinition(copy_token(label)));
[INFO] [stdout]     | |________________________________________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 264 | /     try_assert!(valid.end == NO_STATEMENT ||
[INFO] [stdout] 265 | |                 pos.segment_id == valid.start.segment_id && pos.index < valid.end,
[INFO] [stdout] 266 | |                 Diagnostic::StepUsedAfterScope(copy_token(label)));
[INFO] [stdout]     | |__________________________________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 367 |     try_assert!(index < state.prepared.len(), Diagnostic::StepOutOfRange);
[INFO] [stdout]     |     --------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:384:17
[INFO] [stdout]     |
[INFO] [stdout] 384 |     let sbase = try!(state.stack
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 410 |                 try_assert!(slot.code == typecode, Diagnostic::StepFloatWrongType);
[INFO] [stdout]     |                 ------------------------------------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 414 |                 try_assert!(slot.code == expr.typecode, Diagnostic::StepEssenWrongType);
[INFO] [stdout]     |                 ----------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 415 | /                 try_assert!(do_substitute_eq(&state.stack_buffer[slot.expr.clone()],
[INFO] [stdout] 416 | |                                              fref,
[INFO] [stdout] 417 | |                                              &expr,
[INFO] [stdout] 418 | |                                              &state.subst_info,
[INFO] [stdout] 419 | |                                              &state.stack_buffer),
[INFO] [stdout] 420 | |                             Diagnostic::StepEssenWrong);
[INFO] [stdout]     | |_______________________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 452 | /                 try_assert!(var1 < state.dv_map.len() && state.dv_map[var1].has_bit(var2),
[INFO] [stdout] 453 | |                             Diagnostic::ProofDvViolation);
[INFO] [stdout]     | |_________________________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 463 |     try_assert!(state.stack.len() <= 1, Diagnostic::ProofExcessEnd);
[INFO] [stdout]     |     --------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:464:32
[INFO] [stdout]     |
[INFO] [stdout] 464 |     let &(ref data, ref tos) = try!(state.stack.last().ok_or(Diagnostic::ProofNoSteps));
[INFO] [stdout]     |                                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 466 | /     try_assert!(tos.code == state.cur_frame.target.typecode,
[INFO] [stdout] 467 | |                 Diagnostic::ProofWrongTypeEnd);
[INFO] [stdout]     | |______________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 472 | /     try_assert!(state.stack_buffer[tos.expr.clone()] == state.temp_buffer[..],
[INFO] [stdout] 473 | |                 Diagnostic::ProofWrongExprEnd);
[INFO] [stdout]     | |______________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:523:13
[INFO] [stdout]     |
[INFO] [stdout] 523 |             try!(prepare_step(state, chunk));
[INFO] [stdout]     |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 515 |             try_assert!(i < stmt.proof_len(), Diagnostic::ProofUnterminatedRoster);
[INFO] [stdout]     |             ---------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:536:21
[INFO] [stdout]     |
[INFO] [stdout] 536 |                     try!(execute_step(state, k));
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 541 | /                     try_assert!(k < (u32::max_value() as usize / 20) - 1,
[INFO] [stdout] 542 | |                                 Diagnostic::ProofMalformedVarint);
[INFO] [stdout]     | |_________________________________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 545 |                     try_assert!(can_save, Diagnostic::ProofInvalidSave);
[INFO] [stdout]     |                     --------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 549 |                     try_assert!(k == 0, Diagnostic::ProofMalformedVarint);
[INFO] [stdout]     |                     ----------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 556 |         try_assert!(k == 0, Diagnostic::ProofMalformedVarint);
[INFO] [stdout]     |         ----------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:563:13
[INFO] [stdout]     |
[INFO] [stdout] 563 |             try!(prepare_step(state, chunk));
[INFO] [stdout]     |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:564:13
[INFO] [stdout]     |
[INFO] [stdout] 564 |             try!(execute_step(state, count));
[INFO] [stdout]     |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 562 |             try_assert!(chunk != b"?", Diagnostic::ProofIncomplete);
[INFO] [stdout]     |             ------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `std::hash::SipHasher`: use `std::hash::DefaultHasher` instead
[INFO] [stdout]   --> src/proof.rs:20:16
[INFO] [stdout]    |
[INFO] [stdout] 20 | use std::hash::SipHasher;
[INFO] [stdout]    |                ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `std::hash::SipHasher`: use `std::hash::DefaultHasher` instead
[INFO] [stdout]   --> src/proof.rs:55:26
[INFO] [stdout]    |
[INFO] [stdout] 55 |         let mut hasher = SipHasher::new();
[INFO] [stdout]    |                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/database.rs:152:23
[INFO] [stdout]     |
[INFO] [stdout] 152 | struct Job(usize, Box<FnMut() + Send>);
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout]     = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]     |
[INFO] [stdout] 152 | struct Job(usize, Box<dyn FnMut() + Send>);
[INFO] [stdout]     |                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/database.rs:280:27
[INFO] [stdout]     |
[INFO] [stdout] 280 | pub struct Promise<T>(Box<FnMut() -> T + Send>);
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]     |
[INFO] [stdout] 280 | pub struct Promise<T>(Box<dyn FnMut() -> T + Send>);
[INFO] [stdout]     |                           +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/database.rs:190:60
[INFO] [stdout]     |
[INFO] [stdout] 190 | fn queue_work(exec: &Executor, estimate: usize, mut f: Box<FnMut() + Send>) {
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]     |
[INFO] [stdout] 190 | fn queue_work(exec: &Executor, estimate: usize, mut f: Box<dyn FnMut() + Send>) {
[INFO] [stdout]     |                                                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/export.rs:58:32
[INFO] [stdout]    |
[INFO] [stdout] 58 |     fn cause(&self) -> Option<&error::Error> {
[INFO] [stdout]    |                                ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]    |
[INFO] [stdout] 58 |     fn cause(&self) -> Option<&dyn error::Error> {
[INFO] [stdout]    |                                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]   --> src/export.rs:53:45
[INFO] [stdout]    |
[INFO] [stdout] 53 |             ExportError::Io(ref err) => err.description(),
[INFO] [stdout]    |                                             ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::hash::SipHasher::new`: use `std::hash::DefaultHasher` instead
[INFO] [stdout]   --> src/proof.rs:55:37
[INFO] [stdout]    |
[INFO] [stdout] 55 |         let mut hasher = SipHasher::new();
[INFO] [stdout]    |                                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/database.rs:457:25
[INFO] [stdout]     |
[INFO] [stdout] 457 |                     let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap());
[INFO] [stdout]     |                         ----^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/database.rs:483:25
[INFO] [stdout]     |
[INFO] [stdout] 483 |                     let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap());
[INFO] [stdout]     |                         ----^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/database.rs:510:25
[INFO] [stdout]     |
[INFO] [stdout] 510 |                     let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap());
[INFO] [stdout]     |                         ----^^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `label` is never read
[INFO] [stdout]    --> src/scopeck.rs:104:5
[INFO] [stdout]     |
[INFO] [stdout] 102 | struct LocalEssentialInfo<'a> {
[INFO] [stdout]     |        ------------------ field in this struct
[INFO] [stdout] 103 |     valid: GlobalRange,
[INFO] [stdout] 104 |     label: TokenPtr<'a>,
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `LocalEssentialInfo` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused borrow that must be used
[INFO] [stdout]   --> src/util.rs:82:5
[INFO] [stdout]    |
[INFO] [stdout] 82 |     &vec[from]; // for the bounds check
[INFO] [stdout]    |     ^^^^^^^^^^ the borrow produces a value
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 82 |     let _ = &vec[from]; // for the bounds check
[INFO] [stdout]    |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [optimized + debuginfo] target(s) in 22.92s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: bitflags v0.5.0, clap v2.5.2
[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" "792ce2c204d04d4cab8fe04d8af8ed8fb2830d1faf7fb051f0d72fe6032cbb14", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "792ce2c204d04d4cab8fe04d8af8ed8fb2830d1faf7fb051f0d72fe6032cbb14", kill_on_drop: false }`
[INFO] [stdout] 792ce2c204d04d4cab8fe04d8af8ed8fb2830d1faf7fb051f0d72fe6032cbb14
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Zrandomize-layout" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 53999cf60c378e27d3c6784bebb0e9a311ff6907964b3d78472d769761724b53
[INFO] running `Command { std: "docker" "start" "-a" "53999cf60c378e27d3c6784bebb0e9a311ff6907964b3d78472d769761724b53", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] [stderr]    Compiling smetamath v3.0.1-1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]   --> src/export.rs:74:5
[INFO] [stdout]    |
[INFO] [stdout] 74 |     try!(writeln!(out,
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/export.rs:167:5
[INFO] [stdout]     |
[INFO] [stdout] 167 |     try!(writeln!(out,
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/export.rs:181:5
[INFO] [stdout]     |
[INFO] [stdout] 181 |     try!(writeln!(out, "\n$)"));
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]   --> src/export.rs:85:9
[INFO] [stdout]    |
[INFO] [stdout] 85 |         try!(writeln!(out, "*{}\n", cstr));
[INFO] [stdout]    |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]   --> src/export.rs:88:15
[INFO] [stdout]    |
[INFO] [stdout] 88 |     let arr = try!(ProofTreeArray::new(sset, nset, scope, stmt));
[INFO] [stdout]    |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/export.rs:165:9
[INFO] [stdout]     |
[INFO] [stdout] 165 |         try!(writeln!(out, "{}", line));
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/proof.rs:130:19
[INFO] [stdout]     |
[INFO] [stdout] 130 |         arr.qed = try!(verify_one(sset, nset, scopes, &mut arr, stmt));
[INFO] [stdout]     |                   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/proof.rs:406:9
[INFO] [stdout]     |
[INFO] [stdout] 406 |         try!(f.write_str(&indent[(self.initial_chr + 2) as usize..]));
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/proof.rs:461:17
[INFO] [stdout]     |
[INFO] [stdout] 461 |                 try!(f.write_char(' '));
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/proof.rs:464:17
[INFO] [stdout]     |
[INFO] [stdout] 464 |                 try!(f.write_str(&indent));
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/proof.rs:473:21
[INFO] [stdout]     |
[INFO] [stdout] 473 |                     try!(print_step(item));
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/proof.rs:479:21
[INFO] [stdout]     |
[INFO] [stdout] 479 |                     try!(print_step(item));
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/segment_set.rs:331:28
[INFO] [stdout]     |
[INFO] [stdout] 331 |             let metadata = try!(fs::metadata(&path));
[INFO] [stdout]     |                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/segment_set.rs:343:21
[INFO] [stdout]     |
[INFO] [stdout] 343 |                     try!(fh.read_to_end(&mut buf));
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/segment_set.rs:340:34
[INFO] [stdout]     |
[INFO] [stdout] 340 |                     let mut fh = try!(File::open(&path));
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 261 | /     try_assert!(state.order.cmp(&pos, &valid.start) == Ordering::Greater,
[INFO] [stdout] 262 | |                 Diagnostic::StepUsedBeforeDefinition(copy_token(label)));
[INFO] [stdout]     | |________________________________________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 264 | /     try_assert!(valid.end == NO_STATEMENT ||
[INFO] [stdout] 265 | |                 pos.segment_id == valid.start.segment_id && pos.index < valid.end,
[INFO] [stdout] 266 | |                 Diagnostic::StepUsedAfterScope(copy_token(label)));
[INFO] [stdout]     | |__________________________________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 367 |     try_assert!(index < state.prepared.len(), Diagnostic::StepOutOfRange);
[INFO] [stdout]     |     --------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:384:17
[INFO] [stdout]     |
[INFO] [stdout] 384 |     let sbase = try!(state.stack
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 410 |                 try_assert!(slot.code == typecode, Diagnostic::StepFloatWrongType);
[INFO] [stdout]     |                 ------------------------------------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 414 |                 try_assert!(slot.code == expr.typecode, Diagnostic::StepEssenWrongType);
[INFO] [stdout]     |                 ----------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 415 | /                 try_assert!(do_substitute_eq(&state.stack_buffer[slot.expr.clone()],
[INFO] [stdout] 416 | |                                              fref,
[INFO] [stdout] 417 | |                                              &expr,
[INFO] [stdout] 418 | |                                              &state.subst_info,
[INFO] [stdout] 419 | |                                              &state.stack_buffer),
[INFO] [stdout] 420 | |                             Diagnostic::StepEssenWrong);
[INFO] [stdout]     | |_______________________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 452 | /                 try_assert!(var1 < state.dv_map.len() && state.dv_map[var1].has_bit(var2),
[INFO] [stdout] 453 | |                             Diagnostic::ProofDvViolation);
[INFO] [stdout]     | |_________________________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 463 |     try_assert!(state.stack.len() <= 1, Diagnostic::ProofExcessEnd);
[INFO] [stdout]     |     --------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:464:32
[INFO] [stdout]     |
[INFO] [stdout] 464 |     let &(ref data, ref tos) = try!(state.stack.last().ok_or(Diagnostic::ProofNoSteps));
[INFO] [stdout]     |                                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 466 | /     try_assert!(tos.code == state.cur_frame.target.typecode,
[INFO] [stdout] 467 | |                 Diagnostic::ProofWrongTypeEnd);
[INFO] [stdout]     | |______________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 472 | /     try_assert!(state.stack_buffer[tos.expr.clone()] == state.temp_buffer[..],
[INFO] [stdout] 473 | |                 Diagnostic::ProofWrongExprEnd);
[INFO] [stdout]     | |______________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:523:13
[INFO] [stdout]     |
[INFO] [stdout] 523 |             try!(prepare_step(state, chunk));
[INFO] [stdout]     |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 515 |             try_assert!(i < stmt.proof_len(), Diagnostic::ProofUnterminatedRoster);
[INFO] [stdout]     |             ---------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:536:21
[INFO] [stdout]     |
[INFO] [stdout] 536 |                     try!(execute_step(state, k));
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 541 | /                     try_assert!(k < (u32::max_value() as usize / 20) - 1,
[INFO] [stdout] 542 | |                                 Diagnostic::ProofMalformedVarint);
[INFO] [stdout]     | |_________________________________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 545 |                     try_assert!(can_save, Diagnostic::ProofInvalidSave);
[INFO] [stdout]     |                     --------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 549 |                     try_assert!(k == 0, Diagnostic::ProofMalformedVarint);
[INFO] [stdout]     |                     ----------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 556 |         try_assert!(k == 0, Diagnostic::ProofMalformedVarint);
[INFO] [stdout]     |         ----------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:563:13
[INFO] [stdout]     |
[INFO] [stdout] 563 |             try!(prepare_step(state, chunk));
[INFO] [stdout]     |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:564:13
[INFO] [stdout]     |
[INFO] [stdout] 564 |             try!(execute_step(state, count));
[INFO] [stdout]     |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 562 |             try_assert!(chunk != b"?", Diagnostic::ProofIncomplete);
[INFO] [stdout]     |             ------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `std::hash::SipHasher`: use `std::hash::DefaultHasher` instead
[INFO] [stdout]   --> src/proof.rs:20:16
[INFO] [stdout]    |
[INFO] [stdout] 20 | use std::hash::SipHasher;
[INFO] [stdout]    |                ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `std::hash::SipHasher`: use `std::hash::DefaultHasher` instead
[INFO] [stdout]   --> src/proof.rs:55:26
[INFO] [stdout]    |
[INFO] [stdout] 55 |         let mut hasher = SipHasher::new();
[INFO] [stdout]    |                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/database.rs:152:23
[INFO] [stdout]     |
[INFO] [stdout] 152 | struct Job(usize, Box<FnMut() + Send>);
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout]     = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]     |
[INFO] [stdout] 152 | struct Job(usize, Box<dyn FnMut() + Send>);
[INFO] [stdout]     |                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/database.rs:280:27
[INFO] [stdout]     |
[INFO] [stdout] 280 | pub struct Promise<T>(Box<FnMut() -> T + Send>);
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]     |
[INFO] [stdout] 280 | pub struct Promise<T>(Box<dyn FnMut() -> T + Send>);
[INFO] [stdout]     |                           +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/database.rs:190:60
[INFO] [stdout]     |
[INFO] [stdout] 190 | fn queue_work(exec: &Executor, estimate: usize, mut f: Box<FnMut() + Send>) {
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]     |
[INFO] [stdout] 190 | fn queue_work(exec: &Executor, estimate: usize, mut f: Box<dyn FnMut() + Send>) {
[INFO] [stdout]     |                                                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/export.rs:58:32
[INFO] [stdout]    |
[INFO] [stdout] 58 |     fn cause(&self) -> Option<&error::Error> {
[INFO] [stdout]    |                                ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]    |
[INFO] [stdout] 58 |     fn cause(&self) -> Option<&dyn error::Error> {
[INFO] [stdout]    |                                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]   --> src/export.rs:53:45
[INFO] [stdout]    |
[INFO] [stdout] 53 |             ExportError::Io(ref err) => err.description(),
[INFO] [stdout]    |                                             ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::hash::SipHasher::new`: use `std::hash::DefaultHasher` instead
[INFO] [stdout]   --> src/proof.rs:55:37
[INFO] [stdout]    |
[INFO] [stdout] 55 |         let mut hasher = SipHasher::new();
[INFO] [stdout]    |                                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/database.rs:457:25
[INFO] [stdout]     |
[INFO] [stdout] 457 |                     let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap());
[INFO] [stdout]     |                         ----^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/database.rs:483:25
[INFO] [stdout]     |
[INFO] [stdout] 483 |                     let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap());
[INFO] [stdout]     |                         ----^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/database.rs:510:25
[INFO] [stdout]     |
[INFO] [stdout] 510 |                     let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap());
[INFO] [stdout]     |                         ----^^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `label` is never read
[INFO] [stdout]    --> src/scopeck.rs:104:5
[INFO] [stdout]     |
[INFO] [stdout] 102 | struct LocalEssentialInfo<'a> {
[INFO] [stdout]     |        ------------------ field in this struct
[INFO] [stdout] 103 |     valid: GlobalRange,
[INFO] [stdout] 104 |     label: TokenPtr<'a>,
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `LocalEssentialInfo` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused borrow that must be used
[INFO] [stdout]   --> src/util.rs:82:5
[INFO] [stdout]    |
[INFO] [stdout] 82 |     &vec[from]; // for the bounds check
[INFO] [stdout]    |     ^^^^^^^^^^ the borrow produces a value
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 82 |     let _ = &vec[from]; // for the bounds check
[INFO] [stdout]    |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [optimized + debuginfo] target(s) in 3.75s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: bitflags v0.5.0, clap v2.5.2
[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" "53999cf60c378e27d3c6784bebb0e9a311ff6907964b3d78472d769761724b53", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "53999cf60c378e27d3c6784bebb0e9a311ff6907964b3d78472d769761724b53", kill_on_drop: false }`
[INFO] [stdout] 53999cf60c378e27d3c6784bebb0e9a311ff6907964b3d78472d769761724b53
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Zrandomize-layout" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 660b1967e2aa91c19925d71d38e2de9660749ac9e1d261eb79a4c2c32c980654
[INFO] running `Command { std: "docker" "start" "-a" "660b1967e2aa91c19925d71d38e2de9660749ac9e1d261eb79a4c2c32c980654", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]   --> src/export.rs:74:5
[INFO] [stderr]    |
[INFO] [stderr] 74 |     try!(writeln!(out,
[INFO] [stderr]    |     ^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(deprecated)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/export.rs:167:5
[INFO] [stderr]     |
[INFO] [stderr] 167 |     try!(writeln!(out,
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/export.rs:181:5
[INFO] [stderr]     |
[INFO] [stderr] 181 |     try!(writeln!(out, "\n$)"));
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]   --> src/export.rs:85:9
[INFO] [stderr]    |
[INFO] [stderr] 85 |         try!(writeln!(out, "*{}\n", cstr));
[INFO] [stderr]    |         ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]   --> src/export.rs:88:15
[INFO] [stderr]    |
[INFO] [stderr] 88 |     let arr = try!(ProofTreeArray::new(sset, nset, scope, stmt));
[INFO] [stderr]    |               ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/export.rs:165:9
[INFO] [stderr]     |
[INFO] [stderr] 165 |         try!(writeln!(out, "{}", line));
[INFO] [stderr]     |         ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/proof.rs:130:19
[INFO] [stderr]     |
[INFO] [stderr] 130 |         arr.qed = try!(verify_one(sset, nset, scopes, &mut arr, stmt));
[INFO] [stderr]     |                   ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/proof.rs:406:9
[INFO] [stderr]     |
[INFO] [stderr] 406 |         try!(f.write_str(&indent[(self.initial_chr + 2) as usize..]));
[INFO] [stderr]     |         ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/proof.rs:461:17
[INFO] [stderr]     |
[INFO] [stderr] 461 |                 try!(f.write_char(' '));
[INFO] [stderr]     |                 ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/proof.rs:464:17
[INFO] [stderr]     |
[INFO] [stderr] 464 |                 try!(f.write_str(&indent));
[INFO] [stderr]     |                 ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/proof.rs:473:21
[INFO] [stderr]     |
[INFO] [stderr] 473 |                     try!(print_step(item));
[INFO] [stderr]     |                     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/proof.rs:479:21
[INFO] [stderr]     |
[INFO] [stderr] 479 |                     try!(print_step(item));
[INFO] [stderr]     |                     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/segment_set.rs:331:28
[INFO] [stderr]     |
[INFO] [stderr] 331 |             let metadata = try!(fs::metadata(&path));
[INFO] [stderr]     |                            ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/segment_set.rs:343:21
[INFO] [stderr]     |
[INFO] [stderr] 343 |                     try!(fh.read_to_end(&mut buf));
[INFO] [stderr]     |                     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/segment_set.rs:340:34
[INFO] [stderr]     |
[INFO] [stderr] 340 |                     let mut fh = try!(File::open(&path));
[INFO] [stderr]     |                                  ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |               try!(Err($($arg)+))
[INFO] [stderr]     |               ^^^
[INFO] [stderr] ...
[INFO] [stderr] 261 | /     try_assert!(state.order.cmp(&pos, &valid.start) == Ordering::Greater,
[INFO] [stderr] 262 | |                 Diagnostic::StepUsedBeforeDefinition(copy_token(label)));
[INFO] [stderr]     | |________________________________________________________________________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |               try!(Err($($arg)+))
[INFO] [stderr]     |               ^^^
[INFO] [stderr] ...
[INFO] [stderr] 264 | /     try_assert!(valid.end == NO_STATEMENT ||
[INFO] [stderr] 265 | |                 pos.segment_id == valid.start.segment_id && pos.index < valid.end,
[INFO] [stderr] 266 | |                 Diagnostic::StepUsedAfterScope(copy_token(label)));
[INFO] [stderr]     | |__________________________________________________________________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |             try!(Err($($arg)+))
[INFO] [stderr]     |             ^^^
[INFO] [stderr] ...
[INFO] [stderr] 367 |     try_assert!(index < state.prepared.len(), Diagnostic::StepOutOfRange);
[INFO] [stderr]     |     --------------------------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:384:17
[INFO] [stderr]     |
[INFO] [stderr] 384 |     let sbase = try!(state.stack
[INFO] [stderr]     |                 ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |             try!(Err($($arg)+))
[INFO] [stderr]     |             ^^^
[INFO] [stderr] ...
[INFO] [stderr] 410 |                 try_assert!(slot.code == typecode, Diagnostic::StepFloatWrongType);
[INFO] [stderr]     |                 ------------------------------------------------------------------ in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |             try!(Err($($arg)+))
[INFO] [stderr]     |             ^^^
[INFO] [stderr] ...
[INFO] [stderr] 414 |                 try_assert!(slot.code == expr.typecode, Diagnostic::StepEssenWrongType);
[INFO] [stderr]     |                 ----------------------------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |               try!(Err($($arg)+))
[INFO] [stderr]     |               ^^^
[INFO] [stderr] ...
[INFO] [stderr] 415 | /                 try_assert!(do_substitute_eq(&state.stack_buffer[slot.expr.clone()],
[INFO] [stderr] 416 | |                                              fref,
[INFO] [stderr] 417 | |                                              &expr,
[INFO] [stderr] 418 | |                                              &state.subst_info,
[INFO] [stderr] 419 | |                                              &state.stack_buffer),
[INFO] [stderr] 420 | |                             Diagnostic::StepEssenWrong);
[INFO] [stderr]     | |_______________________________________________________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |               try!(Err($($arg)+))
[INFO] [stderr]     |               ^^^
[INFO] [stderr] ...
[INFO] [stderr] 452 | /                 try_assert!(var1 < state.dv_map.len() && state.dv_map[var1].has_bit(var2),
[INFO] [stderr] 453 | |                             Diagnostic::ProofDvViolation);
[INFO] [stderr]     | |_________________________________________________________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |             try!(Err($($arg)+))
[INFO] [stderr]     |             ^^^
[INFO] [stderr] ...
[INFO] [stderr] 463 |     try_assert!(state.stack.len() <= 1, Diagnostic::ProofExcessEnd);
[INFO] [stderr]     |     --------------------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:464:32
[INFO] [stderr]     |
[INFO] [stderr] 464 |     let &(ref data, ref tos) = try!(state.stack.last().ok_or(Diagnostic::ProofNoSteps));
[INFO] [stderr]     |                                ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |               try!(Err($($arg)+))
[INFO] [stderr]     |               ^^^
[INFO] [stderr] ...
[INFO] [stderr] 466 | /     try_assert!(tos.code == state.cur_frame.target.typecode,
[INFO] [stderr] 467 | |                 Diagnostic::ProofWrongTypeEnd);
[INFO] [stderr]     | |______________________________________________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |               try!(Err($($arg)+))
[INFO] [stderr]     |               ^^^
[INFO] [stderr] ...
[INFO] [stderr] 472 | /     try_assert!(state.stack_buffer[tos.expr.clone()] == state.temp_buffer[..],
[INFO] [stderr] 473 | |                 Diagnostic::ProofWrongExprEnd);
[INFO] [stderr]     | |______________________________________________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:523:13
[INFO] [stderr]     |
[INFO] [stderr] 523 |             try!(prepare_step(state, chunk));
[INFO] [stderr]     |             ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |             try!(Err($($arg)+))
[INFO] [stderr]     |             ^^^
[INFO] [stderr] ...
[INFO] [stderr] 515 |             try_assert!(i < stmt.proof_len(), Diagnostic::ProofUnterminatedRoster);
[INFO] [stderr]     |             ---------------------------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:536:21
[INFO] [stderr]     |
[INFO] [stderr] 536 |                     try!(execute_step(state, k));
[INFO] [stderr]     |                     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |               try!(Err($($arg)+))
[INFO] [stderr]     |               ^^^
[INFO] [stderr] ...
[INFO] [stderr] 541 | /                     try_assert!(k < (u32::max_value() as usize / 20) - 1,
[INFO] [stderr] 542 | |                                 Diagnostic::ProofMalformedVarint);
[INFO] [stderr]     | |_________________________________________________________________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |             try!(Err($($arg)+))
[INFO] [stderr]     |             ^^^
[INFO] [stderr] ...
[INFO] [stderr] 545 |                     try_assert!(can_save, Diagnostic::ProofInvalidSave);
[INFO] [stderr]     |                     --------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |             try!(Err($($arg)+))
[INFO] [stderr]     |             ^^^
[INFO] [stderr] ...
[INFO] [stderr] 549 |                     try_assert!(k == 0, Diagnostic::ProofMalformedVarint);
[INFO] [stderr]     |                     ----------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |             try!(Err($($arg)+))
[INFO] [stderr]     |             ^^^
[INFO] [stderr] ...
[INFO] [stderr] 556 |         try_assert!(k == 0, Diagnostic::ProofMalformedVarint);
[INFO] [stderr]     |         ----------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:563:13
[INFO] [stderr]     |
[INFO] [stderr] 563 |             try!(prepare_step(state, chunk));
[INFO] [stderr]     |             ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:564:13
[INFO] [stderr]     |
[INFO] [stderr] 564 |             try!(execute_step(state, count));
[INFO] [stderr]     |             ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |             try!(Err($($arg)+))
[INFO] [stderr]     |             ^^^
[INFO] [stderr] ...
[INFO] [stderr] 562 |             try_assert!(chunk != b"?", Diagnostic::ProofIncomplete);
[INFO] [stderr]     |             ------------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated struct `std::hash::SipHasher`: use `std::hash::DefaultHasher` instead
[INFO] [stderr]   --> src/proof.rs:20:16
[INFO] [stderr]    |
[INFO] [stderr] 20 | use std::hash::SipHasher;
[INFO] [stderr]    |                ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated struct `std::hash::SipHasher`: use `std::hash::DefaultHasher` instead
[INFO] [stderr]   --> src/proof.rs:55:26
[INFO] [stderr]    |
[INFO] [stderr] 55 |         let mut hasher = SipHasher::new();
[INFO] [stderr]    |                          ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/database.rs:152:23
[INFO] [stderr]     |
[INFO] [stderr] 152 | struct Job(usize, Box<FnMut() + Send>);
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stderr]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stderr]     = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stderr] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stderr]     |
[INFO] [stderr] 152 | struct Job(usize, Box<dyn FnMut() + Send>);
[INFO] [stderr]     |                       +++
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/database.rs:280:27
[INFO] [stderr]     |
[INFO] [stderr] 280 | pub struct Promise<T>(Box<FnMut() -> T + Send>);
[INFO] [stderr]     |                           ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stderr]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stderr] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stderr]     |
[INFO] [stderr] 280 | pub struct Promise<T>(Box<dyn FnMut() -> T + Send>);
[INFO] [stderr]     |                           +++
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/database.rs:190:60
[INFO] [stderr]     |
[INFO] [stderr] 190 | fn queue_work(exec: &Executor, estimate: usize, mut f: Box<FnMut() + Send>) {
[INFO] [stderr]     |                                                            ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stderr]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stderr] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stderr]     |
[INFO] [stderr] 190 | fn queue_work(exec: &Executor, estimate: usize, mut f: Box<dyn FnMut() + Send>) {
[INFO] [stderr]     |                                                            +++
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/export.rs:58:32
[INFO] [stderr]    |
[INFO] [stderr] 58 |     fn cause(&self) -> Option<&error::Error> {
[INFO] [stderr]    |                                ^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stderr]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stderr] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stderr]    |
[INFO] [stderr] 58 |     fn cause(&self) -> Option<&dyn error::Error> {
[INFO] [stderr]    |                                +++
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated method `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stderr]   --> src/export.rs:53:45
[INFO] [stderr]    |
[INFO] [stderr] 53 |             ExportError::Io(ref err) => err.description(),
[INFO] [stderr]    |                                             ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `std::hash::SipHasher::new`: use `std::hash::DefaultHasher` instead
[INFO] [stderr]   --> src/proof.rs:55:37
[INFO] [stderr]    |
[INFO] [stderr] 55 |         let mut hasher = SipHasher::new();
[INFO] [stderr]    |                                     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/database.rs:457:25
[INFO] [stderr]     |
[INFO] [stderr] 457 |                     let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap());
[INFO] [stderr]     |                         ----^^
[INFO] [stderr]     |                         |
[INFO] [stderr]     |                         help: remove this `mut`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/database.rs:483:25
[INFO] [stderr]     |
[INFO] [stderr] 483 |                     let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap());
[INFO] [stderr]     |                         ----^^
[INFO] [stderr]     |                         |
[INFO] [stderr]     |                         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/database.rs:510:25
[INFO] [stderr]     |
[INFO] [stderr] 510 |                     let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap());
[INFO] [stderr]     |                         ----^^^
[INFO] [stderr]     |                         |
[INFO] [stderr]     |                         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: field `label` is never read
[INFO] [stderr]    --> src/scopeck.rs:104:5
[INFO] [stderr]     |
[INFO] [stderr] 102 | struct LocalEssentialInfo<'a> {
[INFO] [stderr]     |        ------------------ field in this struct
[INFO] [stderr] 103 |     valid: GlobalRange,
[INFO] [stderr] 104 |     label: TokenPtr<'a>,
[INFO] [stderr]     |     ^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `LocalEssentialInfo` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr]     = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused borrow that must be used
[INFO] [stderr]   --> src/util.rs:82:5
[INFO] [stderr]    |
[INFO] [stderr] 82 |     &vec[from]; // for the bounds check
[INFO] [stderr]    |     ^^^^^^^^^^ the borrow produces a value
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_must_use)]` on by default
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]    |
[INFO] [stderr] 82 |     let _ = &vec[from]; // for the bounds check
[INFO] [stderr]    |     +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: `smetamath` (bin "smetamath" test) generated 50 warnings (run `cargo fix --bin "smetamath" --tests` to apply 7 suggestions)
[INFO] [stderr]     Finished `test` profile [optimized + debuginfo] target(s) in 0.02s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: bitflags v0.5.0, clap v2.5.2
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1`
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/smetamath-ed9769874156d9ae)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stderr] 
[INFO] [stderr] thread 'util_tests::test_fast_extend' panicked at library/core/src/panicking.rs:218:5:
[INFO] [stderr] unsafe precondition(s) violated: slice::get_unchecked_mut requires that the index is within the slice
[INFO] [stderr] stack backtrace:
[INFO] [stderr]    0:     0x61e61c2d9aea - std::backtrace_rs::backtrace::libunwind::trace::hb059275cfc8d6126
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
[INFO] [stderr]    1:     0x61e61c2d9aea - std::backtrace_rs::backtrace::trace_unsynchronized::h2da071e4327ce3ee
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stderr]    2:     0x61e61c2d9aea - std::sys::backtrace::_print_fmt::h842a1474e6f8d23f
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:66:9
[INFO] [stderr]    3:     0x61e61c2d9aea - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h71a62eb3b9696b12
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:39:26
[INFO] [stderr]    4:     0x61e61c301303 - core::fmt::rt::Argument::fmt::hdb6b616786b41dc1
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/fmt/rt.rs:177:76
[INFO] [stderr]    5:     0x61e61c301303 - core::fmt::write::h2cc1698af7e2d686
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/fmt/mod.rs:1440:21
[INFO] [stderr]    6:     0x61e61c2d63b3 - std::io::Write::write_fmt::h00c8700df393f328
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/io/mod.rs:1887:15
[INFO] [stderr]    7:     0x61e61c2d9932 - std::sys::backtrace::BacktraceLock::print::h147fe35b4ea13b08
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:42:9
[INFO] [stderr]    8:     0x61e61c2daf0f - std::panicking::default_hook::{{closure}}::hbd44223dbdc0d208
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:298:22
[INFO] [stderr]    9:     0x61e61c2dad7a - std::panicking::default_hook::h20f81eb0576efcec
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:325:9
[INFO] [stderr]   10:     0x61e61c2a2f03 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hdb53814c496a4d34
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/alloc/src/boxed.rs:2027:9
[INFO] [stderr]   11:     0x61e61c2a2f03 - test::test_main::{{closure}}::hc0a4963c59427c24
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:134:21
[INFO] [stderr]   12:     0x61e61c2dba03 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h591b2225413a77e9
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/alloc/src/boxed.rs:2027:9
[INFO] [stderr]   13:     0x61e61c2dba03 - std::panicking::rust_panic_with_hook::h625eea43051b2edc
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:839:13
[INFO] [stderr]   14:     0x61e61c2db686 - std::panicking::begin_panic_handler::{{closure}}::h4f9159cfbc3f6bd3
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:697:13
[INFO] [stderr]   15:     0x61e61c2d9fe9 - std::sys::backtrace::__rust_end_short_backtrace::h0390abce48353151
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:168:18
[INFO] [stderr]   16:     0x61e61c2db34d - rust_begin_unwind
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:695:5
[INFO] [stderr]   17:     0x61e61c2ffdbd - core::panicking::panic_nounwind_fmt::runtime::hff07b4bc76d03a4c
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/panicking.rs:117:22
[INFO] [stderr]   18:     0x61e61c2ffdbd - core::panicking::panic_nounwind_fmt::hbd5e8c40c5ce07f6
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/intrinsics/mod.rs:3861:9
[INFO] [stderr]   19:     0x61e61c2ffe52 - core::panicking::panic_nounwind::h87bcbf062a0b0104
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/panicking.rs:218:5
[INFO] [stderr]   20:     0x61e61c259147 - <usize as core::slice::index::SliceIndex<[T]>>::get_unchecked_mut::precondition_check::h23d6ad2ca9b2926f
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/ub_checks.rs:68:21
[INFO] [stderr]   21:     0x61e61c259147 - <usize as core::slice::index::SliceIndex<[T]>>::get_unchecked_mut::hcbfbfaf1437bfae8
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/ub_checks.rs:75:17
[INFO] [stderr]   22:     0x61e61c259147 - core::slice::<impl [T]>::get_unchecked_mut::h12bf7b991f96c954
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/slice/mod.rs:707:24
[INFO] [stderr]   23:     0x61e61c259147 - smetamath::util::fast_extend::h1f390aa7a46cc50c
[INFO] [stderr]                                at /opt/rustwide/workdir/src/util.rs:72:20
[INFO] [stderr]   24:     0x61e61c259147 - smetamath::util_tests::test_fast_extend::h5b5fa64ba28e96dd
[INFO] [stderr]                                at /opt/rustwide/workdir/src/util_tests.rs:23:5
[INFO] [stderr]   25:     0x61e61c259147 - smetamath::util_tests::test_fast_extend::{{closure}}::h9a16696ae6250b60
[INFO] [stderr]                                at /opt/rustwide/workdir/src/util_tests.rs:21:22
[INFO] [stderr]   26:     0x61e61c259147 - core::ops::function::FnOnce::call_once::h7788f6473c6f55c8
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   27:     0x61e61c2a865b - core::ops::function::FnOnce::call_once::he27718dfdd183f43
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   28:     0x61e61c2a865b - test::__rust_begin_short_backtrace::h4e84902998457a5d
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:632:18
[INFO] [stderr]   29:     0x61e61c2a7593 - test::run_test_in_process::{{closure}}::h7176fd18fc1feca0
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:655:60
[INFO] [stderr]   30:     0x61e61c2a7593 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hf79cff2a624d8cf7
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stderr]   31:     0x61e61c2a7593 - std::panicking::try::do_call::h3da0561d9ab99c25
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:587:40
[INFO] [stderr]   32:     0x61e61c2a7593 - std::panicking::try::h41c9fa508bc61df6
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:550:19
[INFO] [stderr]   33:     0x61e61c2a7593 - std::panic::catch_unwind::h6b3ff07bb5afad93
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panic.rs:358:14
[INFO] [stderr]   34:     0x61e61c2a7593 - test::run_test_in_process::hc7253dd11b39b9f4
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:655:27
[INFO] [stderr]   35:     0x61e61c2a7593 - test::run_test::{{closure}}::hfb2007f8649c30bb
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:576:43
[INFO] [stderr]   36:     0x61e61c26a675 - test::run_test::{{closure}}::h56a17aa7a282a9f4
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:606:41
[INFO] [stderr]   37:     0x61e61c26a675 - std::sys::backtrace::__rust_begin_short_backtrace::hd2d2d2fb8e8c6aac
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:152:18
[INFO] [stderr]   38:     0x61e61c26df5a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h4faa3f9db6133423
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/thread/mod.rs:559:17
[INFO] [stderr]   39:     0x61e61c26df5a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hf2e855a36a4ea846
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stderr]   40:     0x61e61c26df5a - std::panicking::try::do_call::h2f73af3616c35465
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:587:40
[INFO] [stderr]   41:     0x61e61c26df5a - std::panicking::try::hd1660ce9efadef5a
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:550:19
[INFO] [stderr]   42:     0x61e61c26df5a - std::panic::catch_unwind::h5ee8d7823b8ca744
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panic.rs:358:14
[INFO] [stderr]   43:     0x61e61c26df5a - std::thread::Builder::spawn_unchecked_::{{closure}}::h53c3a1894dce8407
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/thread/mod.rs:557:30
[INFO] [stderr]   44:     0x61e61c26df5a - core::ops::function::FnOnce::call_once{{vtable.shim}}::h048ce291ad4f62bf
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   45:     0x61e61c2df94b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::ha52bedf99a3b4981
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/alloc/src/boxed.rs:2013:9
[INFO] [stderr]   46:     0x61e61c2df94b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h567748934d80ccf8
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/alloc/src/boxed.rs:2013:9
[INFO] [stderr]   47:     0x61e61c2df94b - std::sys::pal::unix::thread::Thread::new::thread_start::h2d970728ae887adc
[INFO] [stderr]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/pal/unix/thread.rs:106:17
[INFO] [stderr]   48:     0x7122eeb64ac3 - <unknown>
[INFO] [stderr]   49:     0x7122eebf5a04 - clone
[INFO] [stderr]   50:                0x0 - <unknown>
[INFO] [stderr] thread caused non-unwinding panic. aborting.
[INFO] [stderr] error: test failed, to rerun pass `--bin smetamath`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/deps/smetamath-ed9769874156d9ae` (signal: 6, SIGABRT: process abort signal)
[INFO] running `Command { std: "docker" "inspect" "660b1967e2aa91c19925d71d38e2de9660749ac9e1d261eb79a4c2c32c980654", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "660b1967e2aa91c19925d71d38e2de9660749ac9e1d261eb79a4c2c32c980654", kill_on_drop: false }`
[INFO] [stdout] 660b1967e2aa91c19925d71d38e2de9660749ac9e1d261eb79a4c2c32c980654
