[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 1.83.0 for beta-1.84.0-4-retry
[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 1.83.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.83.0" "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" "+1.83.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2021
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded fnv v1.0.2
[INFO] [stderr]   Downloaded clap v2.5.2
[INFO] [stderr]   Downloaded filetime v0.1.10
[INFO] [stderr]   Downloaded regex-syntax v0.3.3
[INFO] [stderr]   Downloaded regex v0.1.71
[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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] da19b349f4bd164583d23d77748186fa8f577d470e9bd4f9e6fb04de49d2076d
[INFO] running `Command { std: "docker" "start" "-a" "da19b349f4bd164583d23d77748186fa8f577d470e9bd4f9e6fb04de49d2076d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "da19b349f4bd164583d23d77748186fa8f577d470e9bd4f9e6fb04de49d2076d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "da19b349f4bd164583d23d77748186fa8f577d470e9bd4f9e6fb04de49d2076d", kill_on_drop: false }`
[INFO] [stdout] da19b349f4bd164583d23d77748186fa8f577d470e9bd4f9e6fb04de49d2076d
[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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] fe4546db2e573e1783111a055ef2ecbe9ab00f7bbcd1dca63886ccece6368225
[INFO] running `Command { std: "docker" "start" "-a" "fe4546db2e573e1783111a055ef2ecbe9ab00f7bbcd1dca63886ccece6368225", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2021
[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 bitflags v0.5.0
[INFO] [stderr]    Compiling regex-syntax v0.3.3
[INFO] [stderr]    Compiling unicode-width v0.1.3
[INFO] [stderr]    Compiling vec_map v0.6.0
[INFO] [stderr]    Compiling utf8-ranges v0.1.3
[INFO] [stderr]    Compiling ansi_term v0.7.2
[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 thread-id v2.0.0
[INFO] [stderr]    Compiling aho-corasick v0.5.2
[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 a dyn-compatible trait, use `dyn`
[INFO] [stdout]     |
[INFO] [stdout] 152 | struct Job(usize, Box<dyn FnMut() + Send>);
[INFO] [stdout]     |                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/database.rs:280:27
[INFO] [stdout]     |
[INFO] [stdout] 280 | pub struct Promise<T>(Box<FnMut() -> T + Send>);
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]     |
[INFO] [stdout] 280 | pub struct Promise<T>(Box<dyn FnMut() -> T + Send>);
[INFO] [stdout]     |                           +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/database.rs:190:60
[INFO] [stdout]     |
[INFO] [stdout] 190 | fn queue_work(exec: &Executor, estimate: usize, mut f: Box<FnMut() + Send>) {
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]     |
[INFO] [stdout] 190 | fn queue_work(exec: &Executor, estimate: usize, mut f: Box<dyn FnMut() + Send>) {
[INFO] [stdout]     |                                                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/export.rs:58:32
[INFO] [stdout]    |
[INFO] [stdout] 58 |     fn cause(&self) -> Option<&error::Error> {
[INFO] [stdout]    |                                ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]    |
[INFO] [stdout] 58 |     fn cause(&self) -> Option<&dyn error::Error> {
[INFO] [stdout]    |                                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]   --> src/export.rs:53:45
[INFO] [stdout]    |
[INFO] [stdout] 53 |             ExportError::Io(ref err) => err.description(),
[INFO] [stdout]    |                                             ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::hash::SipHasher::new`: use `std::hash::DefaultHasher` instead
[INFO] [stdout]   --> src/proof.rs:55:37
[INFO] [stdout]    |
[INFO] [stdout] 55 |         let mut hasher = SipHasher::new();
[INFO] [stdout]    |                                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/database.rs:457:25
[INFO] [stdout]     |
[INFO] [stdout] 457 |                     let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap());
[INFO] [stdout]     |                         ----^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/database.rs:483:25
[INFO] [stdout]     |
[INFO] [stdout] 483 |                     let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap());
[INFO] [stdout]     |                         ----^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/database.rs:510:25
[INFO] [stdout]     |
[INFO] [stdout] 510 |                     let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap());
[INFO] [stdout]     |                         ----^^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `label` is never read
[INFO] [stdout]    --> src/scopeck.rs:104:5
[INFO] [stdout]     |
[INFO] [stdout] 102 | struct LocalEssentialInfo<'a> {
[INFO] [stdout]     |        ------------------ field in this struct
[INFO] [stdout] 103 |     valid: GlobalRange,
[INFO] [stdout] 104 |     label: TokenPtr<'a>,
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `LocalEssentialInfo` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused borrow that must be used
[INFO] [stdout]   --> src/util.rs:82:5
[INFO] [stdout]    |
[INFO] [stdout] 82 |     &vec[from]; // for the bounds check
[INFO] [stdout]    |     ^^^^^^^^^^ the borrow produces a value
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 82 |     let _ = &vec[from]; // for the bounds check
[INFO] [stdout]    |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [optimized + debuginfo] target(s) in 27.29s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: bitflags v0.5.0, clap v2.5.2
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1`
[INFO] running `Command { std: "docker" "inspect" "fe4546db2e573e1783111a055ef2ecbe9ab00f7bbcd1dca63886ccece6368225", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fe4546db2e573e1783111a055ef2ecbe9ab00f7bbcd1dca63886ccece6368225", kill_on_drop: false }`
[INFO] [stdout] fe4546db2e573e1783111a055ef2ecbe9ab00f7bbcd1dca63886ccece6368225
[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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d9e7f0f05051d0613b36fb2a67cf97ffbe5edfedb5b274614ae749e174b80d9c
[INFO] running `Command { std: "docker" "start" "-a" "d9e7f0f05051d0613b36fb2a67cf97ffbe5edfedb5b274614ae749e174b80d9c", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2021
[INFO] [stderr]    Compiling smetamath v3.0.1-1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]   --> src/export.rs:74:5
[INFO] [stdout]    |
[INFO] [stdout] 74 |     try!(writeln!(out,
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/export.rs:167:5
[INFO] [stdout]     |
[INFO] [stdout] 167 |     try!(writeln!(out,
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/export.rs:181:5
[INFO] [stdout]     |
[INFO] [stdout] 181 |     try!(writeln!(out, "\n$)"));
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]   --> src/export.rs:85:9
[INFO] [stdout]    |
[INFO] [stdout] 85 |         try!(writeln!(out, "*{}\n", cstr));
[INFO] [stdout]    |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]   --> src/export.rs:88:15
[INFO] [stdout]    |
[INFO] [stdout] 88 |     let arr = try!(ProofTreeArray::new(sset, nset, scope, stmt));
[INFO] [stdout]    |               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/export.rs:165:9
[INFO] [stdout]     |
[INFO] [stdout] 165 |         try!(writeln!(out, "{}", line));
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/proof.rs:130:19
[INFO] [stdout]     |
[INFO] [stdout] 130 |         arr.qed = try!(verify_one(sset, nset, scopes, &mut arr, stmt));
[INFO] [stdout]     |                   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/proof.rs:406:9
[INFO] [stdout]     |
[INFO] [stdout] 406 |         try!(f.write_str(&indent[(self.initial_chr + 2) as usize..]));
[INFO] [stdout]     |         ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/proof.rs:461:17
[INFO] [stdout]     |
[INFO] [stdout] 461 |                 try!(f.write_char(' '));
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/proof.rs:464:17
[INFO] [stdout]     |
[INFO] [stdout] 464 |                 try!(f.write_str(&indent));
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/proof.rs:473:21
[INFO] [stdout]     |
[INFO] [stdout] 473 |                     try!(print_step(item));
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/proof.rs:479:21
[INFO] [stdout]     |
[INFO] [stdout] 479 |                     try!(print_step(item));
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/segment_set.rs:331:28
[INFO] [stdout]     |
[INFO] [stdout] 331 |             let metadata = try!(fs::metadata(&path));
[INFO] [stdout]     |                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/segment_set.rs:343:21
[INFO] [stdout]     |
[INFO] [stdout] 343 |                     try!(fh.read_to_end(&mut buf));
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/segment_set.rs:340:34
[INFO] [stdout]     |
[INFO] [stdout] 340 |                     let mut fh = try!(File::open(&path));
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 261 | /     try_assert!(state.order.cmp(&pos, &valid.start) == Ordering::Greater,
[INFO] [stdout] 262 | |                 Diagnostic::StepUsedBeforeDefinition(copy_token(label)));
[INFO] [stdout]     | |________________________________________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 264 | /     try_assert!(valid.end == NO_STATEMENT ||
[INFO] [stdout] 265 | |                 pos.segment_id == valid.start.segment_id && pos.index < valid.end,
[INFO] [stdout] 266 | |                 Diagnostic::StepUsedAfterScope(copy_token(label)));
[INFO] [stdout]     | |__________________________________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 367 |     try_assert!(index < state.prepared.len(), Diagnostic::StepOutOfRange);
[INFO] [stdout]     |     --------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:384:17
[INFO] [stdout]     |
[INFO] [stdout] 384 |     let sbase = try!(state.stack
[INFO] [stdout]     |                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 410 |                 try_assert!(slot.code == typecode, Diagnostic::StepFloatWrongType);
[INFO] [stdout]     |                 ------------------------------------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 414 |                 try_assert!(slot.code == expr.typecode, Diagnostic::StepEssenWrongType);
[INFO] [stdout]     |                 ----------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 415 | /                 try_assert!(do_substitute_eq(&state.stack_buffer[slot.expr.clone()],
[INFO] [stdout] 416 | |                                              fref,
[INFO] [stdout] 417 | |                                              &expr,
[INFO] [stdout] 418 | |                                              &state.subst_info,
[INFO] [stdout] 419 | |                                              &state.stack_buffer),
[INFO] [stdout] 420 | |                             Diagnostic::StepEssenWrong);
[INFO] [stdout]     | |_______________________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 452 | /                 try_assert!(var1 < state.dv_map.len() && state.dv_map[var1].has_bit(var2),
[INFO] [stdout] 453 | |                             Diagnostic::ProofDvViolation);
[INFO] [stdout]     | |_________________________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 463 |     try_assert!(state.stack.len() <= 1, Diagnostic::ProofExcessEnd);
[INFO] [stdout]     |     --------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:464:32
[INFO] [stdout]     |
[INFO] [stdout] 464 |     let &(ref data, ref tos) = try!(state.stack.last().ok_or(Diagnostic::ProofNoSteps));
[INFO] [stdout]     |                                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 466 | /     try_assert!(tos.code == state.cur_frame.target.typecode,
[INFO] [stdout] 467 | |                 Diagnostic::ProofWrongTypeEnd);
[INFO] [stdout]     | |______________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 472 | /     try_assert!(state.stack_buffer[tos.expr.clone()] == state.temp_buffer[..],
[INFO] [stdout] 473 | |                 Diagnostic::ProofWrongExprEnd);
[INFO] [stdout]     | |______________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:523:13
[INFO] [stdout]     |
[INFO] [stdout] 523 |             try!(prepare_step(state, chunk));
[INFO] [stdout]     |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 515 |             try_assert!(i < stmt.proof_len(), Diagnostic::ProofUnterminatedRoster);
[INFO] [stdout]     |             ---------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:536:21
[INFO] [stdout]     |
[INFO] [stdout] 536 |                     try!(execute_step(state, k));
[INFO] [stdout]     |                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |               try!(Err($($arg)+))
[INFO] [stdout]     |               ^^^
[INFO] [stdout] ...
[INFO] [stdout] 541 | /                     try_assert!(k < (u32::max_value() as usize / 20) - 1,
[INFO] [stdout] 542 | |                                 Diagnostic::ProofMalformedVarint);
[INFO] [stdout]     | |_________________________________________________________________- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 545 |                     try_assert!(can_save, Diagnostic::ProofInvalidSave);
[INFO] [stdout]     |                     --------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 549 |                     try_assert!(k == 0, Diagnostic::ProofMalformedVarint);
[INFO] [stdout]     |                     ----------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 556 |         try_assert!(k == 0, Diagnostic::ProofMalformedVarint);
[INFO] [stdout]     |         ----------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:563:13
[INFO] [stdout]     |
[INFO] [stdout] 563 |             try!(prepare_step(state, chunk));
[INFO] [stdout]     |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:564:13
[INFO] [stdout]     |
[INFO] [stdout] 564 |             try!(execute_step(state, count));
[INFO] [stdout]     |             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stdout]    --> src/verify.rs:71:13
[INFO] [stdout]     |
[INFO] [stdout] 71  |             try!(Err($($arg)+))
[INFO] [stdout]     |             ^^^
[INFO] [stdout] ...
[INFO] [stdout] 562 |             try_assert!(chunk != b"?", Diagnostic::ProofIncomplete);
[INFO] [stdout]     |             ------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `std::hash::SipHasher`: use `std::hash::DefaultHasher` instead
[INFO] [stdout]   --> src/proof.rs:20:16
[INFO] [stdout]    |
[INFO] [stdout] 20 | use std::hash::SipHasher;
[INFO] [stdout]    |                ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated struct `std::hash::SipHasher`: use `std::hash::DefaultHasher` instead
[INFO] [stdout]   --> src/proof.rs:55:26
[INFO] [stdout]    |
[INFO] [stdout] 55 |         let mut hasher = SipHasher::new();
[INFO] [stdout]    |                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/database.rs:152:23
[INFO] [stdout]     |
[INFO] [stdout] 152 | struct Job(usize, Box<FnMut() + Send>);
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout]     = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]     |
[INFO] [stdout] 152 | struct Job(usize, Box<dyn FnMut() + Send>);
[INFO] [stdout]     |                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/database.rs:280:27
[INFO] [stdout]     |
[INFO] [stdout] 280 | pub struct Promise<T>(Box<FnMut() -> T + Send>);
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]     |
[INFO] [stdout] 280 | pub struct Promise<T>(Box<dyn FnMut() -> T + Send>);
[INFO] [stdout]     |                           +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/database.rs:190:60
[INFO] [stdout]     |
[INFO] [stdout] 190 | fn queue_work(exec: &Executor, estimate: usize, mut f: Box<FnMut() + Send>) {
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]     |
[INFO] [stdout] 190 | fn queue_work(exec: &Executor, estimate: usize, mut f: Box<dyn FnMut() + Send>) {
[INFO] [stdout]     |                                                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/export.rs:58:32
[INFO] [stdout]    |
[INFO] [stdout] 58 |     fn cause(&self) -> Option<&error::Error> {
[INFO] [stdout]    |                                ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]    |
[INFO] [stdout] 58 |     fn cause(&self) -> Option<&dyn error::Error> {
[INFO] [stdout]    |                                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stdout]   --> src/export.rs:53:45
[INFO] [stdout]    |
[INFO] [stdout] 53 |             ExportError::Io(ref err) => err.description(),
[INFO] [stdout]    |                                             ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `std::hash::SipHasher::new`: use `std::hash::DefaultHasher` instead
[INFO] [stdout]   --> src/proof.rs:55:37
[INFO] [stdout]    |
[INFO] [stdout] 55 |         let mut hasher = SipHasher::new();
[INFO] [stdout]    |                                     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/database.rs:457:25
[INFO] [stdout]     |
[INFO] [stdout] 457 |                     let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap());
[INFO] [stdout]     |                         ----^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/database.rs:483:25
[INFO] [stdout]     |
[INFO] [stdout] 483 |                     let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap());
[INFO] [stdout]     |                         ----^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/database.rs:510:25
[INFO] [stdout]     |
[INFO] [stdout] 510 |                     let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap());
[INFO] [stdout]     |                         ----^^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `label` is never read
[INFO] [stdout]    --> src/scopeck.rs:104:5
[INFO] [stdout]     |
[INFO] [stdout] 102 | struct LocalEssentialInfo<'a> {
[INFO] [stdout]     |        ------------------ field in this struct
[INFO] [stdout] 103 |     valid: GlobalRange,
[INFO] [stdout] 104 |     label: TokenPtr<'a>,
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `LocalEssentialInfo` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused borrow that must be used
[INFO] [stdout]   --> src/util.rs:82:5
[INFO] [stdout]    |
[INFO] [stdout] 82 |     &vec[from]; // for the bounds check
[INFO] [stdout]    |     ^^^^^^^^^^ the borrow produces a value
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 82 |     let _ = &vec[from]; // for the bounds check
[INFO] [stdout]    |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [optimized + debuginfo] target(s) in 4.33s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: bitflags v0.5.0, clap v2.5.2
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1`
[INFO] running `Command { std: "docker" "inspect" "d9e7f0f05051d0613b36fb2a67cf97ffbe5edfedb5b274614ae749e174b80d9c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d9e7f0f05051d0613b36fb2a67cf97ffbe5edfedb5b274614ae749e174b80d9c", kill_on_drop: false }`
[INFO] [stdout] d9e7f0f05051d0613b36fb2a67cf97ffbe5edfedb5b274614ae749e174b80d9c
[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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+1.83.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 404c8a5531eea551f2a832f5e1035bc06e6dcec2c45ab3f8b4691774cbb9e3c5
[INFO] running `Command { std: "docker" "start" "-a" "404c8a5531eea551f2a832f5e1035bc06e6dcec2c45ab3f8b4691774cbb9e3c5", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2021
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]   --> src/export.rs:74:5
[INFO] [stderr]    |
[INFO] [stderr] 74 |     try!(writeln!(out,
[INFO] [stderr]    |     ^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(deprecated)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/export.rs:167:5
[INFO] [stderr]     |
[INFO] [stderr] 167 |     try!(writeln!(out,
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/export.rs:181:5
[INFO] [stderr]     |
[INFO] [stderr] 181 |     try!(writeln!(out, "\n$)"));
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]   --> src/export.rs:85:9
[INFO] [stderr]    |
[INFO] [stderr] 85 |         try!(writeln!(out, "*{}\n", cstr));
[INFO] [stderr]    |         ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]   --> src/export.rs:88:15
[INFO] [stderr]    |
[INFO] [stderr] 88 |     let arr = try!(ProofTreeArray::new(sset, nset, scope, stmt));
[INFO] [stderr]    |               ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/export.rs:165:9
[INFO] [stderr]     |
[INFO] [stderr] 165 |         try!(writeln!(out, "{}", line));
[INFO] [stderr]     |         ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/proof.rs:130:19
[INFO] [stderr]     |
[INFO] [stderr] 130 |         arr.qed = try!(verify_one(sset, nset, scopes, &mut arr, stmt));
[INFO] [stderr]     |                   ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/proof.rs:406:9
[INFO] [stderr]     |
[INFO] [stderr] 406 |         try!(f.write_str(&indent[(self.initial_chr + 2) as usize..]));
[INFO] [stderr]     |         ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/proof.rs:461:17
[INFO] [stderr]     |
[INFO] [stderr] 461 |                 try!(f.write_char(' '));
[INFO] [stderr]     |                 ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/proof.rs:464:17
[INFO] [stderr]     |
[INFO] [stderr] 464 |                 try!(f.write_str(&indent));
[INFO] [stderr]     |                 ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/proof.rs:473:21
[INFO] [stderr]     |
[INFO] [stderr] 473 |                     try!(print_step(item));
[INFO] [stderr]     |                     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/proof.rs:479:21
[INFO] [stderr]     |
[INFO] [stderr] 479 |                     try!(print_step(item));
[INFO] [stderr]     |                     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/segment_set.rs:331:28
[INFO] [stderr]     |
[INFO] [stderr] 331 |             let metadata = try!(fs::metadata(&path));
[INFO] [stderr]     |                            ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/segment_set.rs:343:21
[INFO] [stderr]     |
[INFO] [stderr] 343 |                     try!(fh.read_to_end(&mut buf));
[INFO] [stderr]     |                     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/segment_set.rs:340:34
[INFO] [stderr]     |
[INFO] [stderr] 340 |                     let mut fh = try!(File::open(&path));
[INFO] [stderr]     |                                  ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |               try!(Err($($arg)+))
[INFO] [stderr]     |               ^^^
[INFO] [stderr] ...
[INFO] [stderr] 261 | /     try_assert!(state.order.cmp(&pos, &valid.start) == Ordering::Greater,
[INFO] [stderr] 262 | |                 Diagnostic::StepUsedBeforeDefinition(copy_token(label)));
[INFO] [stderr]     | |________________________________________________________________________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |               try!(Err($($arg)+))
[INFO] [stderr]     |               ^^^
[INFO] [stderr] ...
[INFO] [stderr] 264 | /     try_assert!(valid.end == NO_STATEMENT ||
[INFO] [stderr] 265 | |                 pos.segment_id == valid.start.segment_id && pos.index < valid.end,
[INFO] [stderr] 266 | |                 Diagnostic::StepUsedAfterScope(copy_token(label)));
[INFO] [stderr]     | |__________________________________________________________________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |             try!(Err($($arg)+))
[INFO] [stderr]     |             ^^^
[INFO] [stderr] ...
[INFO] [stderr] 367 |     try_assert!(index < state.prepared.len(), Diagnostic::StepOutOfRange);
[INFO] [stderr]     |     --------------------------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:384:17
[INFO] [stderr]     |
[INFO] [stderr] 384 |     let sbase = try!(state.stack
[INFO] [stderr]     |                 ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |             try!(Err($($arg)+))
[INFO] [stderr]     |             ^^^
[INFO] [stderr] ...
[INFO] [stderr] 410 |                 try_assert!(slot.code == typecode, Diagnostic::StepFloatWrongType);
[INFO] [stderr]     |                 ------------------------------------------------------------------ in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |             try!(Err($($arg)+))
[INFO] [stderr]     |             ^^^
[INFO] [stderr] ...
[INFO] [stderr] 414 |                 try_assert!(slot.code == expr.typecode, Diagnostic::StepEssenWrongType);
[INFO] [stderr]     |                 ----------------------------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |               try!(Err($($arg)+))
[INFO] [stderr]     |               ^^^
[INFO] [stderr] ...
[INFO] [stderr] 415 | /                 try_assert!(do_substitute_eq(&state.stack_buffer[slot.expr.clone()],
[INFO] [stderr] 416 | |                                              fref,
[INFO] [stderr] 417 | |                                              &expr,
[INFO] [stderr] 418 | |                                              &state.subst_info,
[INFO] [stderr] 419 | |                                              &state.stack_buffer),
[INFO] [stderr] 420 | |                             Diagnostic::StepEssenWrong);
[INFO] [stderr]     | |_______________________________________________________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |               try!(Err($($arg)+))
[INFO] [stderr]     |               ^^^
[INFO] [stderr] ...
[INFO] [stderr] 452 | /                 try_assert!(var1 < state.dv_map.len() && state.dv_map[var1].has_bit(var2),
[INFO] [stderr] 453 | |                             Diagnostic::ProofDvViolation);
[INFO] [stderr]     | |_________________________________________________________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |             try!(Err($($arg)+))
[INFO] [stderr]     |             ^^^
[INFO] [stderr] ...
[INFO] [stderr] 463 |     try_assert!(state.stack.len() <= 1, Diagnostic::ProofExcessEnd);
[INFO] [stderr]     |     --------------------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:464:32
[INFO] [stderr]     |
[INFO] [stderr] 464 |     let &(ref data, ref tos) = try!(state.stack.last().ok_or(Diagnostic::ProofNoSteps));
[INFO] [stderr]     |                                ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |               try!(Err($($arg)+))
[INFO] [stderr]     |               ^^^
[INFO] [stderr] ...
[INFO] [stderr] 466 | /     try_assert!(tos.code == state.cur_frame.target.typecode,
[INFO] [stderr] 467 | |                 Diagnostic::ProofWrongTypeEnd);
[INFO] [stderr]     | |______________________________________________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |               try!(Err($($arg)+))
[INFO] [stderr]     |               ^^^
[INFO] [stderr] ...
[INFO] [stderr] 472 | /     try_assert!(state.stack_buffer[tos.expr.clone()] == state.temp_buffer[..],
[INFO] [stderr] 473 | |                 Diagnostic::ProofWrongExprEnd);
[INFO] [stderr]     | |______________________________________________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:523:13
[INFO] [stderr]     |
[INFO] [stderr] 523 |             try!(prepare_step(state, chunk));
[INFO] [stderr]     |             ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |             try!(Err($($arg)+))
[INFO] [stderr]     |             ^^^
[INFO] [stderr] ...
[INFO] [stderr] 515 |             try_assert!(i < stmt.proof_len(), Diagnostic::ProofUnterminatedRoster);
[INFO] [stderr]     |             ---------------------------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:536:21
[INFO] [stderr]     |
[INFO] [stderr] 536 |                     try!(execute_step(state, k));
[INFO] [stderr]     |                     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |               try!(Err($($arg)+))
[INFO] [stderr]     |               ^^^
[INFO] [stderr] ...
[INFO] [stderr] 541 | /                     try_assert!(k < (u32::max_value() as usize / 20) - 1,
[INFO] [stderr] 542 | |                                 Diagnostic::ProofMalformedVarint);
[INFO] [stderr]     | |_________________________________________________________________- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |             try!(Err($($arg)+))
[INFO] [stderr]     |             ^^^
[INFO] [stderr] ...
[INFO] [stderr] 545 |                     try_assert!(can_save, Diagnostic::ProofInvalidSave);
[INFO] [stderr]     |                     --------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |             try!(Err($($arg)+))
[INFO] [stderr]     |             ^^^
[INFO] [stderr] ...
[INFO] [stderr] 549 |                     try_assert!(k == 0, Diagnostic::ProofMalformedVarint);
[INFO] [stderr]     |                     ----------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |             try!(Err($($arg)+))
[INFO] [stderr]     |             ^^^
[INFO] [stderr] ...
[INFO] [stderr] 556 |         try_assert!(k == 0, Diagnostic::ProofMalformedVarint);
[INFO] [stderr]     |         ----------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:563:13
[INFO] [stderr]     |
[INFO] [stderr] 563 |             try!(prepare_step(state, chunk));
[INFO] [stderr]     |             ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:564:13
[INFO] [stderr]     |
[INFO] [stderr] 564 |             try!(execute_step(state, count));
[INFO] [stderr]     |             ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead
[INFO] [stderr]    --> src/verify.rs:71:13
[INFO] [stderr]     |
[INFO] [stderr] 71  |             try!(Err($($arg)+))
[INFO] [stderr]     |             ^^^
[INFO] [stderr] ...
[INFO] [stderr] 562 |             try_assert!(chunk != b"?", Diagnostic::ProofIncomplete);
[INFO] [stderr]     |             ------------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated struct `std::hash::SipHasher`: use `std::hash::DefaultHasher` instead
[INFO] [stderr]   --> src/proof.rs:20:16
[INFO] [stderr]    |
[INFO] [stderr] 20 | use std::hash::SipHasher;
[INFO] [stderr]    |                ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated struct `std::hash::SipHasher`: use `std::hash::DefaultHasher` instead
[INFO] [stderr]   --> src/proof.rs:55:26
[INFO] [stderr]    |
[INFO] [stderr] 55 |         let mut hasher = SipHasher::new();
[INFO] [stderr]    |                          ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/database.rs:152:23
[INFO] [stderr]     |
[INFO] [stderr] 152 | struct Job(usize, Box<FnMut() + Send>);
[INFO] [stderr]     |                       ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stderr]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stderr]     = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stderr] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stderr]     |
[INFO] [stderr] 152 | struct Job(usize, Box<dyn FnMut() + Send>);
[INFO] [stderr]     |                       +++
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/database.rs:280:27
[INFO] [stderr]     |
[INFO] [stderr] 280 | pub struct Promise<T>(Box<FnMut() -> T + Send>);
[INFO] [stderr]     |                           ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stderr]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stderr] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stderr]     |
[INFO] [stderr] 280 | pub struct Promise<T>(Box<dyn FnMut() -> T + Send>);
[INFO] [stderr]     |                           +++
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]    --> src/database.rs:190:60
[INFO] [stderr]     |
[INFO] [stderr] 190 | fn queue_work(exec: &Executor, estimate: usize, mut f: Box<FnMut() + Send>) {
[INFO] [stderr]     |                                                            ^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stderr]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stderr] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stderr]     |
[INFO] [stderr] 190 | fn queue_work(exec: &Executor, estimate: usize, mut f: Box<dyn FnMut() + Send>) {
[INFO] [stderr]     |                                                            +++
[INFO] [stderr] 
[INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stderr]   --> src/export.rs:58:32
[INFO] [stderr]    |
[INFO] [stderr] 58 |     fn cause(&self) -> Option<&error::Error> {
[INFO] [stderr]    |                                ^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stderr]    = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stderr] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stderr]    |
[INFO] [stderr] 58 |     fn cause(&self) -> Option<&dyn error::Error> {
[INFO] [stderr]    |                                +++
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated method `std::error::Error::description`: use the Display impl or to_string()
[INFO] [stderr]   --> src/export.rs:53:45
[INFO] [stderr]    |
[INFO] [stderr] 53 |             ExportError::Io(ref err) => err.description(),
[INFO] [stderr]    |                                             ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated associated function `std::hash::SipHasher::new`: use `std::hash::DefaultHasher` instead
[INFO] [stderr]   --> src/proof.rs:55:37
[INFO] [stderr]    |
[INFO] [stderr] 55 |         let mut hasher = SipHasher::new();
[INFO] [stderr]    |                                     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/database.rs:457:25
[INFO] [stderr]     |
[INFO] [stderr] 457 |                     let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap());
[INFO] [stderr]     |                         ----^^
[INFO] [stderr]     |                         |
[INFO] [stderr]     |                         help: remove this `mut`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/database.rs:483:25
[INFO] [stderr]     |
[INFO] [stderr] 483 |                     let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap());
[INFO] [stderr]     |                         ----^^
[INFO] [stderr]     |                         |
[INFO] [stderr]     |                         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/database.rs:510:25
[INFO] [stderr]     |
[INFO] [stderr] 510 |                     let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap());
[INFO] [stderr]     |                         ----^^^
[INFO] [stderr]     |                         |
[INFO] [stderr]     |                         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: field `label` is never read
[INFO] [stderr]    --> src/scopeck.rs:104:5
[INFO] [stderr]     |
[INFO] [stderr] 102 | struct LocalEssentialInfo<'a> {
[INFO] [stderr]     |        ------------------ field in this struct
[INFO] [stderr] 103 |     valid: GlobalRange,
[INFO] [stderr] 104 |     label: TokenPtr<'a>,
[INFO] [stderr]     |     ^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `LocalEssentialInfo` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr]     = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused borrow that must be used
[INFO] [stderr]   --> src/util.rs:82:5
[INFO] [stderr]    |
[INFO] [stderr] 82 |     &vec[from]; // for the bounds check
[INFO] [stderr]    |     ^^^^^^^^^^ the borrow produces a value
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_must_use)]` on by default
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]    |
[INFO] [stderr] 82 |     let _ = &vec[from]; // for the bounds check
[INFO] [stderr]    |     +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: `smetamath` (bin "smetamath" test) generated 50 warnings (run `cargo fix --bin "smetamath" --tests` to apply 7 suggestions)
[INFO] [stderr]     Finished `test` profile [optimized + debuginfo] target(s) in 0.04s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: bitflags v0.5.0, clap v2.5.2
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1`
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/smetamath-cb338b1d9c5fb714)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test parser_tests::test_invalid_c0 ... ok
[INFO] [stdout] test parser_tests::test_segment_order ... ok
[INFO] [stdout] test parser_tests::test_segref ... ok
[INFO] [stdout] test parser_tests::test_invalid_del ... ok
[INFO] [stdout] test parser_tests::test_stref_v ... ok
[INFO] [stdout] test parser_tests::test_valid_whitespace ... ok
[INFO] [stderr] thread 'util_tests::test_fast_extend' panicked at core/src/panicking.rs:221: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:     0x651780e95d8a - std::backtrace_rs::backtrace::libunwind::trace::h5a5b8284f2d0c266
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
[INFO] [stderr]    1:     0x651780e95d8a - std::backtrace_rs::backtrace::trace_unsynchronized::h76d4f1c9b0b875e3
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stderr]    2:     0x651780e95d8a - std::sys::backtrace::_print_fmt::hc4546b8364a537c6
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:66:9
[INFO] [stderr]    3:     0x651780e95d8a - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h5b6bd5631a6d1f6b
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:39:26
[INFO] [stderr]    4:     0x651780ebb193 - core::fmt::rt::Argument::fmt::h270f6602a2b96f62
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/fmt/rt.rs:177:76
[INFO] [stderr]    5:     0x651780ebb193 - core::fmt::write::h7550c97b06c86515
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/fmt/mod.rs:1186:21
[INFO] [stderr]    6:     0x651780e93053 - std::io::Write::write_fmt::h7b09c64fe0be9c84
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/io/mod.rs:1839:15
[INFO] [stderr]    7:     0x651780e95bd2 - std::sys::backtrace::BacktraceLock::print::h2395ccd2c84ba3aa
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:42:9
[INFO] [stderr]    8:     0x651780e971ea - std::panicking::default_hook::{{closure}}::he19d4c7230e07961
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:268:22
[INFO] [stderr]    9:     0x651780e97030 - std::panicking::default_hook::hf614597d3c67bbdb
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:295:9
[INFO] [stderr]   10:     0x651780e61be9 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h39b51ce4599c23d1
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2468:9
[INFO] [stderr]   11:     0x651780e61be9 - test::test_main::{{closure}}::he977ae839a582784
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:133:21
[INFO] [stderr]   12:     0x651780e97888 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h9455091b6b06f9fb
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2468:9
[INFO] [stderr]   13:     0x651780e97888 - std::panicking::rust_panic_with_hook::h8942133a8b252070
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:809:13
[INFO] [stderr]   14:     0x651780e97616 - std::panicking::begin_panic_handler::{{closure}}::hb5f5963570096b29
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:667:13
[INFO] [stderr]   15:     0x651780e96269 - std::sys::backtrace::__rust_end_short_backtrace::h6208cedc1922feda
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:170:18
[INFO] [stderr]   16:     0x651780e972dc - rust_begin_unwind
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:665:5
[INFO] [stderr]   17:     0x651780e098dd - core::panicking::panic_nounwind_fmt::runtime::h1f507a806003dfb2
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panicking.rs:112:18
[INFO] [stderr]   18:     0x651780e098dd - core::panicking::panic_nounwind_fmt::h357fc035dc231634
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panicking.rs:122:5
[INFO] [stderr]   19:     0x651780e09972 - core::panicking::panic_nounwind::hd0dad372654c389a
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panicking.rs:221:5
[INFO] [stderr]   20:     0x651780e2807f - <usize as core::slice::index::SliceIndex<[T]>>::get_unchecked_mut::precondition_check::h8023cfd7c42a52ae
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ub_checks.rs:70:21
[INFO] [stderr]   21:     0x651780e2807f - <usize as core::slice::index::SliceIndex<[T]>>::get_unchecked_mut::h544b47798c63d738
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ub_checks.rs:77:17
[INFO] [stderr]   22:     0x651780e2807f - core::slice::<impl [T]>::get_unchecked_mut::h7206bba276cb07a7
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/slice/mod.rs:714:24
[INFO] [stderr]   23:     0x651780e2807f - smetamath::util::fast_extend::h638b27a295bb6a0c
[INFO] [stderr]                                at /opt/rustwide/workdir/src/util.rs:72:20
[INFO] [stderr]   24:     0x651780e1980b - smetamath::util_tests::test_fast_extend::h40155c4834a971d9
[INFO] [stderr]                                at /opt/rustwide/workdir/src/util_tests.rs:23:5
[INFO] [stderr]   25:     0x651780e1b379 - smetamath::util_tests::test_fast_extend::{{closure}}::hdb537cc844634238
[INFO] [stderr]                                at /opt/rustwide/workdir/src/util_tests.rs:21:22
[INFO] [stderr]   26:     0x651780e1b379 - core::ops::function::FnOnce::call_once::hb293d1a41fb0ab9c
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   27:     0x651780e665ab - core::ops::function::FnOnce::call_once::h109cf8051a59b34e
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   28:     0x651780e665ab - test::__rust_begin_short_backtrace::hf4fff89d377446ba
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:621:18
[INFO] [stderr]   29:     0x651780e65de7 - test::run_test_in_process::{{closure}}::h0e39181dd7ee5a43
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:644:60
[INFO] [stderr]   30:     0x651780e65de7 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hc5a66a30f0bdfd1f
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stderr]   31:     0x651780e65de7 - std::panicking::try::do_call::h873b7cf639554a5e
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:557:40
[INFO] [stderr]   32:     0x651780e65de7 - std::panicking::try::hdb19862fad9c8bd1
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:520:19
[INFO] [stderr]   33:     0x651780e65de7 - std::panic::catch_unwind::h281fe732d236d260
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panic.rs:358:14
[INFO] [stderr]   34:     0x651780e65de7 - test::run_test_in_process::h949b6df8457ed338
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:644:27
[INFO] [stderr]   35:     0x651780e65de7 - test::run_test::{{closure}}::h52c556a6d4740e10
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:565:43
[INFO] [stderr]   36:     0x651780e2b0c4 - test::run_test::{{closure}}::h4237f6381c45ccb9
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/test/src/lib.rs:595:41
[INFO] [stderr]   37:     0x651780e2b0c4 - std::sys::backtrace::__rust_begin_short_backtrace::h505c97a579eca628
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/backtrace.rs:154:18
[INFO] [stderr]   38:     0x651780e2e78e - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h9e86b2e2bc107ea3
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/thread/mod.rs:538:17
[INFO] [stderr]   39:     0x651780e2e78e - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h8b06ddb275ff4a25
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stderr]   40:     0x651780e2e78e - std::panicking::try::do_call::hb26ecd7cd9a9355d
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:557:40
[INFO] [stderr]   41:     0x651780e2e78e - std::panicking::try::h8ddeca9d705f9069
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panicking.rs:520:19
[INFO] [stderr]   42:     0x651780e2e78e - std::panic::catch_unwind::h49e1c33078844c46
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/panic.rs:358:14
[INFO] [stderr]   43:     0x651780e2e78e - std::thread::Builder::spawn_unchecked_::{{closure}}::h6073db6ff56ad35d
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/thread/mod.rs:537:30
[INFO] [stderr]   44:     0x651780e2e78e - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2c5a5f3779c774f1
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/core/src/ops/function.rs:250:5
[INFO] [stderr]   45:     0x651780e9b5eb - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hf75717d9f28faebf
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2454:9
[INFO] [stderr]   46:     0x651780e9b5eb - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h7bd883a5f3c5f3c1
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/alloc/src/boxed.rs:2454:9
[INFO] [stderr]   47:     0x651780e9b5eb - std::sys::pal::unix::thread::Thread::new::thread_start::hcc78f3943333fa94
[INFO] [stderr]                                at /rustc/90b35a6239c3d8bdabc530a6a0816f7ff89a0aaf/library/std/src/sys/pal/unix/thread.rs:105:17
[INFO] [stderr]   48:     0x711ac1e7fac3 - <unknown>
[INFO] [stderr]   49:     0x711ac1f10a04 - clone
[INFO] [stderr]   50:                0x0 - <unknown>
[INFO] [stderr] thread caused non-unwinding panic. aborting.
[INFO] [stderr] error: test failed, to rerun pass `--bin smetamath`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/deps/smetamath-cb338b1d9c5fb714` (signal: 6, SIGABRT: process abort signal)
[INFO] running `Command { std: "docker" "inspect" "404c8a5531eea551f2a832f5e1035bc06e6dcec2c45ab3f8b4691774cbb9e3c5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "404c8a5531eea551f2a832f5e1035bc06e6dcec2c45ab3f8b4691774cbb9e3c5", kill_on_drop: false }`
[INFO] [stdout] 404c8a5531eea551f2a832f5e1035bc06e6dcec2c45ab3f8b4691774cbb9e3c5
