[INFO] cloning repository https://github.com/ocornoc/conduit
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ocornoc/conduit" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Focornoc%2Fconduit", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Focornoc%2Fconduit'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 8caa29487231591fad052b849626fa81b2d5479f
[INFO] checking ocornoc/conduit against master#33fdb797f59421c7bbecaa4588ed5d7a31a9494a for pr-87190-3
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Focornoc%2Fconduit" "/workspace/builds/worker-1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/ocornoc/conduit on toolchain 33fdb797f59421c7bbecaa4588ed5d7a31a9494a
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+33fdb797f59421c7bbecaa4588ed5d7a31a9494a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/ocornoc/conduit
[INFO] finished tweaking git repo https://github.com/ocornoc/conduit
[INFO] tweaked toml for git repo https://github.com/ocornoc/conduit written to /workspace/builds/worker-1/source/Cargo.toml
[INFO] crate git repo https://github.com/ocornoc/conduit already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+33fdb797f59421c7bbecaa4588ed5d7a31a9494a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+33fdb797f59421c7bbecaa4588ed5d7a31a9494a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] a8276d22adce5fe2ee21bf3bd838ea906bfd0654e3aca572d300a69dec5d5810
[INFO] running `Command { std: "docker" "start" "-a" "a8276d22adce5fe2ee21bf3bd838ea906bfd0654e3aca572d300a69dec5d5810", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a8276d22adce5fe2ee21bf3bd838ea906bfd0654e3aca572d300a69dec5d5810", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a8276d22adce5fe2ee21bf3bd838ea906bfd0654e3aca572d300a69dec5d5810", kill_on_drop: false }`
[INFO] [stdout] a8276d22adce5fe2ee21bf3bd838ea906bfd0654e3aca572d300a69dec5d5810
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+33fdb797f59421c7bbecaa4588ed5d7a31a9494a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 45e5a3bd99c76c74d30f3b1538a753fb9ba9527180ee8443037440ab81f1b281
[INFO] running `Command { std: "docker" "start" "-a" "45e5a3bd99c76c74d30f3b1538a753fb9ba9527180ee8443037440ab81f1b281", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]     Checking hashbrown v0.9.1
[INFO] [stderr]    Compiling indexmap v1.6.2
[INFO] [stderr]     Checking petgraph v0.5.1
[INFO] [stderr]     Checking conduit v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `coind`
[INFO] [stdout]    --> src/tt/mod.rs:673:36
[INFO] [stdout]     |
[INFO] [stdout] 673 |                     Term::Coiter { coind, args, arg_ty } => todo!(),
[INFO] [stdout]     |                                    ^^^^^ help: try ignoring the field: `coind: _`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `args`
[INFO] [stdout]    --> src/tt/mod.rs:673:43
[INFO] [stdout]     |
[INFO] [stdout] 673 |                     Term::Coiter { coind, args, arg_ty } => todo!(),
[INFO] [stdout]     |                                           ^^^^ help: try ignoring the field: `args: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `arg_ty`
[INFO] [stdout]    --> src/tt/mod.rs:673:49
[INFO] [stdout]     |
[INFO] [stdout] 673 |                     Term::Coiter { coind, args, arg_ty } => todo!(),
[INFO] [stdout]     |                                                 ^^^^^^ help: try ignoring the field: `arg_ty: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `f`
[INFO] [stdout]   --> src/tt/level.rs:74:19
[INFO] [stdout]    |
[INFO] [stdout] 74 |     fn fmt(&self, f: &mut Formatter) -> FmtResult {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_f`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/main.rs:99:9
[INFO] [stdout]    |
[INFO] [stdout] 99 |     let mut iter = Term::Iter {
[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: unused variable: `coind`
[INFO] [stdout]    --> src/tt/mod.rs:673:36
[INFO] [stdout]     |
[INFO] [stdout] 673 |                     Term::Coiter { coind, args, arg_ty } => todo!(),
[INFO] [stdout]     |                                    ^^^^^ help: try ignoring the field: `coind: _`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `args`
[INFO] [stdout]    --> src/tt/mod.rs:673:43
[INFO] [stdout]     |
[INFO] [stdout] 673 |                     Term::Coiter { coind, args, arg_ty } => todo!(),
[INFO] [stdout]     |                                           ^^^^ help: try ignoring the field: `args: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `arg_ty`
[INFO] [stdout]    --> src/tt/mod.rs:673:49
[INFO] [stdout]     |
[INFO] [stdout] 673 |                     Term::Coiter { coind, args, arg_ty } => todo!(),
[INFO] [stdout]     |                                                 ^^^^^^ help: try ignoring the field: `arg_ty: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `f`
[INFO] [stdout]   --> src/tt/level.rs:74:19
[INFO] [stdout]    |
[INFO] [stdout] 74 |     fn fmt(&self, f: &mut Formatter) -> FmtResult {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_f`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/main.rs:99:9
[INFO] [stdout]    |
[INFO] [stdout] 99 |     let mut iter = Term::Iter {
[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: associated function is never used: `add_eq_constraint`
[INFO] [stdout]    --> src/tt/level.rs:105:12
[INFO] [stdout]     |
[INFO] [stdout] 105 |     pub fn add_eq_constraint(&mut self, a: LevelVar, offset0: i32, b: LevelVar, offset1: i32) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `GlobalDef`
[INFO] [stdout]  --> src/tt/mod.rs:8:1
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub type GlobalDef = u32;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Raise`
[INFO] [stdout]    --> src/tt/mod.rs:268:5
[INFO] [stdout]     |
[INFO] [stdout] 268 |     Raise(Term),
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Lower`
[INFO] [stdout]    --> src/tt/mod.rs:442:5
[INFO] [stdout]     |
[INFO] [stdout] 442 |     Lower(Box<Ty>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Elim`
[INFO] [stdout]    --> src/tt/mod.rs:446:5
[INFO] [stdout]     |
[INFO] [stdout] 446 |     Elim(Coind, TorN),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Coiter`
[INFO] [stdout]    --> src/tt/mod.rs:448:5
[INFO] [stdout]     |
[INFO] [stdout] 448 |     Coiter { coind: Coind, args: Vec<Term>, arg_ty: Box<Ty> },
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `get_tor_id`
[INFO] [stdout]    --> src/tt/mod.rs:604:8
[INFO] [stdout]     |
[INFO] [stdout] 604 |     fn get_tor_id(&self) -> TorN {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `sort`
[INFO] [stdout]    --> src/tt/mod.rs:818:12
[INFO] [stdout]     |
[INFO] [stdout] 818 |     pub fn sort(&mut self) -> Ty {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `sort_at_least`
[INFO] [stdout]    --> src/tt/mod.rs:822:12
[INFO] [stdout]     |
[INFO] [stdout] 822 |     pub fn sort_at_least(&mut self, offset: u32) -> Ty {
[INFO] [stdout]     |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `sort_at_most`
[INFO] [stdout]    --> src/tt/mod.rs:826:12
[INFO] [stdout]     |
[INFO] [stdout] 826 |     pub fn sort_at_most(&mut self, offset: u32) -> Ty {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `sort_eq`
[INFO] [stdout]    --> src/tt/mod.rs:832:12
[INFO] [stdout]     |
[INFO] [stdout] 832 |     pub fn sort_eq(&mut self, offset: u32) -> Ty {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `geneq`
[INFO] [stdout]  --> src/main.rs:4:4
[INFO] [stdout]   |
[INFO] [stdout] 4 | fn geneq(ctx: &mut GlobalContext) -> Result<(), TypeErr> {
[INFO] [stdout]   |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 17 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `add_eq_constraint`
[INFO] [stdout]    --> src/tt/level.rs:105:12
[INFO] [stdout]     |
[INFO] [stdout] 105 |     pub fn add_eq_constraint(&mut self, a: LevelVar, offset0: i32, b: LevelVar, offset1: i32) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `GlobalDef`
[INFO] [stdout]  --> src/tt/mod.rs:8:1
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub type GlobalDef = u32;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Raise`
[INFO] [stdout]    --> src/tt/mod.rs:268:5
[INFO] [stdout]     |
[INFO] [stdout] 268 |     Raise(Term),
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Lower`
[INFO] [stdout]    --> src/tt/mod.rs:442:5
[INFO] [stdout]     |
[INFO] [stdout] 442 |     Lower(Box<Ty>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Elim`
[INFO] [stdout]    --> src/tt/mod.rs:446:5
[INFO] [stdout]     |
[INFO] [stdout] 446 |     Elim(Coind, TorN),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Coiter`
[INFO] [stdout]    --> src/tt/mod.rs:448:5
[INFO] [stdout]     |
[INFO] [stdout] 448 |     Coiter { coind: Coind, args: Vec<Term>, arg_ty: Box<Ty> },
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `get_tor_id`
[INFO] [stdout]    --> src/tt/mod.rs:604:8
[INFO] [stdout]     |
[INFO] [stdout] 604 |     fn get_tor_id(&self) -> TorN {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `sort`
[INFO] [stdout]    --> src/tt/mod.rs:818:12
[INFO] [stdout]     |
[INFO] [stdout] 818 |     pub fn sort(&mut self) -> Ty {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `sort_at_least`
[INFO] [stdout]    --> src/tt/mod.rs:822:12
[INFO] [stdout]     |
[INFO] [stdout] 822 |     pub fn sort_at_least(&mut self, offset: u32) -> Ty {
[INFO] [stdout]     |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `sort_at_most`
[INFO] [stdout]    --> src/tt/mod.rs:826:12
[INFO] [stdout]     |
[INFO] [stdout] 826 |     pub fn sort_at_most(&mut self, offset: u32) -> Ty {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `sort_eq`
[INFO] [stdout]    --> src/tt/mod.rs:832:12
[INFO] [stdout]     |
[INFO] [stdout] 832 |     pub fn sort_eq(&mut self, offset: u32) -> Ty {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `geneq`
[INFO] [stdout]  --> src/main.rs:4:4
[INFO] [stdout]   |
[INFO] [stdout] 4 | fn geneq(ctx: &mut GlobalContext) -> Result<(), TypeErr> {
[INFO] [stdout]   |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 17 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 4.35s
[INFO] running `Command { std: "docker" "inspect" "45e5a3bd99c76c74d30f3b1538a753fb9ba9527180ee8443037440ab81f1b281", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "45e5a3bd99c76c74d30f3b1538a753fb9ba9527180ee8443037440ab81f1b281", kill_on_drop: false }`
[INFO] [stdout] 45e5a3bd99c76c74d30f3b1538a753fb9ba9527180ee8443037440ab81f1b281