[INFO] cloning repository https://github.com/quill-lang/quill
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/quill-lang/quill" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquill-lang%2Fquill", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquill-lang%2Fquill'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 2f6e3231eedf66ce35e13865d55d2f3922f27825
[INFO] checking quill-lang/quill against try#0611f7de057c584b8771102fde7aed6c70c71d3b for pr-146440
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquill-lang%2Fquill" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/quill-lang/quill
[INFO] finished tweaking git repo https://github.com/quill-lang/quill
[INFO] tweaked toml for git repo https://github.com/quill-lang/quill written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/quill-lang/quill on toolchain 0611f7de057c584b8771102fde7aed6c70c71d3b
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0611f7de057c584b8771102fde7aed6c70c71d3b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0611f7de057c584b8771102fde7aed6c70c71d3b" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 63 packages to latest compatible versions
[INFO] [stderr]       Adding internment v0.7.5 (available: v0.8.6)
[INFO] [stderr]       Adding miette v5.10.0 (available: v7.6.0)
[INFO] [stderr]       Adding thiserror v1.0.69 (available: v2.0.18)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0611f7de057c584b8771102fde7aed6c70c71d3b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0611f7de057c584b8771102fde7aed6c70c71d3b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] b11581222197bd3fdad71b62716fa00c7aab1754b95058e96653556be87b9c6c
[INFO] running `Command { std: "docker" "start" "-a" "b11581222197bd3fdad71b62716fa00c7aab1754b95058e96653556be87b9c6c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b11581222197bd3fdad71b62716fa00c7aab1754b95058e96653556be87b9c6c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b11581222197bd3fdad71b62716fa00c7aab1754b95058e96653556be87b9c6c", kill_on_drop: false }`
[INFO] [stdout] b11581222197bd3fdad71b62716fa00c7aab1754b95058e96653556be87b9c6c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0611f7de057c584b8771102fde7aed6c70c71d3b" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 00c37a077c68168300c4fca2848b6f532866016e0bf197a977a142594524dd18
[INFO] running `Command { std: "docker" "start" "-a" "00c37a077c68168300c4fca2848b6f532866016e0bf197a977a142594524dd18", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]     Checking is-terminal v0.4.17
[INFO] [stderr]     Checking memchr v2.8.0
[INFO] [stderr]     Checking rustc-demangle v0.1.27
[INFO] [stderr]     Checking is_ci v1.2.0
[INFO] [stderr]     Checking unicode-linebreak v0.1.5
[INFO] [stderr]     Checking smawk v0.3.2
[INFO] [stderr]     Checking terminal_size v0.1.17
[INFO] [stderr]     Checking supports-unicode v2.1.0
[INFO] [stderr]     Checking supports-color v2.1.0
[INFO] [stderr]     Checking supports-hyperlinks v2.1.0
[INFO] [stderr]     Checking owo-colors v3.5.0
[INFO] [stderr]     Checking ahash v0.8.12
[INFO] [stderr]     Checking tracing-subscriber v0.3.23
[INFO] [stderr]     Checking textwrap v0.15.2
[INFO] [stderr]     Checking hashbrown v0.14.5
[INFO] [stderr]     Checking object v0.37.3
[INFO] [stderr]     Checking internment v0.7.5
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling miette-derive v5.10.0
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]     Checking backtrace v0.3.76
[INFO] [stderr]     Checking backtrace-ext v0.2.1
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]     Checking thiserror v1.0.69
[INFO] [stderr]     Checking miette v5.10.0
[INFO] [stderr]     Checking diagnostic v0.0.0 (/opt/rustwide/workdir/diagnostic)
[INFO] [stdout] warning: the feature `trait_upcasting` has been stable since 1.86.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> diagnostic/src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(trait_upcasting)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `trait_upcasting` has been stable since 1.86.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> diagnostic/src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(trait_upcasting)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking files v0.0.0 (/opt/rustwide/workdir/files)
[INFO] [stderr]     Checking parse v0.0.0 (/opt/rustwide/workdir/parse)
[INFO] [stderr]     Checking db v0.0.0 (/opt/rustwide/workdir/db)
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> parse/src/term.rs:332:34
[INFO] [stdout]     |
[INFO] [stdout] 332 |                     Some(_tt) => Dr::new_err(
[INFO] [stdout]     |                                  ^^^^^^^^^^^ unreachable call
[INFO] [stdout] 333 |                         todo!(),
[INFO] [stdout]     |                         ------- any code following this expression is unreachable
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> parse/src/term.rs:343:50
[INFO] [stdout]     |
[INFO] [stdout] 343 |                         Some((_open, _close)) => Dr::new_err(
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ unreachable call
[INFO] [stdout] 344 |                             todo!(),
[INFO] [stdout]     |                             ------- any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> parse/src/term.rs:399:25
[INFO] [stdout]     |
[INFO] [stdout] 399 |             Some(tt) => Dr::new_err(
[INFO] [stdout]     |                         ^^^^^^^^^^^ unreachable call
[INFO] [stdout] 400 |                 todo!(),
[INFO] [stdout]     |                 ------- any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tt`
[INFO] [stdout]    --> parse/src/term.rs:399:18
[INFO] [stdout]     |
[INFO] [stdout] 399 |             Some(tt) => Dr::new_err(
[INFO] [stdout]     |                  ^^ help: if this is intentional, prefix it with an underscore: `_tt`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> parse/src/term.rs:568:45
[INFO] [stdout]     |
[INFO] [stdout] 568 |             PTerm::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stdout]     |                                             ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> parse/src/term.rs:568:51
[INFO] [stdout]     |
[INFO] [stdout] 568 |             PTerm::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stdout]     |                                                   ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `token`
[INFO] [stdout]    --> parse/src/term.rs:570:17
[INFO] [stdout]     |
[INFO] [stdout] 570 |                 token,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `token: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> parse/src/term.rs:571:17
[INFO] [stdout]     |
[INFO] [stdout] 571 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_span`
[INFO] [stdout]    --> parse/src/term.rs:572:17
[INFO] [stdout]     |
[INFO] [stdout] 572 |                 variable_span,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> parse/src/term.rs:573:17
[INFO] [stdout]     |
[INFO] [stdout] 573 |                 value,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> parse/src/term.rs:575:44
[INFO] [stdout]     |
[INFO] [stdout] 575 |             PTerm::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stdout]     |                                            ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> parse/src/term.rs:575:50
[INFO] [stdout]     |
[INFO] [stdout] 575 |             PTerm::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stdout]     |                                                  ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> parse/src/term.rs:332:34
[INFO] [stdout]     |
[INFO] [stdout] 332 |                     Some(_tt) => Dr::new_err(
[INFO] [stdout]     |                                  ^^^^^^^^^^^ unreachable call
[INFO] [stdout] 333 |                         todo!(),
[INFO] [stdout]     |                         ------- any code following this expression is unreachable
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> parse/src/term.rs:343:50
[INFO] [stdout]     |
[INFO] [stdout] 343 |                         Some((_open, _close)) => Dr::new_err(
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ unreachable call
[INFO] [stdout] 344 |                             todo!(),
[INFO] [stdout]     |                             ------- any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> parse/src/term.rs:399:25
[INFO] [stdout]     |
[INFO] [stdout] 399 |             Some(tt) => Dr::new_err(
[INFO] [stdout]     |                         ^^^^^^^^^^^ unreachable call
[INFO] [stdout] 400 |                 todo!(),
[INFO] [stdout]     |                 ------- any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `token`
[INFO] [stdout]    --> parse/src/ty.rs:398:17
[INFO] [stdout]     |
[INFO] [stdout] 398 |                 token,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `token: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> parse/src/ty.rs:399:17
[INFO] [stdout]     |
[INFO] [stdout] 399 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_span`
[INFO] [stdout]    --> parse/src/ty.rs:400:17
[INFO] [stdout]     |
[INFO] [stdout] 400 |                 variable_span,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> parse/src/ty.rs:401:17
[INFO] [stdout]     |
[INFO] [stdout] 401 |                 result,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DeBruijnIndex` is never constructed
[INFO] [stdout]  --> parse/src/de_bruijn.rs:7:12
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub struct DeBruijnIndex(u32);
[INFO] [stdout]   |            ^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `zero`, `succ`, `pred`, and `value` are never used
[INFO] [stdout]   --> parse/src/de_bruijn.rs:18:12
[INFO] [stdout]    |
[INFO] [stdout] 15 | impl DeBruijnIndex {
[INFO] [stdout]    | ------------------ associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 18 |     pub fn new(idx: u32) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 23 |     pub fn zero() -> DeBruijnIndex {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 28 |     pub fn succ(self) -> DeBruijnIndex {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 33 |     pub fn pred(self) -> DeBruijnIndex {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 37 |     pub fn value(self) -> u32 {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DeBruijnOffset` is never constructed
[INFO] [stdout]   --> parse/src/de_bruijn.rs:44:12
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub struct DeBruijnOffset(u32);
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `zero`, `succ`, and `new` are never used
[INFO] [stdout]   --> parse/src/de_bruijn.rs:48:12
[INFO] [stdout]    |
[INFO] [stdout] 46 | impl DeBruijnOffset {
[INFO] [stdout]    | ------------------- associated items in this implementation
[INFO] [stdout] 47 |     /// The zero offset.
[INFO] [stdout] 48 |     pub fn zero() -> DeBruijnOffset {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 53 |     pub fn succ(self) -> DeBruijnOffset {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 57 |     pub fn new(offset: u32) -> DeBruijnOffset {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `WithProvenance` is never constructed
[INFO] [stdout]   --> parse/src/provenance.rs:52:12
[INFO] [stdout]    |
[INFO] [stdout] 52 | pub struct WithProvenance<T> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `new_synthetic` and `new` are never used
[INFO] [stdout]   --> parse/src/provenance.rs:60:12
[INFO] [stdout]    |
[INFO] [stdout] 59 | impl<T> WithProvenance<T> {
[INFO] [stdout]    | ------------------------- associated functions in this implementation
[INFO] [stdout] 60 |     pub fn new_synthetic(contents: T) -> Self {
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 67 |     pub fn new(provenance: Provenance, contents: T) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> parse/src/parser.rs:201:19
[INFO] [stdout]     |
[INFO] [stdout] 201 |     pub fn config(&self) -> &'a ParserConfiguration {
[INFO] [stdout]     |                   ^^^^^         ^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 201 |     pub fn config(&self) -> &'a ParserConfiguration<'_> {
[INFO] [stdout]     |                                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking elab v0.0.0 (/opt/rustwide/workdir/elab)
[INFO] [stdout] warning: unused variable: `argument`
[INFO] [stdout]    --> elab/src/lib.rs:403:33
[INFO] [stdout]     |
[INFO] [stdout] 403 |             Kind::Constructor { argument, result } => todo!(),
[INFO] [stdout]     |                                 ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:403:43
[INFO] [stdout]     |
[INFO] [stdout] 403 |             Kind::Constructor { argument, result } => todo!(),
[INFO] [stdout]     |                                           ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `region`
[INFO] [stdout]    --> elab/src/lib.rs:418:28
[INFO] [stdout]     |
[INFO] [stdout] 418 |             Type::Borrow { region, ty } => todo!(),
[INFO] [stdout]     |                            ^^^^^^ help: try ignoring the field: `region: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> elab/src/lib.rs:418:36
[INFO] [stdout]     |
[INFO] [stdout] 418 |             Type::Borrow { region, ty } => todo!(),
[INFO] [stdout]     |                                    ^^ help: try ignoring the field: `ty: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `kind`
[INFO] [stdout]    --> elab/src/lib.rs:420:17
[INFO] [stdout]     |
[INFO] [stdout] 420 |                 kind,
[INFO] [stdout]     |                 ^^^^ help: try ignoring the field: `kind: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `region`
[INFO] [stdout]    --> elab/src/lib.rs:422:17
[INFO] [stdout]     |
[INFO] [stdout] 422 |                 region,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `region: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:428:27
[INFO] [stdout]     |
[INFO] [stdout] 428 |             Type::Apply { left, right } => todo!(),
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:428:33
[INFO] [stdout]     |
[INFO] [stdout] 428 |             Type::Apply { left, right } => todo!(),
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:437:32
[INFO] [stdout]     |
[INFO] [stdout] 437 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stdout]     |                                ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:437:42
[INFO] [stdout]     |
[INFO] [stdout] 437 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stdout]     |                                          ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> elab/src/lib.rs:451:30
[INFO] [stdout]     |
[INFO] [stdout] 451 |             Term::Variable { name } => todo!(),
[INFO] [stdout]     |                              ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> elab/src/lib.rs:452:35
[INFO] [stdout]     |
[INFO] [stdout] 452 |             Term::QualifiedName { name } => todo!(),
[INFO] [stdout]     |                                   ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:453:27
[INFO] [stdout]     |
[INFO] [stdout] 453 |             Term::Equal { left, right } => todo!(),
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:453:33
[INFO] [stdout]     |
[INFO] [stdout] 453 |             Term::Equal { left, right } => todo!(),
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> elab/src/lib.rs:454:28
[INFO] [stdout]     |
[INFO] [stdout] 454 |             Term::Borrow { value } => todo!(),
[INFO] [stdout]     |                            ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `kind`
[INFO] [stdout]    --> elab/src/lib.rs:456:17
[INFO] [stdout]     |
[INFO] [stdout] 456 |                 kind,
[INFO] [stdout]     |                 ^^^^ help: try ignoring the field: `kind: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `argument`
[INFO] [stdout]    --> elab/src/lib.rs:457:17
[INFO] [stdout]     |
[INFO] [stdout] 457 |                 argument,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `argument_ty`
[INFO] [stdout]    --> elab/src/lib.rs:458:17
[INFO] [stdout]     |
[INFO] [stdout] 458 |                 argument_ty,
[INFO] [stdout]     |                 ^^^^^^^^^^^ help: try ignoring the field: `argument_ty: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:459:17
[INFO] [stdout]     |
[INFO] [stdout] 459 |                 result,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:461:27
[INFO] [stdout]     |
[INFO] [stdout] 461 |             Term::Apply { left, right } => todo!(),
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:461:33
[INFO] [stdout]     |
[INFO] [stdout] 461 |             Term::Apply { left, right } => todo!(),
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:463:17
[INFO] [stdout]     |
[INFO] [stdout] 463 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_kind`
[INFO] [stdout]    --> elab/src/lib.rs:464:17
[INFO] [stdout]     |
[INFO] [stdout] 464 |                 variable_kind,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_kind: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> elab/src/lib.rs:465:17
[INFO] [stdout]     |
[INFO] [stdout] 465 |                 value,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:467:44
[INFO] [stdout]     |
[INFO] [stdout] 467 |             Term::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stdout]     |                                            ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:467:50
[INFO] [stdout]     |
[INFO] [stdout] 467 |             Term::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stdout]     |                                                  ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:468:32
[INFO] [stdout]     |
[INFO] [stdout] 468 |             Term::Polyregion { variable, value } => todo!(),
[INFO] [stdout]     |                                ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> elab/src/lib.rs:468:42
[INFO] [stdout]     |
[INFO] [stdout] 468 |             Term::Polyregion { variable, value } => todo!(),
[INFO] [stdout]     |                                          ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:469:43
[INFO] [stdout]     |
[INFO] [stdout] 469 |             Term::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stdout]     |                                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:469:49
[INFO] [stdout]     |
[INFO] [stdout] 469 |             Term::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stdout]     |                                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `argument`
[INFO] [stdout]    --> elab/src/lib.rs:480:46
[INFO] [stdout]     |
[INFO] [stdout] 480 |             (Kind::Type, Kind::Constructor { argument, result }) => todo!(),
[INFO] [stdout]     |                                              ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:480:56
[INFO] [stdout]     |
[INFO] [stdout] 480 |             (Kind::Type, Kind::Constructor { argument, result }) => todo!(),
[INFO] [stdout]     |                                                        ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `argument`
[INFO] [stdout]    --> elab/src/lib.rs:481:34
[INFO] [stdout]     |
[INFO] [stdout] 481 |             (Kind::Constructor { argument, result }, Kind::Type) => todo!(),
[INFO] [stdout]     |                                  ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:481:44
[INFO] [stdout]     |
[INFO] [stdout] 481 |             (Kind::Constructor { argument, result }, Kind::Type) => todo!(),
[INFO] [stdout]     |                                            ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left_argument`
[INFO] [stdout]    --> elab/src/lib.rs:484:31
[INFO] [stdout]     |
[INFO] [stdout] 484 |                     argument: left_argument,
[INFO] [stdout]     |                               ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_left_argument`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left_result`
[INFO] [stdout]    --> elab/src/lib.rs:485:29
[INFO] [stdout]     |
[INFO] [stdout] 485 |                     result: left_result,
[INFO] [stdout]     |                             ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_left_result`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right_argument`
[INFO] [stdout]    --> elab/src/lib.rs:488:31
[INFO] [stdout]     |
[INFO] [stdout] 488 |                     argument: right_argument,
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_right_argument`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right_result`
[INFO] [stdout]    --> elab/src/lib.rs:489:29
[INFO] [stdout]     |
[INFO] [stdout] 489 |                     result: right_result,
[INFO] [stdout]     |                             ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_right_result`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> elab/src/lib.rs:539:35
[INFO] [stdout]     |
[INFO] [stdout] 539 |             Type::QualifiedName { name } => todo!(),
[INFO] [stdout]     |                                   ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:541:27
[INFO] [stdout]     |
[INFO] [stdout] 541 |             Type::Apply { left, right } => todo!(),
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:541:33
[INFO] [stdout]     |
[INFO] [stdout] 541 |             Type::Apply { left, right } => todo!(),
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:543:17
[INFO] [stdout]     |
[INFO] [stdout] 543 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_kind`
[INFO] [stdout]    --> elab/src/lib.rs:544:17
[INFO] [stdout]     |
[INFO] [stdout] 544 |                 variable_kind,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_kind: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:545:17
[INFO] [stdout]     |
[INFO] [stdout] 545 |                 result,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:547:32
[INFO] [stdout]     |
[INFO] [stdout] 547 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stdout]     |                                ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:547:42
[INFO] [stdout]     |
[INFO] [stdout] 547 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stdout]     |                                          ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `index`
[INFO] [stdout]    --> elab/src/lib.rs:548:34
[INFO] [stdout]     |
[INFO] [stdout] 548 |             Type::Metavariable { index } => todo!(),
[INFO] [stdout]     |                                  ^^^^^ help: try ignoring the field: `index: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> elab/src/lib.rs:561:31
[INFO] [stdout]     |
[INFO] [stdout] 561 |             PKind::Metakind { span, name } => {
[INFO] [stdout]     |                               ^^^^ help: try ignoring the field: `span: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> elab/src/lib.rs:561:37
[INFO] [stdout]     |
[INFO] [stdout] 561 |             PKind::Metakind { span, name } => {
[INFO] [stdout]     |                                     ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `context`
[INFO] [stdout]    --> elab/src/lib.rs:569:9
[INFO] [stdout]     |
[INFO] [stdout] 569 |         context: &Context,
[INFO] [stdout]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `region`
[INFO] [stdout]    --> elab/src/lib.rs:570:9
[INFO] [stdout]     |
[INFO] [stdout] 570 |         region: &PRegion,
[INFO] [stdout]     |         ^^^^^^ help: if this is intentional, prefix it with an underscore: `_region`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `borrow`
[INFO] [stdout]    --> elab/src/lib.rs:593:29
[INFO] [stdout]     |
[INFO] [stdout] 593 |             PType::Borrow { borrow, region, ty } => todo!(),
[INFO] [stdout]     |                             ^^^^^^ help: try ignoring the field: `borrow: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `region`
[INFO] [stdout]    --> elab/src/lib.rs:593:37
[INFO] [stdout]     |
[INFO] [stdout] 593 |             PType::Borrow { borrow, region, ty } => todo!(),
[INFO] [stdout]     |                                     ^^^^^^ help: try ignoring the field: `region: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> elab/src/lib.rs:593:45
[INFO] [stdout]     |
[INFO] [stdout] 593 |             PType::Borrow { borrow, region, ty } => todo!(),
[INFO] [stdout]     |                                             ^^ help: try ignoring the field: `ty: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:620:28
[INFO] [stdout]     |
[INFO] [stdout] 620 |             PType::Apply { left, right } => todo!(),
[INFO] [stdout]     |                            ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:620:34
[INFO] [stdout]     |
[INFO] [stdout] 620 |             PType::Apply { left, right } => todo!(),
[INFO] [stdout]     |                                  ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `token`
[INFO] [stdout]    --> elab/src/lib.rs:656:17
[INFO] [stdout]     |
[INFO] [stdout] 656 |                 token,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `token: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:657:17
[INFO] [stdout]     |
[INFO] [stdout] 657 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_span`
[INFO] [stdout]    --> elab/src/lib.rs:658:17
[INFO] [stdout]     |
[INFO] [stdout] 658 |                 variable_span,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:659:17
[INFO] [stdout]     |
[INFO] [stdout] 659 |                 result,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `context`
[INFO] [stdout]    --> elab/src/lib.rs:667:9
[INFO] [stdout]     |
[INFO] [stdout] 667 |         context: &Context,
[INFO] [stdout]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking quill v0.0.0 (/opt/rustwide/workdir/quill)
[INFO] [stdout] error: struct `ParseError` is never constructed
[INFO] [stdout]  --> quill/src/main.rs:9:12
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub struct ParseError {
[INFO] [stdout]   |            ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout]   = note: `#[deny(unused_unconstructable_pub_struct)]` (part of `#[deny(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tt`
[INFO] [stdout]    --> parse/src/term.rs:399:18
[INFO] [stdout]     |
[INFO] [stdout] 399 |             Some(tt) => Dr::new_err(
[INFO] [stdout]     |                  ^^ help: if this is intentional, prefix it with an underscore: `_tt`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `quill` (bin "quill" test) due to 1 previous error
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> parse/src/term.rs:568:45
[INFO] [stdout]     |
[INFO] [stdout] 568 |             PTerm::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stdout]     |                                             ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> parse/src/term.rs:568:51
[INFO] [stdout]     |
[INFO] [stdout] 568 |             PTerm::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stdout]     |                                                   ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `token`
[INFO] [stdout]    --> parse/src/term.rs:570:17
[INFO] [stdout]     |
[INFO] [stdout] 570 |                 token,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `token: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> parse/src/term.rs:571:17
[INFO] [stdout]     |
[INFO] [stdout] 571 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_span`
[INFO] [stdout]    --> parse/src/term.rs:572:17
[INFO] [stdout]     |
[INFO] [stdout] 572 |                 variable_span,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> parse/src/term.rs:573:17
[INFO] [stdout]     |
[INFO] [stdout] 573 |                 value,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> parse/src/term.rs:575:44
[INFO] [stdout]     |
[INFO] [stdout] 575 |             PTerm::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stdout]     |                                            ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> parse/src/term.rs:575:50
[INFO] [stdout]     |
[INFO] [stdout] 575 |             PTerm::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stdout]     |                                                  ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `ParseError` is never constructed
[INFO] [stdout]  --> quill/src/main.rs:9:12
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub struct ParseError {
[INFO] [stdout]   |            ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout]   = note: `#[deny(unused_unconstructable_pub_struct)]` (part of `#[deny(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `quill` (bin "quill") due to 1 previous error
[INFO] [stdout] warning: unused variable: `token`
[INFO] [stdout]    --> parse/src/ty.rs:398:17
[INFO] [stdout]     |
[INFO] [stdout] 398 |                 token,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `token: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> parse/src/ty.rs:399:17
[INFO] [stdout]     |
[INFO] [stdout] 399 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_span`
[INFO] [stdout]    --> parse/src/ty.rs:400:17
[INFO] [stdout]     |
[INFO] [stdout] 400 |                 variable_span,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> parse/src/ty.rs:401:17
[INFO] [stdout]     |
[INFO] [stdout] 401 |                 result,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DeBruijnIndex` is never constructed
[INFO] [stdout]  --> parse/src/de_bruijn.rs:7:12
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub struct DeBruijnIndex(u32);
[INFO] [stdout]   |            ^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `zero`, `succ`, `pred`, and `value` are never used
[INFO] [stdout]   --> parse/src/de_bruijn.rs:18:12
[INFO] [stdout]    |
[INFO] [stdout] 15 | impl DeBruijnIndex {
[INFO] [stdout]    | ------------------ associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 18 |     pub fn new(idx: u32) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 23 |     pub fn zero() -> DeBruijnIndex {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 28 |     pub fn succ(self) -> DeBruijnIndex {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 33 |     pub fn pred(self) -> DeBruijnIndex {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 37 |     pub fn value(self) -> u32 {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DeBruijnOffset` is never constructed
[INFO] [stdout]   --> parse/src/de_bruijn.rs:44:12
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub struct DeBruijnOffset(u32);
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `zero`, `succ`, and `new` are never used
[INFO] [stdout]   --> parse/src/de_bruijn.rs:48:12
[INFO] [stdout]    |
[INFO] [stdout] 46 | impl DeBruijnOffset {
[INFO] [stdout]    | ------------------- associated items in this implementation
[INFO] [stdout] 47 |     /// The zero offset.
[INFO] [stdout] 48 |     pub fn zero() -> DeBruijnOffset {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 53 |     pub fn succ(self) -> DeBruijnOffset {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 57 |     pub fn new(offset: u32) -> DeBruijnOffset {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `WithProvenance` is never constructed
[INFO] [stdout]   --> parse/src/provenance.rs:52:12
[INFO] [stdout]    |
[INFO] [stdout] 52 | pub struct WithProvenance<T> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `new_synthetic` and `new` are never used
[INFO] [stdout]   --> parse/src/provenance.rs:60:12
[INFO] [stdout]    |
[INFO] [stdout] 59 | impl<T> WithProvenance<T> {
[INFO] [stdout]    | ------------------------- associated functions in this implementation
[INFO] [stdout] 60 |     pub fn new_synthetic(contents: T) -> Self {
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 67 |     pub fn new(provenance: Provenance, contents: T) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> parse/src/parser.rs:201:19
[INFO] [stdout]     |
[INFO] [stdout] 201 |     pub fn config(&self) -> &'a ParserConfiguration {
[INFO] [stdout]     |                   ^^^^^         ^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 201 |     pub fn config(&self) -> &'a ParserConfiguration<'_> {
[INFO] [stdout]     |                                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `argument`
[INFO] [stdout]    --> elab/src/lib.rs:403:33
[INFO] [stdout]     |
[INFO] [stdout] 403 |             Kind::Constructor { argument, result } => todo!(),
[INFO] [stdout]     |                                 ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:403:43
[INFO] [stdout]     |
[INFO] [stdout] 403 |             Kind::Constructor { argument, result } => todo!(),
[INFO] [stdout]     |                                           ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `region`
[INFO] [stdout]    --> elab/src/lib.rs:418:28
[INFO] [stdout]     |
[INFO] [stdout] 418 |             Type::Borrow { region, ty } => todo!(),
[INFO] [stdout]     |                            ^^^^^^ help: try ignoring the field: `region: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> elab/src/lib.rs:418:36
[INFO] [stdout]     |
[INFO] [stdout] 418 |             Type::Borrow { region, ty } => todo!(),
[INFO] [stdout]     |                                    ^^ help: try ignoring the field: `ty: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `kind`
[INFO] [stdout]    --> elab/src/lib.rs:420:17
[INFO] [stdout]     |
[INFO] [stdout] 420 |                 kind,
[INFO] [stdout]     |                 ^^^^ help: try ignoring the field: `kind: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `region`
[INFO] [stdout]    --> elab/src/lib.rs:422:17
[INFO] [stdout]     |
[INFO] [stdout] 422 |                 region,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `region: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:428:27
[INFO] [stdout]     |
[INFO] [stdout] 428 |             Type::Apply { left, right } => todo!(),
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:428:33
[INFO] [stdout]     |
[INFO] [stdout] 428 |             Type::Apply { left, right } => todo!(),
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:437:32
[INFO] [stdout]     |
[INFO] [stdout] 437 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stdout]     |                                ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:437:42
[INFO] [stdout]     |
[INFO] [stdout] 437 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stdout]     |                                          ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> elab/src/lib.rs:451:30
[INFO] [stdout]     |
[INFO] [stdout] 451 |             Term::Variable { name } => todo!(),
[INFO] [stdout]     |                              ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> elab/src/lib.rs:452:35
[INFO] [stdout]     |
[INFO] [stdout] 452 |             Term::QualifiedName { name } => todo!(),
[INFO] [stdout]     |                                   ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:453:27
[INFO] [stdout]     |
[INFO] [stdout] 453 |             Term::Equal { left, right } => todo!(),
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:453:33
[INFO] [stdout]     |
[INFO] [stdout] 453 |             Term::Equal { left, right } => todo!(),
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> elab/src/lib.rs:454:28
[INFO] [stdout]     |
[INFO] [stdout] 454 |             Term::Borrow { value } => todo!(),
[INFO] [stdout]     |                            ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `kind`
[INFO] [stdout]    --> elab/src/lib.rs:456:17
[INFO] [stdout]     |
[INFO] [stdout] 456 |                 kind,
[INFO] [stdout]     |                 ^^^^ help: try ignoring the field: `kind: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `argument`
[INFO] [stdout]    --> elab/src/lib.rs:457:17
[INFO] [stdout]     |
[INFO] [stdout] 457 |                 argument,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `argument_ty`
[INFO] [stdout]    --> elab/src/lib.rs:458:17
[INFO] [stdout]     |
[INFO] [stdout] 458 |                 argument_ty,
[INFO] [stdout]     |                 ^^^^^^^^^^^ help: try ignoring the field: `argument_ty: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:459:17
[INFO] [stdout]     |
[INFO] [stdout] 459 |                 result,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:461:27
[INFO] [stdout]     |
[INFO] [stdout] 461 |             Term::Apply { left, right } => todo!(),
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:461:33
[INFO] [stdout]     |
[INFO] [stdout] 461 |             Term::Apply { left, right } => todo!(),
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:463:17
[INFO] [stdout]     |
[INFO] [stdout] 463 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_kind`
[INFO] [stdout]    --> elab/src/lib.rs:464:17
[INFO] [stdout]     |
[INFO] [stdout] 464 |                 variable_kind,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_kind: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> elab/src/lib.rs:465:17
[INFO] [stdout]     |
[INFO] [stdout] 465 |                 value,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:467:44
[INFO] [stdout]     |
[INFO] [stdout] 467 |             Term::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stdout]     |                                            ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:467:50
[INFO] [stdout]     |
[INFO] [stdout] 467 |             Term::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stdout]     |                                                  ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:468:32
[INFO] [stdout]     |
[INFO] [stdout] 468 |             Term::Polyregion { variable, value } => todo!(),
[INFO] [stdout]     |                                ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> elab/src/lib.rs:468:42
[INFO] [stdout]     |
[INFO] [stdout] 468 |             Term::Polyregion { variable, value } => todo!(),
[INFO] [stdout]     |                                          ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:469:43
[INFO] [stdout]     |
[INFO] [stdout] 469 |             Term::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stdout]     |                                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:469:49
[INFO] [stdout]     |
[INFO] [stdout] 469 |             Term::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stdout]     |                                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `argument`
[INFO] [stdout]    --> elab/src/lib.rs:480:46
[INFO] [stdout]     |
[INFO] [stdout] 480 |             (Kind::Type, Kind::Constructor { argument, result }) => todo!(),
[INFO] [stdout]     |                                              ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:480:56
[INFO] [stdout]     |
[INFO] [stdout] 480 |             (Kind::Type, Kind::Constructor { argument, result }) => todo!(),
[INFO] [stdout]     |                                                        ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `argument`
[INFO] [stdout]    --> elab/src/lib.rs:481:34
[INFO] [stdout]     |
[INFO] [stdout] 481 |             (Kind::Constructor { argument, result }, Kind::Type) => todo!(),
[INFO] [stdout]     |                                  ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:481:44
[INFO] [stdout]     |
[INFO] [stdout] 481 |             (Kind::Constructor { argument, result }, Kind::Type) => todo!(),
[INFO] [stdout]     |                                            ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left_argument`
[INFO] [stdout]    --> elab/src/lib.rs:484:31
[INFO] [stdout]     |
[INFO] [stdout] 484 |                     argument: left_argument,
[INFO] [stdout]     |                               ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_left_argument`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left_result`
[INFO] [stdout]    --> elab/src/lib.rs:485:29
[INFO] [stdout]     |
[INFO] [stdout] 485 |                     result: left_result,
[INFO] [stdout]     |                             ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_left_result`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right_argument`
[INFO] [stdout]    --> elab/src/lib.rs:488:31
[INFO] [stdout]     |
[INFO] [stdout] 488 |                     argument: right_argument,
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_right_argument`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right_result`
[INFO] [stdout]    --> elab/src/lib.rs:489:29
[INFO] [stdout]     |
[INFO] [stdout] 489 |                     result: right_result,
[INFO] [stdout]     |                             ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_right_result`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> elab/src/lib.rs:539:35
[INFO] [stdout]     |
[INFO] [stdout] 539 |             Type::QualifiedName { name } => todo!(),
[INFO] [stdout]     |                                   ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:541:27
[INFO] [stdout]     |
[INFO] [stdout] 541 |             Type::Apply { left, right } => todo!(),
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:541:33
[INFO] [stdout]     |
[INFO] [stdout] 541 |             Type::Apply { left, right } => todo!(),
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:543:17
[INFO] [stdout]     |
[INFO] [stdout] 543 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_kind`
[INFO] [stdout]    --> elab/src/lib.rs:544:17
[INFO] [stdout]     |
[INFO] [stdout] 544 |                 variable_kind,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_kind: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:545:17
[INFO] [stdout]     |
[INFO] [stdout] 545 |                 result,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:547:32
[INFO] [stdout]     |
[INFO] [stdout] 547 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stdout]     |                                ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:547:42
[INFO] [stdout]     |
[INFO] [stdout] 547 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stdout]     |                                          ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `index`
[INFO] [stdout]    --> elab/src/lib.rs:548:34
[INFO] [stdout]     |
[INFO] [stdout] 548 |             Type::Metavariable { index } => todo!(),
[INFO] [stdout]     |                                  ^^^^^ help: try ignoring the field: `index: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> elab/src/lib.rs:561:31
[INFO] [stdout]     |
[INFO] [stdout] 561 |             PKind::Metakind { span, name } => {
[INFO] [stdout]     |                               ^^^^ help: try ignoring the field: `span: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> elab/src/lib.rs:561:37
[INFO] [stdout]     |
[INFO] [stdout] 561 |             PKind::Metakind { span, name } => {
[INFO] [stdout]     |                                     ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `context`
[INFO] [stdout]    --> elab/src/lib.rs:569:9
[INFO] [stdout]     |
[INFO] [stdout] 569 |         context: &Context,
[INFO] [stdout]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `region`
[INFO] [stdout]    --> elab/src/lib.rs:570:9
[INFO] [stdout]     |
[INFO] [stdout] 570 |         region: &PRegion,
[INFO] [stdout]     |         ^^^^^^ help: if this is intentional, prefix it with an underscore: `_region`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `borrow`
[INFO] [stdout]    --> elab/src/lib.rs:593:29
[INFO] [stdout]     |
[INFO] [stdout] 593 |             PType::Borrow { borrow, region, ty } => todo!(),
[INFO] [stdout]     |                             ^^^^^^ help: try ignoring the field: `borrow: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `region`
[INFO] [stdout]    --> elab/src/lib.rs:593:37
[INFO] [stdout]     |
[INFO] [stdout] 593 |             PType::Borrow { borrow, region, ty } => todo!(),
[INFO] [stdout]     |                                     ^^^^^^ help: try ignoring the field: `region: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> elab/src/lib.rs:593:45
[INFO] [stdout]     |
[INFO] [stdout] 593 |             PType::Borrow { borrow, region, ty } => todo!(),
[INFO] [stdout]     |                                             ^^ help: try ignoring the field: `ty: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:620:28
[INFO] [stdout]     |
[INFO] [stdout] 620 |             PType::Apply { left, right } => todo!(),
[INFO] [stdout]     |                            ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:620:34
[INFO] [stdout]     |
[INFO] [stdout] 620 |             PType::Apply { left, right } => todo!(),
[INFO] [stdout]     |                                  ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `token`
[INFO] [stdout]    --> elab/src/lib.rs:656:17
[INFO] [stdout]     |
[INFO] [stdout] 656 |                 token,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `token: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:657:17
[INFO] [stdout]     |
[INFO] [stdout] 657 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_span`
[INFO] [stdout]    --> elab/src/lib.rs:658:17
[INFO] [stdout]     |
[INFO] [stdout] 658 |                 variable_span,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:659:17
[INFO] [stdout]     |
[INFO] [stdout] 659 |                 result,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `context`
[INFO] [stdout]    --> elab/src/lib.rs:667:9
[INFO] [stdout]     |
[INFO] [stdout] 667 |         context: &Context,
[INFO] [stdout]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "00c37a077c68168300c4fca2848b6f532866016e0bf197a977a142594524dd18", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "00c37a077c68168300c4fca2848b6f532866016e0bf197a977a142594524dd18", kill_on_drop: false }`
[INFO] [stdout] 00c37a077c68168300c4fca2848b6f532866016e0bf197a977a142594524dd18
