[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/2f6e3231eedf66ce35e13865d55d2f3922f27825 against master#d2eadb7a94ef8c9deb5137695df33cd1fc5aee92 for pr-137268
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquill-lang%2Fquill" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/quill-lang/quill on toolchain d2eadb7a94ef8c9deb5137695df33cd1fc5aee92
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d2eadb7a94ef8c9deb5137695df33cd1fc5aee92" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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-1-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d2eadb7a94ef8c9deb5137695df33cd1fc5aee92" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 73 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.12)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d2eadb7a94ef8c9deb5137695df33cd1fc5aee92" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+d2eadb7a94ef8c9deb5137695df33cd1fc5aee92" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ddb71663a1faf0d8b3ab3dc293ecb20030af11f4b11cac025356121834c5913a
[INFO] running `Command { std: "docker" "start" "-a" "ddb71663a1faf0d8b3ab3dc293ecb20030af11f4b11cac025356121834c5913a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ddb71663a1faf0d8b3ab3dc293ecb20030af11f4b11cac025356121834c5913a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ddb71663a1faf0d8b3ab3dc293ecb20030af11f4b11cac025356121834c5913a", kill_on_drop: false }`
[INFO] [stdout] ddb71663a1faf0d8b3ab3dc293ecb20030af11f4b11cac025356121834c5913a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+d2eadb7a94ef8c9deb5137695df33cd1fc5aee92" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] cffc4778859f49208fb33c95abeb8e37347055faa3ff0d1bf81822d46ef8a4dc
[INFO] running `Command { std: "docker" "start" "-a" "cffc4778859f49208fb33c95abeb8e37347055faa3ff0d1bf81822d46ef8a4dc", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.172
[INFO] [stderr]    Compiling proc-macro2 v1.0.95
[INFO] [stderr]     Checking once_cell v1.21.3
[INFO] [stderr]    Compiling unicode-ident v1.0.18
[INFO] [stderr]    Compiling object v0.36.7
[INFO] [stderr]     Checking gimli v0.31.1
[INFO] [stderr]     Checking adler2 v2.0.0
[INFO] [stderr]     Checking memchr v2.7.4
[INFO] [stderr]     Checking rustc-demangle v0.1.24
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling autocfg v1.4.0
[INFO] [stderr]    Compiling version_check v0.9.5
[INFO] [stderr]     Checking unicode-width v0.1.14
[INFO] [stderr]     Checking smawk v0.3.2
[INFO] [stderr]    Compiling parking_lot_core v0.9.10
[INFO] [stderr]     Checking is_ci v1.2.0
[INFO] [stderr]     Checking miniz_oxide v0.8.8
[INFO] [stderr]     Checking unicode-linebreak v0.1.5
[INFO] [stderr]     Checking smallvec v1.15.0
[INFO] [stderr]     Checking scopeguard v1.2.0
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]     Checking owo-colors v3.5.0
[INFO] [stderr]     Checking allocator-api2 v0.2.21
[INFO] [stderr]     Checking tracing-core v0.1.33
[INFO] [stderr]     Checking pin-project-lite v0.2.16
[INFO] [stderr]     Checking log v0.4.27
[INFO] [stderr]     Checking overload v0.1.1
[INFO] [stderr]     Checking lazy_static v1.5.0
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]     Checking nu-ansi-term v0.46.0
[INFO] [stderr]     Checking thread_local v1.1.8
[INFO] [stderr]     Checking sharded-slab v0.1.7
[INFO] [stderr]     Checking textwrap v0.15.2
[INFO] [stderr]    Compiling lock_api v0.4.12
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]     Checking hashbrown v0.14.5
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]     Checking tracing-subscriber v0.3.19
[INFO] [stderr]    Compiling syn v2.0.101
[INFO] [stderr]     Checking is-terminal v0.4.16
[INFO] [stderr]     Checking terminal_size v0.1.17
[INFO] [stderr]     Checking supports-unicode v2.1.0
[INFO] [stderr]     Checking supports-hyperlinks v2.1.0
[INFO] [stderr]     Checking supports-color v2.1.0
[INFO] [stderr]     Checking parking_lot v0.12.3
[INFO] [stderr]     Checking internment v0.7.5
[INFO] [stderr]     Checking addr2line v0.24.2
[INFO] [stderr]     Checking backtrace v0.3.74
[INFO] [stderr]     Checking backtrace-ext v0.2.1
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling miette-derive v5.10.0
[INFO] [stderr]    Compiling tracing-attributes v0.1.28
[INFO] [stderr]     Checking tracing v0.1.41
[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)]` 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: 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)]` 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)]` 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: 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)]` 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: 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: 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]    = note: `#[warn(dead_code)]` on by default
[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: 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: 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: 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]    = note: `#[warn(dead_code)]` on by default
[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: 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] [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)]` 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] [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)]` 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] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 15.17s
[INFO] running `Command { std: "docker" "inspect" "cffc4778859f49208fb33c95abeb8e37347055faa3ff0d1bf81822d46ef8a4dc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cffc4778859f49208fb33c95abeb8e37347055faa3ff0d1bf81822d46ef8a4dc", kill_on_drop: false }`
[INFO] [stdout] cffc4778859f49208fb33c95abeb8e37347055faa3ff0d1bf81822d46ef8a4dc