[INFO] cloning repository https://github.com/digama0/hz-to-mm0
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/digama0/hz-to-mm0" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdigama0%2Fhz-to-mm0", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdigama0%2Fhz-to-mm0'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 1cb49414f642790cdceb45395cde3f0149a0deef
[INFO] testing digama0/hz-to-mm0 against try#613d1972a772987ed4ee06faccbab0e2fc839871+rustflags=-Copt-level=3 for pr-107051
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdigama0%2Fhz-to-mm0" "/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/digama0/hz-to-mm0 on toolchain 613d1972a772987ed4ee06faccbab0e2fc839871
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+613d1972a772987ed4ee06faccbab0e2fc839871" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/digama0/hz-to-mm0
[INFO] finished tweaking git repo https://github.com/digama0/hz-to-mm0
[INFO] tweaked toml for git repo https://github.com/digama0/hz-to-mm0 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/digama0/hz-to-mm0 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" "+613d1972a772987ed4ee06faccbab0e2fc839871" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[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:7c93e6f9a94679f34221d1005849d4c83862f85b14a264fa0883942f4d043a66" "/opt/rustwide/cargo-home/bin/cargo" "+613d1972a772987ed4ee06faccbab0e2fc839871" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 27060b2e5bdddcd719779db14eb9655398cb6b0b5960dc0e2609f98144faa7a3
[INFO] running `Command { std: "docker" "start" "-a" "27060b2e5bdddcd719779db14eb9655398cb6b0b5960dc0e2609f98144faa7a3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "27060b2e5bdddcd719779db14eb9655398cb6b0b5960dc0e2609f98144faa7a3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "27060b2e5bdddcd719779db14eb9655398cb6b0b5960dc0e2609f98144faa7a3", kill_on_drop: false }`
[INFO] [stdout] 27060b2e5bdddcd719779db14eb9655398cb6b0b5960dc0e2609f98144faa7a3
[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=forbid -Copt-level=3" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7c93e6f9a94679f34221d1005849d4c83862f85b14a264fa0883942f4d043a66" "/opt/rustwide/cargo-home/bin/cargo" "+613d1972a772987ed4ee06faccbab0e2fc839871" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 21f7bd946ef7832353d2ed052a2258b8fd2e6dc94cd95e82799c83fbb593117f
[INFO] running `Command { std: "docker" "start" "-a" "21f7bd946ef7832353d2ed052a2258b8fd2e6dc94cd95e82799c83fbb593117f", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling proc-macro2 v1.0.28
[INFO] [stderr]    Compiling unicode-xid v0.2.2
[INFO] [stderr]    Compiling syn v1.0.74
[INFO] [stderr]    Compiling libc v0.2.99
[INFO] [stderr]    Compiling semver-parser v0.7.0
[INFO] [stderr]    Compiling byteorder v1.4.3
[INFO] [stderr]    Compiling nom v2.2.1
[INFO] [stderr]    Compiling radium v0.6.2
[INFO] [stderr]    Compiling semver v0.9.0
[INFO] [stderr]    Compiling memchr v2.4.0
[INFO] [stderr]    Compiling rustc_version v0.2.3
[INFO] [stderr]    Compiling bitflags v1.3.1
[INFO] [stderr]    Compiling pathdiff v0.2.0
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling tap v1.0.1
[INFO] [stderr]    Compiling wyz v0.4.0
[INFO] [stderr]    Compiling num_cpus v1.13.0
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]    Compiling pin-project-lite v0.2.7
[INFO] [stderr]    Compiling procinfo v0.4.2
[INFO] [stderr]    Compiling funty v1.2.0
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling num-integer v0.1.44
[INFO] [stderr]    Compiling num-bigint v0.4.0
[INFO] [stderr]    Compiling num-iter v0.1.42
[INFO] [stderr]    Compiling num-rational v0.4.0
[INFO] [stderr]    Compiling tokio v1.10.0
[INFO] [stderr]    Compiling num-complex v0.4.0
[INFO] [stderr]    Compiling bitvec v0.22.3
[INFO] [stderr]    Compiling synstructure v0.12.5
[INFO] [stderr]    Compiling num v0.4.0
[INFO] [stderr]    Compiling mm0_deepsize_derive v0.1.2
[INFO] [stderr]    Compiling zerocopy-derive v0.3.0
[INFO] [stderr]    Compiling mm0_deepsize v0.1.3
[INFO] [stderr]    Compiling mm0_util v0.1.4
[INFO] [stderr]    Compiling zerocopy v0.5.0
[INFO] [stderr]    Compiling mm0b_parser v0.1.3
[INFO] [stderr]    Compiling hz-to-mm0 v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/mm0/import.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `SortId`
[INFO] [stdout]  --> src/mm0/import.rs:3:18
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::mm0::{SortId, TermId, ThmId};
[INFO] [stdout]   |                  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `WFF` is never used
[INFO] [stdout]    --> src/mm0/import.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |   sort WFF: "wff" = 0;
[INFO] [stdout]     |        ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `TYPE` is never used
[INFO] [stdout]    --> src/mm0/import.rs:113:8
[INFO] [stdout]     |
[INFO] [stdout] 113 |   sort TYPE: "type" = 1;
[INFO] [stdout]     |        ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `TERM` is never used
[INFO] [stdout]    --> src/mm0/import.rs:114:8
[INFO] [stdout]     |
[INFO] [stdout] 114 |   sort TERM: "term" = 2;
[INFO] [stdout]     |        ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `MM0_IM` is never used
[INFO] [stdout]    --> src/mm0/import.rs:115:8
[INFO] [stdout]     |
[INFO] [stdout] 115 |   term MM0_IM: "im" = 0;
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `MM0_AN` is never used
[INFO] [stdout]    --> src/mm0/import.rs:116:8
[INFO] [stdout]     |
[INFO] [stdout] 116 |   term MM0_AN: "an" = 1;
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `TY` is never used
[INFO] [stdout]    --> src/mm0/import.rs:117:8
[INFO] [stdout]     |
[INFO] [stdout] 117 |   term TY: "ty" = 4;
[INFO] [stdout]     |        ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `THM` is never used
[INFO] [stdout]    --> src/mm0/import.rs:118:8
[INFO] [stdout]     |
[INFO] [stdout] 118 |   term THM: "thm" = 9;
[INFO] [stdout]     |        ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `APP` is never used
[INFO] [stdout]    --> src/mm0/import.rs:119:8
[INFO] [stdout]     |
[INFO] [stdout] 119 |   term APP: "app" = 5;
[INFO] [stdout]     |        ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `LAM` is never used
[INFO] [stdout]    --> src/mm0/import.rs:120:8
[INFO] [stdout]     |
[INFO] [stdout] 120 |   term LAM: "lam" = 6;
[INFO] [stdout]     |        ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `CONJ` is never used
[INFO] [stdout]    --> src/mm0/import.rs:173:7
[INFO] [stdout]     |
[INFO] [stdout] 173 |   thm CONJ: "CONJ" = 72;
[INFO] [stdout]     |       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `CONJ_PAIR` is never used
[INFO] [stdout]    --> src/mm0/import.rs:174:7
[INFO] [stdout]     |
[INFO] [stdout] 174 |   thm CONJ_PAIR: "CONJ_PAIR" = 73;
[INFO] [stdout]     |       ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `CONJUNCT1` is never used
[INFO] [stdout]    --> src/mm0/import.rs:175:7
[INFO] [stdout]     |
[INFO] [stdout] 175 |   thm CONJUNCT1: "CONJUNCT1" = 74;
[INFO] [stdout]     |       ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `CONJUNCT2` is never used
[INFO] [stdout]    --> src/mm0/import.rs:176:7
[INFO] [stdout]     |
[INFO] [stdout] 176 |   thm CONJUNCT2: "CONJUNCT2" = 75;
[INFO] [stdout]     |       ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `REFL` is never used
[INFO] [stdout]    --> src/mm0/import.rs:177:7
[INFO] [stdout]     |
[INFO] [stdout] 177 |   thm REFL: "refl" = 33;
[INFO] [stdout]     |       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `AEQ` is never used
[INFO] [stdout]    --> src/mm0/import.rs:178:7
[INFO] [stdout]     |
[INFO] [stdout] 178 |   thm AEQ: "aeq" = 34;
[INFO] [stdout]     |       ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `AEQ1` is never used
[INFO] [stdout]    --> src/mm0/import.rs:179:7
[INFO] [stdout]     |
[INFO] [stdout] 179 |   thm AEQ1: "aeq1" = 35;
[INFO] [stdout]     |       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `AEQ2` is never used
[INFO] [stdout]    --> src/mm0/import.rs:180:7
[INFO] [stdout]     |
[INFO] [stdout] 180 |   thm AEQ2: "aeq2" = 36;
[INFO] [stdout]     |       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `MP` is never used
[INFO] [stdout]    --> src/mm0/import.rs:181:7
[INFO] [stdout]     |
[INFO] [stdout] 181 |   thm MP: "MP" = 81;
[INFO] [stdout]     |       ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `DISCH` is never used
[INFO] [stdout]    --> src/mm0/import.rs:182:7
[INFO] [stdout]     |
[INFO] [stdout] 182 |   thm DISCH: "DISCH" = 82;
[INFO] [stdout]     |       ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNDISCH` is never used
[INFO] [stdout]    --> src/mm0/import.rs:183:7
[INFO] [stdout]     |
[INFO] [stdout] 183 |   thm UNDISCH: "UNDISCH" = 84;
[INFO] [stdout]     |       ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `IMP_ANTISYM` is never used
[INFO] [stdout]    --> src/mm0/import.rs:184:7
[INFO] [stdout]     |
[INFO] [stdout] 184 |   thm IMP_ANTISYM: "IMP_ANTISYM" = 85;
[INFO] [stdout]     |       ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `EQ_IMP1` is never used
[INFO] [stdout]    --> src/mm0/import.rs:185:7
[INFO] [stdout]     |
[INFO] [stdout] 185 |   thm EQ_IMP1: "EQ_IMP1" = 86;
[INFO] [stdout]     |       ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `EQ_IMP2` is never used
[INFO] [stdout]    --> src/mm0/import.rs:186:7
[INFO] [stdout]     |
[INFO] [stdout] 186 |   thm EQ_IMP2: "EQ_IMP2" = 87;
[INFO] [stdout]     |       ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `IMP_ID` is never used
[INFO] [stdout]    --> src/mm0/import.rs:187:7
[INFO] [stdout]     |
[INFO] [stdout] 187 |   thm IMP_ID: "IMP_ID" = 88;
[INFO] [stdout]     |       ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `IMP_TRANS` is never used
[INFO] [stdout]    --> src/mm0/import.rs:188:7
[INFO] [stdout]     |
[INFO] [stdout] 188 |   thm IMP_TRANS: "IMP_TRANS" = 89;
[INFO] [stdout]     |       ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `SPEC` is never used
[INFO] [stdout]    --> src/mm0/import.rs:189:7
[INFO] [stdout]     |
[INFO] [stdout] 189 |   thm SPEC: "SPEC" = 97;
[INFO] [stdout]     |       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `GEN` is never used
[INFO] [stdout]    --> src/mm0/import.rs:190:7
[INFO] [stdout]     |
[INFO] [stdout] 190 |   thm GEN: "GEN" = 98;
[INFO] [stdout]     |       ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `CHOOSE` is never used
[INFO] [stdout]    --> src/mm0/import.rs:191:7
[INFO] [stdout]     |
[INFO] [stdout] 191 |   thm CHOOSE: "CHOOSE" = 111;
[INFO] [stdout]     |       ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `EXISTS` is never used
[INFO] [stdout]    --> src/mm0/import.rs:192:7
[INFO] [stdout]     |
[INFO] [stdout] 192 |   thm EXISTS: "EXISTS" = 113;
[INFO] [stdout]     |       ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `DISJ1` is never used
[INFO] [stdout]    --> src/mm0/import.rs:193:7
[INFO] [stdout]     |
[INFO] [stdout] 193 |   thm DISJ1: "DISJ1" = 132;
[INFO] [stdout]     |       ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `DISJ2` is never used
[INFO] [stdout]    --> src/mm0/import.rs:194:7
[INFO] [stdout]     |
[INFO] [stdout] 194 |   thm DISJ2: "DISJ2" = 134;
[INFO] [stdout]     |       ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `DISJ_CASES` is never used
[INFO] [stdout]    --> src/mm0/import.rs:195:7
[INFO] [stdout]     |
[INFO] [stdout] 195 |   thm DISJ_CASES: "DISJ_CASES" = 136;
[INFO] [stdout]     |       ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `CONTR` is never used
[INFO] [stdout]    --> src/mm0/import.rs:196:7
[INFO] [stdout]     |
[INFO] [stdout] 196 |   thm CONTR: "CONTR" = 140;
[INFO] [stdout]     |       ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `NOT_ELIM` is never used
[INFO] [stdout]    --> src/mm0/import.rs:197:7
[INFO] [stdout]     |
[INFO] [stdout] 197 |   thm NOT_ELIM: "NOT_ELIM" = 147;
[INFO] [stdout]     |       ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `NOT_INTRO` is never used
[INFO] [stdout]    --> src/mm0/import.rs:198:7
[INFO] [stdout]     |
[INFO] [stdout] 198 |   thm NOT_INTRO: "NOT_INTRO" = 148;
[INFO] [stdout]     |       ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `EQF_INTRO` is never used
[INFO] [stdout]    --> src/mm0/import.rs:199:7
[INFO] [stdout]     |
[INFO] [stdout] 199 |   thm EQF_INTRO: "EQF_INTRO" = 149;
[INFO] [stdout]     |       ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `EQF_ELIM` is never used
[INFO] [stdout]    --> src/mm0/import.rs:200:7
[INFO] [stdout]     |
[INFO] [stdout] 200 |   thm EQF_ELIM: "EQF_ELIM" = 150;
[INFO] [stdout]     |       ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `NOT_FALSE` is never used
[INFO] [stdout]    --> src/mm0/import.rs:201:7
[INFO] [stdout]     |
[INFO] [stdout] 201 |   thm NOT_FALSE: "NOT_FALSE" = 151;
[INFO] [stdout]     |       ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `CCONTR` is never used
[INFO] [stdout]    --> src/mm0/import.rs:202:7
[INFO] [stdout]     |
[INFO] [stdout] 202 |   thm CCONTR: "CCONTR" = 162;
[INFO] [stdout]     |       ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `PROD_TYBIJ1` is never used
[INFO] [stdout]    --> src/mm0/import.rs:203:7
[INFO] [stdout]     |
[INFO] [stdout] 203 |   thm PROD_TYBIJ1: "prod_tybij1" = 172;
[INFO] [stdout]     |       ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `PROD_TYBIJ2` is never used
[INFO] [stdout]    --> src/mm0/import.rs:204:7
[INFO] [stdout]     |
[INFO] [stdout] 204 |   thm PROD_TYBIJ2: "prod_tybij2" = 173;
[INFO] [stdout]     |       ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `ONE_ONE_THM` is never used
[INFO] [stdout]    --> src/mm0/import.rs:205:7
[INFO] [stdout]     |
[INFO] [stdout] 205 |   thm ONE_ONE_THM: "ONE_ONE" = 192;
[INFO] [stdout]     |       ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `ONTO_THM` is never used
[INFO] [stdout]    --> src/mm0/import.rs:206:7
[INFO] [stdout]     |
[INFO] [stdout] 206 |   thm ONTO_THM: "ONTO" = 197;
[INFO] [stdout]     |       ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `INF` is never used
[INFO] [stdout]    --> src/mm0/import.rs:207:7
[INFO] [stdout]     |
[INFO] [stdout] 207 |   thm INF: "inf" = 198;
[INFO] [stdout]     |       ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 46 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2m 35s
[INFO] running `Command { std: "docker" "inspect" "21f7bd946ef7832353d2ed052a2258b8fd2e6dc94cd95e82799c83fbb593117f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "21f7bd946ef7832353d2ed052a2258b8fd2e6dc94cd95e82799c83fbb593117f", kill_on_drop: false }`
[INFO] [stdout] 21f7bd946ef7832353d2ed052a2258b8fd2e6dc94cd95e82799c83fbb593117f
[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=forbid -Copt-level=3" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7c93e6f9a94679f34221d1005849d4c83862f85b14a264fa0883942f4d043a66" "/opt/rustwide/cargo-home/bin/cargo" "+613d1972a772987ed4ee06faccbab0e2fc839871" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1a1846d272e90e547af2518f9d979c03ff0961f4fe80617819b2f3fcbd1f6ee2
[INFO] running `Command { std: "docker" "start" "-a" "1a1846d272e90e547af2518f9d979c03ff0961f4fe80617819b2f3fcbd1f6ee2", kill_on_drop: false }`
[INFO] [stderr]    Compiling hz-to-mm0 v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/mm0/import.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `SortId`
[INFO] [stdout]  --> src/mm0/import.rs:3:18
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::mm0::{SortId, TermId, ThmId};
[INFO] [stdout]   |                  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `WFF` is never used
[INFO] [stdout]    --> src/mm0/import.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 112 |   sort WFF: "wff" = 0;
[INFO] [stdout]     |        ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `TYPE` is never used
[INFO] [stdout]    --> src/mm0/import.rs:113:8
[INFO] [stdout]     |
[INFO] [stdout] 113 |   sort TYPE: "type" = 1;
[INFO] [stdout]     |        ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `TERM` is never used
[INFO] [stdout]    --> src/mm0/import.rs:114:8
[INFO] [stdout]     |
[INFO] [stdout] 114 |   sort TERM: "term" = 2;
[INFO] [stdout]     |        ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `MM0_IM` is never used
[INFO] [stdout]    --> src/mm0/import.rs:115:8
[INFO] [stdout]     |
[INFO] [stdout] 115 |   term MM0_IM: "im" = 0;
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `MM0_AN` is never used
[INFO] [stdout]    --> src/mm0/import.rs:116:8
[INFO] [stdout]     |
[INFO] [stdout] 116 |   term MM0_AN: "an" = 1;
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `TY` is never used
[INFO] [stdout]    --> src/mm0/import.rs:117:8
[INFO] [stdout]     |
[INFO] [stdout] 117 |   term TY: "ty" = 4;
[INFO] [stdout]     |        ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `THM` is never used
[INFO] [stdout]    --> src/mm0/import.rs:118:8
[INFO] [stdout]     |
[INFO] [stdout] 118 |   term THM: "thm" = 9;
[INFO] [stdout]     |        ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `APP` is never used
[INFO] [stdout]    --> src/mm0/import.rs:119:8
[INFO] [stdout]     |
[INFO] [stdout] 119 |   term APP: "app" = 5;
[INFO] [stdout]     |        ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `LAM` is never used
[INFO] [stdout]    --> src/mm0/import.rs:120:8
[INFO] [stdout]     |
[INFO] [stdout] 120 |   term LAM: "lam" = 6;
[INFO] [stdout]     |        ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `CONJ` is never used
[INFO] [stdout]    --> src/mm0/import.rs:173:7
[INFO] [stdout]     |
[INFO] [stdout] 173 |   thm CONJ: "CONJ" = 72;
[INFO] [stdout]     |       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `CONJ_PAIR` is never used
[INFO] [stdout]    --> src/mm0/import.rs:174:7
[INFO] [stdout]     |
[INFO] [stdout] 174 |   thm CONJ_PAIR: "CONJ_PAIR" = 73;
[INFO] [stdout]     |       ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `CONJUNCT1` is never used
[INFO] [stdout]    --> src/mm0/import.rs:175:7
[INFO] [stdout]     |
[INFO] [stdout] 175 |   thm CONJUNCT1: "CONJUNCT1" = 74;
[INFO] [stdout]     |       ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `CONJUNCT2` is never used
[INFO] [stdout]    --> src/mm0/import.rs:176:7
[INFO] [stdout]     |
[INFO] [stdout] 176 |   thm CONJUNCT2: "CONJUNCT2" = 75;
[INFO] [stdout]     |       ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `REFL` is never used
[INFO] [stdout]    --> src/mm0/import.rs:177:7
[INFO] [stdout]     |
[INFO] [stdout] 177 |   thm REFL: "refl" = 33;
[INFO] [stdout]     |       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `AEQ` is never used
[INFO] [stdout]    --> src/mm0/import.rs:178:7
[INFO] [stdout]     |
[INFO] [stdout] 178 |   thm AEQ: "aeq" = 34;
[INFO] [stdout]     |       ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `AEQ1` is never used
[INFO] [stdout]    --> src/mm0/import.rs:179:7
[INFO] [stdout]     |
[INFO] [stdout] 179 |   thm AEQ1: "aeq1" = 35;
[INFO] [stdout]     |       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `AEQ2` is never used
[INFO] [stdout]    --> src/mm0/import.rs:180:7
[INFO] [stdout]     |
[INFO] [stdout] 180 |   thm AEQ2: "aeq2" = 36;
[INFO] [stdout]     |       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `MP` is never used
[INFO] [stdout]    --> src/mm0/import.rs:181:7
[INFO] [stdout]     |
[INFO] [stdout] 181 |   thm MP: "MP" = 81;
[INFO] [stdout]     |       ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `DISCH` is never used
[INFO] [stdout]    --> src/mm0/import.rs:182:7
[INFO] [stdout]     |
[INFO] [stdout] 182 |   thm DISCH: "DISCH" = 82;
[INFO] [stdout]     |       ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `UNDISCH` is never used
[INFO] [stdout]    --> src/mm0/import.rs:183:7
[INFO] [stdout]     |
[INFO] [stdout] 183 |   thm UNDISCH: "UNDISCH" = 84;
[INFO] [stdout]     |       ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `IMP_ANTISYM` is never used
[INFO] [stdout]    --> src/mm0/import.rs:184:7
[INFO] [stdout]     |
[INFO] [stdout] 184 |   thm IMP_ANTISYM: "IMP_ANTISYM" = 85;
[INFO] [stdout]     |       ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `EQ_IMP1` is never used
[INFO] [stdout]    --> src/mm0/import.rs:185:7
[INFO] [stdout]     |
[INFO] [stdout] 185 |   thm EQ_IMP1: "EQ_IMP1" = 86;
[INFO] [stdout]     |       ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `EQ_IMP2` is never used
[INFO] [stdout]    --> src/mm0/import.rs:186:7
[INFO] [stdout]     |
[INFO] [stdout] 186 |   thm EQ_IMP2: "EQ_IMP2" = 87;
[INFO] [stdout]     |       ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `IMP_ID` is never used
[INFO] [stdout]    --> src/mm0/import.rs:187:7
[INFO] [stdout]     |
[INFO] [stdout] 187 |   thm IMP_ID: "IMP_ID" = 88;
[INFO] [stdout]     |       ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `IMP_TRANS` is never used
[INFO] [stdout]    --> src/mm0/import.rs:188:7
[INFO] [stdout]     |
[INFO] [stdout] 188 |   thm IMP_TRANS: "IMP_TRANS" = 89;
[INFO] [stdout]     |       ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `SPEC` is never used
[INFO] [stdout]    --> src/mm0/import.rs:189:7
[INFO] [stdout]     |
[INFO] [stdout] 189 |   thm SPEC: "SPEC" = 97;
[INFO] [stdout]     |       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `GEN` is never used
[INFO] [stdout]    --> src/mm0/import.rs:190:7
[INFO] [stdout]     |
[INFO] [stdout] 190 |   thm GEN: "GEN" = 98;
[INFO] [stdout]     |       ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `CHOOSE` is never used
[INFO] [stdout]    --> src/mm0/import.rs:191:7
[INFO] [stdout]     |
[INFO] [stdout] 191 |   thm CHOOSE: "CHOOSE" = 111;
[INFO] [stdout]     |       ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `EXISTS` is never used
[INFO] [stdout]    --> src/mm0/import.rs:192:7
[INFO] [stdout]     |
[INFO] [stdout] 192 |   thm EXISTS: "EXISTS" = 113;
[INFO] [stdout]     |       ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `DISJ1` is never used
[INFO] [stdout]    --> src/mm0/import.rs:193:7
[INFO] [stdout]     |
[INFO] [stdout] 193 |   thm DISJ1: "DISJ1" = 132;
[INFO] [stdout]     |       ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `DISJ2` is never used
[INFO] [stdout]    --> src/mm0/import.rs:194:7
[INFO] [stdout]     |
[INFO] [stdout] 194 |   thm DISJ2: "DISJ2" = 134;
[INFO] [stdout]     |       ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `DISJ_CASES` is never used
[INFO] [stdout]    --> src/mm0/import.rs:195:7
[INFO] [stdout]     |
[INFO] [stdout] 195 |   thm DISJ_CASES: "DISJ_CASES" = 136;
[INFO] [stdout]     |       ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `CONTR` is never used
[INFO] [stdout]    --> src/mm0/import.rs:196:7
[INFO] [stdout]     |
[INFO] [stdout] 196 |   thm CONTR: "CONTR" = 140;
[INFO] [stdout]     |       ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `NOT_ELIM` is never used
[INFO] [stdout]    --> src/mm0/import.rs:197:7
[INFO] [stdout]     |
[INFO] [stdout] 197 |   thm NOT_ELIM: "NOT_ELIM" = 147;
[INFO] [stdout]     |       ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `NOT_INTRO` is never used
[INFO] [stdout]    --> src/mm0/import.rs:198:7
[INFO] [stdout]     |
[INFO] [stdout] 198 |   thm NOT_INTRO: "NOT_INTRO" = 148;
[INFO] [stdout]     |       ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `EQF_INTRO` is never used
[INFO] [stdout]    --> src/mm0/import.rs:199:7
[INFO] [stdout]     |
[INFO] [stdout] 199 |   thm EQF_INTRO: "EQF_INTRO" = 149;
[INFO] [stdout]     |       ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `EQF_ELIM` is never used
[INFO] [stdout]    --> src/mm0/import.rs:200:7
[INFO] [stdout]     |
[INFO] [stdout] 200 |   thm EQF_ELIM: "EQF_ELIM" = 150;
[INFO] [stdout]     |       ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `NOT_FALSE` is never used
[INFO] [stdout]    --> src/mm0/import.rs:201:7
[INFO] [stdout]     |
[INFO] [stdout] 201 |   thm NOT_FALSE: "NOT_FALSE" = 151;
[INFO] [stdout]     |       ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `CCONTR` is never used
[INFO] [stdout]    --> src/mm0/import.rs:202:7
[INFO] [stdout]     |
[INFO] [stdout] 202 |   thm CCONTR: "CCONTR" = 162;
[INFO] [stdout]     |       ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `PROD_TYBIJ1` is never used
[INFO] [stdout]    --> src/mm0/import.rs:203:7
[INFO] [stdout]     |
[INFO] [stdout] 203 |   thm PROD_TYBIJ1: "prod_tybij1" = 172;
[INFO] [stdout]     |       ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `PROD_TYBIJ2` is never used
[INFO] [stdout]    --> src/mm0/import.rs:204:7
[INFO] [stdout]     |
[INFO] [stdout] 204 |   thm PROD_TYBIJ2: "prod_tybij2" = 173;
[INFO] [stdout]     |       ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `ONE_ONE_THM` is never used
[INFO] [stdout]    --> src/mm0/import.rs:205:7
[INFO] [stdout]     |
[INFO] [stdout] 205 |   thm ONE_ONE_THM: "ONE_ONE" = 192;
[INFO] [stdout]     |       ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `ONTO_THM` is never used
[INFO] [stdout]    --> src/mm0/import.rs:206:7
[INFO] [stdout]     |
[INFO] [stdout] 206 |   thm ONTO_THM: "ONTO" = 197;
[INFO] [stdout]     |       ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `INF` is never used
[INFO] [stdout]    --> src/mm0/import.rs:207:7
[INFO] [stdout]     |
[INFO] [stdout] 207 |   thm INF: "inf" = 198;
[INFO] [stdout]     |       ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 46 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 2.31s
[INFO] running `Command { std: "docker" "inspect" "1a1846d272e90e547af2518f9d979c03ff0961f4fe80617819b2f3fcbd1f6ee2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1a1846d272e90e547af2518f9d979c03ff0961f4fe80617819b2f3fcbd1f6ee2", kill_on_drop: false }`
[INFO] [stdout] 1a1846d272e90e547af2518f9d979c03ff0961f4fe80617819b2f3fcbd1f6ee2
[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=forbid -Copt-level=3" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7c93e6f9a94679f34221d1005849d4c83862f85b14a264fa0883942f4d043a66" "/opt/rustwide/cargo-home/bin/cargo" "+613d1972a772987ed4ee06faccbab0e2fc839871" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 4d8e7010afc6530ccacb9453725998cc4888a20d349e200ac63138df79676a39
[INFO] running `Command { std: "docker" "start" "-a" "4d8e7010afc6530ccacb9453725998cc4888a20d349e200ac63138df79676a39", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `std::collections::HashMap`
[INFO] [stderr]  --> src/mm0/import.rs:2:5
[INFO] [stderr]   |
[INFO] [stderr] 2 | use std::collections::HashMap;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `SortId`
[INFO] [stderr]  --> src/mm0/import.rs:3:18
[INFO] [stderr]   |
[INFO] [stderr] 3 | use crate::mm0::{SortId, TermId, ThmId};
[INFO] [stderr]   |                  ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: constant `WFF` is never used
[INFO] [stderr]    --> src/mm0/import.rs:112:8
[INFO] [stderr]     |
[INFO] [stderr] 112 |   sort WFF: "wff" = 0;
[INFO] [stderr]     |        ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` on by default
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `TYPE` is never used
[INFO] [stderr]    --> src/mm0/import.rs:113:8
[INFO] [stderr]     |
[INFO] [stderr] 113 |   sort TYPE: "type" = 1;
[INFO] [stderr]     |        ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `TERM` is never used
[INFO] [stderr]    --> src/mm0/import.rs:114:8
[INFO] [stderr]     |
[INFO] [stderr] 114 |   sort TERM: "term" = 2;
[INFO] [stderr]     |        ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `MM0_IM` is never used
[INFO] [stderr]    --> src/mm0/import.rs:115:8
[INFO] [stderr]     |
[INFO] [stderr] 115 |   term MM0_IM: "im" = 0;
[INFO] [stderr]     |        ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `MM0_AN` is never used
[INFO] [stderr]    --> src/mm0/import.rs:116:8
[INFO] [stderr]     |
[INFO] [stderr] 116 |   term MM0_AN: "an" = 1;
[INFO] [stderr]     |        ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `TY` is never used
[INFO] [stderr]    --> src/mm0/import.rs:117:8
[INFO] [stderr]     |
[INFO] [stderr] 117 |   term TY: "ty" = 4;
[INFO] [stderr]     |        ^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `THM` is never used
[INFO] [stderr]    --> src/mm0/import.rs:118:8
[INFO] [stderr]     |
[INFO] [stderr] 118 |   term THM: "thm" = 9;
[INFO] [stderr]     |        ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `APP` is never used
[INFO] [stderr]    --> src/mm0/import.rs:119:8
[INFO] [stderr]     |
[INFO] [stderr] 119 |   term APP: "app" = 5;
[INFO] [stderr]     |        ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `LAM` is never used
[INFO] [stderr]    --> src/mm0/import.rs:120:8
[INFO] [stderr]     |
[INFO] [stderr] 120 |   term LAM: "lam" = 6;
[INFO] [stderr]     |        ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `CONJ` is never used
[INFO] [stderr]    --> src/mm0/import.rs:173:7
[INFO] [stderr]     |
[INFO] [stderr] 173 |   thm CONJ: "CONJ" = 72;
[INFO] [stderr]     |       ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `CONJ_PAIR` is never used
[INFO] [stderr]    --> src/mm0/import.rs:174:7
[INFO] [stderr]     |
[INFO] [stderr] 174 |   thm CONJ_PAIR: "CONJ_PAIR" = 73;
[INFO] [stderr]     |       ^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `CONJUNCT1` is never used
[INFO] [stderr]    --> src/mm0/import.rs:175:7
[INFO] [stderr]     |
[INFO] [stderr] 175 |   thm CONJUNCT1: "CONJUNCT1" = 74;
[INFO] [stderr]     |       ^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `CONJUNCT2` is never used
[INFO] [stderr]    --> src/mm0/import.rs:176:7
[INFO] [stderr]     |
[INFO] [stderr] 176 |   thm CONJUNCT2: "CONJUNCT2" = 75;
[INFO] [stderr]     |       ^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `REFL` is never used
[INFO] [stderr]    --> src/mm0/import.rs:177:7
[INFO] [stderr]     |
[INFO] [stderr] 177 |   thm REFL: "refl" = 33;
[INFO] [stderr]     |       ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `AEQ` is never used
[INFO] [stderr]    --> src/mm0/import.rs:178:7
[INFO] [stderr]     |
[INFO] [stderr] 178 |   thm AEQ: "aeq" = 34;
[INFO] [stderr]     |       ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `AEQ1` is never used
[INFO] [stderr]    --> src/mm0/import.rs:179:7
[INFO] [stderr]     |
[INFO] [stderr] 179 |   thm AEQ1: "aeq1" = 35;
[INFO] [stderr]     |       ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `AEQ2` is never used
[INFO] [stderr]    --> src/mm0/import.rs:180:7
[INFO] [stderr]     |
[INFO] [stderr] 180 |   thm AEQ2: "aeq2" = 36;
[INFO] [stderr]     |       ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `MP` is never used
[INFO] [stderr]    --> src/mm0/import.rs:181:7
[INFO] [stderr]     |
[INFO] [stderr] 181 |   thm MP: "MP" = 81;
[INFO] [stderr]     |       ^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `DISCH` is never used
[INFO] [stderr]    --> src/mm0/import.rs:182:7
[INFO] [stderr]     |
[INFO] [stderr] 182 |   thm DISCH: "DISCH" = 82;
[INFO] [stderr]     |       ^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `UNDISCH` is never used
[INFO] [stderr]    --> src/mm0/import.rs:183:7
[INFO] [stderr]     |
[INFO] [stderr] 183 |   thm UNDISCH: "UNDISCH" = 84;
[INFO] [stderr]     |       ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `IMP_ANTISYM` is never used
[INFO] [stderr]    --> src/mm0/import.rs:184:7
[INFO] [stderr]     |
[INFO] [stderr] 184 |   thm IMP_ANTISYM: "IMP_ANTISYM" = 85;
[INFO] [stderr]     |       ^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `EQ_IMP1` is never used
[INFO] [stderr]    --> src/mm0/import.rs:185:7
[INFO] [stderr]     |
[INFO] [stderr] 185 |   thm EQ_IMP1: "EQ_IMP1" = 86;
[INFO] [stderr]     |       ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `EQ_IMP2` is never used
[INFO] [stderr]    --> src/mm0/import.rs:186:7
[INFO] [stderr]     |
[INFO] [stderr] 186 |   thm EQ_IMP2: "EQ_IMP2" = 87;
[INFO] [stderr]     |       ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `IMP_ID` is never used
[INFO] [stderr]    --> src/mm0/import.rs:187:7
[INFO] [stderr]     |
[INFO] [stderr] 187 |   thm IMP_ID: "IMP_ID" = 88;
[INFO] [stderr]     |       ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `IMP_TRANS` is never used
[INFO] [stderr]    --> src/mm0/import.rs:188:7
[INFO] [stderr]     |
[INFO] [stderr] 188 |   thm IMP_TRANS: "IMP_TRANS" = 89;
[INFO] [stderr]     |       ^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `SPEC` is never used
[INFO] [stderr]    --> src/mm0/import.rs:189:7
[INFO] [stderr]     |
[INFO] [stderr] 189 |   thm SPEC: "SPEC" = 97;
[INFO] [stderr]     |       ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `GEN` is never used
[INFO] [stderr]    --> src/mm0/import.rs:190:7
[INFO] [stderr]     |
[INFO] [stderr] 190 |   thm GEN: "GEN" = 98;
[INFO] [stderr]     |       ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `CHOOSE` is never used
[INFO] [stderr]    --> src/mm0/import.rs:191:7
[INFO] [stderr]     |
[INFO] [stderr] 191 |   thm CHOOSE: "CHOOSE" = 111;
[INFO] [stderr]     |       ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `EXISTS` is never used
[INFO] [stderr]    --> src/mm0/import.rs:192:7
[INFO] [stderr]     |
[INFO] [stderr] 192 |   thm EXISTS: "EXISTS" = 113;
[INFO] [stderr]     |       ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `DISJ1` is never used
[INFO] [stderr]    --> src/mm0/import.rs:193:7
[INFO] [stderr]     |
[INFO] [stderr] 193 |   thm DISJ1: "DISJ1" = 132;
[INFO] [stderr]     |       ^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `DISJ2` is never used
[INFO] [stderr]    --> src/mm0/import.rs:194:7
[INFO] [stderr]     |
[INFO] [stderr] 194 |   thm DISJ2: "DISJ2" = 134;
[INFO] [stderr]     |       ^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `DISJ_CASES` is never used
[INFO] [stderr]    --> src/mm0/import.rs:195:7
[INFO] [stderr]     |
[INFO] [stderr] 195 |   thm DISJ_CASES: "DISJ_CASES" = 136;
[INFO] [stderr]     |       ^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `CONTR` is never used
[INFO] [stderr]    --> src/mm0/import.rs:196:7
[INFO] [stderr]     |
[INFO] [stderr] 196 |   thm CONTR: "CONTR" = 140;
[INFO] [stderr]     |       ^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `NOT_ELIM` is never used
[INFO] [stderr]    --> src/mm0/import.rs:197:7
[INFO] [stderr]     |
[INFO] [stderr] 197 |   thm NOT_ELIM: "NOT_ELIM" = 147;
[INFO] [stderr]     |       ^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `NOT_INTRO` is never used
[INFO] [stderr]    --> src/mm0/import.rs:198:7
[INFO] [stderr]     |
[INFO] [stderr] 198 |   thm NOT_INTRO: "NOT_INTRO" = 148;
[INFO] [stderr]     |       ^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `EQF_INTRO` is never used
[INFO] [stderr]    --> src/mm0/import.rs:199:7
[INFO] [stderr]     |
[INFO] [stderr] 199 |   thm EQF_INTRO: "EQF_INTRO" = 149;
[INFO] [stderr]     |       ^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `EQF_ELIM` is never used
[INFO] [stderr]    --> src/mm0/import.rs:200:7
[INFO] [stderr]     |
[INFO] [stderr] 200 |   thm EQF_ELIM: "EQF_ELIM" = 150;
[INFO] [stderr]     |       ^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `NOT_FALSE` is never used
[INFO] [stderr]    --> src/mm0/import.rs:201:7
[INFO] [stderr]     |
[INFO] [stderr] 201 |   thm NOT_FALSE: "NOT_FALSE" = 151;
[INFO] [stderr]     |       ^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `CCONTR` is never used
[INFO] [stderr]    --> src/mm0/import.rs:202:7
[INFO] [stderr]     |
[INFO] [stderr] 202 |   thm CCONTR: "CCONTR" = 162;
[INFO] [stderr]     |       ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `PROD_TYBIJ1` is never used
[INFO] [stderr]    --> src/mm0/import.rs:203:7
[INFO] [stderr]     |
[INFO] [stderr] 203 |   thm PROD_TYBIJ1: "prod_tybij1" = 172;
[INFO] [stderr]     |       ^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `PROD_TYBIJ2` is never used
[INFO] [stderr]    --> src/mm0/import.rs:204:7
[INFO] [stderr]     |
[INFO] [stderr] 204 |   thm PROD_TYBIJ2: "prod_tybij2" = 173;
[INFO] [stderr]     |       ^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `ONE_ONE_THM` is never used
[INFO] [stderr]    --> src/mm0/import.rs:205:7
[INFO] [stderr]     |
[INFO] [stderr] 205 |   thm ONE_ONE_THM: "ONE_ONE" = 192;
[INFO] [stderr]     |       ^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `ONTO_THM` is never used
[INFO] [stderr]    --> src/mm0/import.rs:206:7
[INFO] [stderr]     |
[INFO] [stderr] 206 |   thm ONTO_THM: "ONTO" = 197;
[INFO] [stderr]     |       ^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: constant `INF` is never used
[INFO] [stderr]    --> src/mm0/import.rs:207:7
[INFO] [stderr]     |
[INFO] [stderr] 207 |   thm INF: "inf" = 198;
[INFO] [stderr]     |       ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this warning originates in the macro `build_consts` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: `hz-to-mm0` (bin "hz-to-mm0" test) generated 46 warnings (run `cargo fix --bin "hz-to-mm0" --tests` to apply 2 suggestions)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/hz_to_mm0-c6c1a49cad27e950)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "4d8e7010afc6530ccacb9453725998cc4888a20d349e200ac63138df79676a39", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4d8e7010afc6530ccacb9453725998cc4888a20d349e200ac63138df79676a39", kill_on_drop: false }`
[INFO] [stdout] 4d8e7010afc6530ccacb9453725998cc4888a20d349e200ac63138df79676a39