[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#a609fb45efad59dfd459c76e50899be9f0583b5a for pr-80579
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsorear%2Fsmetamath-rs" "/workspace/builds/worker-0/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/sorear/smetamath-rs on toolchain a609fb45efad59dfd459c76e50899be9f0583b5a
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a609fb45efad59dfd459c76e50899be9f0583b5a" "read-manifest" "--manifest-path" "Cargo.toml", 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-0/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" "+a609fb45efad59dfd459c76e50899be9f0583b5a" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] error: the lock file /workspace/builds/worker-0/source/Cargo.lock needs to be updated but --locked was passed to prevent this
[INFO] [stderr] If you want to try to generate the lock file without accessing the network, use the --offline flag.
[INFO] the lockfile is outdated, regenerating it
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a609fb45efad59dfd459c76e50899be9f0583b5a" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a609fb45efad59dfd459c76e50899be9f0583b5a" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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" "rustops/crates-build-env@sha256:c8ac004eab7d63a0ad09a2dde3d3353ba464f767bee4de425dc8f74c46a1905e" "/opt/rustwide/cargo-home/bin/cargo" "+a609fb45efad59dfd459c76e50899be9f0583b5a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 59962db710cca5f8cad19c3893f7d65952371f76ebdccb068aa51f6331be0a51
[INFO] running `Command { std: "docker" "start" "-a" "59962db710cca5f8cad19c3893f7d65952371f76ebdccb068aa51f6331be0a51", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "59962db710cca5f8cad19c3893f7d65952371f76ebdccb068aa51f6331be0a51", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "59962db710cca5f8cad19c3893f7d65952371f76ebdccb068aa51f6331be0a51", kill_on_drop: false }`
[INFO] [stdout] 59962db710cca5f8cad19c3893f7d65952371f76ebdccb068aa51f6331be0a51
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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" "rustops/crates-build-env@sha256:c8ac004eab7d63a0ad09a2dde3d3353ba464f767bee4de425dc8f74c46a1905e" "/opt/rustwide/cargo-home/bin/cargo" "+a609fb45efad59dfd459c76e50899be9f0583b5a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4647477c876fe6584fa93ad625c0970fd0791710f71376325de4dc77988de10f
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "4647477c876fe6584fa93ad625c0970fd0791710f71376325de4dc77988de10f", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling libc v0.2.81
[INFO] [stderr]     Checking winapi v0.2.8
[INFO] [stderr]     Checking unicode-width v0.1.8
[INFO] [stderr]     Checking vec_map v0.8.2
[INFO] [stderr]     Checking utf8-ranges v0.1.3
[INFO] [stderr]     Checking regex-syntax v0.3.9
[INFO] [stderr]     Checking cfg-if v0.1.10
[INFO] [stderr]     Checking strsim v0.8.0
[INFO] [stderr]     Checking ansi_term v0.11.0
[INFO] [stderr]     Checking fnv v1.0.7
[INFO] [stderr]    Compiling bitflags v1.2.1
[INFO] [stderr]    Compiling kernel32-sys v0.2.2
[INFO] [stderr]     Checking textwrap v0.11.0
[INFO] [stderr]     Checking thread-id v2.0.0
[INFO] [stderr]     Checking memchr v0.1.11
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking filetime v0.1.15
[INFO] [stderr]     Checking thread_local v0.2.7
[INFO] [stderr]     Checking aho-corasick v0.5.3
[INFO] [stderr]     Checking clap v2.33.3
[INFO] [stderr]     Checking regex v0.1.80
[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] 
[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] 
[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] 
[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] 
[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: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/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/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: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/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/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: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/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/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 a macro (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 a macro (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 a macro (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 a macro (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 a macro (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 a macro (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 a macro (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 a macro (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 a macro (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 a macro (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] 515 |             try_assert!(i < stmt.proof_len(), Diagnostic::ProofUnterminatedRoster);
[INFO] [stdout]     |             ----------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (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: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 a macro (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 a macro (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 a macro (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 a macro (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] 562 |             try_assert!(chunk != b"?", Diagnostic::ProofIncomplete);
[INFO] [stdout]     |             -------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (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: 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] 
[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] 
[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] 
[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] 
[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: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/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/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: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/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/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: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/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/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 a macro (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 a macro (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 a macro (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 a macro (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 a macro (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 a macro (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 a macro (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 a macro (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 a macro (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 a macro (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] 515 |             try_assert!(i < stmt.proof_len(), Diagnostic::ProofUnterminatedRoster);
[INFO] [stdout]     |             ----------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (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: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 a macro (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 a macro (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 a macro (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 a macro (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] 562 |             try_assert!(chunk != b"?", Diagnostic::ProofIncomplete);
[INFO] [stdout]     |             -------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in a macro (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 struct `std::hash::SipHasher`: use `std::collections::hash_map::DefaultHasher` instead
[INFO] [stdout]   --> src/proof.rs:20:5
[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:5
[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: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::hash::SipHasher::new`: 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: 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: 48 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 48 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [optimized + debuginfo] target(s) in 6.30s
[INFO] running `Command { std: "docker" "inspect" "4647477c876fe6584fa93ad625c0970fd0791710f71376325de4dc77988de10f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4647477c876fe6584fa93ad625c0970fd0791710f71376325de4dc77988de10f", kill_on_drop: false }`
[INFO] [stdout] 4647477c876fe6584fa93ad625c0970fd0791710f71376325de4dc77988de10f