[INFO] cloning repository https://github.com/sorear/smetamath-rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/sorear/smetamath-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsorear%2Fsmetamath-rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsorear%2Fsmetamath-rs'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 7bdd3a6fb4296e690504439951314046981bbf8a [INFO] testing sorear/smetamath-rs against 1.60.0 for beta-1.61-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsorear%2Fsmetamath-rs" "/workspace/builds/worker-3/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/sorear/smetamath-rs on toolchain 1.60.0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/sorear/smetamath-rs [INFO] finished tweaking git repo https://github.com/sorear/smetamath-rs [INFO] tweaked toml for git repo https://github.com/sorear/smetamath-rs written to /workspace/builds/worker-3/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" "+1.60.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded ansi_term v0.7.2 [INFO] [stderr] Downloaded filetime v0.1.10 [INFO] [stderr] Downloaded strsim v0.4.1 [INFO] [stderr] Downloaded clap v2.5.2 [INFO] [stderr] Downloaded fnv v1.0.2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/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:eaef2f80f755933c374d2ae5edccceec0c1312ceb8a4e0b6404e8ab76561e1e5" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] bc039addd164ecb672c2cf430dcc7e680897c712dce3d14a19698db8c7af2af9 [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" "bc039addd164ecb672c2cf430dcc7e680897c712dce3d14a19698db8c7af2af9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "bc039addd164ecb672c2cf430dcc7e680897c712dce3d14a19698db8c7af2af9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "bc039addd164ecb672c2cf430dcc7e680897c712dce3d14a19698db8c7af2af9", kill_on_drop: false }` [INFO] [stdout] bc039addd164ecb672c2cf430dcc7e680897c712dce3d14a19698db8c7af2af9 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "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:eaef2f80f755933c374d2ae5edccceec0c1312ceb8a4e0b6404e8ab76561e1e5" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 3fc0ea66d1b227284aca8934b6849661abd4fc920b8cc8479597ce7260f9e36c [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" "3fc0ea66d1b227284aca8934b6849661abd4fc920b8cc8479597ce7260f9e36c", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.11 [INFO] [stderr] Compiling winapi v0.2.7 [INFO] [stderr] Compiling vec_map v0.6.0 [INFO] [stderr] Compiling unicode-width v0.1.3 [INFO] [stderr] Compiling ansi_term v0.7.2 [INFO] [stderr] Compiling utf8-ranges v0.1.3 [INFO] [stderr] Compiling bitflags v0.5.0 [INFO] [stderr] Compiling regex-syntax v0.3.3 [INFO] [stderr] Compiling strsim v0.4.1 [INFO] [stderr] Compiling fnv v1.0.2 [INFO] [stderr] Compiling kernel32-sys v0.2.2 [INFO] [stderr] Compiling memchr v0.1.11 [INFO] [stderr] Compiling filetime v0.1.10 [INFO] [stderr] Compiling clap v2.5.2 [INFO] [stderr] Compiling thread-id v2.0.0 [INFO] [stderr] Compiling aho-corasick v0.5.2 [INFO] [stderr] Compiling thread_local v0.2.6 [INFO] [stderr] Compiling regex v0.1.71 [INFO] [stderr] Compiling smetamath v3.0.1-1 (/opt/rustwide/workdir) [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/export.rs:74:5 [INFO] [stdout] | [INFO] [stdout] 74 | try!(writeln!(out, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/export.rs:167:5 [INFO] [stdout] | [INFO] [stdout] 167 | try!(writeln!(out, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/export.rs:181:5 [INFO] [stdout] | [INFO] [stdout] 181 | try!(writeln!(out, "\n$)")); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/export.rs:85:9 [INFO] [stdout] | [INFO] [stdout] 85 | try!(writeln!(out, "*{}\n", cstr)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/export.rs:88:15 [INFO] [stdout] | [INFO] [stdout] 88 | let arr = try!(ProofTreeArray::new(sset, nset, scope, stmt)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/export.rs:165:9 [INFO] [stdout] | [INFO] [stdout] 165 | try!(writeln!(out, "{}", line)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:130:19 [INFO] [stdout] | [INFO] [stdout] 130 | arr.qed = try!(verify_one(sset, nset, scopes, &mut arr, stmt)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:406:9 [INFO] [stdout] | [INFO] [stdout] 406 | try!(f.write_str(&indent[(self.initial_chr + 2) as usize..])); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:461:17 [INFO] [stdout] | [INFO] [stdout] 461 | try!(f.write_char(' ')); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:464:17 [INFO] [stdout] | [INFO] [stdout] 464 | try!(f.write_str(&indent)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:473:21 [INFO] [stdout] | [INFO] [stdout] 473 | try!(print_step(item)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:479:21 [INFO] [stdout] | [INFO] [stdout] 479 | try!(print_step(item)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/segment_set.rs:331:28 [INFO] [stdout] | [INFO] [stdout] 331 | let metadata = try!(fs::metadata(&path)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/segment_set.rs:343:21 [INFO] [stdout] | [INFO] [stdout] 343 | try!(fh.read_to_end(&mut buf)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/segment_set.rs:340:34 [INFO] [stdout] | [INFO] [stdout] 340 | let mut fh = try!(File::open(&path)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 261 | / try_assert!(state.order.cmp(&pos, &valid.start) == Ordering::Greater, [INFO] [stdout] 262 | | Diagnostic::StepUsedBeforeDefinition(copy_token(label))); [INFO] [stdout] | |________________________________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 264 | / try_assert!(valid.end == NO_STATEMENT || [INFO] [stdout] 265 | | pos.segment_id == valid.start.segment_id && pos.index < valid.end, [INFO] [stdout] 266 | | Diagnostic::StepUsedAfterScope(copy_token(label))); [INFO] [stdout] | |__________________________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 367 | try_assert!(index < state.prepared.len(), Diagnostic::StepOutOfRange); [INFO] [stdout] | --------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:384:17 [INFO] [stdout] | [INFO] [stdout] 384 | let sbase = try!(state.stack [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 410 | try_assert!(slot.code == typecode, Diagnostic::StepFloatWrongType); [INFO] [stdout] | ------------------------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 414 | try_assert!(slot.code == expr.typecode, Diagnostic::StepEssenWrongType); [INFO] [stdout] | ----------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 415 | / try_assert!(do_substitute_eq(&state.stack_buffer[slot.expr.clone()], [INFO] [stdout] 416 | | fref, [INFO] [stdout] 417 | | &expr, [INFO] [stdout] 418 | | &state.subst_info, [INFO] [stdout] 419 | | &state.stack_buffer), [INFO] [stdout] 420 | | Diagnostic::StepEssenWrong); [INFO] [stdout] | |_______________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 452 | / try_assert!(var1 < state.dv_map.len() && state.dv_map[var1].has_bit(var2), [INFO] [stdout] 453 | | Diagnostic::ProofDvViolation); [INFO] [stdout] | |_________________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 463 | try_assert!(state.stack.len() <= 1, Diagnostic::ProofExcessEnd); [INFO] [stdout] | --------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:464:32 [INFO] [stdout] | [INFO] [stdout] 464 | let &(ref data, ref tos) = try!(state.stack.last().ok_or(Diagnostic::ProofNoSteps)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 466 | / try_assert!(tos.code == state.cur_frame.target.typecode, [INFO] [stdout] 467 | | Diagnostic::ProofWrongTypeEnd); [INFO] [stdout] | |______________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 472 | / try_assert!(state.stack_buffer[tos.expr.clone()] == state.temp_buffer[..], [INFO] [stdout] 473 | | Diagnostic::ProofWrongExprEnd); [INFO] [stdout] | |______________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:523:13 [INFO] [stdout] | [INFO] [stdout] 523 | try!(prepare_step(state, chunk)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 515 | try_assert!(i < stmt.proof_len(), Diagnostic::ProofUnterminatedRoster); [INFO] [stdout] | ---------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:536:21 [INFO] [stdout] | [INFO] [stdout] 536 | try!(execute_step(state, k)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 541 | / try_assert!(k < (u32::max_value() as usize / 20) - 1, [INFO] [stdout] 542 | | Diagnostic::ProofMalformedVarint); [INFO] [stdout] | |_________________________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 545 | try_assert!(can_save, Diagnostic::ProofInvalidSave); [INFO] [stdout] | --------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 549 | try_assert!(k == 0, Diagnostic::ProofMalformedVarint); [INFO] [stdout] | ----------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 556 | try_assert!(k == 0, Diagnostic::ProofMalformedVarint); [INFO] [stdout] | ----------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:563:13 [INFO] [stdout] | [INFO] [stdout] 563 | try!(prepare_step(state, chunk)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:564:13 [INFO] [stdout] | [INFO] [stdout] 564 | try!(execute_step(state, count)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 562 | try_assert!(chunk != b"?", Diagnostic::ProofIncomplete); [INFO] [stdout] | ------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `std::hash::SipHasher`: use `std::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: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/database.rs:152:23 [INFO] [stdout] | [INFO] [stdout] 152 | struct Job(usize, Box); [INFO] [stdout] | ^^^^^^^^^^^^^^ [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 [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 152 - struct Job(usize, Box); [INFO] [stdout] 152 + struct Job(usize, Box); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/database.rs:280:27 [INFO] [stdout] | [INFO] [stdout] 280 | pub struct Promise(Box T + Send>); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 280 - pub struct Promise(Box T + Send>); [INFO] [stdout] 280 + pub struct Promise(Box T + Send>); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/database.rs:190:60 [INFO] [stdout] | [INFO] [stdout] 190 | fn queue_work(exec: &Executor, estimate: usize, mut f: Box) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 190 - fn queue_work(exec: &Executor, estimate: usize, mut f: Box) { [INFO] [stdout] 190 + fn queue_work(exec: &Executor, estimate: usize, mut f: Box) { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/export.rs:58:32 [INFO] [stdout] | [INFO] [stdout] 58 | fn cause(&self) -> Option<&error::Error> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 58 - fn cause(&self) -> Option<&error::Error> { [INFO] [stdout] 58 + fn cause(&self) -> Option<&dyn error::Error> { [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: variable does not need to be mutable [INFO] [stdout] --> src/database.rs:457:25 [INFO] [stdout] | [INFO] [stdout] 457 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/database.rs:483:25 [INFO] [stdout] | [INFO] [stdout] 483 | let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap()); [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/database.rs:510:25 [INFO] [stdout] | [INFO] [stdout] 510 | let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap()); [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `label` [INFO] [stdout] --> src/scopeck.rs:104:5 [INFO] [stdout] | [INFO] [stdout] 104 | label: TokenPtr<'a>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] note: `LocalEssentialInfo` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] --> src/scopeck.rs:101:10 [INFO] [stdout] | [INFO] [stdout] 101 | #[derive(Clone,Debug)] [INFO] [stdout] | ^^^^^ ^^^^^ [INFO] [stdout] = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused borrow that must be used [INFO] [stdout] --> src/util.rs:82:5 [INFO] [stdout] | [INFO] [stdout] 82 | &vec[from]; // for the bounds check [INFO] [stdout] | ^^^^^^^^^^ the borrow produces a value [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 82 | let _ = &vec[from]; // for the bounds check [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 50 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [optimized + debuginfo] target(s) in 1m 25s [INFO] running `Command { std: "docker" "inspect" "3fc0ea66d1b227284aca8934b6849661abd4fc920b8cc8479597ce7260f9e36c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3fc0ea66d1b227284aca8934b6849661abd4fc920b8cc8479597ce7260f9e36c", kill_on_drop: false }` [INFO] [stdout] 3fc0ea66d1b227284aca8934b6849661abd4fc920b8cc8479597ce7260f9e36c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "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:eaef2f80f755933c374d2ae5edccceec0c1312ceb8a4e0b6404e8ab76561e1e5" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "test" "--frozen" "--no-run" "--message-format=json", 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] 2743d3b3f27a22990f22a723f949faf41aaa770e8d5de8b55285ad64910aff37 [INFO] running `Command { std: "docker" "start" "-a" "2743d3b3f27a22990f22a723f949faf41aaa770e8d5de8b55285ad64910aff37", kill_on_drop: false }` [INFO] [stderr] Compiling smetamath v3.0.1-1 (/opt/rustwide/workdir) [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/export.rs:74:5 [INFO] [stdout] | [INFO] [stdout] 74 | try!(writeln!(out, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/export.rs:167:5 [INFO] [stdout] | [INFO] [stdout] 167 | try!(writeln!(out, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/export.rs:181:5 [INFO] [stdout] | [INFO] [stdout] 181 | try!(writeln!(out, "\n$)")); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/export.rs:85:9 [INFO] [stdout] | [INFO] [stdout] 85 | try!(writeln!(out, "*{}\n", cstr)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/export.rs:88:15 [INFO] [stdout] | [INFO] [stdout] 88 | let arr = try!(ProofTreeArray::new(sset, nset, scope, stmt)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/export.rs:165:9 [INFO] [stdout] | [INFO] [stdout] 165 | try!(writeln!(out, "{}", line)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:130:19 [INFO] [stdout] | [INFO] [stdout] 130 | arr.qed = try!(verify_one(sset, nset, scopes, &mut arr, stmt)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:406:9 [INFO] [stdout] | [INFO] [stdout] 406 | try!(f.write_str(&indent[(self.initial_chr + 2) as usize..])); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:461:17 [INFO] [stdout] | [INFO] [stdout] 461 | try!(f.write_char(' ')); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:464:17 [INFO] [stdout] | [INFO] [stdout] 464 | try!(f.write_str(&indent)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:473:21 [INFO] [stdout] | [INFO] [stdout] 473 | try!(print_step(item)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:479:21 [INFO] [stdout] | [INFO] [stdout] 479 | try!(print_step(item)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/segment_set.rs:331:28 [INFO] [stdout] | [INFO] [stdout] 331 | let metadata = try!(fs::metadata(&path)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/segment_set.rs:343:21 [INFO] [stdout] | [INFO] [stdout] 343 | try!(fh.read_to_end(&mut buf)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/segment_set.rs:340:34 [INFO] [stdout] | [INFO] [stdout] 340 | let mut fh = try!(File::open(&path)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 261 | / try_assert!(state.order.cmp(&pos, &valid.start) == Ordering::Greater, [INFO] [stdout] 262 | | Diagnostic::StepUsedBeforeDefinition(copy_token(label))); [INFO] [stdout] | |________________________________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 264 | / try_assert!(valid.end == NO_STATEMENT || [INFO] [stdout] 265 | | pos.segment_id == valid.start.segment_id && pos.index < valid.end, [INFO] [stdout] 266 | | Diagnostic::StepUsedAfterScope(copy_token(label))); [INFO] [stdout] | |__________________________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 367 | try_assert!(index < state.prepared.len(), Diagnostic::StepOutOfRange); [INFO] [stdout] | --------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:384:17 [INFO] [stdout] | [INFO] [stdout] 384 | let sbase = try!(state.stack [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 410 | try_assert!(slot.code == typecode, Diagnostic::StepFloatWrongType); [INFO] [stdout] | ------------------------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 414 | try_assert!(slot.code == expr.typecode, Diagnostic::StepEssenWrongType); [INFO] [stdout] | ----------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 415 | / try_assert!(do_substitute_eq(&state.stack_buffer[slot.expr.clone()], [INFO] [stdout] 416 | | fref, [INFO] [stdout] 417 | | &expr, [INFO] [stdout] 418 | | &state.subst_info, [INFO] [stdout] 419 | | &state.stack_buffer), [INFO] [stdout] 420 | | Diagnostic::StepEssenWrong); [INFO] [stdout] | |_______________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 452 | / try_assert!(var1 < state.dv_map.len() && state.dv_map[var1].has_bit(var2), [INFO] [stdout] 453 | | Diagnostic::ProofDvViolation); [INFO] [stdout] | |_________________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 463 | try_assert!(state.stack.len() <= 1, Diagnostic::ProofExcessEnd); [INFO] [stdout] | --------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:464:32 [INFO] [stdout] | [INFO] [stdout] 464 | let &(ref data, ref tos) = try!(state.stack.last().ok_or(Diagnostic::ProofNoSteps)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 466 | / try_assert!(tos.code == state.cur_frame.target.typecode, [INFO] [stdout] 467 | | Diagnostic::ProofWrongTypeEnd); [INFO] [stdout] | |______________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 472 | / try_assert!(state.stack_buffer[tos.expr.clone()] == state.temp_buffer[..], [INFO] [stdout] 473 | | Diagnostic::ProofWrongExprEnd); [INFO] [stdout] | |______________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:523:13 [INFO] [stdout] | [INFO] [stdout] 523 | try!(prepare_step(state, chunk)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 515 | try_assert!(i < stmt.proof_len(), Diagnostic::ProofUnterminatedRoster); [INFO] [stdout] | ---------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:536:21 [INFO] [stdout] | [INFO] [stdout] 536 | try!(execute_step(state, k)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 541 | / try_assert!(k < (u32::max_value() as usize / 20) - 1, [INFO] [stdout] 542 | | Diagnostic::ProofMalformedVarint); [INFO] [stdout] | |_________________________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 545 | try_assert!(can_save, Diagnostic::ProofInvalidSave); [INFO] [stdout] | --------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 549 | try_assert!(k == 0, Diagnostic::ProofMalformedVarint); [INFO] [stdout] | ----------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 556 | try_assert!(k == 0, Diagnostic::ProofMalformedVarint); [INFO] [stdout] | ----------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:563:13 [INFO] [stdout] | [INFO] [stdout] 563 | try!(prepare_step(state, chunk)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:564:13 [INFO] [stdout] | [INFO] [stdout] 564 | try!(execute_step(state, count)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 562 | try_assert!(chunk != b"?", Diagnostic::ProofIncomplete); [INFO] [stdout] | ------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `std::hash::SipHasher`: use `std::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: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/database.rs:152:23 [INFO] [stdout] | [INFO] [stdout] 152 | struct Job(usize, Box); [INFO] [stdout] | ^^^^^^^^^^^^^^ [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 [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 152 - struct Job(usize, Box); [INFO] [stdout] 152 + struct Job(usize, Box); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/database.rs:280:27 [INFO] [stdout] | [INFO] [stdout] 280 | pub struct Promise(Box T + Send>); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 280 - pub struct Promise(Box T + Send>); [INFO] [stdout] 280 + pub struct Promise(Box T + Send>); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/database.rs:190:60 [INFO] [stdout] | [INFO] [stdout] 190 | fn queue_work(exec: &Executor, estimate: usize, mut f: Box) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 190 - fn queue_work(exec: &Executor, estimate: usize, mut f: Box) { [INFO] [stdout] 190 + fn queue_work(exec: &Executor, estimate: usize, mut f: Box) { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/export.rs:58:32 [INFO] [stdout] | [INFO] [stdout] 58 | fn cause(&self) -> Option<&error::Error> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: use `dyn` [INFO] [stdout] | [INFO] [stdout] 58 - fn cause(&self) -> Option<&error::Error> { [INFO] [stdout] 58 + fn cause(&self) -> Option<&dyn error::Error> { [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: variable does not need to be mutable [INFO] [stdout] --> src/database.rs:457:25 [INFO] [stdout] | [INFO] [stdout] 457 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/database.rs:483:25 [INFO] [stdout] | [INFO] [stdout] 483 | let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap()); [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/database.rs:510:25 [INFO] [stdout] | [INFO] [stdout] 510 | let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap()); [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `label` [INFO] [stdout] --> src/scopeck.rs:104:5 [INFO] [stdout] | [INFO] [stdout] 104 | label: TokenPtr<'a>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] note: `LocalEssentialInfo` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] --> src/scopeck.rs:101:10 [INFO] [stdout] | [INFO] [stdout] 101 | #[derive(Clone,Debug)] [INFO] [stdout] | ^^^^^ ^^^^^ [INFO] [stdout] = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused borrow that must be used [INFO] [stdout] --> src/util.rs:82:5 [INFO] [stdout] | [INFO] [stdout] 82 | &vec[from]; // for the bounds check [INFO] [stdout] | ^^^^^^^^^^ the borrow produces a value [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 82 | let _ = &vec[from]; // for the bounds check [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 50 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [optimized + debuginfo] target(s) in 12.41s [INFO] running `Command { std: "docker" "inspect" "2743d3b3f27a22990f22a723f949faf41aaa770e8d5de8b55285ad64910aff37", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2743d3b3f27a22990f22a723f949faf41aaa770e8d5de8b55285ad64910aff37", kill_on_drop: false }` [INFO] [stdout] 2743d3b3f27a22990f22a723f949faf41aaa770e8d5de8b55285ad64910aff37 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "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:eaef2f80f755933c374d2ae5edccceec0c1312ceb8a4e0b6404e8ab76561e1e5" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "test" "--frozen", 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] faf0932117a156f8eff5beeec28dd201a2d0d10d8890819fadfa69ef6d0ac56f [INFO] running `Command { std: "docker" "start" "-a" "faf0932117a156f8eff5beeec28dd201a2d0d10d8890819fadfa69ef6d0ac56f", kill_on_drop: false }` [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/export.rs:74:5 [INFO] [stderr] | [INFO] [stderr] 74 | try!(writeln!(out, [INFO] [stderr] | ^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/export.rs:167:5 [INFO] [stderr] | [INFO] [stderr] 167 | try!(writeln!(out, [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/export.rs:181:5 [INFO] [stderr] | [INFO] [stderr] 181 | try!(writeln!(out, "\n$)")); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/export.rs:85:9 [INFO] [stderr] | [INFO] [stderr] 85 | try!(writeln!(out, "*{}\n", cstr)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/export.rs:88:15 [INFO] [stderr] | [INFO] [stderr] 88 | let arr = try!(ProofTreeArray::new(sset, nset, scope, stmt)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/export.rs:165:9 [INFO] [stderr] | [INFO] [stderr] 165 | try!(writeln!(out, "{}", line)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/proof.rs:130:19 [INFO] [stderr] | [INFO] [stderr] 130 | arr.qed = try!(verify_one(sset, nset, scopes, &mut arr, stmt)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/proof.rs:406:9 [INFO] [stderr] | [INFO] [stderr] 406 | try!(f.write_str(&indent[(self.initial_chr + 2) as usize..])); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/proof.rs:461:17 [INFO] [stderr] | [INFO] [stderr] 461 | try!(f.write_char(' ')); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/proof.rs:464:17 [INFO] [stderr] | [INFO] [stderr] 464 | try!(f.write_str(&indent)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/proof.rs:473:21 [INFO] [stderr] | [INFO] [stderr] 473 | try!(print_step(item)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/proof.rs:479:21 [INFO] [stderr] | [INFO] [stderr] 479 | try!(print_step(item)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/segment_set.rs:331:28 [INFO] [stderr] | [INFO] [stderr] 331 | let metadata = try!(fs::metadata(&path)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/segment_set.rs:343:21 [INFO] [stderr] | [INFO] [stderr] 343 | try!(fh.read_to_end(&mut buf)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/segment_set.rs:340:34 [INFO] [stderr] | [INFO] [stderr] 340 | let mut fh = try!(File::open(&path)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 261 | / try_assert!(state.order.cmp(&pos, &valid.start) == Ordering::Greater, [INFO] [stderr] 262 | | Diagnostic::StepUsedBeforeDefinition(copy_token(label))); [INFO] [stderr] | |________________________________________________________________________- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 264 | / try_assert!(valid.end == NO_STATEMENT || [INFO] [stderr] 265 | | pos.segment_id == valid.start.segment_id && pos.index < valid.end, [INFO] [stderr] 266 | | Diagnostic::StepUsedAfterScope(copy_token(label))); [INFO] [stderr] | |__________________________________________________________________- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 367 | try_assert!(index < state.prepared.len(), Diagnostic::StepOutOfRange); [INFO] [stderr] | --------------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:384:17 [INFO] [stderr] | [INFO] [stderr] 384 | let sbase = try!(state.stack [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 410 | try_assert!(slot.code == typecode, Diagnostic::StepFloatWrongType); [INFO] [stderr] | ------------------------------------------------------------------ in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 414 | try_assert!(slot.code == expr.typecode, Diagnostic::StepEssenWrongType); [INFO] [stderr] | ----------------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 415 | / try_assert!(do_substitute_eq(&state.stack_buffer[slot.expr.clone()], [INFO] [stderr] 416 | | fref, [INFO] [stderr] 417 | | &expr, [INFO] [stderr] 418 | | &state.subst_info, [INFO] [stderr] 419 | | &state.stack_buffer), [INFO] [stderr] 420 | | Diagnostic::StepEssenWrong); [INFO] [stderr] | |_______________________________________________________- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 452 | / try_assert!(var1 < state.dv_map.len() && state.dv_map[var1].has_bit(var2), [INFO] [stderr] 453 | | Diagnostic::ProofDvViolation); [INFO] [stderr] | |_________________________________________________________- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 463 | try_assert!(state.stack.len() <= 1, Diagnostic::ProofExcessEnd); [INFO] [stderr] | --------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:464:32 [INFO] [stderr] | [INFO] [stderr] 464 | let &(ref data, ref tos) = try!(state.stack.last().ok_or(Diagnostic::ProofNoSteps)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 466 | / try_assert!(tos.code == state.cur_frame.target.typecode, [INFO] [stderr] 467 | | Diagnostic::ProofWrongTypeEnd); [INFO] [stderr] | |______________________________________________- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 472 | / try_assert!(state.stack_buffer[tos.expr.clone()] == state.temp_buffer[..], [INFO] [stderr] 473 | | Diagnostic::ProofWrongExprEnd); [INFO] [stderr] | |______________________________________________- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:523:13 [INFO] [stderr] | [INFO] [stderr] 523 | try!(prepare_step(state, chunk)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 515 | try_assert!(i < stmt.proof_len(), Diagnostic::ProofUnterminatedRoster); [INFO] [stderr] | ---------------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:536:21 [INFO] [stderr] | [INFO] [stderr] 536 | try!(execute_step(state, k)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 541 | / try_assert!(k < (u32::max_value() as usize / 20) - 1, [INFO] [stderr] 542 | | Diagnostic::ProofMalformedVarint); [INFO] [stderr] | |_________________________________________________________________- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 545 | try_assert!(can_save, Diagnostic::ProofInvalidSave); [INFO] [stderr] | --------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 549 | try_assert!(k == 0, Diagnostic::ProofMalformedVarint); [INFO] [stderr] | ----------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 556 | try_assert!(k == 0, Diagnostic::ProofMalformedVarint); [INFO] [stderr] | ----------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:563:13 [INFO] [stderr] | [INFO] [stderr] 563 | try!(prepare_step(state, chunk)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:564:13 [INFO] [stderr] | [INFO] [stderr] 564 | try!(execute_step(state, count)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 562 | try_assert!(chunk != b"?", Diagnostic::ProofIncomplete); [INFO] [stderr] | ------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated struct `std::hash::SipHasher`: use `std::collections::hash_map::DefaultHasher` instead [INFO] [stderr] --> src/proof.rs:20:16 [INFO] [stderr] | [INFO] [stderr] 20 | use std::hash::SipHasher; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated struct `std::hash::SipHasher`: use `std::collections::hash_map::DefaultHasher` instead [INFO] [stderr] --> src/proof.rs:55:26 [INFO] [stderr] | [INFO] [stderr] 55 | let mut hasher = SipHasher::new(); [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/database.rs:152:23 [INFO] [stderr] | [INFO] [stderr] 152 | struct Job(usize, Box); [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stderr] = note: for more information, see [INFO] [stderr] help: use `dyn` [INFO] [stderr] | [INFO] [stderr] 152 - struct Job(usize, Box); [INFO] [stderr] 152 + struct Job(usize, Box); [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/database.rs:280:27 [INFO] [stderr] | [INFO] [stderr] 280 | pub struct Promise(Box T + Send>); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stderr] = note: for more information, see [INFO] [stderr] help: use `dyn` [INFO] [stderr] | [INFO] [stderr] 280 - pub struct Promise(Box T + Send>); [INFO] [stderr] 280 + pub struct Promise(Box T + Send>); [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/database.rs:190:60 [INFO] [stderr] | [INFO] [stderr] 190 | fn queue_work(exec: &Executor, estimate: usize, mut f: Box) { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stderr] = note: for more information, see [INFO] [stderr] help: use `dyn` [INFO] [stderr] | [INFO] [stderr] 190 - fn queue_work(exec: &Executor, estimate: usize, mut f: Box) { [INFO] [stderr] 190 + fn queue_work(exec: &Executor, estimate: usize, mut f: Box) { [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/export.rs:58:32 [INFO] [stderr] | [INFO] [stderr] 58 | fn cause(&self) -> Option<&error::Error> { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stderr] = note: for more information, see [INFO] [stderr] help: use `dyn` [INFO] [stderr] | [INFO] [stderr] 58 - fn cause(&self) -> Option<&error::Error> { [INFO] [stderr] 58 + fn cause(&self) -> Option<&dyn error::Error> { [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: use of deprecated associated function `std::error::Error::description`: use the Display impl or to_string() [INFO] [stderr] --> src/export.rs:53:45 [INFO] [stderr] | [INFO] [stderr] 53 | ExportError::Io(ref err) => err.description(), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated associated function `std::hash::SipHasher::new`: use `std::collections::hash_map::DefaultHasher` instead [INFO] [stderr] --> src/proof.rs:55:37 [INFO] [stderr] | [INFO] [stderr] 55 | let mut hasher = SipHasher::new(); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/database.rs:457:25 [INFO] [stderr] | [INFO] [stderr] 457 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); [INFO] [stderr] | ----^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/database.rs:483:25 [INFO] [stderr] | [INFO] [stderr] 483 | let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap()); [INFO] [stderr] | ----^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/database.rs:510:25 [INFO] [stderr] | [INFO] [stderr] 510 | let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap()); [INFO] [stderr] | ----^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: field is never read: `label` [INFO] [stderr] --> src/scopeck.rs:104:5 [INFO] [stderr] | [INFO] [stderr] 104 | label: TokenPtr<'a>, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] note: `LocalEssentialInfo` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stderr] --> src/scopeck.rs:101:10 [INFO] [stderr] | [INFO] [stderr] 101 | #[derive(Clone,Debug)] [INFO] [stderr] | ^^^^^ ^^^^^ [INFO] [stderr] = note: this warning originates in the derive macro `Clone` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: unused borrow that must be used [INFO] [stderr] --> src/util.rs:82:5 [INFO] [stderr] | [INFO] [stderr] 82 | &vec[from]; // for the bounds check [INFO] [stderr] | ^^^^^^^^^^ the borrow produces a value [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_must_use)]` on by default [INFO] [stderr] help: use `let _ = ...` to ignore the resulting value [INFO] [stderr] | [INFO] [stderr] 82 | let _ = &vec[from]; // for the bounds check [INFO] [stderr] | +++++++ [INFO] [stderr] [INFO] [stderr] warning: `smetamath` (bin "smetamath" test) generated 50 warnings [INFO] [stderr] Finished test [optimized + debuginfo] target(s) in 0.08s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/smetamath-bedb0a7736e71a84) [INFO] [stdout] [INFO] [stdout] running 12 tests [INFO] [stdout] test parser_tests::test_segment_order ... ok [INFO] [stdout] test parser_tests::test_segref ... ok [INFO] [stdout] test parser_tests::test_invalid_c0 ... ok [INFO] [stdout] test util_tests::test_ptr_eq ... ok [INFO] [stdout] test parser_tests::test_stref_v ... ok [INFO] [stdout] test parser_tests::test_invalid_del ... ok [INFO] [stdout] test util_tests::test_find_chapter ... ok [INFO] [stdout] test util_tests::test_fast_extend ... ok [INFO] [stdout] test util_tests::test_fast_clear ... ok [INFO] [stdout] test util_tests::test_copy_portion ... ok [INFO] [stdout] test parser_tests::test_valid_whitespace ... ok [INFO] [stdout] test util_tests::test_copy_portion_oob - should panic ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.13s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "faf0932117a156f8eff5beeec28dd201a2d0d10d8890819fadfa69ef6d0ac56f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "faf0932117a156f8eff5beeec28dd201a2d0d10d8890819fadfa69ef6d0ac56f", kill_on_drop: false }` [INFO] [stdout] faf0932117a156f8eff5beeec28dd201a2d0d10d8890819fadfa69ef6d0ac56f