[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 master#1871252fc8bb672d40787e67404e6eaae7059369 for pr-125151
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsorear%2Fsmetamath-rs" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/sorear/smetamath-rs on toolchain 1871252fc8bb672d40787e67404e6eaae7059369
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "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-5-tc1/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" "+1871252fc8bb672d40787e67404e6eaae7059369" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded libc v0.2.11
[INFO] [stderr]   Downloaded strsim v0.4.1
[INFO] [stderr]   Downloaded vec_map v0.6.0
[INFO] [stderr]   Downloaded ansi_term v0.7.2
[INFO] [stderr]   Downloaded unicode-width v0.1.3
[INFO] [stderr]   Downloaded filetime v0.1.10
[INFO] [stderr]   Downloaded fnv v1.0.2
[INFO] [stderr]   Downloaded clap v2.5.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c3e0bd7c2d9c264208dbf26d7d0264d6015c9ee0afaf6c8d4671ab8d40bc2453
[INFO] running `Command { std: "docker" "start" "-a" "c3e0bd7c2d9c264208dbf26d7d0264d6015c9ee0afaf6c8d4671ab8d40bc2453", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c3e0bd7c2d9c264208dbf26d7d0264d6015c9ee0afaf6c8d4671ab8d40bc2453", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c3e0bd7c2d9c264208dbf26d7d0264d6015c9ee0afaf6c8d4671ab8d40bc2453", kill_on_drop: false }`
[INFO] [stdout] c3e0bd7c2d9c264208dbf26d7d0264d6015c9ee0afaf6c8d4671ab8d40bc2453
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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" "-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2f82aa3ad4c75d8871fddc53223257d1524782eb9c0b73ac13ac171d6b128b72
[INFO] running `Command { std: "docker" "start" "-a" "2f82aa3ad4c75d8871fddc53223257d1524782eb9c0b73ac13ac171d6b128b72", kill_on_drop: false }`
[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 regex-syntax v0.3.3
[INFO] [stderr]    Compiling bitflags v0.5.0
[INFO] [stderr]    Compiling unicode-width v0.1.3
[INFO] [stderr]    Compiling ansi_term v0.7.2
[INFO] [stderr]    Compiling vec_map v0.6.0
[INFO] [stderr]    Compiling strsim v0.4.1
[INFO] [stderr]    Compiling utf8-ranges v0.1.3
[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 filetime v0.1.10
[INFO] [stderr]    Compiling clap v2.5.2
[INFO] [stderr]    Compiling aho-corasick v0.5.2
[INFO] [stderr]    Compiling thread-id v2.0.0
[INFO] [stderr]    Compiling thread_local v0.2.6
[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 an object-safe 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 an object-safe 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 an object-safe 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 an object-safe 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] [stdout] warning: 50 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [optimized + debuginfo] target(s) in 13.55s
[INFO] running `Command { std: "docker" "inspect" "2f82aa3ad4c75d8871fddc53223257d1524782eb9c0b73ac13ac171d6b128b72", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2f82aa3ad4c75d8871fddc53223257d1524782eb9c0b73ac13ac171d6b128b72", kill_on_drop: false }`
[INFO] [stdout] 2f82aa3ad4c75d8871fddc53223257d1524782eb9c0b73ac13ac171d6b128b72
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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" "-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2c0f5ff51423341b8fb13cd074fcbb699773293e225bd84ac7ee2e14ef99d022
[INFO] running `Command { std: "docker" "start" "-a" "2c0f5ff51423341b8fb13cd074fcbb699773293e225bd84ac7ee2e14ef99d022", kill_on_drop: false }`
[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 an object-safe 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 an object-safe 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 an object-safe 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 an object-safe 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] [stdout] warning: 50 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [optimized + debuginfo] target(s) in 2.36s
[INFO] running `Command { std: "docker" "inspect" "2c0f5ff51423341b8fb13cd074fcbb699773293e225bd84ac7ee2e14ef99d022", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2c0f5ff51423341b8fb13cd074fcbb699773293e225bd84ac7ee2e14ef99d022", kill_on_drop: false }`
[INFO] [stdout] 2c0f5ff51423341b8fb13cd074fcbb699773293e225bd84ac7ee2e14ef99d022
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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" "-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] edc30b3ab982376fdebfea6f4d85295657b3054b5501fdf0dee0e6eadaeda3cd
[INFO] running `Command { std: "docker" "start" "-a" "edc30b3ab982376fdebfea6f4d85295657b3054b5501fdf0dee0e6eadaeda3cd", kill_on_drop: false }`
[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 an object-safe 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 an object-safe 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 an object-safe 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 an object-safe 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]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/smetamath-b9d22f6b266da310)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stderr] thread 'util_tests::test_fast_extend' panicked at library/core/src/panicking.rs:219: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:     0x55a91cb865d5 - std::backtrace_rs::backtrace::libunwind::trace::h59d96bdb08384354
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
[INFO] [stderr]    1:     0x55a91cb865d5 - std::backtrace_rs::backtrace::trace_unsynchronized::h9cf5becacfc93fba
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stderr]    2:     0x55a91cb865d5 - std::sys_common::backtrace::_print_fmt::h10b76d10405dbd48
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stderr]    3:     0x55a91cb865d5 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h6ed9e62a156d84e4
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stderr]    4:     0x55a91cbacf4b - core::fmt::rt::Argument::fmt::h645c680983f03c9f
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/fmt/rt.rs:165:63
[INFO] [stderr]    5:     0x55a91cbacf4b - core::fmt::write::h8bcd80919a02be29
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/fmt/mod.rs:1169:21
[INFO] [stderr]    6:     0x55a91cb83e8f - std::io::Write::write_fmt::hed769ca6c29434ec
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/io/mod.rs:1835:15
[INFO] [stderr]    7:     0x55a91cb863ae - std::sys_common::backtrace::_print::h6306f131a28d62b0
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stderr]    8:     0x55a91cb863ae - std::sys_common::backtrace::print::h7079288e0a26dfcc
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stderr]    9:     0x55a91cb87dd9 - std::panicking::default_hook::{{closure}}::hb063ecec81a736ba
[INFO] [stderr]   10:     0x55a91cb87b1d - std::panicking::default_hook::hd56ee406bf547b5c
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:298:9
[INFO] [stderr]   11:     0x55a91cb5768a - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::he5eacdef44c8728f
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2036:9
[INFO] [stderr]   12:     0x55a91cb5768a - test::test_main::{{closure}}::h0ec9aed229e79095
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:137:21
[INFO] [stderr]   13:     0x55a91cb883db - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hcbd0d80e1ad4e4f9
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2036:9
[INFO] [stderr]   14:     0x55a91cb883db - std::panicking::rust_panic_with_hook::h624aa3ca42ebb8f2
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:799:13
[INFO] [stderr]   15:     0x55a91cb8811b - std::panicking::begin_panic_handler::{{closure}}::hbc4e76194a5e287c
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:656:13
[INFO] [stderr]   16:     0x55a91cb86a99 - std::sys_common::backtrace::__rust_end_short_backtrace::h847fedc9d1ff7b6d
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stderr]   17:     0x55a91cb87e87 - rust_begin_unwind
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:652:5
[INFO] [stderr]   18:     0x55a91cb06ee0 - core::panicking::panic_nounwind_fmt::runtime::h4b9f1774825d29a1
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panicking.rs:110:18
[INFO] [stderr]   19:     0x55a91cb06ee0 - core::panicking::panic_nounwind_fmt::h7f70629ab29f76f1
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panicking.rs:120:5
[INFO] [stderr]   20:     0x55a91cb06f72 - core::panicking::panic_nounwind::hde0018e2d22904b7
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panicking.rs:219:5
[INFO] [stderr]   21:     0x55a91cb106df - <usize as core::slice::index::SliceIndex<[T]>>::get_unchecked_mut::precondition_check::h21a82de9f29fed40
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ub_checks.rs:68:21
[INFO] [stderr]   22:     0x55a91cb106df - <usize as core::slice::index::SliceIndex<[T]>>::get_unchecked_mut::hcac4e996f98d17ff
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ub_checks.rs:75:17
[INFO] [stderr]   23:     0x55a91cb106df - core::slice::<impl [T]>::get_unchecked_mut::h94088e69b7ed4c55
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/slice/mod.rs:728:24
[INFO] [stderr]   24:     0x55a91cb106df - smetamath::util::fast_extend::h49b8424527229c1c
[INFO] [stderr]                                at /opt/rustwide/workdir/src/util.rs:72:20
[INFO] [stderr]   25:     0x55a91cb16e85 - smetamath::util_tests::test_fast_extend::h8a15c4093b6208ac
[INFO] [stderr]                                at /opt/rustwide/workdir/src/util_tests.rs:23:5
[INFO] [stderr]   26:     0x55a91cb16e85 - smetamath::util_tests::test_fast_extend::{{closure}}::h287337fb7b100dd3
[INFO] [stderr]                                at /opt/rustwide/workdir/src/util_tests.rs:21:22
[INFO] [stderr]   27:     0x55a91cb16e85 - core::ops::function::FnOnce::call_once::h1e801221ae6a8adf
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   28:     0x55a91cb5c06b - core::ops::function::FnOnce::call_once::h2e43a8f6f3d94b99
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   29:     0x55a91cb5c06b - test::__rust_begin_short_backtrace::h214c9f2d2d3fee90
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:625:18
[INFO] [stderr]   30:     0x55a91cb5b771 - test::run_test_in_process::{{closure}}::h510b7ba7990692a5
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:648:60
[INFO] [stderr]   31:     0x55a91cb5b771 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4157186197a93871
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stderr]   32:     0x55a91cb5b771 - std::panicking::try::do_call::h1bf2463bccd4b28c
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:559:40
[INFO] [stderr]   33:     0x55a91cb5b771 - std::panicking::try::hd6d4808c9fab4fa5
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:523:19
[INFO] [stderr]   34:     0x55a91cb5b771 - std::panic::catch_unwind::hd5641d97d123f9f2
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panic.rs:149:14
[INFO] [stderr]   35:     0x55a91cb5b771 - test::run_test_in_process::hc273b71c8b878a4c
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:648:27
[INFO] [stderr]   36:     0x55a91cb5b771 - test::run_test::{{closure}}::h6838df834eb8467e
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:569:43
[INFO] [stderr]   37:     0x55a91cb24134 - test::run_test::{{closure}}::h608b98ecff5665fb
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:599:41
[INFO] [stderr]   38:     0x55a91cb24134 - std::sys_common::backtrace::__rust_begin_short_backtrace::hdc4182b97d1042e9
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stderr]   39:     0x55a91cb28b62 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h571773fd21d674c8
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/thread/mod.rs:542:17
[INFO] [stderr]   40:     0x55a91cb28b62 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hdcd384cf2fa70ba3
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stderr]   41:     0x55a91cb28b62 - std::panicking::try::do_call::h4f1a44bd81423be1
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:559:40
[INFO] [stderr]   42:     0x55a91cb28b62 - std::panicking::try::h5e02afcb81dcd361
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:523:19
[INFO] [stderr]   43:     0x55a91cb28b62 - std::panic::catch_unwind::h022f75775bfd8c45
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panic.rs:149:14
[INFO] [stderr]   44:     0x55a91cb28b62 - std::thread::Builder::spawn_unchecked_::{{closure}}::hf5a62e9e4e6df1f8
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/thread/mod.rs:541:30
[INFO] [stderr]   45:     0x55a91cb28b62 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h6d56360aeb9509a7
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   46:     0x55a91cb8c5cb - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h7a343dc551c06baa
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2022:9
[INFO] [stderr]   47:     0x55a91cb8c5cb - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h30b8111cbaa644f3
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2022:9
[INFO] [stderr]   48:     0x55a91cb8c5cb - std::sys::pal::unix::thread::Thread::new::thread_start::h7404e134e61e7a11
[INFO] [stderr]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys/pal/unix/thread.rs:108:17
[INFO] [stderr]   49:     0x7f92ca13aac3 - <unknown>
[INFO] [stderr]   50:     0x7f92ca1cba04 - __clone
[INFO] [stderr]   51:                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-b9d22f6b266da310` (signal: 6, SIGABRT: process abort signal)
[INFO] running `Command { std: "docker" "inspect" "edc30b3ab982376fdebfea6f4d85295657b3054b5501fdf0dee0e6eadaeda3cd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "edc30b3ab982376fdebfea6f4d85295657b3054b5501fdf0dee0e6eadaeda3cd", kill_on_drop: false }`
[INFO] [stdout] edc30b3ab982376fdebfea6f4d85295657b3054b5501fdf0dee0e6eadaeda3cd
[INFO] testing sorear/smetamath-rs against try#b642703cf9526da1e72c0b6755753b939a9c6b6d for pr-125151
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsorear%2Fsmetamath-rs" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/sorear/smetamath-rs on toolchain b642703cf9526da1e72c0b6755753b939a9c6b6d
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "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-5-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" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] fa157b8f75a8fb40a8fb3978d3d804f55eab7067ec9822d9ad47c3faec18c16b
[INFO] running `Command { std: "docker" "start" "-a" "fa157b8f75a8fb40a8fb3978d3d804f55eab7067ec9822d9ad47c3faec18c16b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "fa157b8f75a8fb40a8fb3978d3d804f55eab7067ec9822d9ad47c3faec18c16b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fa157b8f75a8fb40a8fb3978d3d804f55eab7067ec9822d9ad47c3faec18c16b", kill_on_drop: false }`
[INFO] [stdout] fa157b8f75a8fb40a8fb3978d3d804f55eab7067ec9822d9ad47c3faec18c16b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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" "-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5c5e026ef3489a54949e0cf25c6baf0911d77f76d55540057374c6f8ab7ee0f8
[INFO] running `Command { std: "docker" "start" "-a" "5c5e026ef3489a54949e0cf25c6baf0911d77f76d55540057374c6f8ab7ee0f8", kill_on_drop: false }`
[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 vec_map v0.6.0
[INFO] [stderr]    Compiling bitflags v0.5.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 utf8-ranges v0.1.3
[INFO] [stderr]    Compiling strsim v0.4.1
[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 clap v2.5.2
[INFO] [stderr]    Compiling filetime v0.1.10
[INFO] [stderr]    Compiling aho-corasick v0.5.2
[INFO] [stderr]    Compiling thread-id v2.0.0
[INFO] [stderr]    Compiling thread_local v0.2.6
[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 an object-safe 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 an object-safe 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 an object-safe 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 an object-safe 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] [stdout] warning: 50 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [optimized + debuginfo] target(s) in 11.24s
[INFO] running `Command { std: "docker" "inspect" "5c5e026ef3489a54949e0cf25c6baf0911d77f76d55540057374c6f8ab7ee0f8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5c5e026ef3489a54949e0cf25c6baf0911d77f76d55540057374c6f8ab7ee0f8", kill_on_drop: false }`
[INFO] [stdout] 5c5e026ef3489a54949e0cf25c6baf0911d77f76d55540057374c6f8ab7ee0f8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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" "-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d5396359a7702f93e3e992e1006565d0c1c07b032aece45a1a144337a6267934
[INFO] running `Command { std: "docker" "start" "-a" "d5396359a7702f93e3e992e1006565d0c1c07b032aece45a1a144337a6267934", kill_on_drop: false }`
[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 an object-safe 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 an object-safe 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 an object-safe 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 an object-safe 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] [stdout] warning: 50 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [optimized + debuginfo] target(s) in 2.36s
[INFO] running `Command { std: "docker" "inspect" "d5396359a7702f93e3e992e1006565d0c1c07b032aece45a1a144337a6267934", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d5396359a7702f93e3e992e1006565d0c1c07b032aece45a1a144337a6267934", kill_on_drop: false }`
[INFO] [stdout] d5396359a7702f93e3e992e1006565d0c1c07b032aece45a1a144337a6267934
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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" "-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 91cd37f93bc13b7ea170662d32cefd05900b7f316f7510dbc9e17f7d29f0675c
[INFO] running `Command { std: "docker" "start" "-a" "91cd37f93bc13b7ea170662d32cefd05900b7f316f7510dbc9e17f7d29f0675c", kill_on_drop: false }`
[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 an object-safe 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 an object-safe 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 an object-safe 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 an object-safe 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]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/smetamath-b9d22f6b266da310)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stderr] thread 'util_tests::test_fast_extend' panicked at library/core/src/panicking.rs:219: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:     0x55b8c777f7b5 - std::backtrace_rs::backtrace::libunwind::trace::he49dc9a9e3164223
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
[INFO] [stderr]    1:     0x55b8c777f7b5 - std::backtrace_rs::backtrace::trace_unsynchronized::h3a3e77c68030aa6b
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stderr]    2:     0x55b8c777f7b5 - std::sys_common::backtrace::_print_fmt::h9479ad2f99afd5d4
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stderr]    3:     0x55b8c777f7b5 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hfb01aa1fa3fb1821
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stderr]    4:     0x55b8c77a60cb - core::fmt::rt::Argument::fmt::h125e56152abbc1c3
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/fmt/rt.rs:165:63
[INFO] [stderr]    5:     0x55b8c77a60cb - core::fmt::write::hb0ab4ff05ccfe741
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/fmt/mod.rs:1169:21
[INFO] [stderr]    6:     0x55b8c777cfbf - std::io::Write::write_fmt::h456b7988df61daf3
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/io/mod.rs:1835:15
[INFO] [stderr]    7:     0x55b8c777f58e - std::sys_common::backtrace::_print::h79ca548f3a2adf4b
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stderr]    8:     0x55b8c777f58e - std::sys_common::backtrace::print::h9aebf997b2fea2d3
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stderr]    9:     0x55b8c7780ef9 - std::panicking::default_hook::{{closure}}::h68a0954af2694526
[INFO] [stderr]   10:     0x55b8c7780cc8 - std::panicking::default_hook::h5be50cc6849ffb00
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:298:9
[INFO] [stderr]   11:     0x55b8c77507bf - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hd874405dcbd1d3ed
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2036:9
[INFO] [stderr]   12:     0x55b8c77507bf - test::test_main::{{closure}}::h4f26a9df34a84b94
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:137:21
[INFO] [stderr]   13:     0x55b8c77814fb - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h00e96d9c62aa9a12
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2036:9
[INFO] [stderr]   14:     0x55b8c77814fb - std::panicking::rust_panic_with_hook::h3c0df6036729334c
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:799:13
[INFO] [stderr]   15:     0x55b8c778123b - std::panicking::begin_panic_handler::{{closure}}::ha3a21e93c4cfd807
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:656:13
[INFO] [stderr]   16:     0x55b8c777fc79 - std::sys_common::backtrace::__rust_end_short_backtrace::h19508a8f8ae71dc9
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stderr]   17:     0x55b8c7780fa7 - rust_begin_unwind
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:652:5
[INFO] [stderr]   18:     0x55b8c76ffec0 - core::panicking::panic_nounwind_fmt::runtime::h5a694fc2dbb2d2f2
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panicking.rs:110:18
[INFO] [stderr]   19:     0x55b8c76ffec0 - core::panicking::panic_nounwind_fmt::hdd1d11fcfd7ed294
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panicking.rs:120:5
[INFO] [stderr]   20:     0x55b8c76fff52 - core::panicking::panic_nounwind::h8259b34807f64d0c
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panicking.rs:219:5
[INFO] [stderr]   21:     0x55b8c77096cf - <usize as core::slice::index::SliceIndex<[T]>>::get_unchecked_mut::precondition_check::he95c5f69d6b6b656
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ub_checks.rs:68:21
[INFO] [stderr]   22:     0x55b8c77096cf - <usize as core::slice::index::SliceIndex<[T]>>::get_unchecked_mut::h28813f90135ef283
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ub_checks.rs:75:17
[INFO] [stderr]   23:     0x55b8c77096cf - core::slice::<impl [T]>::get_unchecked_mut::hbbb166a0a9927077
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/slice/mod.rs:728:24
[INFO] [stderr]   24:     0x55b8c77096cf - smetamath::util::fast_extend::h0f3664d118eb7e30
[INFO] [stderr]                                at /opt/rustwide/workdir/src/util.rs:72:20
[INFO] [stderr]   25:     0x55b8c77145e5 - smetamath::util_tests::test_fast_extend::hbeab0b86e6f4f757
[INFO] [stderr]                                at /opt/rustwide/workdir/src/util_tests.rs:23:5
[INFO] [stderr]   26:     0x55b8c7716579 - smetamath::util_tests::test_fast_extend::{{closure}}::hebf28259e6768136
[INFO] [stderr]                                at /opt/rustwide/workdir/src/util_tests.rs:21:22
[INFO] [stderr]   27:     0x55b8c7716579 - core::ops::function::FnOnce::call_once::h7def46853726f1c1
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   28:     0x55b8c77550db - core::ops::function::FnOnce::call_once::h18c6bf92212b87a4
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   29:     0x55b8c77550db - test::__rust_begin_short_backtrace::hdcf0edcfa9080086
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:625:18
[INFO] [stderr]   30:     0x55b8c77547a1 - test::run_test_in_process::{{closure}}::heac2c4eb375d2d10
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:60
[INFO] [stderr]   31:     0x55b8c77547a1 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h0289bafc8a1cc004
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stderr]   32:     0x55b8c77547a1 - std::panicking::try::do_call::h5e158f1ad8a5f983
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stderr]   33:     0x55b8c77547a1 - std::panicking::try::hea3411d60321c4de
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stderr]   34:     0x55b8c77547a1 - std::panic::catch_unwind::hafb7bb18bc47bbc7
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stderr]   35:     0x55b8c77547a1 - test::run_test_in_process::h74dd138dc7762d99
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:27
[INFO] [stderr]   36:     0x55b8c77547a1 - test::run_test::{{closure}}::h6b390822e63606cf
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:569:43
[INFO] [stderr]   37:     0x55b8c771d174 - test::run_test::{{closure}}::h6e11dba8131d354b
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:599:41
[INFO] [stderr]   38:     0x55b8c771d174 - std::sys_common::backtrace::__rust_begin_short_backtrace::ha71b3541b59bdbbb
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stderr]   39:     0x55b8c7721c42 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hef92127c5ef9e53c
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:542:17
[INFO] [stderr]   40:     0x55b8c7721c42 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h859c109f9d11c92b
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stderr]   41:     0x55b8c7721c42 - std::panicking::try::do_call::hbf534c458cd858f0
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stderr]   42:     0x55b8c7721c42 - std::panicking::try::h65c18365a7b9ad90
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stderr]   43:     0x55b8c7721c42 - std::panic::catch_unwind::h21b25d4c69478c39
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stderr]   44:     0x55b8c7721c42 - std::thread::Builder::spawn_unchecked_::{{closure}}::h23335f620275a9bf
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:541:30
[INFO] [stderr]   45:     0x55b8c7721c42 - core::ops::function::FnOnce::call_once{{vtable.shim}}::hb491dc55513e9b7c
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   46:     0x55b8c77856db - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h41b39260afcffdc9
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stderr]   47:     0x55b8c77856db - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h6694c8dc6dd010c4
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stderr]   48:     0x55b8c77856db - std::sys::pal::unix::thread::Thread::new::thread_start::hf16038e1c8e19c99
[INFO] [stderr]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys/pal/unix/thread.rs:108:17
[INFO] [stderr]   49:     0x7fee59014ac3 - <unknown>
[INFO] [stderr]   50:     0x7fee590a5a04 - __clone
[INFO] [stderr]   51:                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-b9d22f6b266da310` (signal: 6, SIGABRT: process abort signal)
[INFO] running `Command { std: "docker" "inspect" "91cd37f93bc13b7ea170662d32cefd05900b7f316f7510dbc9e17f7d29f0675c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "91cd37f93bc13b7ea170662d32cefd05900b7f316f7510dbc9e17f7d29f0675c", kill_on_drop: false }`
[INFO] [stdout] 91cd37f93bc13b7ea170662d32cefd05900b7f316f7510dbc9e17f7d29f0675c
