[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.77.0 for beta-1.78-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsorear%2Fsmetamath-rs" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/sorear/smetamath-rs on toolchain 1.77.0 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.77.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-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/sorear/smetamath-rs already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.77.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [ERROR] error running command: no output for 300 seconds [ERROR] this task or one of its parent failed! [ERROR] no output for 300 seconds [ERROR] note: run with `RUST_BACKTRACE=1` to display a backtrace. [INFO] testing sorear/smetamath-rs against beta-2024-03-24 for beta-1.78-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsorear%2Fsmetamath-rs" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/sorear/smetamath-rs on toolchain beta-2024-03-24 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-03-24" "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-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/sorear/smetamath-rs already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-03-24" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [ERROR] error running command: no output for 300 seconds [INFO] testing sorear/smetamath-rs against beta-2024-03-24 for beta-1.78-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsorear%2Fsmetamath-rs" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/sorear/smetamath-rs on toolchain beta-2024-03-24 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-03-24" "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-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/sorear/smetamath-rs already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-03-24" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded clap v2.5.2 [INFO] [stderr] Downloaded regex v0.1.71 [INFO] [stderr] Downloaded regex-syntax v0.3.3 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-03-24" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 007d4f66f201dc45fb20aebc250c2ac40d3112962437f5a444f7293097cde3c9 [INFO] running `Command { std: "docker" "start" "-a" "007d4f66f201dc45fb20aebc250c2ac40d3112962437f5a444f7293097cde3c9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "007d4f66f201dc45fb20aebc250c2ac40d3112962437f5a444f7293097cde3c9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "007d4f66f201dc45fb20aebc250c2ac40d3112962437f5a444f7293097cde3c9", kill_on_drop: false }` [INFO] [stdout] 007d4f66f201dc45fb20aebc250c2ac40d3112962437f5a444f7293097cde3c9 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-03-24" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 68c75dfcf54bcdc4c126311d94925541f6177b10f7cf05f7cf2c13fe3321594f [INFO] running `Command { std: "docker" "start" "-a" "68c75dfcf54bcdc4c126311d94925541f6177b10f7cf05f7cf2c13fe3321594f", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.11 [INFO] [stderr] Compiling winapi-build v0.1.1 [INFO] [stderr] Compiling winapi v0.2.7 [INFO] [stderr] Compiling regex-syntax v0.3.3 [INFO] [stderr] Compiling strsim v0.4.1 [INFO] [stderr] Compiling ansi_term v0.7.2 [INFO] [stderr] Compiling unicode-width v0.1.3 [INFO] [stderr] Compiling vec_map v0.6.0 [INFO] [stderr] Compiling bitflags v0.5.0 [INFO] [stderr] Compiling utf8-ranges v0.1.3 [INFO] [stderr] Compiling kernel32-sys v0.2.2 [INFO] [stderr] Compiling fnv v1.0.2 [INFO] [stderr] Compiling memchr v0.1.11 [INFO] [stderr] Compiling clap v2.5.2 [INFO] [stderr] Compiling filetime v0.1.10 [INFO] [stderr] Compiling aho-corasick v0.5.2 [INFO] [stderr] Compiling thread-id v2.0.0 [INFO] [stderr] Compiling thread_local v0.2.6 [INFO] [stderr] Compiling regex v0.1.71 [INFO] [stderr] Compiling smetamath v3.0.1-1 (/opt/rustwide/workdir) [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/export.rs:74:5 [INFO] [stdout] | [INFO] [stdout] 74 | try!(writeln!(out, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/export.rs:167:5 [INFO] [stdout] | [INFO] [stdout] 167 | try!(writeln!(out, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/export.rs:181:5 [INFO] [stdout] | [INFO] [stdout] 181 | try!(writeln!(out, "\n$)")); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/export.rs:85:9 [INFO] [stdout] | [INFO] [stdout] 85 | try!(writeln!(out, "*{}\n", cstr)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/export.rs:88:15 [INFO] [stdout] | [INFO] [stdout] 88 | let arr = try!(ProofTreeArray::new(sset, nset, scope, stmt)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/export.rs:165:9 [INFO] [stdout] | [INFO] [stdout] 165 | try!(writeln!(out, "{}", line)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Ord` is imported redundantly [INFO] [stdout] --> src/proof.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use std::cmp::Ord; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/prelude/mod.rs:105:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Ord` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `PartialOrd` is imported redundantly [INFO] [stdout] --> src/proof.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use std::cmp::PartialOrd; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/prelude/mod.rs:105:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `PartialOrd` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:130:19 [INFO] [stdout] | [INFO] [stdout] 130 | arr.qed = try!(verify_one(sset, nset, scopes, &mut arr, stmt)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:406:9 [INFO] [stdout] | [INFO] [stdout] 406 | try!(f.write_str(&indent[(self.initial_chr + 2) as usize..])); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:461:17 [INFO] [stdout] | [INFO] [stdout] 461 | try!(f.write_char(' ')); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:464:17 [INFO] [stdout] | [INFO] [stdout] 464 | try!(f.write_str(&indent)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:473:21 [INFO] [stdout] | [INFO] [stdout] 473 | try!(print_step(item)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:479:21 [INFO] [stdout] | [INFO] [stdout] 479 | try!(print_step(item)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/segment_set.rs:331:28 [INFO] [stdout] | [INFO] [stdout] 331 | let metadata = try!(fs::metadata(&path)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/segment_set.rs:343:21 [INFO] [stdout] | [INFO] [stdout] 343 | try!(fh.read_to_end(&mut buf)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/segment_set.rs:340:34 [INFO] [stdout] | [INFO] [stdout] 340 | let mut fh = try!(File::open(&path)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 261 | / try_assert!(state.order.cmp(&pos, &valid.start) == Ordering::Greater, [INFO] [stdout] 262 | | Diagnostic::StepUsedBeforeDefinition(copy_token(label))); [INFO] [stdout] | |________________________________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 264 | / try_assert!(valid.end == NO_STATEMENT || [INFO] [stdout] 265 | | pos.segment_id == valid.start.segment_id && pos.index < valid.end, [INFO] [stdout] 266 | | Diagnostic::StepUsedAfterScope(copy_token(label))); [INFO] [stdout] | |__________________________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 367 | try_assert!(index < state.prepared.len(), Diagnostic::StepOutOfRange); [INFO] [stdout] | --------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:384:17 [INFO] [stdout] | [INFO] [stdout] 384 | let sbase = try!(state.stack [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 410 | try_assert!(slot.code == typecode, Diagnostic::StepFloatWrongType); [INFO] [stdout] | ------------------------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 414 | try_assert!(slot.code == expr.typecode, Diagnostic::StepEssenWrongType); [INFO] [stdout] | ----------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 415 | / try_assert!(do_substitute_eq(&state.stack_buffer[slot.expr.clone()], [INFO] [stdout] 416 | | fref, [INFO] [stdout] 417 | | &expr, [INFO] [stdout] 418 | | &state.subst_info, [INFO] [stdout] 419 | | &state.stack_buffer), [INFO] [stdout] 420 | | Diagnostic::StepEssenWrong); [INFO] [stdout] | |_______________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 452 | / try_assert!(var1 < state.dv_map.len() && state.dv_map[var1].has_bit(var2), [INFO] [stdout] 453 | | Diagnostic::ProofDvViolation); [INFO] [stdout] | |_________________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 463 | try_assert!(state.stack.len() <= 1, Diagnostic::ProofExcessEnd); [INFO] [stdout] | --------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:464:32 [INFO] [stdout] | [INFO] [stdout] 464 | let &(ref data, ref tos) = try!(state.stack.last().ok_or(Diagnostic::ProofNoSteps)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 466 | / try_assert!(tos.code == state.cur_frame.target.typecode, [INFO] [stdout] 467 | | Diagnostic::ProofWrongTypeEnd); [INFO] [stdout] | |______________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 472 | / try_assert!(state.stack_buffer[tos.expr.clone()] == state.temp_buffer[..], [INFO] [stdout] 473 | | Diagnostic::ProofWrongExprEnd); [INFO] [stdout] | |______________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:523:13 [INFO] [stdout] | [INFO] [stdout] 523 | try!(prepare_step(state, chunk)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 515 | try_assert!(i < stmt.proof_len(), Diagnostic::ProofUnterminatedRoster); [INFO] [stdout] | ---------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:536:21 [INFO] [stdout] | [INFO] [stdout] 536 | try!(execute_step(state, k)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 541 | / try_assert!(k < (u32::max_value() as usize / 20) - 1, [INFO] [stdout] 542 | | Diagnostic::ProofMalformedVarint); [INFO] [stdout] | |_________________________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 545 | try_assert!(can_save, Diagnostic::ProofInvalidSave); [INFO] [stdout] | --------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 549 | try_assert!(k == 0, Diagnostic::ProofMalformedVarint); [INFO] [stdout] | ----------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 556 | try_assert!(k == 0, Diagnostic::ProofMalformedVarint); [INFO] [stdout] | ----------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:563:13 [INFO] [stdout] | [INFO] [stdout] 563 | try!(prepare_step(state, chunk)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:564:13 [INFO] [stdout] | [INFO] [stdout] 564 | try!(execute_step(state, count)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 562 | try_assert!(chunk != b"?", Diagnostic::ProofIncomplete); [INFO] [stdout] | ------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `std::hash::SipHasher`: use `std::hash::DefaultHasher` instead [INFO] [stdout] --> src/proof.rs:20:16 [INFO] [stdout] | [INFO] [stdout] 20 | use std::hash::SipHasher; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `std::hash::SipHasher`: use `std::hash::DefaultHasher` instead [INFO] [stdout] --> src/proof.rs:55:26 [INFO] [stdout] | [INFO] [stdout] 55 | let mut hasher = SipHasher::new(); [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/database.rs:152:23 [INFO] [stdout] | [INFO] [stdout] 152 | struct Job(usize, Box); [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] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stdout] help: if this is an object-safe trait, use `dyn` [INFO] [stdout] | [INFO] [stdout] 152 | struct Job(usize, Box); [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: if this is an object-safe trait, use `dyn` [INFO] [stdout] | [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: if this is an object-safe trait, use `dyn` [INFO] [stdout] | [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: if this is an object-safe trait, use `dyn` [INFO] [stdout] | [INFO] [stdout] 58 | fn cause(&self) -> Option<&dyn error::Error> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated method `std::error::Error::description`: use the Display impl or to_string() [INFO] [stdout] --> src/export.rs:53:45 [INFO] [stdout] | [INFO] [stdout] 53 | ExportError::Io(ref err) => err.description(), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `std::hash::SipHasher::new`: use `std::hash::DefaultHasher` instead [INFO] [stdout] --> src/proof.rs:55:37 [INFO] [stdout] | [INFO] [stdout] 55 | let mut hasher = SipHasher::new(); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/database.rs:457:25 [INFO] [stdout] | [INFO] [stdout] 457 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/database.rs:483:25 [INFO] [stdout] | [INFO] [stdout] 483 | let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap()); [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/database.rs:510:25 [INFO] [stdout] | [INFO] [stdout] 510 | let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap()); [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `label` is never read [INFO] [stdout] --> src/scopeck.rs:104:5 [INFO] [stdout] | [INFO] [stdout] 102 | struct LocalEssentialInfo<'a> { [INFO] [stdout] | ------------------ field in this struct [INFO] [stdout] 103 | valid: GlobalRange, [INFO] [stdout] 104 | label: TokenPtr<'a>, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `LocalEssentialInfo` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused borrow that must be used [INFO] [stdout] --> src/util.rs:82:5 [INFO] [stdout] | [INFO] [stdout] 82 | &vec[from]; // for the bounds check [INFO] [stdout] | ^^^^^^^^^^ the borrow produces a value [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 82 | let _ = &vec[from]; // for the bounds check [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 52 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [optimized + debuginfo] target(s) in 33.52s [INFO] running `Command { std: "docker" "inspect" "68c75dfcf54bcdc4c126311d94925541f6177b10f7cf05f7cf2c13fe3321594f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "68c75dfcf54bcdc4c126311d94925541f6177b10f7cf05f7cf2c13fe3321594f", kill_on_drop: false }` [INFO] [stdout] 68c75dfcf54bcdc4c126311d94925541f6177b10f7cf05f7cf2c13fe3321594f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-03-24" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 62f43d87d7e395ac2162e51b631cfbb2fe713c6ded332fdb49c985b539bed324 [INFO] running `Command { std: "docker" "start" "-a" "62f43d87d7e395ac2162e51b631cfbb2fe713c6ded332fdb49c985b539bed324", 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: the item `Ord` is imported redundantly [INFO] [stdout] --> src/proof.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use std::cmp::Ord; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/prelude/mod.rs:105:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Ord` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `PartialOrd` is imported redundantly [INFO] [stdout] --> src/proof.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use std::cmp::PartialOrd; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/prelude/mod.rs:105:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `PartialOrd` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:130:19 [INFO] [stdout] | [INFO] [stdout] 130 | arr.qed = try!(verify_one(sset, nset, scopes, &mut arr, stmt)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:406:9 [INFO] [stdout] | [INFO] [stdout] 406 | try!(f.write_str(&indent[(self.initial_chr + 2) as usize..])); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:461:17 [INFO] [stdout] | [INFO] [stdout] 461 | try!(f.write_char(' ')); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:464:17 [INFO] [stdout] | [INFO] [stdout] 464 | try!(f.write_str(&indent)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:473:21 [INFO] [stdout] | [INFO] [stdout] 473 | try!(print_step(item)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/proof.rs:479:21 [INFO] [stdout] | [INFO] [stdout] 479 | try!(print_step(item)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/segment_set.rs:331:28 [INFO] [stdout] | [INFO] [stdout] 331 | let metadata = try!(fs::metadata(&path)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/segment_set.rs:343:21 [INFO] [stdout] | [INFO] [stdout] 343 | try!(fh.read_to_end(&mut buf)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/segment_set.rs:340:34 [INFO] [stdout] | [INFO] [stdout] 340 | let mut fh = try!(File::open(&path)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 261 | / try_assert!(state.order.cmp(&pos, &valid.start) == Ordering::Greater, [INFO] [stdout] 262 | | Diagnostic::StepUsedBeforeDefinition(copy_token(label))); [INFO] [stdout] | |________________________________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 264 | / try_assert!(valid.end == NO_STATEMENT || [INFO] [stdout] 265 | | pos.segment_id == valid.start.segment_id && pos.index < valid.end, [INFO] [stdout] 266 | | Diagnostic::StepUsedAfterScope(copy_token(label))); [INFO] [stdout] | |__________________________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 367 | try_assert!(index < state.prepared.len(), Diagnostic::StepOutOfRange); [INFO] [stdout] | --------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:384:17 [INFO] [stdout] | [INFO] [stdout] 384 | let sbase = try!(state.stack [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 410 | try_assert!(slot.code == typecode, Diagnostic::StepFloatWrongType); [INFO] [stdout] | ------------------------------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 414 | try_assert!(slot.code == expr.typecode, Diagnostic::StepEssenWrongType); [INFO] [stdout] | ----------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 415 | / try_assert!(do_substitute_eq(&state.stack_buffer[slot.expr.clone()], [INFO] [stdout] 416 | | fref, [INFO] [stdout] 417 | | &expr, [INFO] [stdout] 418 | | &state.subst_info, [INFO] [stdout] 419 | | &state.stack_buffer), [INFO] [stdout] 420 | | Diagnostic::StepEssenWrong); [INFO] [stdout] | |_______________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 452 | / try_assert!(var1 < state.dv_map.len() && state.dv_map[var1].has_bit(var2), [INFO] [stdout] 453 | | Diagnostic::ProofDvViolation); [INFO] [stdout] | |_________________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 463 | try_assert!(state.stack.len() <= 1, Diagnostic::ProofExcessEnd); [INFO] [stdout] | --------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:464:32 [INFO] [stdout] | [INFO] [stdout] 464 | let &(ref data, ref tos) = try!(state.stack.last().ok_or(Diagnostic::ProofNoSteps)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 466 | / try_assert!(tos.code == state.cur_frame.target.typecode, [INFO] [stdout] 467 | | Diagnostic::ProofWrongTypeEnd); [INFO] [stdout] | |______________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 472 | / try_assert!(state.stack_buffer[tos.expr.clone()] == state.temp_buffer[..], [INFO] [stdout] 473 | | Diagnostic::ProofWrongExprEnd); [INFO] [stdout] | |______________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:523:13 [INFO] [stdout] | [INFO] [stdout] 523 | try!(prepare_step(state, chunk)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 515 | try_assert!(i < stmt.proof_len(), Diagnostic::ProofUnterminatedRoster); [INFO] [stdout] | ---------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:536:21 [INFO] [stdout] | [INFO] [stdout] 536 | try!(execute_step(state, k)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 541 | / try_assert!(k < (u32::max_value() as usize / 20) - 1, [INFO] [stdout] 542 | | Diagnostic::ProofMalformedVarint); [INFO] [stdout] | |_________________________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 545 | try_assert!(can_save, Diagnostic::ProofInvalidSave); [INFO] [stdout] | --------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 549 | try_assert!(k == 0, Diagnostic::ProofMalformedVarint); [INFO] [stdout] | ----------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 556 | try_assert!(k == 0, Diagnostic::ProofMalformedVarint); [INFO] [stdout] | ----------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:563:13 [INFO] [stdout] | [INFO] [stdout] 563 | try!(prepare_step(state, chunk)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:564:13 [INFO] [stdout] | [INFO] [stdout] 564 | try!(execute_step(state, count)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stdout] --> src/verify.rs:71:13 [INFO] [stdout] | [INFO] [stdout] 71 | try!(Err($($arg)+)) [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 562 | try_assert!(chunk != b"?", Diagnostic::ProofIncomplete); [INFO] [stdout] | ------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `std::hash::SipHasher`: use `std::hash::DefaultHasher` instead [INFO] [stdout] --> src/proof.rs:20:16 [INFO] [stdout] | [INFO] [stdout] 20 | use std::hash::SipHasher; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated struct `std::hash::SipHasher`: use `std::hash::DefaultHasher` instead [INFO] [stdout] --> src/proof.rs:55:26 [INFO] [stdout] | [INFO] [stdout] 55 | let mut hasher = SipHasher::new(); [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/database.rs:152:23 [INFO] [stdout] | [INFO] [stdout] 152 | struct Job(usize, Box); [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] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stdout] help: if this is an object-safe trait, use `dyn` [INFO] [stdout] | [INFO] [stdout] 152 | struct Job(usize, Box); [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: if this is an object-safe trait, use `dyn` [INFO] [stdout] | [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: if this is an object-safe trait, use `dyn` [INFO] [stdout] | [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: if this is an object-safe trait, use `dyn` [INFO] [stdout] | [INFO] [stdout] 58 | fn cause(&self) -> Option<&dyn error::Error> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated method `std::error::Error::description`: use the Display impl or to_string() [INFO] [stdout] --> src/export.rs:53:45 [INFO] [stdout] | [INFO] [stdout] 53 | ExportError::Io(ref err) => err.description(), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `std::hash::SipHasher::new`: use `std::hash::DefaultHasher` instead [INFO] [stdout] --> src/proof.rs:55:37 [INFO] [stdout] | [INFO] [stdout] 55 | let mut hasher = SipHasher::new(); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/database.rs:457:25 [INFO] [stdout] | [INFO] [stdout] 457 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/database.rs:483:25 [INFO] [stdout] | [INFO] [stdout] 483 | let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap()); [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/database.rs:510:25 [INFO] [stdout] | [INFO] [stdout] 510 | let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap()); [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `label` is never read [INFO] [stdout] --> src/scopeck.rs:104:5 [INFO] [stdout] | [INFO] [stdout] 102 | struct LocalEssentialInfo<'a> { [INFO] [stdout] | ------------------ field in this struct [INFO] [stdout] 103 | valid: GlobalRange, [INFO] [stdout] 104 | label: TokenPtr<'a>, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `LocalEssentialInfo` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused borrow that must be used [INFO] [stdout] --> src/util.rs:82:5 [INFO] [stdout] | [INFO] [stdout] 82 | &vec[from]; // for the bounds check [INFO] [stdout] | ^^^^^^^^^^ the borrow produces a value [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 82 | let _ = &vec[from]; // for the bounds check [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 52 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [optimized + debuginfo] target(s) in 4.20s [INFO] running `Command { std: "docker" "inspect" "62f43d87d7e395ac2162e51b631cfbb2fe713c6ded332fdb49c985b539bed324", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "62f43d87d7e395ac2162e51b631cfbb2fe713c6ded332fdb49c985b539bed324", kill_on_drop: false }` [INFO] [stdout] 62f43d87d7e395ac2162e51b631cfbb2fe713c6ded332fdb49c985b539bed324 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-03-24" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 18ac4fd50eac57867c5611dbb65676c9df8bee5795541bbcca2a46a59ad42eaa [INFO] running `Command { std: "docker" "start" "-a" "18ac4fd50eac57867c5611dbb65676c9df8bee5795541bbcca2a46a59ad42eaa", 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: the item `Ord` is imported redundantly [INFO] [stderr] --> src/proof.rs:11:5 [INFO] [stderr] | [INFO] [stderr] 11 | use std::cmp::Ord; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] --> /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/prelude/mod.rs:105:13 [INFO] [stderr] | [INFO] [stderr] = note: the item `Ord` is already defined here [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: the item `PartialOrd` is imported redundantly [INFO] [stderr] --> src/proof.rs:13:5 [INFO] [stderr] | [INFO] [stderr] 13 | use std::cmp::PartialOrd; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] --> /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/prelude/mod.rs:105:13 [INFO] [stderr] | [INFO] [stderr] = note: the item `PartialOrd` is already defined here [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/proof.rs:130:19 [INFO] [stderr] | [INFO] [stderr] 130 | arr.qed = try!(verify_one(sset, nset, scopes, &mut arr, stmt)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/proof.rs:406:9 [INFO] [stderr] | [INFO] [stderr] 406 | try!(f.write_str(&indent[(self.initial_chr + 2) as usize..])); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/proof.rs:461:17 [INFO] [stderr] | [INFO] [stderr] 461 | try!(f.write_char(' ')); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/proof.rs:464:17 [INFO] [stderr] | [INFO] [stderr] 464 | try!(f.write_str(&indent)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/proof.rs:473:21 [INFO] [stderr] | [INFO] [stderr] 473 | try!(print_step(item)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/proof.rs:479:21 [INFO] [stderr] | [INFO] [stderr] 479 | try!(print_step(item)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/segment_set.rs:331:28 [INFO] [stderr] | [INFO] [stderr] 331 | let metadata = try!(fs::metadata(&path)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/segment_set.rs:343:21 [INFO] [stderr] | [INFO] [stderr] 343 | try!(fh.read_to_end(&mut buf)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/segment_set.rs:340:34 [INFO] [stderr] | [INFO] [stderr] 340 | let mut fh = try!(File::open(&path)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 261 | / try_assert!(state.order.cmp(&pos, &valid.start) == Ordering::Greater, [INFO] [stderr] 262 | | Diagnostic::StepUsedBeforeDefinition(copy_token(label))); [INFO] [stderr] | |________________________________________________________________________- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 264 | / try_assert!(valid.end == NO_STATEMENT || [INFO] [stderr] 265 | | pos.segment_id == valid.start.segment_id && pos.index < valid.end, [INFO] [stderr] 266 | | Diagnostic::StepUsedAfterScope(copy_token(label))); [INFO] [stderr] | |__________________________________________________________________- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 367 | try_assert!(index < state.prepared.len(), Diagnostic::StepOutOfRange); [INFO] [stderr] | --------------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:384:17 [INFO] [stderr] | [INFO] [stderr] 384 | let sbase = try!(state.stack [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 410 | try_assert!(slot.code == typecode, Diagnostic::StepFloatWrongType); [INFO] [stderr] | ------------------------------------------------------------------ in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 414 | try_assert!(slot.code == expr.typecode, Diagnostic::StepEssenWrongType); [INFO] [stderr] | ----------------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 415 | / try_assert!(do_substitute_eq(&state.stack_buffer[slot.expr.clone()], [INFO] [stderr] 416 | | fref, [INFO] [stderr] 417 | | &expr, [INFO] [stderr] 418 | | &state.subst_info, [INFO] [stderr] 419 | | &state.stack_buffer), [INFO] [stderr] 420 | | Diagnostic::StepEssenWrong); [INFO] [stderr] | |_______________________________________________________- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 452 | / try_assert!(var1 < state.dv_map.len() && state.dv_map[var1].has_bit(var2), [INFO] [stderr] 453 | | Diagnostic::ProofDvViolation); [INFO] [stderr] | |_________________________________________________________- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 463 | try_assert!(state.stack.len() <= 1, Diagnostic::ProofExcessEnd); [INFO] [stderr] | --------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:464:32 [INFO] [stderr] | [INFO] [stderr] 464 | let &(ref data, ref tos) = try!(state.stack.last().ok_or(Diagnostic::ProofNoSteps)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 466 | / try_assert!(tos.code == state.cur_frame.target.typecode, [INFO] [stderr] 467 | | Diagnostic::ProofWrongTypeEnd); [INFO] [stderr] | |______________________________________________- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 472 | / try_assert!(state.stack_buffer[tos.expr.clone()] == state.temp_buffer[..], [INFO] [stderr] 473 | | Diagnostic::ProofWrongExprEnd); [INFO] [stderr] | |______________________________________________- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:523:13 [INFO] [stderr] | [INFO] [stderr] 523 | try!(prepare_step(state, chunk)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 515 | try_assert!(i < stmt.proof_len(), Diagnostic::ProofUnterminatedRoster); [INFO] [stderr] | ---------------------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:536:21 [INFO] [stderr] | [INFO] [stderr] 536 | try!(execute_step(state, k)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 541 | / try_assert!(k < (u32::max_value() as usize / 20) - 1, [INFO] [stderr] 542 | | Diagnostic::ProofMalformedVarint); [INFO] [stderr] | |_________________________________________________________________- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 545 | try_assert!(can_save, Diagnostic::ProofInvalidSave); [INFO] [stderr] | --------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 549 | try_assert!(k == 0, Diagnostic::ProofMalformedVarint); [INFO] [stderr] | ----------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 556 | try_assert!(k == 0, Diagnostic::ProofMalformedVarint); [INFO] [stderr] | ----------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:563:13 [INFO] [stderr] | [INFO] [stderr] 563 | try!(prepare_step(state, chunk)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:564:13 [INFO] [stderr] | [INFO] [stderr] 564 | try!(execute_step(state, count)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated macro `try`: use the `?` operator instead [INFO] [stderr] --> src/verify.rs:71:13 [INFO] [stderr] | [INFO] [stderr] 71 | try!(Err($($arg)+)) [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 562 | try_assert!(chunk != b"?", Diagnostic::ProofIncomplete); [INFO] [stderr] | ------------------------------------------------------- in this macro invocation [INFO] [stderr] | [INFO] [stderr] = note: this warning originates in the macro `try_assert` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated struct `std::hash::SipHasher`: use `std::hash::DefaultHasher` instead [INFO] [stderr] --> src/proof.rs:20:16 [INFO] [stderr] | [INFO] [stderr] 20 | use std::hash::SipHasher; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated struct `std::hash::SipHasher`: use `std::hash::DefaultHasher` instead [INFO] [stderr] --> src/proof.rs:55:26 [INFO] [stderr] | [INFO] [stderr] 55 | let mut hasher = SipHasher::new(); [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/database.rs:152:23 [INFO] [stderr] | [INFO] [stderr] 152 | struct Job(usize, Box); [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] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] help: if this is an object-safe trait, use `dyn` [INFO] [stderr] | [INFO] [stderr] 152 | struct Job(usize, Box); [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: if this is an object-safe trait, use `dyn` [INFO] [stderr] | [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: if this is an object-safe trait, use `dyn` [INFO] [stderr] | [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: if this is an object-safe trait, use `dyn` [INFO] [stderr] | [INFO] [stderr] 58 | fn cause(&self) -> Option<&dyn error::Error> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated method `std::error::Error::description`: use the Display impl or to_string() [INFO] [stderr] --> src/export.rs:53:45 [INFO] [stderr] | [INFO] [stderr] 53 | ExportError::Io(ref err) => err.description(), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated associated function `std::hash::SipHasher::new`: use `std::hash::DefaultHasher` instead [INFO] [stderr] --> src/proof.rs:55:37 [INFO] [stderr] | [INFO] [stderr] 55 | let mut hasher = SipHasher::new(); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/database.rs:457:25 [INFO] [stderr] | [INFO] [stderr] 457 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); [INFO] [stderr] | ----^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/database.rs:483:25 [INFO] [stderr] | [INFO] [stderr] 483 | let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap()); [INFO] [stderr] | ----^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/database.rs:510:25 [INFO] [stderr] | [INFO] [stderr] 510 | let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap()); [INFO] [stderr] | ----^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: field `label` is never read [INFO] [stderr] --> src/scopeck.rs:104:5 [INFO] [stderr] | [INFO] [stderr] 102 | struct LocalEssentialInfo<'a> { [INFO] [stderr] | ------------------ field in this struct [INFO] [stderr] 103 | valid: GlobalRange, [INFO] [stderr] 104 | label: TokenPtr<'a>, [INFO] [stderr] | ^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `LocalEssentialInfo` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused borrow that must be used [INFO] [stderr] --> src/util.rs:82:5 [INFO] [stderr] | [INFO] [stderr] 82 | &vec[from]; // for the bounds check [INFO] [stderr] | ^^^^^^^^^^ the borrow produces a value [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_must_use)]` on by default [INFO] [stderr] help: use `let _ = ...` to ignore the resulting value [INFO] [stderr] | [INFO] [stderr] 82 | let _ = &vec[from]; // for the bounds check [INFO] [stderr] | +++++++ [INFO] [stderr] [INFO] [stderr] warning: `smetamath` (bin "smetamath" test) generated 52 warnings (run `cargo fix --bin "smetamath" --tests` to apply 7 suggestions) [INFO] [stderr] Finished `test` profile [optimized + debuginfo] target(s) in 0.03s [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/smetamath-557b43094b88bca3) [INFO] [stdout] [INFO] [stdout] running 12 tests [INFO] [stderr] thread 'util_tests::test_fast_extend' panicked at library/core/src/panicking.rs:156:5: [INFO] [stdout] test parser_tests::test_invalid_c0 ... ok [INFO] [stderr] unsafe precondition(s) violated: slice::get_unchecked_mut requires that the index is within the slice [INFO] [stdout] test parser_tests::test_invalid_del ... ok [INFO] [stderr] stack backtrace: [INFO] [stdout] test parser_tests::test_segref ... ok [INFO] [stdout] test parser_tests::test_stref_v ... ok [INFO] [stdout] test parser_tests::test_segment_order ... ok [INFO] [stdout] test util_tests::test_copy_portion ... ok [INFO] [stderr] 0: 0x55a99f9e83f2 - std::backtrace_rs::backtrace::libunwind::trace::hf591c4fa475b521b [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5 [INFO] [stderr] 1: 0x55a99f9e83f2 - std::backtrace_rs::backtrace::trace_unsynchronized::hce0fc3788d7159a9 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stderr] 2: 0x55a99f9e83f2 - std::sys_common::backtrace::_print_fmt::he2d1cbe468040257 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/sys_common/backtrace.rs:68:5 [INFO] [stderr] 3: 0x55a99f9e83f2 - ::fmt::h2c24b8bf09043006 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/sys_common/backtrace.rs:44:22 [INFO] [stderr] 4: 0x55a99fa0fe8c - core::fmt::rt::Argument::fmt::h982f45771e9ecd8b [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/core/src/fmt/rt.rs:142:9 [INFO] [stderr] 5: 0x55a99fa0fe8c - core::fmt::write::h08d521d188b46bd0 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/core/src/fmt/mod.rs:1153:17 [INFO] [stderr] 6: 0x55a99f9e5ccf - std::io::Write::write_fmt::h30d389991f37d75e [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/io/mod.rs:1843:15 [INFO] [stderr] 7: 0x55a99f9e81c4 - std::sys_common::backtrace::_print::h3e781da3859a0efa [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/sys_common/backtrace.rs:47:5 [INFO] [stderr] 8: 0x55a99f9e81c4 - std::sys_common::backtrace::print::he5e9ec6ac18663c5 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/sys_common/backtrace.rs:34:9 [INFO] [stderr] 9: 0x55a99f9e9e8b - std::panicking::default_hook::{{closure}}::hb05b3618b96e9a16 [INFO] [stderr] 10: 0x55a99f9e9be3 - std::panicking::default_hook::ha92ce0e319b86adc [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/panicking.rs:292:9 [INFO] [stderr] 11: 0x55a99f9b85a7 - as core::ops::function::Fn>::call::hfad4e8cd66d28d6f [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/alloc/src/boxed.rs:2034:9 [INFO] [stderr] 12: 0x55a99f9b85a7 - test::test_main::{{closure}}::hb316c81ad0052246 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/test/src/lib.rs:138:21 [INFO] [stderr] 13: 0x55a99f9ea4c0 - as core::ops::function::Fn>::call::h48f57e8ba0ebe10d [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/alloc/src/boxed.rs:2034:9 [INFO] [stderr] 14: 0x55a99f9ea4c0 - std::panicking::rust_panic_with_hook::h0843a0c6d846e961 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/panicking.rs:783:13 [INFO] [stderr] 15: 0x55a99f9ea1c9 - std::panicking::begin_panic_handler::{{closure}}::h089f044d920e4ed4 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/panicking.rs:649:13 [INFO] [stderr] 16: 0x55a99f9e88c6 - std::sys_common::backtrace::__rust_end_short_backtrace::h17a752ec00eb4307 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/sys_common/backtrace.rs:171:18 [INFO] [stderr] 17: 0x55a99f9e9f34 - rust_begin_unwind [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/panicking.rs:645:5 [INFO] [stderr] 18: 0x55a99f96806a - core::panicking::panic_nounwind_fmt::runtime::h762a01e9781b3200 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/core/src/panicking.rs:110:18 [INFO] [stderr] 19: 0x55a99f96806a - core::panicking::panic_nounwind_fmt::hc6c08c4591994c18 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/core/src/panicking.rs:123:9 [INFO] [stderr] 20: 0x55a99f968119 - core::panicking::panic_nounwind::h375e432f93a2f928 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/core/src/panicking.rs:156:5 [INFO] [stderr] 21: 0x55a99f984d9f - >::get_unchecked_mut::precondition_check::he8c7db930fad5d7f [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/core/src/intrinsics.rs:2799:21 [INFO] [stderr] 22: 0x55a99f984d9f - >::get_unchecked_mut::he21e5f69c60df08e [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/core/src/slice/index.rs:252:9 [INFO] [stderr] 23: 0x55a99f984d9f - core::slice::::get_unchecked_mut::he750296dc325941f [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/core/src/slice/mod.rs:728:24 [INFO] [stderr] 24: 0x55a99f984d9f - smetamath::util::fast_extend::ha6b96a1108edf2ff [INFO] [stderr] at /opt/rustwide/workdir/src/util.rs:72:20 [INFO] [stderr] 25: 0x55a99f96db25 - smetamath::util_tests::test_fast_extend::hd2f0f094f5961d51 [INFO] [stderr] at /opt/rustwide/workdir/src/util_tests.rs:23:5 [INFO] [stderr] 26: 0x55a99f976da9 - smetamath::util_tests::test_fast_extend::{{closure}}::h33124aafd20de19e [INFO] [stderr] at /opt/rustwide/workdir/src/util_tests.rs:21:22 [INFO] [stderr] 27: 0x55a99f976da9 - core::ops::function::FnOnce::call_once::h7ac9d9fcf53383ab [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/core/src/ops/function.rs:250:5 [INFO] [stderr] 28: 0x55a99f9bd16f - core::ops::function::FnOnce::call_once::h0e9f6b735acda624 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/core/src/ops/function.rs:250:5 [INFO] [stderr] 29: 0x55a99f9bd16f - test::__rust_begin_short_backtrace::h65f11a900e8cf65e [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/test/src/lib.rs:621:18 [INFO] [stderr] 30: 0x55a99f9bc863 - test::run_test_in_process::{{closure}}::h5e2816892ad7ac9a [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/test/src/lib.rs:644:60 [INFO] [stderr] 31: 0x55a99f9bc863 - as core::ops::function::FnOnce<()>>::call_once::h1b9c320c72d4c6ce [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stderr] 32: 0x55a99f9bc863 - std::panicking::try::do_call::hd0b24b52271709c2 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/panicking.rs:552:40 [INFO] [stderr] 33: 0x55a99f9bc863 - std::panicking::try::h56d1181c9703484e [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/panicking.rs:516:19 [INFO] [stderr] 34: 0x55a99f9bc863 - std::panic::catch_unwind::h8bd23f3ab29003f2 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/panic.rs:146:14 [INFO] [stderr] 35: 0x55a99f9bc863 - test::run_test_in_process::h506184887cedf4a3 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/test/src/lib.rs:644:27 [INFO] [stderr] 36: 0x55a99f9bc863 - test::run_test::{{closure}}::h1877fa24be24f03e [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/test/src/lib.rs:567:43 [INFO] [stderr] 37: 0x55a99f985463 - test::run_test::{{closure}}::hd863e669253739ef [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/test/src/lib.rs:595:41 [INFO] [stderr] 38: 0x55a99f985463 - std::sys_common::backtrace::__rust_begin_short_backtrace::h7f4ddddf8d11340f [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stderr] 39: 0x55a99f989fcf - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h4a8b28c9e99c5cc2 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/thread/mod.rs:528:17 [INFO] [stderr] 40: 0x55a99f989fcf - as core::ops::function::FnOnce<()>>::call_once::h82f1b5c530f72a07 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stderr] 41: 0x55a99f989fcf - std::panicking::try::do_call::h0064fe0f14317599 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/panicking.rs:552:40 [INFO] [stderr] 42: 0x55a99f989fcf - std::panicking::try::h1cc6a2a343001459 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/panicking.rs:516:19 [INFO] [stderr] 43: 0x55a99f989fcf - std::panic::catch_unwind::h90be06afab17593a [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/panic.rs:146:14 [INFO] [stderr] 44: 0x55a99f989fcf - std::thread::Builder::spawn_unchecked_::{{closure}}::h80bc2ad0bec94635 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/thread/mod.rs:527:30 [INFO] [stderr] 45: 0x55a99f989fcf - core::ops::function::FnOnce::call_once{{vtable.shim}}::h27e1017014ef0506 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/core/src/ops/function.rs:250:5 [INFO] [stderr] 46: 0x55a99f9ee455 - as core::ops::function::FnOnce>::call_once::hdbdd1f187b9b9080 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/alloc/src/boxed.rs:2020:9 [INFO] [stderr] 47: 0x55a99f9ee455 - as core::ops::function::FnOnce>::call_once::hc7ee8cb78037b4ec [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/alloc/src/boxed.rs:2020:9 [INFO] [stderr] 48: 0x55a99f9ee455 - std::sys::pal::unix::thread::Thread::new::thread_start::haedac03260309a72 [INFO] [stderr] at /rustc/277d06bc95c6c38a2337ccde798b2c709384bd84/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stderr] 49: 0x7f72b91fbac3 - [INFO] [stderr] 50: 0x7f72b928cbf4 - __clone [INFO] [stderr] 51: 0x0 - [INFO] [stderr] thread caused non-unwinding panic. aborting. [INFO] [stderr] error: test failed, to rerun pass `--bin smetamath` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/deps/smetamath-557b43094b88bca3` (signal: 6, SIGABRT: process abort signal) [INFO] running `Command { std: "docker" "inspect" "18ac4fd50eac57867c5611dbb65676c9df8bee5795541bbcca2a46a59ad42eaa", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "18ac4fd50eac57867c5611dbb65676c9df8bee5795541bbcca2a46a59ad42eaa", kill_on_drop: false }` [INFO] [stdout] 18ac4fd50eac57867c5611dbb65676c9df8bee5795541bbcca2a46a59ad42eaa