[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::<usize>());
[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, F: Fn(T) -> B>(self, f: F) -> Spanned<B> {
[INFO] [stdout]     |                                  ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 128 | impl<T> std::ops::Deref for Spanned<T> {
[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<V>(self, src: V) -> Spanned<V> {
[INFO] [stdout]     |                       ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 128 | impl<T> std::ops::Deref for Spanned<T> {
[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<T> std::ops::Deref for Spanned<T> {
[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<T> std::ops::Deref for Spanned<T> {
[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<T> std::ops::Deref for Spanned<T> {
[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<Kind> {
[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<Kind> {
[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<Kind>, Box<Kind>),
[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<Expr>, Box<Expr>, Box<Expr>),
[INFO] [stdout]     |     ^^
[INFO] [stdout] ...
[INFO] [stdout] 173 |     Case(Box<Expr>, Arm, Arm),
[INFO] [stdout]     |     ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 177 |     Proj(LR, Box<Expr>),
[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<T> Arena<T> {
[INFO] [stdout]    | ---------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 81 |     fn chunks(&self) -> Vec<Info> {
[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<Kind>, Box<Kind>),
[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, F: Fn(T) -> B>(self, f: F) -> Spanned<B> {
[INFO] [stdout]     |                                  ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 128 | impl<T> std::ops::Deref for Spanned<T> {
[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<V>(self, src: V) -> Spanned<V> {
[INFO] [stdout]     |                       ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 128 | impl<T> std::ops::Deref for Spanned<T> {
[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<T> std::ops::Deref for Spanned<T> {
[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<T> std::ops::Deref for Spanned<T> {
[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<T> std::ops::Deref for Spanned<T> {
[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
