[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] checking sorear/smetamath-rs against master#33fdb797f59421c7bbecaa4588ed5d7a31a9494a for pr-87190-3
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsorear%2Fsmetamath-rs" "/workspace/builds/worker-113/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-113/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/sorear/smetamath-rs on toolchain 33fdb797f59421c7bbecaa4588ed5d7a31a9494a
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+33fdb797f59421c7bbecaa4588ed5d7a31a9494a" "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-113/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: "/workspace/cargo-home/bin/cargo" "+33fdb797f59421c7bbecaa4588ed5d7a31a9494a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-113/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-113/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+33fdb797f59421c7bbecaa4588ed5d7a31a9494a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] aad053091947cd6e1bf017f841a9b800b1de23df30d51a6a507201a40db61fae
[INFO] running `Command { std: "docker" "start" "-a" "aad053091947cd6e1bf017f841a9b800b1de23df30d51a6a507201a40db61fae", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "aad053091947cd6e1bf017f841a9b800b1de23df30d51a6a507201a40db61fae", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "aad053091947cd6e1bf017f841a9b800b1de23df30d51a6a507201a40db61fae", kill_on_drop: false }`
[INFO] [stdout] aad053091947cd6e1bf017f841a9b800b1de23df30d51a6a507201a40db61fae
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-113/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-113/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+33fdb797f59421c7bbecaa4588ed5d7a31a9494a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9c8629ac7c760a7092a189f7cdf67d00451b4575a004295000e866338d196d44
[INFO] running `Command { std: "docker" "start" "-a" "9c8629ac7c760a7092a189f7cdf67d00451b4575a004295000e866338d196d44", kill_on_drop: false }`
[INFO] [stderr]     Checking libc v0.2.11
[INFO] [stderr]    Compiling winapi-build v0.1.1
[INFO] [stderr]     Checking winapi v0.2.7
[INFO] [stderr]     Checking strsim v0.4.1
[INFO] [stderr]     Checking ansi_term v0.7.2
[INFO] [stderr]     Checking bitflags v0.5.0
[INFO] [stderr]     Checking vec_map v0.6.0
[INFO] [stderr]     Checking utf8-ranges v0.1.3
[INFO] [stderr]     Checking regex-syntax v0.3.3
[INFO] [stderr]     Checking unicode-width v0.1.3
[INFO] [stderr]     Checking fnv v1.0.2
[INFO] [stderr]    Compiling kernel32-sys v0.2.2
[INFO] [stderr]     Checking memchr v0.1.11
[INFO] [stderr]     Checking clap v2.5.2
[INFO] [stderr]     Checking filetime v0.1.10
[INFO] [stderr]     Checking aho-corasick v0.5.2
[INFO] [stderr]     Checking thread-id v2.0.0
[INFO] [stderr]     Checking thread_local v0.2.6
[INFO] [stderr]     Checking regex v0.1.71
[INFO] [stderr]     Checking smetamath v3.0.1-1 (/opt/rustwide/workdir)
[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]     |                       ^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut() + Send`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(bare_trait_objects)]` on by default
[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] 
[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]     |                                                            ^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut() + Send`
[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] 
[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]     |                           ^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut() -> T + Send`
[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] 
[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]    |                                ^^^^^^^^^^^^ help: use `dyn`: `dyn error::Error`
[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] 
[INFO] [stdout] 
[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: 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]     |                       ^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut() + Send`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(bare_trait_objects)]` on by default
[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] 
[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]     |                                                            ^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut() + Send`
[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] 
[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]     |                           ^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut() -> T + Send`
[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] 
[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]    |                                ^^^^^^^^^^^^ help: use `dyn`: `dyn error::Error`
[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] 
[INFO] [stdout] 
[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::collections::hash_map::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::collections::hash_map::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: use of deprecated struct `std::hash::SipHasher`: use `std::collections::hash_map::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::collections::hash_map::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: use of deprecated associated function `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::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::collections::hash_map::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: use of deprecated associated function `std::hash::SipHasher::new`: use `std::collections::hash_map::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: 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: unused borrow that must be used
[INFO] [stdout]   --> src/util.rs:82:5
[INFO] [stdout]    |
[INFO] [stdout] 82 |     &vec[from]; // for the bounds check
[INFO] [stdout]    |     ^^^^^^^^^^ the borrow produces a value
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 82 |     let _ = &vec[from]; // for the bounds check
[INFO] [stdout]    |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 49 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused borrow that must be used
[INFO] [stdout]   --> src/util.rs:82:5
[INFO] [stdout]    |
[INFO] [stdout] 82 |     &vec[from]; // for the bounds check
[INFO] [stdout]    |     ^^^^^^^^^^ the borrow produces a value
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 82 |     let _ = &vec[from]; // for the bounds check
[INFO] [stdout]    |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 49 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [optimized + debuginfo] target(s) in 4.37s
[INFO] running `Command { std: "docker" "inspect" "9c8629ac7c760a7092a189f7cdf67d00451b4575a004295000e866338d196d44", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9c8629ac7c760a7092a189f7cdf67d00451b4575a004295000e866338d196d44", kill_on_drop: false }`
[INFO] [stdout] 9c8629ac7c760a7092a189f7cdf67d00451b4575a004295000e866338d196d44