[INFO] cloning repository https://github.com/david-a-wheeler/metamath-knife
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/david-a-wheeler/metamath-knife" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdavid-a-wheeler%2Fmetamath-knife", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdavid-a-wheeler%2Fmetamath-knife'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] d63e26b5ca449f187214d3421fe5440725c331f8
[INFO] checking david-a-wheeler/metamath-knife against master#ceab6128fa48a616bfd3e3adf4bc80133b8ee223 for no-never-type-fallback
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdavid-a-wheeler%2Fmetamath-knife" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/david-a-wheeler/metamath-knife on toolchain ceab6128fa48a616bfd3e3adf4bc80133b8ee223
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ceab6128fa48a616bfd3e3adf4bc80133b8ee223" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/david-a-wheeler/metamath-knife
[INFO] finished tweaking git repo https://github.com/david-a-wheeler/metamath-knife
[INFO] tweaked toml for git repo https://github.com/david-a-wheeler/metamath-knife written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/david-a-wheeler/metamath-knife 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" "+ceab6128fa48a616bfd3e3adf4bc80133b8ee223" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded dot-writer v0.1.3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/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" "+ceab6128fa48a616bfd3e3adf4bc80133b8ee223" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 1c2086cf9d6cdcda01a9275f45205f43b02975b42d7b27cfe689fca962b1b267
[INFO] running `Command { std: "docker" "start" "-a" "1c2086cf9d6cdcda01a9275f45205f43b02975b42d7b27cfe689fca962b1b267", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1c2086cf9d6cdcda01a9275f45205f43b02975b42d7b27cfe689fca962b1b267", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1c2086cf9d6cdcda01a9275f45205f43b02975b42d7b27cfe689fca962b1b267", kill_on_drop: false }`
[INFO] [stdout] 1c2086cf9d6cdcda01a9275f45205f43b02975b42d7b27cfe689fca962b1b267
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+ceab6128fa48a616bfd3e3adf4bc80133b8ee223" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ef6c0dce5806bb0c17f621f04102ac4356f7dc344f5f6055409c59f048b6b826
[INFO] running `Command { std: "docker" "start" "-a" "ef6c0dce5806bb0c17f621f04102ac4356f7dc344f5f6055409c59f048b6b826", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.144
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]     Checking unicode-width v0.1.10
[INFO] [stderr]    Compiling log v0.4.18
[INFO] [stderr]    Compiling time-core v0.1.1
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]     Checking yansi-term v0.1.2
[INFO] [stderr]     Checking regex-syntax v0.7.2
[INFO] [stderr]     Checking either v1.8.1
[INFO] [stderr]     Checking num_threads v0.1.6
[INFO] [stderr]    Compiling time-macros v0.2.9
[INFO] [stderr]     Checking annotate-snippets v0.9.1
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]     Checking itoa v1.0.6
[INFO] [stderr]     Checking itertools v0.12.0
[INFO] [stderr]     Checking tinyvec v1.6.0
[INFO] [stderr]     Checking fnv v1.0.7
[INFO] [stderr]     Checking typed-arena v2.0.2
[INFO] [stderr]     Checking textwrap v0.11.0
[INFO] [stderr]     Checking vec_map v0.8.2
[INFO] [stderr]     Checking bitflags v1.3.2
[INFO] [stderr]     Checking strsim v0.8.0
[INFO] [stderr]     Checking ansi_term v0.12.1
[INFO] [stderr]     Checking assert_matches v1.5.0
[INFO] [stderr]     Checking aho-corasick v1.0.1
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking filetime v0.2.21
[INFO] [stderr]     Checking colored v1.9.3
[INFO] [stderr]     Checking clap v2.34.0
[INFO] [stderr]     Checking time v0.3.21
[INFO] [stderr]     Checking regex v1.8.3
[INFO] [stderr]     Checking simple_logger v1.16.0
[INFO] [stderr]     Checking metamath-rs v0.3.6 (/opt/rustwide/workdir/metamath-rs)
[INFO] [stdout] warning: the item `FromIterator` is imported redundantly
[INFO] [stdout]   --> metamath-rs/src/formula.rs:39:5
[INFO] [stdout]    |
[INFO] [stdout] 39 | use std::iter::FromIterator;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:148:13
[INFO] [stdout]    |
[INFO] [stdout]    = note: the item `FromIterator` is already defined here
[INFO] [stdout]    |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]   --> metamath-rs/src/lib.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 |     unused,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout]    = note: `#[warn(unused_imports)]` implied by `#[warn(unused)]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `TryFrom` is imported redundantly
[INFO] [stdout]  --> metamath-rs/src/line_cache.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use std::convert::TryFrom;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]  --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:148:13
[INFO] [stdout]   |
[INFO] [stdout]   = note: the item `TryFrom` is already defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `Ord` is imported redundantly
[INFO] [stdout]   --> metamath-rs/src/proof.rs:12:21
[INFO] [stdout]    |
[INFO] [stdout] 12 | use std::cmp::{max, Ord, Ordering, PartialOrd};
[INFO] [stdout]    |                     ^^^
[INFO] [stdout]   --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:144:13
[INFO] [stdout]    |
[INFO] [stdout]    = note: the item `Ord` is already defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `PartialOrd` is imported redundantly
[INFO] [stdout]   --> metamath-rs/src/proof.rs:12:36
[INFO] [stdout]    |
[INFO] [stdout] 12 | use std::cmp::{max, Ord, Ordering, PartialOrd};
[INFO] [stdout]    |                                    ^^^^^^^^^^
[INFO] [stdout]   --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:144:13
[INFO] [stdout]    |
[INFO] [stdout]    = note: the item `PartialOrd` is already defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `FromIterator` is imported redundantly
[INFO] [stdout]   --> metamath-rs/src/formula.rs:39:5
[INFO] [stdout]    |
[INFO] [stdout] 39 | use std::iter::FromIterator;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:148:13
[INFO] [stdout]    |
[INFO] [stdout]    = note: the item `FromIterator` is already defined here
[INFO] [stdout]    |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]   --> metamath-rs/src/lib.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 |     unused,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout]    = note: `#[warn(unused_imports)]` implied by `#[warn(unused)]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `TryFrom` is imported redundantly
[INFO] [stdout]  --> metamath-rs/src/line_cache.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use std::convert::TryFrom;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]  --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:148:13
[INFO] [stdout]   |
[INFO] [stdout]   = note: the item `TryFrom` is already defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `Ord` is imported redundantly
[INFO] [stdout]   --> metamath-rs/src/proof.rs:12:21
[INFO] [stdout]    |
[INFO] [stdout] 12 | use std::cmp::{max, Ord, Ordering, PartialOrd};
[INFO] [stdout]    |                     ^^^
[INFO] [stdout]   --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:144:13
[INFO] [stdout]    |
[INFO] [stdout]    = note: the item `Ord` is already defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `PartialOrd` is imported redundantly
[INFO] [stdout]   --> metamath-rs/src/proof.rs:12:36
[INFO] [stdout]    |
[INFO] [stdout] 12 | use std::cmp::{max, Ord, Ordering, PartialOrd};
[INFO] [stdout]    |                                    ^^^^^^^^^^
[INFO] [stdout]   --> /rustc/ceab6128fa48a616bfd3e3adf4bc80133b8ee223/library/std/src/prelude/mod.rs:144:13
[INFO] [stdout]    |
[INFO] [stdout]    = note: the item `PartialOrd` is already defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 4 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking metamath-knife v0.3.6 (/opt/rustwide/workdir/metamath-knife)
[INFO] [stdout] warning: 4 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [optimized + debuginfo] target(s) in 2.78s
[INFO] running `Command { std: "docker" "inspect" "ef6c0dce5806bb0c17f621f04102ac4356f7dc344f5f6055409c59f048b6b826", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ef6c0dce5806bb0c17f621f04102ac4356f7dc344f5f6055409c59f048b6b826", kill_on_drop: false }`
[INFO] [stdout] ef6c0dce5806bb0c17f621f04102ac4356f7dc344f5f6055409c59f048b6b826