[INFO] cloning repository https://github.com/lazear/types-and-programming-languages [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/lazear/types-and-programming-languages" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flazear%2Ftypes-and-programming-languages", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flazear%2Ftypes-and-programming-languages'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 0787493713b41639878db206e76d82fa8f29a77a [INFO] checking lazear/types-and-programming-languages against try#7b3da9103634dffd4f4365cfd8642427c781d99f+rustflags=-Dinherent-method-on-receiver for 152214-denied-retry-0 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flazear%2Ftypes-and-programming-languages" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/lazear/types-and-programming-languages [INFO] finished tweaking git repo https://github.com/lazear/types-and-programming-languages [INFO] tweaked toml for git repo https://github.com/lazear/types-and-programming-languages written to /workspace/builds/worker-1-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/lazear/types-and-programming-languages on toolchain 7b3da9103634dffd4f4365cfd8642427c781d99f [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+7b3da9103634dffd4f4365cfd8642427c781d99f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/lazear/types-and-programming-languages 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" "+7b3da9103634dffd4f4365cfd8642427c781d99f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+7b3da9103634dffd4f4365cfd8642427c781d99f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] f34b135a4164edd8c97dd37cc7cd025552bff1c8c7ffc721a6ba1672d460c996 [INFO] running `Command { std: "docker" "start" "-a" "f34b135a4164edd8c97dd37cc7cd025552bff1c8c7ffc721a6ba1672d460c996", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "f34b135a4164edd8c97dd37cc7cd025552bff1c8c7ffc721a6ba1672d460c996", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f34b135a4164edd8c97dd37cc7cd025552bff1c8c7ffc721a6ba1672d460c996", kill_on_drop: false }` [INFO] [stdout] f34b135a4164edd8c97dd37cc7cd025552bff1c8c7ffc721a6ba1672d460c996 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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 -Dinherent-method-on-receiver" "-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:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+7b3da9103634dffd4f4365cfd8642427c781d99f" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 48470e0937142b74c7a256f2ac4110531e69e3bac70f5accb52e7a76eb319ff6 [INFO] running `Command { std: "docker" "start" "-a" "48470e0937142b74c7a256f2ac4110531e69e3bac70f5accb52e7a76eb319ff6", kill_on_drop: false }` [INFO] [stderr] Checking util v0.1.0 (/opt/rustwide/workdir/util) [INFO] [stderr] Checking bidir v0.1.0 (/opt/rustwide/workdir/x1_bidir) [INFO] [stderr] Checking dependent v0.1.0 (/opt/rustwide/workdir/x2_dependent) [INFO] [stdout] warning: unused macro definition: `karrow` [INFO] [stdout] --> x1_bidir/src/helpers.rs:39:14 [INFO] [stdout] | [INFO] [stdout] 39 | macro_rules! karrow { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_macros)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `helpers::*` [INFO] [stdout] --> x1_bidir/src/main.rs:827:9 [INFO] [stdout] | [INFO] [stdout] 827 | use helpers::*; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `ife` [INFO] [stdout] --> x1_bidir/src/helpers.rs:27:14 [INFO] [stdout] | [INFO] [stdout] 27 | macro_rules! ife { [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_macros)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `karrow` [INFO] [stdout] --> x1_bidir/src/helpers.rs:39:14 [INFO] [stdout] | [INFO] [stdout] 39 | macro_rules! karrow { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `case` [INFO] [stdout] --> x1_bidir/src/helpers.rs:54:14 [INFO] [stdout] | [INFO] [stdout] 54 | macro_rules! case { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `proj` [INFO] [stdout] --> x1_bidir/src/helpers.rs:79:14 [INFO] [stdout] | [INFO] [stdout] 79 | macro_rules! proj { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> x2_dependent/src/main.rs:215:6 [INFO] [stdout] | [INFO] [stdout] 215 | }; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(redundant_semicolons)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> util/src/unsafe_arena.rs:108:17 [INFO] [stdout] | [INFO] [stdout] 108 | let mut chunk = self.chunk.get(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `new_cap` is never read [INFO] [stdout] --> util/src/unsafe_arena.rs:353:9 [INFO] [stdout] | [INFO] [stdout] 353 | new_cap = cmp::max(new_cap, 0x1000 / mem::size_of::()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> x1_bidir/src/helpers.rs:117:24 [INFO] [stdout] | [INFO] [stdout] 117 | Type::Univ(k, ty) => format!("forall {}. {}", vc, walk(ty, map)), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> x2_dependent/src/main.rs:215:6 [INFO] [stdout] | [INFO] [stdout] 215 | }; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(redundant_semicolons)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> x1_bidir/src/helpers.rs:117:24 [INFO] [stdout] | [INFO] [stdout] 117 | Type::Univ(k, ty) => format!("forall {}. {}", vc, walk(ty, map)), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> x1_bidir/src/helpers.rs:164:13 [INFO] [stdout] | [INFO] [stdout] 164 | _ => "".into(), [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> x1_bidir/src/helpers.rs:164:13 [INFO] [stdout] | [INFO] [stdout] 134 | Expr::Unit => "()".into(), [INFO] [stdout] | ---------- matches some of the same values [INFO] [stdout] 135 | Expr::True => "true".into(), [INFO] [stdout] | ---------- matches some of the same values [INFO] [stdout] 136 | Expr::False => "false".into(), [INFO] [stdout] | ----------- matches some of the same values [INFO] [stdout] 137 | Expr::Int(i) => format!("{}", i), [INFO] [stdout] | ------------ matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 164 | _ => "".into(), [INFO] [stdout] | ^ ...and 11 other patterns collectively make this unreachable [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> x1_bidir/src/helpers.rs:164:13 [INFO] [stdout] | [INFO] [stdout] 164 | _ => "".into(), [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> x1_bidir/src/helpers.rs:164:13 [INFO] [stdout] | [INFO] [stdout] 134 | Expr::Unit => "()".into(), [INFO] [stdout] | ---------- matches some of the same values [INFO] [stdout] 135 | Expr::True => "true".into(), [INFO] [stdout] | ---------- matches some of the same values [INFO] [stdout] 136 | Expr::False => "false".into(), [INFO] [stdout] | ----------- matches some of the same values [INFO] [stdout] 137 | Expr::Int(i) => format!("{}", i), [INFO] [stdout] | ------------ matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 164 | _ => "".into(), [INFO] [stdout] | ^ ...and 11 other patterns collectively make this unreachable [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused return value of `std::mem::replace` that must be used [INFO] [stdout] --> util/src/arena.rs:204:17 [INFO] [stdout] | [INFO] [stdout] 204 | std::mem::replace(&mut self.data[i], prev); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: if you don't need the old value, you can just assign the new value directly [INFO] [stdout] = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 204 | let _ = std::mem::replace(&mut self.data[i], prev); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inherent methods on types that implement `Deref` or `Receiver` shadow methods of their target [INFO] [stdout] --> util/src/span.rs:69:34 [INFO] [stdout] | [INFO] [stdout] 69 | pub fn map B>(self, f: F) -> Spanned { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 128 | impl std::ops::Deref for Spanned { [INFO] [stdout] | -------------------------------------- trait implemented here [INFO] [stdout] 129 | type Target = T; [INFO] [stdout] | ----------- with `Target` set here [INFO] [stdout] | [INFO] [stdout] = note: requested on the command line with `-D inherent-method-on-receiver` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inherent methods on types that implement `Deref` or `Receiver` shadow methods of their target [INFO] [stdout] --> util/src/span.rs:77:23 [INFO] [stdout] | [INFO] [stdout] 77 | pub fn replace(self, src: V) -> Spanned { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 128 | impl std::ops::Deref for Spanned { [INFO] [stdout] | -------------------------------------- trait implemented here [INFO] [stdout] 129 | type Target = T; [INFO] [stdout] | ----------- with `Target` set here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inherent methods on types that implement `Deref` or `Receiver` shadow methods of their target [INFO] [stdout] --> util/src/span.rs:85:23 [INFO] [stdout] | [INFO] [stdout] 85 | pub fn into_inner(self) -> T { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 128 | impl std::ops::Deref for Spanned { [INFO] [stdout] | -------------------------------------- trait implemented here [INFO] [stdout] 129 | type Target = T; [INFO] [stdout] | ----------- with `Target` set here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inherent methods on types that implement `Deref` or `Receiver` shadow methods of their target [INFO] [stdout] --> util/src/span.rs:90:17 [INFO] [stdout] | [INFO] [stdout] 90 | pub fn span(&self) -> Span { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 128 | impl std::ops::Deref for Spanned { [INFO] [stdout] | -------------------------------------- trait implemented here [INFO] [stdout] 129 | type Target = T; [INFO] [stdout] | ----------- with `Target` set here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inherent methods on types that implement `Deref` or `Receiver` shadow methods of their target [INFO] [stdout] --> util/src/span.rs:95:17 [INFO] [stdout] | [INFO] [stdout] 95 | pub fn data(self) -> T { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 128 | impl std::ops::Deref for Spanned { [INFO] [stdout] | -------------------------------------- trait implemented here [INFO] [stdout] 129 | type Target = T; [INFO] [stdout] | ----------- with `Target` set here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty` [INFO] [stdout] --> x1_bidir/src/helpers.rs:151:36 [INFO] [stdout] | [INFO] [stdout] 151 | Expr::Inj(LR::Left, e, ty) => format!("inl {}", walk(e, map)), [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> x2_dependent/src/main.rs:168:16 [INFO] [stdout] | [INFO] [stdout] 168 | fn beta_reduce(mut term: Term) -> Term { [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> x2_dependent/src/main.rs:170:19 [INFO] [stdout] | [INFO] [stdout] 170 | Term::App(mut abs, arg) => match (abs.normal(), arg.normal()) { [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty` [INFO] [stdout] --> x1_bidir/src/helpers.rs:152:37 [INFO] [stdout] | [INFO] [stdout] 152 | Expr::Inj(LR::Right, e, ty) => format!("inr {}", walk(e, map)), [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `whnf` is never used [INFO] [stdout] --> x2_dependent/src/main.rs:21:8 [INFO] [stdout] | [INFO] [stdout] 12 | impl Term { [INFO] [stdout] | --------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 21 | fn whnf(&self) -> bool { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> x2_dependent/src/main.rs:70:11 [INFO] [stdout] | [INFO] [stdout] 70 | NotPi(Term), [INFO] [stdout] | ----- ^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 70 - NotPi(Term), [INFO] [stdout] 70 + NotPi(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `0` and `1` are never read [INFO] [stdout] --> x2_dependent/src/main.rs:71:14 [INFO] [stdout] | [INFO] [stdout] 71 | Mismatch(Term, Term), [INFO] [stdout] | -------- ^^^^ ^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields [INFO] [stdout] | [INFO] [stdout] 71 - Mismatch(Term, Term), [INFO] [stdout] 71 + Mismatch((), ()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> x2_dependent/src/main.rs:136:23 [INFO] [stdout] | [INFO] [stdout] 136 | Term::Abs(S, t) => { [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T` should have a snake case name [INFO] [stdout] --> x2_dependent/src/main.rs:138:21 [INFO] [stdout] | [INFO] [stdout] 138 | let T = self.with_bind(k.clone(), |f| f.type_of(&t))?; [INFO] [stdout] | ^ help: convert the identifier to snake case: `t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> x2_dependent/src/main.rs:145:30 [INFO] [stdout] | [INFO] [stdout] 145 | Term::Pi(S, mut T) => { [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T` should have a snake case name [INFO] [stdout] --> x2_dependent/src/main.rs:145:37 [INFO] [stdout] | [INFO] [stdout] 145 | Term::Pi(S, mut T) => { [INFO] [stdout] | ^ help: convert the identifier to snake case: `t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty` [INFO] [stdout] --> x1_bidir/src/helpers.rs:151:36 [INFO] [stdout] | [INFO] [stdout] 151 | Expr::Inj(LR::Left, e, ty) => format!("inl {}", walk(e, map)), [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty` [INFO] [stdout] --> x1_bidir/src/helpers.rs:152:37 [INFO] [stdout] | [INFO] [stdout] 152 | Expr::Inj(LR::Right, e, ty) => format!("inr {}", walk(e, map)), [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> x1_bidir/src/main.rs:67:28 [INFO] [stdout] | [INFO] [stdout] 67 | Type::Univ(k, a) => walk(a, vec), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> x1_bidir/src/main.rs:68:27 [INFO] [stdout] | [INFO] [stdout] 68 | Type::Abs(k, a) => walk(a, vec), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> x1_bidir/src/main.rs:97:28 [INFO] [stdout] | [INFO] [stdout] 97 | Type::Univ(k, a) => walk(a, c + 1, s), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> x1_bidir/src/main.rs:98:27 [INFO] [stdout] | [INFO] [stdout] 98 | Type::Abs(k, a) => walk(a, c + 1, s), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> x1_bidir/src/main.rs:127:28 [INFO] [stdout] | [INFO] [stdout] 127 | Type::Univ(k, a) => walk(a, c + 1, f), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> x1_bidir/src/main.rs:128:27 [INFO] [stdout] | [INFO] [stdout] 128 | Type::Abs(k, a) => walk(a, c + 1, f), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `util` (lib test) due to 5 previous errors; 3 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> x1_bidir/src/main.rs:67:28 [INFO] [stdout] | [INFO] [stdout] 67 | Type::Univ(k, a) => walk(a, vec), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> x1_bidir/src/main.rs:68:27 [INFO] [stdout] | [INFO] [stdout] 68 | Type::Abs(k, a) => walk(a, vec), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> x1_bidir/src/main.rs:97:28 [INFO] [stdout] | [INFO] [stdout] 97 | Type::Univ(k, a) => walk(a, c + 1, s), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> x1_bidir/src/main.rs:98:27 [INFO] [stdout] | [INFO] [stdout] 98 | Type::Abs(k, a) => walk(a, c + 1, s), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> x1_bidir/src/main.rs:127:28 [INFO] [stdout] | [INFO] [stdout] 127 | Type::Univ(k, a) => walk(a, c + 1, f), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> x1_bidir/src/main.rs:128:27 [INFO] [stdout] | [INFO] [stdout] 128 | Type::Abs(k, a) => walk(a, c + 1, f), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty` [INFO] [stdout] --> x1_bidir/src/main.rs:358:27 [INFO] [stdout] | [INFO] [stdout] 358 | fn kinding(&mut self, ty: &Type) -> Option { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> x2_dependent/src/main.rs:168:16 [INFO] [stdout] | [INFO] [stdout] 168 | fn beta_reduce(mut term: Term) -> Term { [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> x2_dependent/src/main.rs:170:19 [INFO] [stdout] | [INFO] [stdout] 170 | Term::App(mut abs, arg) => match (abs.normal(), arg.normal()) { [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty` [INFO] [stdout] --> x1_bidir/src/main.rs:358:27 [INFO] [stdout] | [INFO] [stdout] 358 | fn kinding(&mut self, ty: &Type) -> Option { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `whnf` is never used [INFO] [stdout] --> x2_dependent/src/main.rs:21:8 [INFO] [stdout] | [INFO] [stdout] 12 | impl Term { [INFO] [stdout] | --------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 21 | fn whnf(&self) -> bool { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> x2_dependent/src/main.rs:227:5 [INFO] [stdout] | [INFO] [stdout] 227 | dbg!(ctx.type_of(&tm)); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 227 | let _ = dbg!(ctx.type_of(&tm)); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> x2_dependent/src/main.rs:70:11 [INFO] [stdout] | [INFO] [stdout] 70 | NotPi(Term), [INFO] [stdout] | ----- ^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 70 - NotPi(Term), [INFO] [stdout] 70 + NotPi(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `v` [INFO] [stdout] --> x1_bidir/src/main.rs:365:25 [INFO] [stdout] | [INFO] [stdout] 365 | Type::Exist(v) => Ok(()), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> x1_bidir/src/main.rs:432:19 [INFO] [stdout] | [INFO] [stdout] 432 | (Univ(k, a), b) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `v` [INFO] [stdout] --> x1_bidir/src/main.rs:365:25 [INFO] [stdout] | [INFO] [stdout] 365 | Type::Exist(v) => Ok(()), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `0` and `1` are never read [INFO] [stdout] --> x2_dependent/src/main.rs:71:14 [INFO] [stdout] | [INFO] [stdout] 71 | Mismatch(Term, Term), [INFO] [stdout] | -------- ^^^^ ^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields [INFO] [stdout] | [INFO] [stdout] 71 - Mismatch(Term, Term), [INFO] [stdout] 71 + Mismatch((), ()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> x2_dependent/src/main.rs:136:23 [INFO] [stdout] | [INFO] [stdout] 136 | Term::Abs(S, t) => { [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T` should have a snake case name [INFO] [stdout] --> x2_dependent/src/main.rs:138:21 [INFO] [stdout] | [INFO] [stdout] 138 | let T = self.with_bind(k.clone(), |f| f.type_of(&t))?; [INFO] [stdout] | ^ help: convert the identifier to snake case: `t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `S` should have a snake case name [INFO] [stdout] --> x2_dependent/src/main.rs:145:30 [INFO] [stdout] | [INFO] [stdout] 145 | Term::Pi(S, mut T) => { [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T` should have a snake case name [INFO] [stdout] --> x2_dependent/src/main.rs:145:37 [INFO] [stdout] | [INFO] [stdout] 145 | Term::Pi(S, mut T) => { [INFO] [stdout] | ^ help: convert the identifier to snake case: `t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> x1_bidir/src/main.rs:717:24 [INFO] [stdout] | [INFO] [stdout] 717 | Type::Univ(k, a) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g` [INFO] [stdout] --> x1_bidir/src/main.rs:802:9 [INFO] [stdout] | [INFO] [stdout] 802 | let g = app!(h, abs!(var!(0))); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> x1_bidir/src/main.rs:806:9 [INFO] [stdout] | [INFO] [stdout] 806 | let f = ann!(Expr::Int(99), ty); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Arrow` is never constructed [INFO] [stdout] --> x1_bidir/src/main.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 12 | enum Kind { [INFO] [stdout] | ---- variant in this enum [INFO] [stdout] 13 | Star, [INFO] [stdout] 14 | Arrow(Box, Box), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Kind` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Right` is never constructed [INFO] [stdout] --> x1_bidir/src/main.rs:150:5 [INFO] [stdout] | [INFO] [stdout] 148 | enum LR { [INFO] [stdout] | -- variant in this enum [INFO] [stdout] 149 | Left, [INFO] [stdout] 150 | Right, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `LR` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Unit`, `False`, `If`, `Case`, and `Proj` are never constructed [INFO] [stdout] --> x1_bidir/src/main.rs:157:5 [INFO] [stdout] | [INFO] [stdout] 155 | enum Expr { [INFO] [stdout] | ---- variants in this enum [INFO] [stdout] 156 | /// The unit expression, () [INFO] [stdout] 157 | Unit, [INFO] [stdout] | ^^^^ [INFO] [stdout] 158 | True, [INFO] [stdout] 159 | False, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 160 | If(Box, Box, Box), [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 173 | Case(Box, Arm, Arm), [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 177 | Proj(LR, Box), [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> x1_bidir/src/main.rs:432:19 [INFO] [stdout] | [INFO] [stdout] 432 | (Univ(k, a), b) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> x2_dependent/src/main.rs:227:5 [INFO] [stdout] | [INFO] [stdout] 227 | dbg!(ctx.type_of(&tm)); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 227 | let _ = dbg!(ctx.type_of(&tm)); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> util/src/unsafe_arena.rs:108:17 [INFO] [stdout] | [INFO] [stdout] 108 | let mut chunk = self.chunk.get(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Info` is never constructed [INFO] [stdout] --> util/src/unsafe_arena.rs:29:8 [INFO] [stdout] | [INFO] [stdout] 29 | struct Info { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `chunks` is never used [INFO] [stdout] --> util/src/unsafe_arena.rs:81:8 [INFO] [stdout] | [INFO] [stdout] 45 | impl Arena { [INFO] [stdout] | ---------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 81 | fn chunks(&self) -> Vec { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> x1_bidir/src/main.rs:717:24 [INFO] [stdout] | [INFO] [stdout] 717 | Type::Univ(k, a) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `g` [INFO] [stdout] --> x1_bidir/src/main.rs:802:9 [INFO] [stdout] | [INFO] [stdout] 802 | let g = app!(h, abs!(var!(0))); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_g` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> x1_bidir/src/main.rs:806:9 [INFO] [stdout] | [INFO] [stdout] 806 | let f = ann!(Expr::Int(99), ty); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Arrow` is never constructed [INFO] [stdout] --> x1_bidir/src/main.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 12 | enum Kind { [INFO] [stdout] | ---- variant in this enum [INFO] [stdout] 13 | Star, [INFO] [stdout] 14 | Arrow(Box, Box), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Kind` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused return value of `std::mem::replace` that must be used [INFO] [stdout] --> util/src/arena.rs:204:17 [INFO] [stdout] | [INFO] [stdout] 204 | std::mem::replace(&mut self.data[i], prev); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: if you don't need the old value, you can just assign the new value directly [INFO] [stdout] = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 204 | let _ = std::mem::replace(&mut self.data[i], prev); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inherent methods on types that implement `Deref` or `Receiver` shadow methods of their target [INFO] [stdout] --> util/src/span.rs:69:34 [INFO] [stdout] | [INFO] [stdout] 69 | pub fn map B>(self, f: F) -> Spanned { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 128 | impl std::ops::Deref for Spanned { [INFO] [stdout] | -------------------------------------- trait implemented here [INFO] [stdout] 129 | type Target = T; [INFO] [stdout] | ----------- with `Target` set here [INFO] [stdout] | [INFO] [stdout] = note: requested on the command line with `-D inherent-method-on-receiver` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inherent methods on types that implement `Deref` or `Receiver` shadow methods of their target [INFO] [stdout] --> util/src/span.rs:77:23 [INFO] [stdout] | [INFO] [stdout] 77 | pub fn replace(self, src: V) -> Spanned { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 128 | impl std::ops::Deref for Spanned { [INFO] [stdout] | -------------------------------------- trait implemented here [INFO] [stdout] 129 | type Target = T; [INFO] [stdout] | ----------- with `Target` set here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inherent methods on types that implement `Deref` or `Receiver` shadow methods of their target [INFO] [stdout] --> util/src/span.rs:85:23 [INFO] [stdout] | [INFO] [stdout] 85 | pub fn into_inner(self) -> T { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 128 | impl std::ops::Deref for Spanned { [INFO] [stdout] | -------------------------------------- trait implemented here [INFO] [stdout] 129 | type Target = T; [INFO] [stdout] | ----------- with `Target` set here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inherent methods on types that implement `Deref` or `Receiver` shadow methods of their target [INFO] [stdout] --> util/src/span.rs:90:17 [INFO] [stdout] | [INFO] [stdout] 90 | pub fn span(&self) -> Span { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 128 | impl std::ops::Deref for Spanned { [INFO] [stdout] | -------------------------------------- trait implemented here [INFO] [stdout] 129 | type Target = T; [INFO] [stdout] | ----------- with `Target` set here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: inherent methods on types that implement `Deref` or `Receiver` shadow methods of their target [INFO] [stdout] --> util/src/span.rs:95:17 [INFO] [stdout] | [INFO] [stdout] 95 | pub fn data(self) -> T { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 128 | impl std::ops::Deref for Spanned { [INFO] [stdout] | -------------------------------------- trait implemented here [INFO] [stdout] 129 | type Target = T; [INFO] [stdout] | ----------- with `Target` set here [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `util` (lib) due to 5 previous errors; 4 warnings emitted [INFO] running `Command { std: "docker" "inspect" "48470e0937142b74c7a256f2ac4110531e69e3bac70f5accb52e7a76eb319ff6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "48470e0937142b74c7a256f2ac4110531e69e3bac70f5accb52e7a76eb319ff6", kill_on_drop: false }` [INFO] [stdout] 48470e0937142b74c7a256f2ac4110531e69e3bac70f5accb52e7a76eb319ff6