[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] testing quill-lang/quill against try#8de4c7234dd9b97c9d76b58671343fdbbc9a433e+target=x86_64-unknown-linux-musl for musl_upgrade_1_2_5_with_libc_patch_0
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquill-lang%2Fquill" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/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-2-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/quill-lang/quill on toolchain 8de4c7234dd9b97c9d76b58671343fdbbc9a433e
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "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" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "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" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded smawk v0.3.2
[INFO] [stderr]   Downloaded internment v0.7.5
[INFO] [stderr]   Downloaded supports-unicode v2.1.0
[INFO] [stderr]   Downloaded backtrace-ext v0.2.1
[INFO] [stderr]   Downloaded miette-derive v5.10.0
[INFO] [stderr]   Downloaded miette v5.10.0
[INFO] [stderr]   Downloaded textwrap v0.15.2
[INFO] [stderr]   Downloaded supports-hyperlinks v2.1.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 474759169a449aaf3e55b75d18bc024947f6f790b0fe13b3e6806db9f4141439
[INFO] running `Command { std: "docker" "start" "-a" "474759169a449aaf3e55b75d18bc024947f6f790b0fe13b3e6806db9f4141439", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "474759169a449aaf3e55b75d18bc024947f6f790b0fe13b3e6806db9f4141439", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "474759169a449aaf3e55b75d18bc024947f6f790b0fe13b3e6806db9f4141439", kill_on_drop: false }`
[INFO] [stdout] 474759169a449aaf3e55b75d18bc024947f6f790b0fe13b3e6806db9f4141439
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "build" "--frozen" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }`
[INFO] [stdout] 918908c951cbabd6b70a24357dd298d7cf02c56747a403f160632ddb55afb0a6
[INFO] running `Command { std: "docker" "start" "-a" "918908c951cbabd6b70a24357dd298d7cf02c56747a403f160632ddb55afb0a6", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.174
[INFO] [stderr]    Compiling cfg-if v1.0.1
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling object v0.36.7
[INFO] [stderr]    Compiling zerocopy v0.8.26
[INFO] [stderr]    Compiling memchr v2.7.5
[INFO] [stderr]    Compiling version_check v0.9.5
[INFO] [stderr]    Compiling syn v2.0.104
[INFO] [stderr]    Compiling autocfg v1.5.0
[INFO] [stderr]    Compiling adler2 v2.0.1
[INFO] [stderr]    Compiling gimli v0.31.1
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling miniz_oxide v0.8.9
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling lock_api v0.4.13
[INFO] [stderr]    Compiling parking_lot_core v0.9.11
[INFO] [stderr]    Compiling rustc-demangle v0.1.25
[INFO] [stderr]    Compiling smawk v0.3.2
[INFO] [stderr]    Compiling is_ci v1.2.0
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling unicode-linebreak v0.1.5
[INFO] [stderr]    Compiling unicode-width v0.1.14
[INFO] [stderr]    Compiling textwrap v0.15.2
[INFO] [stderr]    Compiling tracing-core v0.1.34
[INFO] [stderr]    Compiling owo-colors v3.5.0
[INFO] [stderr]    Compiling is-terminal v0.4.16
[INFO] [stderr]    Compiling supports-hyperlinks v2.1.0
[INFO] [stderr]    Compiling supports-unicode v2.1.0
[INFO] [stderr]    Compiling supports-color v2.1.0
[INFO] [stderr]    Compiling terminal_size v0.1.17
[INFO] [stderr]    Compiling allocator-api2 v0.2.21
[INFO] [stderr]    Compiling parking_lot v0.12.4
[INFO] [stderr]    Compiling pin-project-lite v0.2.16
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling overload v0.1.1
[INFO] [stderr]    Compiling log v0.4.27
[INFO] [stderr]    Compiling sharded-slab v0.1.7
[INFO] [stderr]    Compiling nu-ansi-term v0.46.0
[INFO] [stderr]    Compiling tracing-log v0.2.0
[INFO] [stderr]    Compiling thread_local v1.1.9
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling tracing-subscriber v0.3.19
[INFO] [stderr]    Compiling addr2line v0.24.2
[INFO] [stderr]    Compiling internment v0.7.5
[INFO] [stderr]    Compiling backtrace v0.3.75
[INFO] [stderr]    Compiling 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.30
[INFO] [stderr]    Compiling tracing v0.1.41
[INFO] [stderr]    Compiling miette v5.10.0
[INFO] [stderr]    Compiling 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] [stderr]    Compiling files v0.0.0 (/opt/rustwide/workdir/files)
[INFO] [stderr]    Compiling parse v0.0.0 (/opt/rustwide/workdir/parse)
[INFO] [stderr]    Compiling 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: 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: 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]    = note: `WithProvenance` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[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: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stdout]    --> parse/src/parser.rs:201:19
[INFO] [stdout]     |
[INFO] [stdout] 201 |     pub fn config(&self) -> &'a ParserConfiguration {
[INFO] [stdout]     |                   ^^^^^         ------------------- the lifetime gets resolved as `'_`
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   this lifetime flows to the output
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stdout]     |
[INFO] [stdout] 201 |     pub fn config(&self) -> &'a ParserConfiguration<'_> {
[INFO] [stdout]     |                                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling 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] [stderr]    Compiling quill v0.0.0 (/opt/rustwide/workdir/quill)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 38.44s
[INFO] running `Command { std: "docker" "inspect" "918908c951cbabd6b70a24357dd298d7cf02c56747a403f160632ddb55afb0a6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "918908c951cbabd6b70a24357dd298d7cf02c56747a403f160632ddb55afb0a6", kill_on_drop: false }`
[INFO] [stdout] 918908c951cbabd6b70a24357dd298d7cf02c56747a403f160632ddb55afb0a6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "test" "--frozen" "--no-run" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }`
[INFO] [stdout] c148e0bd8b2d417f5252900ba6b993113ff936845a93095480d06c1b5b0302f5
[INFO] running `Command { std: "docker" "start" "-a" "c148e0bd8b2d417f5252900ba6b993113ff936845a93095480d06c1b5b0302f5", kill_on_drop: false }`
[INFO] [stderr]    Compiling diagnostic v0.0.0 (/opt/rustwide/workdir/diagnostic)
[INFO] [stderr]    Compiling files v0.0.0 (/opt/rustwide/workdir/files)
[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: 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] [stderr]    Compiling parse v0.0.0 (/opt/rustwide/workdir/parse)
[INFO] [stderr]    Compiling db v0.0.0 (/opt/rustwide/workdir/db)
[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: `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: 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]    = note: `WithProvenance` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[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: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stdout]    --> parse/src/parser.rs:201:19
[INFO] [stdout]     |
[INFO] [stdout] 201 |     pub fn config(&self) -> &'a ParserConfiguration {
[INFO] [stdout]     |                   ^^^^^         ------------------- the lifetime gets resolved as `'_`
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   this lifetime flows to the output
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for 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)]` 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]    Compiling elab v0.0.0 (/opt/rustwide/workdir/elab)
[INFO] [stderr]    Compiling quill v0.0.0 (/opt/rustwide/workdir/quill)
[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: 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: `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: `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: 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]    = note: `WithProvenance` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[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: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stdout]    --> parse/src/parser.rs:201:19
[INFO] [stdout]     |
[INFO] [stdout] 201 |     pub fn config(&self) -> &'a ParserConfiguration {
[INFO] [stdout]     |                   ^^^^^         ------------------- the lifetime gets resolved as `'_`
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   this lifetime flows to the output
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stdout]     |
[INFO] [stdout] 201 |     pub fn config(&self) -> &'a ParserConfiguration<'_> {
[INFO] [stdout]     |                                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2.87s
[INFO] running `Command { std: "docker" "inspect" "c148e0bd8b2d417f5252900ba6b993113ff936845a93095480d06c1b5b0302f5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c148e0bd8b2d417f5252900ba6b993113ff936845a93095480d06c1b5b0302f5", kill_on_drop: false }`
[INFO] [stdout] c148e0bd8b2d417f5252900ba6b993113ff936845a93095480d06c1b5b0302f5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "test" "--frozen" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }`
[INFO] [stdout] dcee5b5f36275b4db2964eb09ba5f284ac26ff98b93006d80f78c71e60f7ecf9
[INFO] running `Command { std: "docker" "start" "-a" "dcee5b5f36275b4db2964eb09ba5f284ac26ff98b93006d80f78c71e60f7ecf9", kill_on_drop: false }`
[INFO] [stderr] warning: the feature `trait_upcasting` has been stable since 1.86.0 and no longer requires an attribute to enable
[INFO] [stderr]  --> diagnostic/src/lib.rs:1:12
[INFO] [stderr]   |
[INFO] [stderr] 1 | #![feature(trait_upcasting)]
[INFO] [stderr]   |            ^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(stable_features)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `diagnostic` (lib) generated 1 warning
[INFO] [stderr] warning: `diagnostic` (lib test) generated 1 warning (1 duplicate)
[INFO] [stderr] warning: unreachable call
[INFO] [stderr]    --> parse/src/term.rs:332:34
[INFO] [stderr]     |
[INFO] [stderr] 332 |                     Some(_tt) => Dr::new_err(
[INFO] [stderr]     |                                  ^^^^^^^^^^^ unreachable call
[INFO] [stderr] 333 |                         todo!(),
[INFO] [stderr]     |                         ------- any code following this expression is unreachable
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unreachable_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unreachable call
[INFO] [stderr]    --> parse/src/term.rs:343:50
[INFO] [stderr]     |
[INFO] [stderr] 343 |                         Some((_open, _close)) => Dr::new_err(
[INFO] [stderr]     |                                                  ^^^^^^^^^^^ unreachable call
[INFO] [stderr] 344 |                             todo!(),
[INFO] [stderr]     |                             ------- any code following this expression is unreachable
[INFO] [stderr] 
[INFO] [stderr] warning: unreachable call
[INFO] [stderr]    --> parse/src/term.rs:399:25
[INFO] [stderr]     |
[INFO] [stderr] 399 |             Some(tt) => Dr::new_err(
[INFO] [stderr]     |                         ^^^^^^^^^^^ unreachable call
[INFO] [stderr] 400 |                 todo!(),
[INFO] [stderr]     |                 ------- any code following this expression is unreachable
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `tt`
[INFO] [stderr]    --> parse/src/term.rs:399:18
[INFO] [stderr]     |
[INFO] [stderr] 399 |             Some(tt) => Dr::new_err(
[INFO] [stderr]     |                  ^^ help: if this is intentional, prefix it with an underscore: `_tt`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `left`
[INFO] [stderr]    --> parse/src/term.rs:568:45
[INFO] [stderr]     |
[INFO] [stderr] 568 |             PTerm::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stderr]     |                                             ^^^^ help: try ignoring the field: `left: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `right`
[INFO] [stderr]    --> parse/src/term.rs:568:51
[INFO] [stderr]     |
[INFO] [stderr] 568 |             PTerm::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stderr]     |                                                   ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `token`
[INFO] [stderr]    --> parse/src/term.rs:570:17
[INFO] [stderr]     |
[INFO] [stderr] 570 |                 token,
[INFO] [stderr]     |                 ^^^^^ help: try ignoring the field: `token: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `variable`
[INFO] [stderr]    --> parse/src/term.rs:571:17
[INFO] [stderr]     |
[INFO] [stderr] 571 |                 variable,
[INFO] [stderr]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `variable_span`
[INFO] [stderr]    --> parse/src/term.rs:572:17
[INFO] [stderr]     |
[INFO] [stderr] 572 |                 variable_span,
[INFO] [stderr]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `value`
[INFO] [stderr]    --> parse/src/term.rs:573:17
[INFO] [stderr]     |
[INFO] [stderr] 573 |                 value,
[INFO] [stderr]     |                 ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `left`
[INFO] [stderr]    --> parse/src/term.rs:575:44
[INFO] [stderr]     |
[INFO] [stderr] 575 |             PTerm::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stderr]     |                                            ^^^^ help: try ignoring the field: `left: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `right`
[INFO] [stderr]    --> parse/src/term.rs:575:50
[INFO] [stderr]     |
[INFO] [stderr] 575 |             PTerm::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stderr]     |                                                  ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `token`
[INFO] [stderr]    --> parse/src/ty.rs:398:17
[INFO] [stderr]     |
[INFO] [stderr] 398 |                 token,
[INFO] [stderr]     |                 ^^^^^ help: try ignoring the field: `token: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `variable`
[INFO] [stderr]    --> parse/src/ty.rs:399:17
[INFO] [stderr]     |
[INFO] [stderr] 399 |                 variable,
[INFO] [stderr]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `variable_span`
[INFO] [stderr]    --> parse/src/ty.rs:400:17
[INFO] [stderr]     |
[INFO] [stderr] 400 |                 variable_span,
[INFO] [stderr]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `result`
[INFO] [stderr]    --> parse/src/ty.rs:401:17
[INFO] [stderr]     |
[INFO] [stderr] 401 |                 result,
[INFO] [stderr]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `new`, `zero`, `succ`, `pred`, and `value` are never used
[INFO] [stderr]   --> parse/src/de_bruijn.rs:18:12
[INFO] [stderr]    |
[INFO] [stderr] 15 | impl DeBruijnIndex {
[INFO] [stderr]    | ------------------ associated items in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 18 |     pub fn new(idx: u32) -> Self {
[INFO] [stderr]    |            ^^^
[INFO] [stderr] ...
[INFO] [stderr] 23 |     pub fn zero() -> DeBruijnIndex {
[INFO] [stderr]    |            ^^^^
[INFO] [stderr] ...
[INFO] [stderr] 28 |     pub fn succ(self) -> DeBruijnIndex {
[INFO] [stderr]    |            ^^^^
[INFO] [stderr] ...
[INFO] [stderr] 33 |     pub fn pred(self) -> DeBruijnIndex {
[INFO] [stderr]    |            ^^^^
[INFO] [stderr] ...
[INFO] [stderr] 37 |     pub fn value(self) -> u32 {
[INFO] [stderr]    |            ^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `zero`, `succ`, and `new` are never used
[INFO] [stderr]   --> parse/src/de_bruijn.rs:48:12
[INFO] [stderr]    |
[INFO] [stderr] 46 | impl DeBruijnOffset {
[INFO] [stderr]    | ------------------- associated items in this implementation
[INFO] [stderr] 47 |     /// The zero offset.
[INFO] [stderr] 48 |     pub fn zero() -> DeBruijnOffset {
[INFO] [stderr]    |            ^^^^
[INFO] [stderr] ...
[INFO] [stderr] 53 |     pub fn succ(self) -> DeBruijnOffset {
[INFO] [stderr]    |            ^^^^
[INFO] [stderr] ...
[INFO] [stderr] 57 |     pub fn new(offset: u32) -> DeBruijnOffset {
[INFO] [stderr]    |            ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `WithProvenance` is never constructed
[INFO] [stderr]   --> parse/src/provenance.rs:52:12
[INFO] [stderr]    |
[INFO] [stderr] 52 | pub struct WithProvenance<T> {
[INFO] [stderr]    |            ^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `WithProvenance` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: associated functions `new_synthetic` and `new` are never used
[INFO] [stderr]   --> parse/src/provenance.rs:60:12
[INFO] [stderr]    |
[INFO] [stderr] 59 | impl<T> WithProvenance<T> {
[INFO] [stderr]    | ------------------------- associated functions in this implementation
[INFO] [stderr] 60 |     pub fn new_synthetic(contents: T) -> Self {
[INFO] [stderr]    |            ^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 67 |     pub fn new(provenance: Provenance, contents: T) -> Self {
[INFO] [stderr]    |            ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stderr]    --> parse/src/parser.rs:201:19
[INFO] [stderr]     |
[INFO] [stderr] 201 |     pub fn config(&self) -> &'a ParserConfiguration {
[INFO] [stderr]     |                   ^^^^^         ------------------- the lifetime gets resolved as `'_`
[INFO] [stderr]     |                   |
[INFO] [stderr]     |                   this lifetime flows to the output
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stderr] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stderr]     |
[INFO] [stderr] 201 |     pub fn config(&self) -> &'a ParserConfiguration<'_> {
[INFO] [stderr]     |                                                    ++++
[INFO] [stderr] 
[INFO] [stderr] warning: `parse` (lib) generated 21 warnings (run `cargo fix --lib -p parse` to apply 1 suggestion)
[INFO] [stderr] warning: `parse` (lib test) generated 21 warnings (21 duplicates)
[INFO] [stderr] warning: unused variable: `argument`
[INFO] [stderr]    --> elab/src/lib.rs:403:33
[INFO] [stderr]     |
[INFO] [stderr] 403 |             Kind::Constructor { argument, result } => todo!(),
[INFO] [stderr]     |                                 ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `result`
[INFO] [stderr]    --> elab/src/lib.rs:403:43
[INFO] [stderr]     |
[INFO] [stderr] 403 |             Kind::Constructor { argument, result } => todo!(),
[INFO] [stderr]     |                                           ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `region`
[INFO] [stderr]    --> elab/src/lib.rs:418:28
[INFO] [stderr]     |
[INFO] [stderr] 418 |             Type::Borrow { region, ty } => todo!(),
[INFO] [stderr]     |                            ^^^^^^ help: try ignoring the field: `region: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ty`
[INFO] [stderr]    --> elab/src/lib.rs:418:36
[INFO] [stderr]     |
[INFO] [stderr] 418 |             Type::Borrow { region, ty } => todo!(),
[INFO] [stderr]     |                                    ^^ help: try ignoring the field: `ty: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `kind`
[INFO] [stderr]    --> elab/src/lib.rs:420:17
[INFO] [stderr]     |
[INFO] [stderr] 420 |                 kind,
[INFO] [stderr]     |                 ^^^^ help: try ignoring the field: `kind: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `region`
[INFO] [stderr]    --> elab/src/lib.rs:422:17
[INFO] [stderr]     |
[INFO] [stderr] 422 |                 region,
[INFO] [stderr]     |                 ^^^^^^ help: try ignoring the field: `region: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `left`
[INFO] [stderr]    --> elab/src/lib.rs:428:27
[INFO] [stderr]     |
[INFO] [stderr] 428 |             Type::Apply { left, right } => todo!(),
[INFO] [stderr]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `right`
[INFO] [stderr]    --> elab/src/lib.rs:428:33
[INFO] [stderr]     |
[INFO] [stderr] 428 |             Type::Apply { left, right } => todo!(),
[INFO] [stderr]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `variable`
[INFO] [stderr]    --> elab/src/lib.rs:437:32
[INFO] [stderr]     |
[INFO] [stderr] 437 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stderr]     |                                ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `result`
[INFO] [stderr]    --> elab/src/lib.rs:437:42
[INFO] [stderr]     |
[INFO] [stderr] 437 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stderr]     |                                          ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `name`
[INFO] [stderr]    --> elab/src/lib.rs:451:30
[INFO] [stderr]     |
[INFO] [stderr] 451 |             Term::Variable { name } => todo!(),
[INFO] [stderr]     |                              ^^^^ help: try ignoring the field: `name: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `name`
[INFO] [stderr]    --> elab/src/lib.rs:452:35
[INFO] [stderr]     |
[INFO] [stderr] 452 |             Term::QualifiedName { name } => todo!(),
[INFO] [stderr]     |                                   ^^^^ help: try ignoring the field: `name: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `left`
[INFO] [stderr]    --> elab/src/lib.rs:453:27
[INFO] [stderr]     |
[INFO] [stderr] 453 |             Term::Equal { left, right } => todo!(),
[INFO] [stderr]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `right`
[INFO] [stderr]    --> elab/src/lib.rs:453:33
[INFO] [stderr]     |
[INFO] [stderr] 453 |             Term::Equal { left, right } => todo!(),
[INFO] [stderr]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `value`
[INFO] [stderr]    --> elab/src/lib.rs:454:28
[INFO] [stderr]     |
[INFO] [stderr] 454 |             Term::Borrow { value } => todo!(),
[INFO] [stderr]     |                            ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `kind`
[INFO] [stderr]    --> elab/src/lib.rs:456:17
[INFO] [stderr]     |
[INFO] [stderr] 456 |                 kind,
[INFO] [stderr]     |                 ^^^^ help: try ignoring the field: `kind: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `argument`
[INFO] [stderr]    --> elab/src/lib.rs:457:17
[INFO] [stderr]     |
[INFO] [stderr] 457 |                 argument,
[INFO] [stderr]     |                 ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `argument_ty`
[INFO] [stderr]    --> elab/src/lib.rs:458:17
[INFO] [stderr]     |
[INFO] [stderr] 458 |                 argument_ty,
[INFO] [stderr]     |                 ^^^^^^^^^^^ help: try ignoring the field: `argument_ty: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `result`
[INFO] [stderr]    --> elab/src/lib.rs:459:17
[INFO] [stderr]     |
[INFO] [stderr] 459 |                 result,
[INFO] [stderr]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `left`
[INFO] [stderr]    --> elab/src/lib.rs:461:27
[INFO] [stderr]     |
[INFO] [stderr] 461 |             Term::Apply { left, right } => todo!(),
[INFO] [stderr]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `right`
[INFO] [stderr]    --> elab/src/lib.rs:461:33
[INFO] [stderr]     |
[INFO] [stderr] 461 |             Term::Apply { left, right } => todo!(),
[INFO] [stderr]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `variable`
[INFO] [stderr]    --> elab/src/lib.rs:463:17
[INFO] [stderr]     |
[INFO] [stderr] 463 |                 variable,
[INFO] [stderr]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `variable_kind`
[INFO] [stderr]    --> elab/src/lib.rs:464:17
[INFO] [stderr]     |
[INFO] [stderr] 464 |                 variable_kind,
[INFO] [stderr]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_kind: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `value`
[INFO] [stderr]    --> elab/src/lib.rs:465:17
[INFO] [stderr]     |
[INFO] [stderr] 465 |                 value,
[INFO] [stderr]     |                 ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `left`
[INFO] [stderr]    --> elab/src/lib.rs:467:44
[INFO] [stderr]     |
[INFO] [stderr] 467 |             Term::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stderr]     |                                            ^^^^ help: try ignoring the field: `left: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `right`
[INFO] [stderr]    --> elab/src/lib.rs:467:50
[INFO] [stderr]     |
[INFO] [stderr] 467 |             Term::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stderr]     |                                                  ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `variable`
[INFO] [stderr]    --> elab/src/lib.rs:468:32
[INFO] [stderr]     |
[INFO] [stderr] 468 |             Term::Polyregion { variable, value } => todo!(),
[INFO] [stderr]     |                                ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `value`
[INFO] [stderr]    --> elab/src/lib.rs:468:42
[INFO] [stderr]     |
[INFO] [stderr] 468 |             Term::Polyregion { variable, value } => todo!(),
[INFO] [stderr]     |                                          ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `left`
[INFO] [stderr]    --> elab/src/lib.rs:469:43
[INFO] [stderr]     |
[INFO] [stderr] 469 |             Term::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stderr]     |                                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `right`
[INFO] [stderr]    --> elab/src/lib.rs:469:49
[INFO] [stderr]     |
[INFO] [stderr] 469 |             Term::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stderr]     |                                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `argument`
[INFO] [stderr]    --> elab/src/lib.rs:480:46
[INFO] [stderr]     |
[INFO] [stderr] 480 |             (Kind::Type, Kind::Constructor { argument, result }) => todo!(),
[INFO] [stderr]     |                                              ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `result`
[INFO] [stderr]    --> elab/src/lib.rs:480:56
[INFO] [stderr]     |
[INFO] [stderr] 480 |             (Kind::Type, Kind::Constructor { argument, result }) => todo!(),
[INFO] [stderr]     |                                                        ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `argument`
[INFO] [stderr]    --> elab/src/lib.rs:481:34
[INFO] [stderr]     |
[INFO] [stderr] 481 |             (Kind::Constructor { argument, result }, Kind::Type) => todo!(),
[INFO] [stderr]     |                                  ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `result`
[INFO] [stderr]    --> elab/src/lib.rs:481:44
[INFO] [stderr]     |
[INFO] [stderr] 481 |             (Kind::Constructor { argument, result }, Kind::Type) => todo!(),
[INFO] [stderr]     |                                            ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `left_argument`
[INFO] [stderr]    --> elab/src/lib.rs:484:31
[INFO] [stderr]     |
[INFO] [stderr] 484 |                     argument: left_argument,
[INFO] [stderr]     |                               ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_left_argument`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `left_result`
[INFO] [stderr]    --> elab/src/lib.rs:485:29
[INFO] [stderr]     |
[INFO] [stderr] 485 |                     result: left_result,
[INFO] [stderr]     |                             ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_left_result`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `right_argument`
[INFO] [stderr]    --> elab/src/lib.rs:488:31
[INFO] [stderr]     |
[INFO] [stderr] 488 |                     argument: right_argument,
[INFO] [stderr]     |                               ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_right_argument`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `right_result`
[INFO] [stderr]    --> elab/src/lib.rs:489:29
[INFO] [stderr]     |
[INFO] [stderr] 489 |                     result: right_result,
[INFO] [stderr]     |                             ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_right_result`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `name`
[INFO] [stderr]    --> elab/src/lib.rs:539:35
[INFO] [stderr]     |
[INFO] [stderr] 539 |             Type::QualifiedName { name } => todo!(),
[INFO] [stderr]     |                                   ^^^^ help: try ignoring the field: `name: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `left`
[INFO] [stderr]    --> elab/src/lib.rs:541:27
[INFO] [stderr]     |
[INFO] [stderr] 541 |             Type::Apply { left, right } => todo!(),
[INFO] [stderr]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `right`
[INFO] [stderr]    --> elab/src/lib.rs:541:33
[INFO] [stderr]     |
[INFO] [stderr] 541 |             Type::Apply { left, right } => todo!(),
[INFO] [stderr]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `variable`
[INFO] [stderr]    --> elab/src/lib.rs:543:17
[INFO] [stderr]     |
[INFO] [stderr] 543 |                 variable,
[INFO] [stderr]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `variable_kind`
[INFO] [stderr]    --> elab/src/lib.rs:544:17
[INFO] [stderr]     |
[INFO] [stderr] 544 |                 variable_kind,
[INFO] [stderr]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_kind: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `result`
[INFO] [stderr]    --> elab/src/lib.rs:545:17
[INFO] [stderr]     |
[INFO] [stderr] 545 |                 result,
[INFO] [stderr]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `variable`
[INFO] [stderr]    --> elab/src/lib.rs:547:32
[INFO] [stderr]     |
[INFO] [stderr] 547 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stderr]     |                                ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `result`
[INFO] [stderr]    --> elab/src/lib.rs:547:42
[INFO] [stderr]     |
[INFO] [stderr] 547 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stderr]     |                                          ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `index`
[INFO] [stderr]    --> elab/src/lib.rs:548:34
[INFO] [stderr]     |
[INFO] [stderr] 548 |             Type::Metavariable { index } => todo!(),
[INFO] [stderr]     |                                  ^^^^^ help: try ignoring the field: `index: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `span`
[INFO] [stderr]    --> elab/src/lib.rs:561:31
[INFO] [stderr]     |
[INFO] [stderr] 561 |             PKind::Metakind { span, name } => {
[INFO] [stderr]     |                               ^^^^ help: try ignoring the field: `span: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `name`
[INFO] [stderr]    --> elab/src/lib.rs:561:37
[INFO] [stderr]     |
[INFO] [stderr] 561 |             PKind::Metakind { span, name } => {
[INFO] [stderr]     |                                     ^^^^ help: try ignoring the field: `name: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `context`
[INFO] [stderr]    --> elab/src/lib.rs:569:9
[INFO] [stderr]     |
[INFO] [stderr] 569 |         context: &Context,
[INFO] [stderr]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `region`
[INFO] [stderr]    --> elab/src/lib.rs:570:9
[INFO] [stderr]     |
[INFO] [stderr] 570 |         region: &PRegion,
[INFO] [stderr]     |         ^^^^^^ help: if this is intentional, prefix it with an underscore: `_region`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `borrow`
[INFO] [stderr]    --> elab/src/lib.rs:593:29
[INFO] [stderr]     |
[INFO] [stderr] 593 |             PType::Borrow { borrow, region, ty } => todo!(),
[INFO] [stderr]     |                             ^^^^^^ help: try ignoring the field: `borrow: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `region`
[INFO] [stderr]    --> elab/src/lib.rs:593:37
[INFO] [stderr]     |
[INFO] [stderr] 593 |             PType::Borrow { borrow, region, ty } => todo!(),
[INFO] [stderr]     |                                     ^^^^^^ help: try ignoring the field: `region: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ty`
[INFO] [stderr]    --> elab/src/lib.rs:593:45
[INFO] [stderr]     |
[INFO] [stderr] 593 |             PType::Borrow { borrow, region, ty } => todo!(),
[INFO] [stderr]     |                                             ^^ help: try ignoring the field: `ty: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `left`
[INFO] [stderr]    --> elab/src/lib.rs:620:28
[INFO] [stderr]     |
[INFO] [stderr] 620 |             PType::Apply { left, right } => todo!(),
[INFO] [stderr]     |                            ^^^^ help: try ignoring the field: `left: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `right`
[INFO] [stderr]    --> elab/src/lib.rs:620:34
[INFO] [stderr]     |
[INFO] [stderr] 620 |             PType::Apply { left, right } => todo!(),
[INFO] [stderr]     |                                  ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `token`
[INFO] [stderr]    --> elab/src/lib.rs:656:17
[INFO] [stderr]     |
[INFO] [stderr] 656 |                 token,
[INFO] [stderr]     |                 ^^^^^ help: try ignoring the field: `token: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `variable`
[INFO] [stderr]    --> elab/src/lib.rs:657:17
[INFO] [stderr]     |
[INFO] [stderr] 657 |                 variable,
[INFO] [stderr]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `variable_span`
[INFO] [stderr]    --> elab/src/lib.rs:658:17
[INFO] [stderr]     |
[INFO] [stderr] 658 |                 variable_span,
[INFO] [stderr]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `result`
[INFO] [stderr]    --> elab/src/lib.rs:659:17
[INFO] [stderr]     |
[INFO] [stderr] 659 |                 result,
[INFO] [stderr]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `context`
[INFO] [stderr]    --> elab/src/lib.rs:667:9
[INFO] [stderr]     |
[INFO] [stderr] 667 |         context: &Context,
[INFO] [stderr]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context`
[INFO] [stderr] 
[INFO] [stderr] warning: `elab` (lib) generated 61 warnings
[INFO] [stderr] warning: `elab` (lib test) generated 61 warnings (61 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.13s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/db-729a753bdb49b539)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/diagnostic-7e6edce3dfe970ba)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/elab-10eac889d0681e93)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/files-ae33d6f458aa4fe3)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/parse-9869fe2536fd85a8)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/quill-112deec0bca9d2f8)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "dcee5b5f36275b4db2964eb09ba5f284ac26ff98b93006d80f78c71e60f7ecf9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dcee5b5f36275b4db2964eb09ba5f284ac26ff98b93006d80f78c71e60f7ecf9", kill_on_drop: false }`
[INFO] [stdout] dcee5b5f36275b4db2964eb09ba5f284ac26ff98b93006d80f78c71e60f7ecf9