[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 master#d98a5da813da67eb189387b8ccfb73cf481275d8+rustflags=-Copt-level=3 for pr-138759
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquill-lang%2Fquill" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-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-3-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/quill-lang/quill on toolchain d98a5da813da67eb189387b8ccfb73cf481275d8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "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" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "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.17)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded nu-ansi-term v0.50.3
[INFO] [stderr]   Downloaded supports-color v2.1.0
[INFO] [stderr]   Downloaded backtrace-ext v0.2.1
[INFO] [stderr]   Downloaded miette v5.10.0
[INFO] [stderr]   Downloaded textwrap v0.15.2
[INFO] [stderr]   Downloaded miette-derive v5.10.0
[INFO] [stderr]   Downloaded internment v0.7.5
[INFO] [stderr]   Downloaded supports-hyperlinks v2.1.0
[INFO] [stderr]   Downloaded supports-unicode v2.1.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] bc0c681526feb2e5d1a472aec80a63d4bf9e152c449f8efec5b011cfdb17ac2a
[INFO] running `Command { std: "docker" "start" "-a" "bc0c681526feb2e5d1a472aec80a63d4bf9e152c449f8efec5b011cfdb17ac2a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "bc0c681526feb2e5d1a472aec80a63d4bf9e152c449f8efec5b011cfdb17ac2a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bc0c681526feb2e5d1a472aec80a63d4bf9e152c449f8efec5b011cfdb17ac2a", kill_on_drop: false }`
[INFO] [stdout] bc0c681526feb2e5d1a472aec80a63d4bf9e152c449f8efec5b011cfdb17ac2a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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 -Copt-level=3" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f3dcbf7725413a6a58a4309d36cf74bb1daba5c4c13732606a1a4a7d6914ab50
[INFO] running `Command { std: "docker" "start" "-a" "f3dcbf7725413a6a58a4309d36cf74bb1daba5c4c13732606a1a4a7d6914ab50", kill_on_drop: false }`
[INFO] [stderr]    Compiling object v0.37.3
[INFO] [stderr]    Compiling gimli v0.32.3
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling miniz_oxide v0.8.9
[INFO] [stderr]    Compiling smawk v0.3.2
[INFO] [stderr]    Compiling is_ci v1.2.0
[INFO] [stderr]    Compiling unicode-linebreak v0.1.5
[INFO] [stderr]    Compiling is-terminal v0.4.16
[INFO] [stderr]    Compiling unicode-width v0.1.14
[INFO] [stderr]    Compiling terminal_size v0.1.17
[INFO] [stderr]    Compiling lock_api v0.4.14
[INFO] [stderr]    Compiling tracing-core v0.1.34
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling owo-colors v3.5.0
[INFO] [stderr]    Compiling supports-unicode v2.1.0
[INFO] [stderr]    Compiling supports-color v2.1.0
[INFO] [stderr]    Compiling supports-hyperlinks v2.1.0
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling sharded-slab v0.1.7
[INFO] [stderr]    Compiling thread_local v1.1.9
[INFO] [stderr]    Compiling nu-ansi-term v0.50.3
[INFO] [stderr]    Compiling textwrap v0.15.2
[INFO] [stderr]    Compiling tracing-log v0.2.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling tracing-subscriber v0.3.20
[INFO] [stderr]    Compiling internment v0.7.5
[INFO] [stderr]    Compiling addr2line v0.25.1
[INFO] [stderr]    Compiling backtrace v0.3.76
[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 thiserror v1.0.69
[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 tracing v0.1.41
[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] 
[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 1m 16s
[INFO] running `Command { std: "docker" "inspect" "f3dcbf7725413a6a58a4309d36cf74bb1daba5c4c13732606a1a4a7d6914ab50", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f3dcbf7725413a6a58a4309d36cf74bb1daba5c4c13732606a1a4a7d6914ab50", kill_on_drop: false }`
[INFO] [stdout] f3dcbf7725413a6a58a4309d36cf74bb1daba5c4c13732606a1a4a7d6914ab50
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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 -Copt-level=3" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 76b7ea88e8b647593edded70ad199e19548700387d5991d0fe92f0ea960b3e91
[INFO] running `Command { std: "docker" "start" "-a" "76b7ea88e8b647593edded70ad199e19548700387d5991d0fe92f0ea960b3e91", kill_on_drop: false }`
[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 diagnostic v0.0.0 (/opt/rustwide/workdir/diagnostic)
[INFO] [stderr]    Compiling files v0.0.0 (/opt/rustwide/workdir/files)
[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] 
[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 db v0.0.0 (/opt/rustwide/workdir/db)
[INFO] [stderr]    Compiling parse v0.0.0 (/opt/rustwide/workdir/parse)
[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] [stderr]    Compiling elab v0.0.0 (/opt/rustwide/workdir/elab)
[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] [stderr]    Compiling quill v0.0.0 (/opt/rustwide/workdir/quill)
[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: 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: `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] 
[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]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.38s
[INFO] running `Command { std: "docker" "inspect" "76b7ea88e8b647593edded70ad199e19548700387d5991d0fe92f0ea960b3e91", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "76b7ea88e8b647593edded70ad199e19548700387d5991d0fe92f0ea960b3e91", kill_on_drop: false }`
[INFO] [stdout] 76b7ea88e8b647593edded70ad199e19548700387d5991d0fe92f0ea960b3e91
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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 -Copt-level=3" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 8fb7bb8aa6abf8951778d5378273d9dc03cb0010e611c2e73830c0019d9cfcc2
[INFO] running `Command { std: "docker" "start" "-a" "8fb7bb8aa6abf8951778d5378273d9dc03cb0010e611c2e73830c0019d9cfcc2", 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] 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
[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/debug/deps/db-88260c7a07987614)
[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/debug/deps/diagnostic-a9c8b8e959e95ab5)
[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/debug/deps/elab-186b7a74004a978d)
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/files-0dba04ddfc129e45)
[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] [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/debug/deps/parse-c7d258871d3a1430)
[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/debug/deps/quill-0bc5b350f267296c)
[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]    Doc-tests db
[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]    Doc-tests diagnostic
[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]    Doc-tests elab
[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]    Doc-tests files
[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]    Doc-tests parse
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test parse/src/provenance.rs - provenance::WithProvenance (line 27) ... FAILED
[INFO] [stderr] error: doctest failed, to rerun pass `-p parse --doc`
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- parse/src/provenance.rs - provenance::WithProvenance (line 27) stdout ----
[INFO] [stdout] error[E0603]: module `provenance` is private
[INFO] [stdout]  --> parse/src/provenance.rs:29:12
[INFO] [stdout]   |
[INFO] [stdout] 5 | use parse::provenance::WithProvenance;
[INFO] [stdout]   |            ^^^^^^^^^^ private module
[INFO] [stdout]   |
[INFO] [stdout] note: the module `provenance` is defined here
[INFO] [stdout]  --> /opt/rustwide/workdir/parse/src/lib.rs:5:1
[INFO] [stdout]   |
[INFO] [stdout] 5 | mod provenance;
[INFO] [stdout]   | ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0603`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     parse/src/provenance.rs - provenance::WithProvenance (line 27)
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.22s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "8fb7bb8aa6abf8951778d5378273d9dc03cb0010e611c2e73830c0019d9cfcc2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8fb7bb8aa6abf8951778d5378273d9dc03cb0010e611c2e73830c0019d9cfcc2", kill_on_drop: false }`
[INFO] [stdout] 8fb7bb8aa6abf8951778d5378273d9dc03cb0010e611c2e73830c0019d9cfcc2
