[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#2fd6efc32704647e64d3d646d21c4c68eae100e4 for pr-149852-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquill-lang%2Fquill" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/quill-lang/quill
[INFO] finished tweaking git repo https://github.com/quill-lang/quill
[INFO] tweaked toml for git repo https://github.com/quill-lang/quill written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/quill-lang/quill on toolchain 2fd6efc32704647e64d3d646d21c4c68eae100e4
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "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" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 63 packages to latest compatible versions
[INFO] [stderr]       Adding internment v0.7.5 (available: v0.8.6)
[INFO] [stderr]       Adding miette v5.10.0 (available: v7.6.0)
[INFO] [stderr]       Adding thiserror v1.0.69 (available: v2.0.17)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded backtrace-ext v0.2.1
[INFO] [stderr]   Downloaded textwrap v0.15.2
[INFO] [stderr]   Downloaded supports-color v2.1.0
[INFO] [stderr]   Downloaded supports-hyperlinks v2.1.0
[INFO] [stderr]   Downloaded rustc-demangle v0.1.27
[INFO] [stderr]   Downloaded supports-unicode v2.1.0
[INFO] [stderr]   Downloaded is_ci v1.2.0
[INFO] [stderr]   Downloaded internment v0.7.5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 8308de6a25152ae2fc8e7ce1864d1ae8ea7df26719ead5d8ea2988536dde2680
[INFO] running `Command { std: "docker" "start" "-a" "8308de6a25152ae2fc8e7ce1864d1ae8ea7df26719ead5d8ea2988536dde2680", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8308de6a25152ae2fc8e7ce1864d1ae8ea7df26719ead5d8ea2988536dde2680", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8308de6a25152ae2fc8e7ce1864d1ae8ea7df26719ead5d8ea2988536dde2680", kill_on_drop: false }`
[INFO] [stdout] 8308de6a25152ae2fc8e7ce1864d1ae8ea7df26719ead5d8ea2988536dde2680
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2c0b82e711c05b3e9494ce234db73f048869f9dfc7135f62963a476cfd5fce04
[INFO] running `Command { std: "docker" "start" "-a" "2c0b82e711c05b3e9494ce234db73f048869f9dfc7135f62963a476cfd5fce04", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.180
[INFO] [stderr]    Compiling object v0.37.3
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling gimli v0.32.3
[INFO] [stderr]    Compiling zerocopy v0.8.33
[INFO] [stderr]    Compiling miniz_oxide v0.8.9
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling rustc-demangle v0.1.27
[INFO] [stderr]    Compiling unicode-linebreak v0.1.5
[INFO] [stderr]    Compiling smawk v0.3.2
[INFO] [stderr]    Compiling is_ci v1.2.0
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling textwrap v0.15.2
[INFO] [stderr]    Compiling owo-colors v3.5.0
[INFO] [stderr]    Compiling log v0.4.29
[INFO] [stderr]    Compiling thread_local v1.1.9
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling terminal_size v0.1.17
[INFO] [stderr]    Compiling supports-color v2.1.0
[INFO] [stderr]    Compiling supports-hyperlinks v2.1.0
[INFO] [stderr]    Compiling supports-unicode v2.1.0
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling tracing-log v0.2.0
[INFO] [stderr]    Compiling nu-ansi-term v0.50.3
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling tracing-subscriber v0.3.22
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling addr2line v0.25.1
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling internment v0.7.5
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling miette-derive v5.10.0
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling backtrace v0.3.76
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling backtrace-ext v0.2.1
[INFO] [stderr]    Compiling miette v5.10.0
[INFO] [stderr]    Compiling diagnostic v0.0.0 (/opt/rustwide/workdir/diagnostic)
[INFO] [stdout] warning: the feature `trait_upcasting` has been stable since 1.86.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> diagnostic/src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(trait_upcasting)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling files v0.0.0 (/opt/rustwide/workdir/files)
[INFO] [stderr]    Compiling parse v0.0.0 (/opt/rustwide/workdir/parse)
[INFO] [stderr]    Compiling db v0.0.0 (/opt/rustwide/workdir/db)
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]   --> db/src/lib.rs:58:5
[INFO] [stdout]    |
[INFO] [stdout] 58 |     src: Source,
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout]    = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `message` is never read
[INFO] [stdout]   --> db/src/lib.rs:59:5
[INFO] [stdout]    |
[INFO] [stdout] 59 |     message: String,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `help` is never read
[INFO] [stdout]   --> db/src/lib.rs:61:5
[INFO] [stdout]    |
[INFO] [stdout] 61 |     help: String,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> parse/src/term.rs:332:34
[INFO] [stdout]     |
[INFO] [stdout] 332 |                     Some(_tt) => Dr::new_err(
[INFO] [stdout]     |                                  ^^^^^^^^^^^ unreachable call
[INFO] [stdout] 333 |                         todo!(),
[INFO] [stdout]     |                         ------- any code following this expression is unreachable
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> parse/src/term.rs:343:50
[INFO] [stdout]     |
[INFO] [stdout] 343 |                         Some((_open, _close)) => Dr::new_err(
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ unreachable call
[INFO] [stdout] 344 |                             todo!(),
[INFO] [stdout]     |                             ------- any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> parse/src/term.rs:399:25
[INFO] [stdout]     |
[INFO] [stdout] 399 |             Some(tt) => Dr::new_err(
[INFO] [stdout]     |                         ^^^^^^^^^^^ unreachable call
[INFO] [stdout] 400 |                 todo!(),
[INFO] [stdout]     |                 ------- any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tt`
[INFO] [stdout]    --> parse/src/term.rs:399:18
[INFO] [stdout]     |
[INFO] [stdout] 399 |             Some(tt) => Dr::new_err(
[INFO] [stdout]     |                  ^^ help: if this is intentional, prefix it with an underscore: `_tt`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> parse/src/term.rs:568:45
[INFO] [stdout]     |
[INFO] [stdout] 568 |             PTerm::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stdout]     |                                             ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> parse/src/term.rs:568:51
[INFO] [stdout]     |
[INFO] [stdout] 568 |             PTerm::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stdout]     |                                                   ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `token`
[INFO] [stdout]    --> parse/src/term.rs:570:17
[INFO] [stdout]     |
[INFO] [stdout] 570 |                 token,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `token: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> parse/src/term.rs:571:17
[INFO] [stdout]     |
[INFO] [stdout] 571 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_span`
[INFO] [stdout]    --> parse/src/term.rs:572:17
[INFO] [stdout]     |
[INFO] [stdout] 572 |                 variable_span,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> parse/src/term.rs:573:17
[INFO] [stdout]     |
[INFO] [stdout] 573 |                 value,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> parse/src/term.rs:575:44
[INFO] [stdout]     |
[INFO] [stdout] 575 |             PTerm::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stdout]     |                                            ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> parse/src/term.rs:575:50
[INFO] [stdout]     |
[INFO] [stdout] 575 |             PTerm::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stdout]     |                                                  ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/lex.rs:280:5
[INFO] [stdout]     |
[INFO] [stdout] 280 |     src: SourceData,
[INFO] [stdout]     |     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/lex.rs:282:5
[INFO] [stdout]     |
[INFO] [stdout] 282 |     span: Span,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/lex.rs:355:5
[INFO] [stdout]     |
[INFO] [stdout] 355 |     src: SourceData,
[INFO] [stdout]     |     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/lex.rs:357:5
[INFO] [stdout]     |
[INFO] [stdout] 357 |     span: Span,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `expected` is never read
[INFO] [stdout]    --> parse/src/lex.rs:358:5
[INFO] [stdout]     |
[INFO] [stdout] 358 |     expected: Bracket,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `actual` is never read
[INFO] [stdout]    --> parse/src/lex.rs:359:5
[INFO] [stdout]     |
[INFO] [stdout] 359 |     actual: Bracket,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/lex.rs:366:5
[INFO] [stdout]     |
[INFO] [stdout] 366 |     src: SourceData,
[INFO] [stdout]     |     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/lex.rs:368:5
[INFO] [stdout]     |
[INFO] [stdout] 368 |     span: Span,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/lex.rs:502:5
[INFO] [stdout]     |
[INFO] [stdout] 502 |     src: SourceData,
[INFO] [stdout]     |     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/lex.rs:504:5
[INFO] [stdout]     |
[INFO] [stdout] 504 |     span: Span,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/parser.rs:365:9
[INFO] [stdout]     |
[INFO] [stdout] 365 |         src: SourceData,
[INFO] [stdout]     |         ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/parser.rs:373:9
[INFO] [stdout]     |
[INFO] [stdout] 373 |         src: SourceData,
[INFO] [stdout]     |         ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `expected` is never read
[INFO] [stdout]    --> parse/src/parser.rs:374:9
[INFO] [stdout]     |
[INFO] [stdout] 374 |         expected: String,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/parser.rs:382:9
[INFO] [stdout]     |
[INFO] [stdout] 382 |         src: SourceData,
[INFO] [stdout]     |         ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/parser.rs:390:9
[INFO] [stdout]     |
[INFO] [stdout] 390 |         src: SourceData,
[INFO] [stdout]     |         ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `found` is never read
[INFO] [stdout]    --> parse/src/parser.rs:366:9
[INFO] [stdout]     |
[INFO] [stdout] 366 |         found: String,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/parser.rs:368:9
[INFO] [stdout]     |
[INFO] [stdout] 368 |         span: Span,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `found` is never read
[INFO] [stdout]    --> parse/src/parser.rs:375:9
[INFO] [stdout]     |
[INFO] [stdout] 375 |         found: String,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/parser.rs:377:9
[INFO] [stdout]     |
[INFO] [stdout] 377 |         span: Span,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `found` is never read
[INFO] [stdout]    --> parse/src/parser.rs:383:9
[INFO] [stdout]     |
[INFO] [stdout] 383 |         found: String,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/parser.rs:385:9
[INFO] [stdout]     |
[INFO] [stdout] 385 |         span: Span,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `found` is never read
[INFO] [stdout]    --> parse/src/parser.rs:391:9
[INFO] [stdout]     |
[INFO] [stdout] 391 |         found: String,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `while_parsing` is never read
[INFO] [stdout]    --> parse/src/parser.rs:392:9
[INFO] [stdout]     |
[INFO] [stdout] 392 |         while_parsing: String,
[INFO] [stdout]     |         ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/parser.rs:394:9
[INFO] [stdout]     |
[INFO] [stdout] 394 |         span: Span,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `block_start` is never read
[INFO] [stdout]    --> parse/src/parser.rs:396:9
[INFO] [stdout]     |
[INFO] [stdout] 396 |         block_start: Option<Span>,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `block_end` is never read
[INFO] [stdout]    --> parse/src/parser.rs:398:9
[INFO] [stdout]     |
[INFO] [stdout] 398 |         block_end: Option<Span>,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `token`
[INFO] [stdout]    --> parse/src/ty.rs:398:17
[INFO] [stdout]     |
[INFO] [stdout] 398 |                 token,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `token: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> parse/src/ty.rs:399:17
[INFO] [stdout]     |
[INFO] [stdout] 399 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_span`
[INFO] [stdout]    --> parse/src/ty.rs:400:17
[INFO] [stdout]     |
[INFO] [stdout] 400 |                 variable_span,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> parse/src/ty.rs:401:17
[INFO] [stdout]     |
[INFO] [stdout] 401 |                 result,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DeBruijnIndex` is never constructed
[INFO] [stdout]  --> parse/src/de_bruijn.rs:7:12
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub struct DeBruijnIndex(u32);
[INFO] [stdout]   |            ^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `zero`, `succ`, `pred`, and `value` are never used
[INFO] [stdout]   --> parse/src/de_bruijn.rs:18:12
[INFO] [stdout]    |
[INFO] [stdout] 15 | impl DeBruijnIndex {
[INFO] [stdout]    | ------------------ associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 18 |     pub fn new(idx: u32) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 23 |     pub fn zero() -> DeBruijnIndex {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 28 |     pub fn succ(self) -> DeBruijnIndex {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 33 |     pub fn pred(self) -> DeBruijnIndex {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 37 |     pub fn value(self) -> u32 {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DeBruijnOffset` is never constructed
[INFO] [stdout]   --> parse/src/de_bruijn.rs:44:12
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub struct DeBruijnOffset(u32);
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `zero`, `succ`, and `new` are never used
[INFO] [stdout]   --> parse/src/de_bruijn.rs:48:12
[INFO] [stdout]    |
[INFO] [stdout] 46 | impl DeBruijnOffset {
[INFO] [stdout]    | ------------------- associated items in this implementation
[INFO] [stdout] 47 |     /// The zero offset.
[INFO] [stdout] 48 |     pub fn zero() -> DeBruijnOffset {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 53 |     pub fn succ(self) -> DeBruijnOffset {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 57 |     pub fn new(offset: u32) -> DeBruijnOffset {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `WithProvenance` is never constructed
[INFO] [stdout]   --> parse/src/provenance.rs:52:12
[INFO] [stdout]    |
[INFO] [stdout] 52 | pub struct WithProvenance<T> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `new_synthetic` and `new` are never used
[INFO] [stdout]   --> parse/src/provenance.rs:60:12
[INFO] [stdout]    |
[INFO] [stdout] 59 | impl<T> WithProvenance<T> {
[INFO] [stdout]    | ------------------------- associated functions in this implementation
[INFO] [stdout] 60 |     pub fn new_synthetic(contents: T) -> Self {
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 67 |     pub fn new(provenance: Provenance, contents: T) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> parse/src/parser.rs:201:19
[INFO] [stdout]     |
[INFO] [stdout] 201 |     pub fn config(&self) -> &'a ParserConfiguration {
[INFO] [stdout]     |                   ^^^^^         ^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 201 |     pub fn config(&self) -> &'a ParserConfiguration<'_> {
[INFO] [stdout]     |                                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    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)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:403:43
[INFO] [stdout]     |
[INFO] [stdout] 403 |             Kind::Constructor { argument, result } => todo!(),
[INFO] [stdout]     |                                           ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `region`
[INFO] [stdout]    --> elab/src/lib.rs:418:28
[INFO] [stdout]     |
[INFO] [stdout] 418 |             Type::Borrow { region, ty } => todo!(),
[INFO] [stdout]     |                            ^^^^^^ help: try ignoring the field: `region: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> elab/src/lib.rs:418:36
[INFO] [stdout]     |
[INFO] [stdout] 418 |             Type::Borrow { region, ty } => todo!(),
[INFO] [stdout]     |                                    ^^ help: try ignoring the field: `ty: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `kind`
[INFO] [stdout]    --> elab/src/lib.rs:420:17
[INFO] [stdout]     |
[INFO] [stdout] 420 |                 kind,
[INFO] [stdout]     |                 ^^^^ help: try ignoring the field: `kind: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `region`
[INFO] [stdout]    --> elab/src/lib.rs:422:17
[INFO] [stdout]     |
[INFO] [stdout] 422 |                 region,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `region: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:428:27
[INFO] [stdout]     |
[INFO] [stdout] 428 |             Type::Apply { left, right } => todo!(),
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:428:33
[INFO] [stdout]     |
[INFO] [stdout] 428 |             Type::Apply { left, right } => todo!(),
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:437:32
[INFO] [stdout]     |
[INFO] [stdout] 437 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stdout]     |                                ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:437:42
[INFO] [stdout]     |
[INFO] [stdout] 437 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stdout]     |                                          ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> elab/src/lib.rs:451:30
[INFO] [stdout]     |
[INFO] [stdout] 451 |             Term::Variable { name } => todo!(),
[INFO] [stdout]     |                              ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> elab/src/lib.rs:452:35
[INFO] [stdout]     |
[INFO] [stdout] 452 |             Term::QualifiedName { name } => todo!(),
[INFO] [stdout]     |                                   ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:453:27
[INFO] [stdout]     |
[INFO] [stdout] 453 |             Term::Equal { left, right } => todo!(),
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:453:33
[INFO] [stdout]     |
[INFO] [stdout] 453 |             Term::Equal { left, right } => todo!(),
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> elab/src/lib.rs:454:28
[INFO] [stdout]     |
[INFO] [stdout] 454 |             Term::Borrow { value } => todo!(),
[INFO] [stdout]     |                            ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `kind`
[INFO] [stdout]    --> elab/src/lib.rs:456:17
[INFO] [stdout]     |
[INFO] [stdout] 456 |                 kind,
[INFO] [stdout]     |                 ^^^^ help: try ignoring the field: `kind: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `argument`
[INFO] [stdout]    --> elab/src/lib.rs:457:17
[INFO] [stdout]     |
[INFO] [stdout] 457 |                 argument,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `argument_ty`
[INFO] [stdout]    --> elab/src/lib.rs:458:17
[INFO] [stdout]     |
[INFO] [stdout] 458 |                 argument_ty,
[INFO] [stdout]     |                 ^^^^^^^^^^^ help: try ignoring the field: `argument_ty: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:459:17
[INFO] [stdout]     |
[INFO] [stdout] 459 |                 result,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:461:27
[INFO] [stdout]     |
[INFO] [stdout] 461 |             Term::Apply { left, right } => todo!(),
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:461:33
[INFO] [stdout]     |
[INFO] [stdout] 461 |             Term::Apply { left, right } => todo!(),
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:463:17
[INFO] [stdout]     |
[INFO] [stdout] 463 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_kind`
[INFO] [stdout]    --> elab/src/lib.rs:464:17
[INFO] [stdout]     |
[INFO] [stdout] 464 |                 variable_kind,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_kind: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> elab/src/lib.rs:465:17
[INFO] [stdout]     |
[INFO] [stdout] 465 |                 value,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:467:44
[INFO] [stdout]     |
[INFO] [stdout] 467 |             Term::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stdout]     |                                            ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:467:50
[INFO] [stdout]     |
[INFO] [stdout] 467 |             Term::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stdout]     |                                                  ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:468:32
[INFO] [stdout]     |
[INFO] [stdout] 468 |             Term::Polyregion { variable, value } => todo!(),
[INFO] [stdout]     |                                ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> elab/src/lib.rs:468:42
[INFO] [stdout]     |
[INFO] [stdout] 468 |             Term::Polyregion { variable, value } => todo!(),
[INFO] [stdout]     |                                          ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:469:43
[INFO] [stdout]     |
[INFO] [stdout] 469 |             Term::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stdout]     |                                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:469:49
[INFO] [stdout]     |
[INFO] [stdout] 469 |             Term::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stdout]     |                                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `argument`
[INFO] [stdout]    --> elab/src/lib.rs:480:46
[INFO] [stdout]     |
[INFO] [stdout] 480 |             (Kind::Type, Kind::Constructor { argument, result }) => todo!(),
[INFO] [stdout]     |                                              ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:480:56
[INFO] [stdout]     |
[INFO] [stdout] 480 |             (Kind::Type, Kind::Constructor { argument, result }) => todo!(),
[INFO] [stdout]     |                                                        ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `argument`
[INFO] [stdout]    --> elab/src/lib.rs:481:34
[INFO] [stdout]     |
[INFO] [stdout] 481 |             (Kind::Constructor { argument, result }, Kind::Type) => todo!(),
[INFO] [stdout]     |                                  ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:481:44
[INFO] [stdout]     |
[INFO] [stdout] 481 |             (Kind::Constructor { argument, result }, Kind::Type) => todo!(),
[INFO] [stdout]     |                                            ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left_argument`
[INFO] [stdout]    --> elab/src/lib.rs:484:31
[INFO] [stdout]     |
[INFO] [stdout] 484 |                     argument: left_argument,
[INFO] [stdout]     |                               ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_left_argument`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left_result`
[INFO] [stdout]    --> elab/src/lib.rs:485:29
[INFO] [stdout]     |
[INFO] [stdout] 485 |                     result: left_result,
[INFO] [stdout]     |                             ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_left_result`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right_argument`
[INFO] [stdout]    --> elab/src/lib.rs:488:31
[INFO] [stdout]     |
[INFO] [stdout] 488 |                     argument: right_argument,
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_right_argument`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right_result`
[INFO] [stdout]    --> elab/src/lib.rs:489:29
[INFO] [stdout]     |
[INFO] [stdout] 489 |                     result: right_result,
[INFO] [stdout]     |                             ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_right_result`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> elab/src/lib.rs:539:35
[INFO] [stdout]     |
[INFO] [stdout] 539 |             Type::QualifiedName { name } => todo!(),
[INFO] [stdout]     |                                   ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:541:27
[INFO] [stdout]     |
[INFO] [stdout] 541 |             Type::Apply { left, right } => todo!(),
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:541:33
[INFO] [stdout]     |
[INFO] [stdout] 541 |             Type::Apply { left, right } => todo!(),
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:543:17
[INFO] [stdout]     |
[INFO] [stdout] 543 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_kind`
[INFO] [stdout]    --> elab/src/lib.rs:544:17
[INFO] [stdout]     |
[INFO] [stdout] 544 |                 variable_kind,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_kind: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:545:17
[INFO] [stdout]     |
[INFO] [stdout] 545 |                 result,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:547:32
[INFO] [stdout]     |
[INFO] [stdout] 547 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stdout]     |                                ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:547:42
[INFO] [stdout]     |
[INFO] [stdout] 547 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stdout]     |                                          ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `index`
[INFO] [stdout]    --> elab/src/lib.rs:548:34
[INFO] [stdout]     |
[INFO] [stdout] 548 |             Type::Metavariable { index } => todo!(),
[INFO] [stdout]     |                                  ^^^^^ help: try ignoring the field: `index: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> elab/src/lib.rs:561:31
[INFO] [stdout]     |
[INFO] [stdout] 561 |             PKind::Metakind { span, name } => {
[INFO] [stdout]     |                               ^^^^ help: try ignoring the field: `span: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> elab/src/lib.rs:561:37
[INFO] [stdout]     |
[INFO] [stdout] 561 |             PKind::Metakind { span, name } => {
[INFO] [stdout]     |                                     ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `context`
[INFO] [stdout]    --> elab/src/lib.rs:569:9
[INFO] [stdout]     |
[INFO] [stdout] 569 |         context: &Context,
[INFO] [stdout]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `region`
[INFO] [stdout]    --> elab/src/lib.rs:570:9
[INFO] [stdout]     |
[INFO] [stdout] 570 |         region: &PRegion,
[INFO] [stdout]     |         ^^^^^^ help: if this is intentional, prefix it with an underscore: `_region`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `borrow`
[INFO] [stdout]    --> elab/src/lib.rs:593:29
[INFO] [stdout]     |
[INFO] [stdout] 593 |             PType::Borrow { borrow, region, ty } => todo!(),
[INFO] [stdout]     |                             ^^^^^^ help: try ignoring the field: `borrow: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `region`
[INFO] [stdout]    --> elab/src/lib.rs:593:37
[INFO] [stdout]     |
[INFO] [stdout] 593 |             PType::Borrow { borrow, region, ty } => todo!(),
[INFO] [stdout]     |                                     ^^^^^^ help: try ignoring the field: `region: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> elab/src/lib.rs:593:45
[INFO] [stdout]     |
[INFO] [stdout] 593 |             PType::Borrow { borrow, region, ty } => todo!(),
[INFO] [stdout]     |                                             ^^ help: try ignoring the field: `ty: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:620:28
[INFO] [stdout]     |
[INFO] [stdout] 620 |             PType::Apply { left, right } => todo!(),
[INFO] [stdout]     |                            ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:620:34
[INFO] [stdout]     |
[INFO] [stdout] 620 |             PType::Apply { left, right } => todo!(),
[INFO] [stdout]     |                                  ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `token`
[INFO] [stdout]    --> elab/src/lib.rs:656:17
[INFO] [stdout]     |
[INFO] [stdout] 656 |                 token,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `token: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:657:17
[INFO] [stdout]     |
[INFO] [stdout] 657 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_span`
[INFO] [stdout]    --> elab/src/lib.rs:658:17
[INFO] [stdout]     |
[INFO] [stdout] 658 |                 variable_span,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:659:17
[INFO] [stdout]     |
[INFO] [stdout] 659 |                 result,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `context`
[INFO] [stdout]    --> elab/src/lib.rs:667:9
[INFO] [stdout]     |
[INFO] [stdout] 667 |         context: &Context,
[INFO] [stdout]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> elab/src/lib.rs:682:9
[INFO] [stdout]     |
[INFO] [stdout] 682 |         src: SourceData,
[INFO] [stdout]     |         ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `variable` is never read
[INFO] [stdout]    --> elab/src/lib.rs:683:9
[INFO] [stdout]     |
[INFO] [stdout] 683 |         variable: Intern<String>,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> elab/src/lib.rs:685:9
[INFO] [stdout]     |
[INFO] [stdout] 685 |         span: Span,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `known` is never read
[INFO] [stdout]    --> elab/src/lib.rs:687:9
[INFO] [stdout]     |
[INFO] [stdout] 687 |         known: Option<String>,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[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 40.60s
[INFO] running `Command { std: "docker" "inspect" "2c0b82e711c05b3e9494ce234db73f048869f9dfc7135f62963a476cfd5fce04", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2c0b82e711c05b3e9494ce234db73f048869f9dfc7135f62963a476cfd5fce04", kill_on_drop: false }`
[INFO] [stdout] 2c0b82e711c05b3e9494ce234db73f048869f9dfc7135f62963a476cfd5fce04
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 495b114b747c1ad2d56f9c89375f59b52a8c6b6c636a1c6aaba24eda13bd21d5
[INFO] running `Command { std: "docker" "start" "-a" "495b114b747c1ad2d56f9c89375f59b52a8c6b6c636a1c6aaba24eda13bd21d5", 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)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> parse/src/term.rs:343:50
[INFO] [stdout]     |
[INFO] [stdout] 343 |                         Some((_open, _close)) => Dr::new_err(
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ unreachable call
[INFO] [stdout] 344 |                             todo!(),
[INFO] [stdout]     |                             ------- any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> parse/src/term.rs:399:25
[INFO] [stdout]     |
[INFO] [stdout] 399 |             Some(tt) => Dr::new_err(
[INFO] [stdout]     |                         ^^^^^^^^^^^ unreachable call
[INFO] [stdout] 400 |                 todo!(),
[INFO] [stdout]     |                 ------- any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tt`
[INFO] [stdout]    --> parse/src/term.rs:399:18
[INFO] [stdout]     |
[INFO] [stdout] 399 |             Some(tt) => Dr::new_err(
[INFO] [stdout]     |                  ^^ help: if this is intentional, prefix it with an underscore: `_tt`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> parse/src/term.rs:568:45
[INFO] [stdout]     |
[INFO] [stdout] 568 |             PTerm::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stdout]     |                                             ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> parse/src/term.rs:568:51
[INFO] [stdout]     |
[INFO] [stdout] 568 |             PTerm::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stdout]     |                                                   ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `token`
[INFO] [stdout]    --> parse/src/term.rs:570:17
[INFO] [stdout]     |
[INFO] [stdout] 570 |                 token,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `token: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> parse/src/term.rs:571:17
[INFO] [stdout]     |
[INFO] [stdout] 571 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_span`
[INFO] [stdout]    --> parse/src/term.rs:572:17
[INFO] [stdout]     |
[INFO] [stdout] 572 |                 variable_span,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> parse/src/term.rs:573:17
[INFO] [stdout]     |
[INFO] [stdout] 573 |                 value,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> parse/src/term.rs:575:44
[INFO] [stdout]     |
[INFO] [stdout] 575 |             PTerm::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stdout]     |                                            ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> parse/src/term.rs:575:50
[INFO] [stdout]     |
[INFO] [stdout] 575 |             PTerm::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stdout]     |                                                  ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/lex.rs:280:5
[INFO] [stdout]     |
[INFO] [stdout] 280 |     src: SourceData,
[INFO] [stdout]     |     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/lex.rs:282:5
[INFO] [stdout]     |
[INFO] [stdout] 282 |     span: Span,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/lex.rs:355:5
[INFO] [stdout]     |
[INFO] [stdout] 355 |     src: SourceData,
[INFO] [stdout]     |     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/lex.rs:357:5
[INFO] [stdout]     |
[INFO] [stdout] 357 |     span: Span,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `expected` is never read
[INFO] [stdout]    --> parse/src/lex.rs:358:5
[INFO] [stdout]     |
[INFO] [stdout] 358 |     expected: Bracket,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `actual` is never read
[INFO] [stdout]    --> parse/src/lex.rs:359:5
[INFO] [stdout]     |
[INFO] [stdout] 359 |     actual: Bracket,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/lex.rs:366:5
[INFO] [stdout]     |
[INFO] [stdout] 366 |     src: SourceData,
[INFO] [stdout]     |     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/lex.rs:368:5
[INFO] [stdout]     |
[INFO] [stdout] 368 |     span: Span,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/lex.rs:502:5
[INFO] [stdout]     |
[INFO] [stdout] 502 |     src: SourceData,
[INFO] [stdout]     |     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/lex.rs:504:5
[INFO] [stdout]     |
[INFO] [stdout] 504 |     span: Span,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/parser.rs:365:9
[INFO] [stdout]     |
[INFO] [stdout] 365 |         src: SourceData,
[INFO] [stdout]     |         ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/parser.rs:373:9
[INFO] [stdout]     |
[INFO] [stdout] 373 |         src: SourceData,
[INFO] [stdout]     |         ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `expected` is never read
[INFO] [stdout]    --> parse/src/parser.rs:374:9
[INFO] [stdout]     |
[INFO] [stdout] 374 |         expected: String,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/parser.rs:382:9
[INFO] [stdout]     |
[INFO] [stdout] 382 |         src: SourceData,
[INFO] [stdout]     |         ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/parser.rs:390:9
[INFO] [stdout]     |
[INFO] [stdout] 390 |         src: SourceData,
[INFO] [stdout]     |         ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `found` is never read
[INFO] [stdout]    --> parse/src/parser.rs:366:9
[INFO] [stdout]     |
[INFO] [stdout] 366 |         found: String,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/parser.rs:368:9
[INFO] [stdout]     |
[INFO] [stdout] 368 |         span: Span,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `found` is never read
[INFO] [stdout]    --> parse/src/parser.rs:375:9
[INFO] [stdout]     |
[INFO] [stdout] 375 |         found: String,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/parser.rs:377:9
[INFO] [stdout]     |
[INFO] [stdout] 377 |         span: Span,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `found` is never read
[INFO] [stdout]    --> parse/src/parser.rs:383:9
[INFO] [stdout]     |
[INFO] [stdout] 383 |         found: String,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/parser.rs:385:9
[INFO] [stdout]     |
[INFO] [stdout] 385 |         span: Span,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `found` is never read
[INFO] [stdout]    --> parse/src/parser.rs:391:9
[INFO] [stdout]     |
[INFO] [stdout] 391 |         found: String,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `while_parsing` is never read
[INFO] [stdout]    --> parse/src/parser.rs:392:9
[INFO] [stdout]     |
[INFO] [stdout] 392 |         while_parsing: String,
[INFO] [stdout]     |         ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/parser.rs:394:9
[INFO] [stdout]     |
[INFO] [stdout] 394 |         span: Span,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `block_start` is never read
[INFO] [stdout]    --> parse/src/parser.rs:396:9
[INFO] [stdout]     |
[INFO] [stdout] 396 |         block_start: Option<Span>,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `block_end` is never read
[INFO] [stdout]    --> parse/src/parser.rs:398:9
[INFO] [stdout]     |
[INFO] [stdout] 398 |         block_end: Option<Span>,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `token`
[INFO] [stdout]    --> parse/src/ty.rs:398:17
[INFO] [stdout]     |
[INFO] [stdout] 398 |                 token,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `token: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> parse/src/ty.rs:399:17
[INFO] [stdout]     |
[INFO] [stdout] 399 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_span`
[INFO] [stdout]    --> parse/src/ty.rs:400:17
[INFO] [stdout]     |
[INFO] [stdout] 400 |                 variable_span,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> parse/src/ty.rs:401:17
[INFO] [stdout]     |
[INFO] [stdout] 401 |                 result,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DeBruijnIndex` is never constructed
[INFO] [stdout]  --> parse/src/de_bruijn.rs:7:12
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub struct DeBruijnIndex(u32);
[INFO] [stdout]   |            ^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `zero`, `succ`, `pred`, and `value` are never used
[INFO] [stdout]   --> parse/src/de_bruijn.rs:18:12
[INFO] [stdout]    |
[INFO] [stdout] 15 | impl DeBruijnIndex {
[INFO] [stdout]    | ------------------ associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 18 |     pub fn new(idx: u32) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 23 |     pub fn zero() -> DeBruijnIndex {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 28 |     pub fn succ(self) -> DeBruijnIndex {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 33 |     pub fn pred(self) -> DeBruijnIndex {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 37 |     pub fn value(self) -> u32 {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DeBruijnOffset` is never constructed
[INFO] [stdout]   --> parse/src/de_bruijn.rs:44:12
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub struct DeBruijnOffset(u32);
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `zero`, `succ`, and `new` are never used
[INFO] [stdout]   --> parse/src/de_bruijn.rs:48:12
[INFO] [stdout]    |
[INFO] [stdout] 46 | impl DeBruijnOffset {
[INFO] [stdout]    | ------------------- associated items in this implementation
[INFO] [stdout] 47 |     /// The zero offset.
[INFO] [stdout] 48 |     pub fn zero() -> DeBruijnOffset {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 53 |     pub fn succ(self) -> DeBruijnOffset {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 57 |     pub fn new(offset: u32) -> DeBruijnOffset {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `WithProvenance` is never constructed
[INFO] [stdout]   --> parse/src/provenance.rs:52:12
[INFO] [stdout]    |
[INFO] [stdout] 52 | pub struct WithProvenance<T> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `new_synthetic` and `new` are never used
[INFO] [stdout]   --> parse/src/provenance.rs:60:12
[INFO] [stdout]    |
[INFO] [stdout] 59 | impl<T> WithProvenance<T> {
[INFO] [stdout]    | ------------------------- associated functions in this implementation
[INFO] [stdout] 60 |     pub fn new_synthetic(contents: T) -> Self {
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 67 |     pub fn new(provenance: Provenance, contents: T) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> parse/src/parser.rs:201:19
[INFO] [stdout]     |
[INFO] [stdout] 201 |     pub fn config(&self) -> &'a ParserConfiguration {
[INFO] [stdout]     |                   ^^^^^         ^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 201 |     pub fn config(&self) -> &'a ParserConfiguration<'_> {
[INFO] [stdout]     |                                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]   --> db/src/lib.rs:58:5
[INFO] [stdout]    |
[INFO] [stdout] 58 |     src: Source,
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout]    = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `message` is never read
[INFO] [stdout]   --> db/src/lib.rs:59:5
[INFO] [stdout]    |
[INFO] [stdout] 59 |     message: String,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `help` is never read
[INFO] [stdout]   --> db/src/lib.rs:61:5
[INFO] [stdout]    |
[INFO] [stdout] 61 |     help: String,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling parse v0.0.0 (/opt/rustwide/workdir/parse)
[INFO] [stderr]    Compiling db v0.0.0 (/opt/rustwide/workdir/db)
[INFO] [stdout] warning: unused variable: `argument`
[INFO] [stdout]    --> elab/src/lib.rs:403:33
[INFO] [stdout]     |
[INFO] [stdout] 403 |             Kind::Constructor { argument, result } => todo!(),
[INFO] [stdout]     |                                 ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:403:43
[INFO] [stdout]     |
[INFO] [stdout] 403 |             Kind::Constructor { argument, result } => todo!(),
[INFO] [stdout]     |                                           ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `region`
[INFO] [stdout]    --> elab/src/lib.rs:418:28
[INFO] [stdout]     |
[INFO] [stdout] 418 |             Type::Borrow { region, ty } => todo!(),
[INFO] [stdout]     |                            ^^^^^^ help: try ignoring the field: `region: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> elab/src/lib.rs:418:36
[INFO] [stdout]     |
[INFO] [stdout] 418 |             Type::Borrow { region, ty } => todo!(),
[INFO] [stdout]     |                                    ^^ help: try ignoring the field: `ty: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `kind`
[INFO] [stdout]    --> elab/src/lib.rs:420:17
[INFO] [stdout]     |
[INFO] [stdout] 420 |                 kind,
[INFO] [stdout]     |                 ^^^^ help: try ignoring the field: `kind: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `region`
[INFO] [stdout]    --> elab/src/lib.rs:422:17
[INFO] [stdout]     |
[INFO] [stdout] 422 |                 region,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `region: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:428:27
[INFO] [stdout]     |
[INFO] [stdout] 428 |             Type::Apply { left, right } => todo!(),
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:428:33
[INFO] [stdout]     |
[INFO] [stdout] 428 |             Type::Apply { left, right } => todo!(),
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:437:32
[INFO] [stdout]     |
[INFO] [stdout] 437 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stdout]     |                                ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:437:42
[INFO] [stdout]     |
[INFO] [stdout] 437 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stdout]     |                                          ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> elab/src/lib.rs:451:30
[INFO] [stdout]     |
[INFO] [stdout] 451 |             Term::Variable { name } => todo!(),
[INFO] [stdout]     |                              ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> elab/src/lib.rs:452:35
[INFO] [stdout]     |
[INFO] [stdout] 452 |             Term::QualifiedName { name } => todo!(),
[INFO] [stdout]     |                                   ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:453:27
[INFO] [stdout]     |
[INFO] [stdout] 453 |             Term::Equal { left, right } => todo!(),
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:453:33
[INFO] [stdout]     |
[INFO] [stdout] 453 |             Term::Equal { left, right } => todo!(),
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> elab/src/lib.rs:454:28
[INFO] [stdout]     |
[INFO] [stdout] 454 |             Term::Borrow { value } => todo!(),
[INFO] [stdout]     |                            ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `kind`
[INFO] [stdout]    --> elab/src/lib.rs:456:17
[INFO] [stdout]     |
[INFO] [stdout] 456 |                 kind,
[INFO] [stdout]     |                 ^^^^ help: try ignoring the field: `kind: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `argument`
[INFO] [stdout]    --> elab/src/lib.rs:457:17
[INFO] [stdout]     |
[INFO] [stdout] 457 |                 argument,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `argument_ty`
[INFO] [stdout]    --> elab/src/lib.rs:458:17
[INFO] [stdout]     |
[INFO] [stdout] 458 |                 argument_ty,
[INFO] [stdout]     |                 ^^^^^^^^^^^ help: try ignoring the field: `argument_ty: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:459:17
[INFO] [stdout]     |
[INFO] [stdout] 459 |                 result,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:461:27
[INFO] [stdout]     |
[INFO] [stdout] 461 |             Term::Apply { left, right } => todo!(),
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:461:33
[INFO] [stdout]     |
[INFO] [stdout] 461 |             Term::Apply { left, right } => todo!(),
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:463:17
[INFO] [stdout]     |
[INFO] [stdout] 463 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_kind`
[INFO] [stdout]    --> elab/src/lib.rs:464:17
[INFO] [stdout]     |
[INFO] [stdout] 464 |                 variable_kind,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_kind: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> elab/src/lib.rs:465:17
[INFO] [stdout]     |
[INFO] [stdout] 465 |                 value,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:467:44
[INFO] [stdout]     |
[INFO] [stdout] 467 |             Term::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stdout]     |                                            ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:467:50
[INFO] [stdout]     |
[INFO] [stdout] 467 |             Term::InstantiatePolymorphic { left, right } => todo!(),
[INFO] [stdout]     |                                                  ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:468:32
[INFO] [stdout]     |
[INFO] [stdout] 468 |             Term::Polyregion { variable, value } => todo!(),
[INFO] [stdout]     |                                ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> elab/src/lib.rs:468:42
[INFO] [stdout]     |
[INFO] [stdout] 468 |             Term::Polyregion { variable, value } => todo!(),
[INFO] [stdout]     |                                          ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:469:43
[INFO] [stdout]     |
[INFO] [stdout] 469 |             Term::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stdout]     |                                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:469:49
[INFO] [stdout]     |
[INFO] [stdout] 469 |             Term::InstantiatePolyregion { left, right } => todo!(),
[INFO] [stdout]     |                                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `argument`
[INFO] [stdout]    --> elab/src/lib.rs:480:46
[INFO] [stdout]     |
[INFO] [stdout] 480 |             (Kind::Type, Kind::Constructor { argument, result }) => todo!(),
[INFO] [stdout]     |                                              ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:480:56
[INFO] [stdout]     |
[INFO] [stdout] 480 |             (Kind::Type, Kind::Constructor { argument, result }) => todo!(),
[INFO] [stdout]     |                                                        ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `argument`
[INFO] [stdout]    --> elab/src/lib.rs:481:34
[INFO] [stdout]     |
[INFO] [stdout] 481 |             (Kind::Constructor { argument, result }, Kind::Type) => todo!(),
[INFO] [stdout]     |                                  ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:481:44
[INFO] [stdout]     |
[INFO] [stdout] 481 |             (Kind::Constructor { argument, result }, Kind::Type) => todo!(),
[INFO] [stdout]     |                                            ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left_argument`
[INFO] [stdout]    --> elab/src/lib.rs:484:31
[INFO] [stdout]     |
[INFO] [stdout] 484 |                     argument: left_argument,
[INFO] [stdout]     |                               ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_left_argument`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left_result`
[INFO] [stdout]    --> elab/src/lib.rs:485:29
[INFO] [stdout]     |
[INFO] [stdout] 485 |                     result: left_result,
[INFO] [stdout]     |                             ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_left_result`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right_argument`
[INFO] [stdout]    --> elab/src/lib.rs:488:31
[INFO] [stdout]     |
[INFO] [stdout] 488 |                     argument: right_argument,
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_right_argument`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right_result`
[INFO] [stdout]    --> elab/src/lib.rs:489:29
[INFO] [stdout]     |
[INFO] [stdout] 489 |                     result: right_result,
[INFO] [stdout]     |                             ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_right_result`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> elab/src/lib.rs:539:35
[INFO] [stdout]     |
[INFO] [stdout] 539 |             Type::QualifiedName { name } => todo!(),
[INFO] [stdout]     |                                   ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:541:27
[INFO] [stdout]     |
[INFO] [stdout] 541 |             Type::Apply { left, right } => todo!(),
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:541:33
[INFO] [stdout]     |
[INFO] [stdout] 541 |             Type::Apply { left, right } => todo!(),
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:543:17
[INFO] [stdout]     |
[INFO] [stdout] 543 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_kind`
[INFO] [stdout]    --> elab/src/lib.rs:544:17
[INFO] [stdout]     |
[INFO] [stdout] 544 |                 variable_kind,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_kind: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:545:17
[INFO] [stdout]     |
[INFO] [stdout] 545 |                 result,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:547:32
[INFO] [stdout]     |
[INFO] [stdout] 547 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stdout]     |                                ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:547:42
[INFO] [stdout]     |
[INFO] [stdout] 547 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stdout]     |                                          ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `index`
[INFO] [stdout]    --> elab/src/lib.rs:548:34
[INFO] [stdout]     |
[INFO] [stdout] 548 |             Type::Metavariable { index } => todo!(),
[INFO] [stdout]     |                                  ^^^^^ help: try ignoring the field: `index: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> elab/src/lib.rs:561:31
[INFO] [stdout]     |
[INFO] [stdout] 561 |             PKind::Metakind { span, name } => {
[INFO] [stdout]     |                               ^^^^ help: try ignoring the field: `span: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> elab/src/lib.rs:561:37
[INFO] [stdout]     |
[INFO] [stdout] 561 |             PKind::Metakind { span, name } => {
[INFO] [stdout]     |                                     ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `context`
[INFO] [stdout]    --> elab/src/lib.rs:569:9
[INFO] [stdout]     |
[INFO] [stdout] 569 |         context: &Context,
[INFO] [stdout]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `region`
[INFO] [stdout]    --> elab/src/lib.rs:570:9
[INFO] [stdout]     |
[INFO] [stdout] 570 |         region: &PRegion,
[INFO] [stdout]     |         ^^^^^^ help: if this is intentional, prefix it with an underscore: `_region`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `borrow`
[INFO] [stdout]    --> elab/src/lib.rs:593:29
[INFO] [stdout]     |
[INFO] [stdout] 593 |             PType::Borrow { borrow, region, ty } => todo!(),
[INFO] [stdout]     |                             ^^^^^^ help: try ignoring the field: `borrow: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `region`
[INFO] [stdout]    --> elab/src/lib.rs:593:37
[INFO] [stdout]     |
[INFO] [stdout] 593 |             PType::Borrow { borrow, region, ty } => todo!(),
[INFO] [stdout]     |                                     ^^^^^^ help: try ignoring the field: `region: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> elab/src/lib.rs:593:45
[INFO] [stdout]     |
[INFO] [stdout] 593 |             PType::Borrow { borrow, region, ty } => todo!(),
[INFO] [stdout]     |                                             ^^ help: try ignoring the field: `ty: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:620:28
[INFO] [stdout]     |
[INFO] [stdout] 620 |             PType::Apply { left, right } => todo!(),
[INFO] [stdout]     |                            ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:620:34
[INFO] [stdout]     |
[INFO] [stdout] 620 |             PType::Apply { left, right } => todo!(),
[INFO] [stdout]     |                                  ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `token`
[INFO] [stdout]    --> elab/src/lib.rs:656:17
[INFO] [stdout]     |
[INFO] [stdout] 656 |                 token,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `token: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:657:17
[INFO] [stdout]     |
[INFO] [stdout] 657 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_span`
[INFO] [stdout]    --> elab/src/lib.rs:658:17
[INFO] [stdout]     |
[INFO] [stdout] 658 |                 variable_span,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:659:17
[INFO] [stdout]     |
[INFO] [stdout] 659 |                 result,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `context`
[INFO] [stdout]    --> elab/src/lib.rs:667:9
[INFO] [stdout]     |
[INFO] [stdout] 667 |         context: &Context,
[INFO] [stdout]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> elab/src/lib.rs:682:9
[INFO] [stdout]     |
[INFO] [stdout] 682 |         src: SourceData,
[INFO] [stdout]     |         ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `variable` is never read
[INFO] [stdout]    --> elab/src/lib.rs:683:9
[INFO] [stdout]     |
[INFO] [stdout] 683 |         variable: Intern<String>,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> elab/src/lib.rs:685:9
[INFO] [stdout]     |
[INFO] [stdout] 685 |         span: Span,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `known` is never read
[INFO] [stdout]    --> elab/src/lib.rs:687:9
[INFO] [stdout]     |
[INFO] [stdout] 687 |         known: Option<String>,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling elab v0.0.0 (/opt/rustwide/workdir/elab)
[INFO] [stderr]    Compiling quill v0.0.0 (/opt/rustwide/workdir/quill)
[INFO] [stdout] warning: the feature `trait_upcasting` has been stable since 1.86.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> diagnostic/src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(trait_upcasting)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]   --> db/src/lib.rs:58:5
[INFO] [stdout]    |
[INFO] [stdout] 58 |     src: Source,
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout]    = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `message` is never read
[INFO] [stdout]   --> db/src/lib.rs:59:5
[INFO] [stdout]    |
[INFO] [stdout] 59 |     message: String,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `help` is never read
[INFO] [stdout]   --> db/src/lib.rs:61:5
[INFO] [stdout]    |
[INFO] [stdout] 61 |     help: String,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> parse/src/term.rs:332:34
[INFO] [stdout]     |
[INFO] [stdout] 332 |                     Some(_tt) => Dr::new_err(
[INFO] [stdout]     |                                  ^^^^^^^^^^^ unreachable call
[INFO] [stdout] 333 |                         todo!(),
[INFO] [stdout]     |                         ------- any code following this expression is unreachable
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> parse/src/term.rs:343:50
[INFO] [stdout]     |
[INFO] [stdout] 343 |                         Some((_open, _close)) => Dr::new_err(
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ unreachable call
[INFO] [stdout] 344 |                             todo!(),
[INFO] [stdout]     |                             ------- any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> parse/src/term.rs:399:25
[INFO] [stdout]     |
[INFO] [stdout] 399 |             Some(tt) => Dr::new_err(
[INFO] [stdout]     |                         ^^^^^^^^^^^ unreachable call
[INFO] [stdout] 400 |                 todo!(),
[INFO] [stdout]     |                 ------- any code following this expression is unreachable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `argument`
[INFO] [stdout]    --> elab/src/lib.rs:403:33
[INFO] [stdout]     |
[INFO] [stdout] 403 |             Kind::Constructor { argument, result } => todo!(),
[INFO] [stdout]     |                                 ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:403:43
[INFO] [stdout]     |
[INFO] [stdout] 403 |             Kind::Constructor { argument, result } => todo!(),
[INFO] [stdout]     |                                           ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `region`
[INFO] [stdout]    --> elab/src/lib.rs:418:28
[INFO] [stdout]     |
[INFO] [stdout] 418 |             Type::Borrow { region, ty } => todo!(),
[INFO] [stdout]     |                            ^^^^^^ help: try ignoring the field: `region: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]    --> elab/src/lib.rs:418:36
[INFO] [stdout]     |
[INFO] [stdout] 418 |             Type::Borrow { region, ty } => todo!(),
[INFO] [stdout]     |                                    ^^ help: try ignoring the field: `ty: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `kind`
[INFO] [stdout]    --> elab/src/lib.rs:420:17
[INFO] [stdout]     |
[INFO] [stdout] 420 |                 kind,
[INFO] [stdout]     |                 ^^^^ help: try ignoring the field: `kind: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `region`
[INFO] [stdout]    --> elab/src/lib.rs:422:17
[INFO] [stdout]     |
[INFO] [stdout] 422 |                 region,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `region: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:428:27
[INFO] [stdout]     |
[INFO] [stdout] 428 |             Type::Apply { left, right } => todo!(),
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:428:33
[INFO] [stdout]     |
[INFO] [stdout] 428 |             Type::Apply { left, right } => todo!(),
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> elab/src/lib.rs:437:32
[INFO] [stdout]     |
[INFO] [stdout] 437 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stdout]     |                                ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> elab/src/lib.rs:437:42
[INFO] [stdout]     |
[INFO] [stdout] 437 |             Type::Polyregion { variable, result } => todo!(),
[INFO] [stdout]     |                                          ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> elab/src/lib.rs:451:30
[INFO] [stdout]     |
[INFO] [stdout] 451 |             Term::Variable { name } => todo!(),
[INFO] [stdout]     |                              ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]    --> elab/src/lib.rs:452:35
[INFO] [stdout]     |
[INFO] [stdout] 452 |             Term::QualifiedName { name } => todo!(),
[INFO] [stdout]     |                                   ^^^^ help: try ignoring the field: `name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> elab/src/lib.rs:453:27
[INFO] [stdout]     |
[INFO] [stdout] 453 |             Term::Equal { left, right } => todo!(),
[INFO] [stdout]     |                           ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> elab/src/lib.rs:453:33
[INFO] [stdout]     |
[INFO] [stdout] 453 |             Term::Equal { left, right } => todo!(),
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> elab/src/lib.rs:454:28
[INFO] [stdout]     |
[INFO] [stdout] 454 |             Term::Borrow { value } => todo!(),
[INFO] [stdout]     |                            ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `kind`
[INFO] [stdout]    --> elab/src/lib.rs:456:17
[INFO] [stdout]     |
[INFO] [stdout] 456 |                 kind,
[INFO] [stdout]     |                 ^^^^ help: try ignoring the field: `kind: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `argument`
[INFO] [stdout]    --> elab/src/lib.rs:457:17
[INFO] [stdout]     |
[INFO] [stdout] 457 |                 argument,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `argument: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tt`
[INFO] [stdout]    --> parse/src/term.rs:399:18
[INFO] [stdout]     |
[INFO] [stdout] 399 |             Some(tt) => Dr::new_err(
[INFO] [stdout]     |                  ^^ help: if this is intentional, prefix it with an underscore: `_tt`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `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: `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: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/lex.rs:280:5
[INFO] [stdout]     |
[INFO] [stdout] 280 |     src: SourceData,
[INFO] [stdout]     |     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/lex.rs:282:5
[INFO] [stdout]     |
[INFO] [stdout] 282 |     span: Span,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[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: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/lex.rs:355:5
[INFO] [stdout]     |
[INFO] [stdout] 355 |     src: SourceData,
[INFO] [stdout]     |     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/lex.rs:357:5
[INFO] [stdout]     |
[INFO] [stdout] 357 |     span: Span,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `expected` is never read
[INFO] [stdout]    --> parse/src/lex.rs:358:5
[INFO] [stdout]     |
[INFO] [stdout] 358 |     expected: Bracket,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `actual` is never read
[INFO] [stdout]    --> parse/src/lex.rs:359:5
[INFO] [stdout]     |
[INFO] [stdout] 359 |     actual: Bracket,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/lex.rs:366:5
[INFO] [stdout]     |
[INFO] [stdout] 366 |     src: SourceData,
[INFO] [stdout]     |     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/lex.rs:368:5
[INFO] [stdout]     |
[INFO] [stdout] 368 |     span: Span,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[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: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/lex.rs:502:5
[INFO] [stdout]     |
[INFO] [stdout] 502 |     src: SourceData,
[INFO] [stdout]     |     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/lex.rs:504:5
[INFO] [stdout]     |
[INFO] [stdout] 504 |     span: Span,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/parser.rs:365:9
[INFO] [stdout]     |
[INFO] [stdout] 365 |         src: SourceData,
[INFO] [stdout]     |         ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/parser.rs:373:9
[INFO] [stdout]     |
[INFO] [stdout] 373 |         src: SourceData,
[INFO] [stdout]     |         ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `expected` is never read
[INFO] [stdout]    --> parse/src/parser.rs:374:9
[INFO] [stdout]     |
[INFO] [stdout] 374 |         expected: String,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/parser.rs:382:9
[INFO] [stdout]     |
[INFO] [stdout] 382 |         src: SourceData,
[INFO] [stdout]     |         ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `src` is never read
[INFO] [stdout]    --> parse/src/parser.rs:390:9
[INFO] [stdout]     |
[INFO] [stdout] 390 |         src: SourceData,
[INFO] [stdout]     |         ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `found` is never read
[INFO] [stdout]    --> parse/src/parser.rs:366:9
[INFO] [stdout]     |
[INFO] [stdout] 366 |         found: String,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/parser.rs:368:9
[INFO] [stdout]     |
[INFO] [stdout] 368 |         span: Span,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `found` is never read
[INFO] [stdout]    --> parse/src/parser.rs:375:9
[INFO] [stdout]     |
[INFO] [stdout] 375 |         found: String,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/parser.rs:377:9
[INFO] [stdout]     |
[INFO] [stdout] 377 |         span: Span,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `found` is never read
[INFO] [stdout]    --> parse/src/parser.rs:383:9
[INFO] [stdout]     |
[INFO] [stdout] 383 |         found: String,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/parser.rs:385:9
[INFO] [stdout]     |
[INFO] [stdout] 385 |         span: Span,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `found` is never read
[INFO] [stdout]    --> parse/src/parser.rs:391:9
[INFO] [stdout]     |
[INFO] [stdout] 391 |         found: String,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `while_parsing` is never read
[INFO] [stdout]    --> parse/src/parser.rs:392:9
[INFO] [stdout]     |
[INFO] [stdout] 392 |         while_parsing: String,
[INFO] [stdout]     |         ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> parse/src/parser.rs:394:9
[INFO] [stdout]     |
[INFO] [stdout] 394 |         span: Span,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `block_start` is never read
[INFO] [stdout]    --> parse/src/parser.rs:396:9
[INFO] [stdout]     |
[INFO] [stdout] 396 |         block_start: Option<Span>,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `block_end` is never read
[INFO] [stdout]    --> parse/src/parser.rs:398:9
[INFO] [stdout]     |
[INFO] [stdout] 398 |         block_end: Option<Span>,
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[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: `token`
[INFO] [stdout]    --> parse/src/ty.rs:398:17
[INFO] [stdout]     |
[INFO] [stdout] 398 |                 token,
[INFO] [stdout]     |                 ^^^^^ help: try ignoring the field: `token: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable`
[INFO] [stdout]    --> parse/src/ty.rs:399:17
[INFO] [stdout]     |
[INFO] [stdout] 399 |                 variable,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `variable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variable_span`
[INFO] [stdout]    --> parse/src/ty.rs:400:17
[INFO] [stdout]     |
[INFO] [stdout] 400 |                 variable_span,
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `result`
[INFO] [stdout]    --> parse/src/ty.rs:401:17
[INFO] [stdout]     |
[INFO] [stdout] 401 |                 result,
[INFO] [stdout]     |                 ^^^^^^ help: try ignoring the field: `result: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DeBruijnIndex` is never constructed
[INFO] [stdout]  --> parse/src/de_bruijn.rs:7:12
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub struct DeBruijnIndex(u32);
[INFO] [stdout]   |            ^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `zero`, `succ`, `pred`, and `value` are never used
[INFO] [stdout]   --> parse/src/de_bruijn.rs:18:12
[INFO] [stdout]    |
[INFO] [stdout] 15 | impl DeBruijnIndex {
[INFO] [stdout]    | ------------------ associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 18 |     pub fn new(idx: u32) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 23 |     pub fn zero() -> DeBruijnIndex {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 28 |     pub fn succ(self) -> DeBruijnIndex {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 33 |     pub fn pred(self) -> DeBruijnIndex {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 37 |     pub fn value(self) -> u32 {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DeBruijnOffset` is never constructed
[INFO] [stdout]   --> parse/src/de_bruijn.rs:44:12
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub struct DeBruijnOffset(u32);
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `zero`, `succ`, and `new` are never used
[INFO] [stdout]   --> parse/src/de_bruijn.rs:48:12
[INFO] [stdout]    |
[INFO] [stdout] 46 | impl DeBruijnOffset {
[INFO] [stdout]    | ------------------- associated items in this implementation
[INFO] [stdout] 47 |     /// The zero offset.
[INFO] [stdout] 48 |     pub fn zero() -> DeBruijnOffset {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 53 |     pub fn succ(self) -> DeBruijnOffset {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 57 |     pub fn new(offset: u32) -> DeBruijnOffset {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `WithProvenance` is never constructed
[INFO] [stdout]   --> parse/src/provenance.rs:52:12
[INFO] [stdout]    |
[INFO] [stdout] 52 | pub struct WithProvenance<T> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `new_synthetic` and `new` are never used
[INFO] [stdout]   --> parse/src/provenance.rs:60:12
[INFO] [stdout]    |
[INFO] [stdout] 59 | impl<T> WithProvenance<T> {
[INFO] [stdout]    | ------------------------- associated functions in this implementation
[INFO] [stdout] 60 |     pub fn new_synthetic(contents: T) -> Self {
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 67 |     pub fn new(provenance: Provenance, contents: T) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> parse/src/parser.rs:201:19
[INFO] [stdout]     |
[INFO] [stdout] 201 |     pub fn config(&self) -> &'a ParserConfiguration {
[INFO] [stdout]     |                   ^^^^^         ^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 201 |     pub fn config(&self) -> &'a ParserConfiguration<'_> {
[INFO] [stdout]     |                                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `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: value assigned to `src` is never read
[INFO] [stdout]    --> elab/src/lib.rs:682:9
[INFO] [stdout]     |
[INFO] [stdout] 682 |         src: SourceData,
[INFO] [stdout]     |         ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `variable` is never read
[INFO] [stdout]    --> elab/src/lib.rs:683:9
[INFO] [stdout]     |
[INFO] [stdout] 683 |         variable: Intern<String>,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]    --> elab/src/lib.rs:685:9
[INFO] [stdout]     |
[INFO] [stdout] 685 |         span: Span,
[INFO] [stdout]     |         ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `known` is never read
[INFO] [stdout]    --> elab/src/lib.rs:687:9
[INFO] [stdout]     |
[INFO] [stdout] 687 |         known: Option<String>,
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.66s
[INFO] running `Command { std: "docker" "inspect" "495b114b747c1ad2d56f9c89375f59b52a8c6b6c636a1c6aaba24eda13bd21d5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "495b114b747c1ad2d56f9c89375f59b52a8c6b6c636a1c6aaba24eda13bd21d5", kill_on_drop: false }`
[INFO] [stdout] 495b114b747c1ad2d56f9c89375f59b52a8c6b6c636a1c6aaba24eda13bd21d5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 9ec865e53e715604888fbbe6a403627c29c82c73ad8d1d4eb03c24139e0a7152
[INFO] running `Command { std: "docker" "start" "-a" "9ec865e53e715604888fbbe6a403627c29c82c73ad8d1d4eb03c24139e0a7152", 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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: value assigned to `src` is never read
[INFO] [stderr]    --> parse/src/lex.rs:280:5
[INFO] [stderr]     |
[INFO] [stderr] 280 |     src: SourceData,
[INFO] [stderr]     |     ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `span` is never read
[INFO] [stderr]    --> parse/src/lex.rs:282:5
[INFO] [stderr]     |
[INFO] [stderr] 282 |     span: Span,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `src` is never read
[INFO] [stderr]    --> parse/src/lex.rs:355:5
[INFO] [stderr]     |
[INFO] [stderr] 355 |     src: SourceData,
[INFO] [stderr]     |     ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `span` is never read
[INFO] [stderr]    --> parse/src/lex.rs:357:5
[INFO] [stderr]     |
[INFO] [stderr] 357 |     span: Span,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `expected` is never read
[INFO] [stderr]    --> parse/src/lex.rs:358:5
[INFO] [stderr]     |
[INFO] [stderr] 358 |     expected: Bracket,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `actual` is never read
[INFO] [stderr]    --> parse/src/lex.rs:359:5
[INFO] [stderr]     |
[INFO] [stderr] 359 |     actual: Bracket,
[INFO] [stderr]     |     ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `src` is never read
[INFO] [stderr]    --> parse/src/lex.rs:366:5
[INFO] [stderr]     |
[INFO] [stderr] 366 |     src: SourceData,
[INFO] [stderr]     |     ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `span` is never read
[INFO] [stderr]    --> parse/src/lex.rs:368:5
[INFO] [stderr]     |
[INFO] [stderr] 368 |     span: Span,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `src` is never read
[INFO] [stderr]    --> parse/src/lex.rs:502:5
[INFO] [stderr]     |
[INFO] [stderr] 502 |     src: SourceData,
[INFO] [stderr]     |     ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `span` is never read
[INFO] [stderr]    --> parse/src/lex.rs:504:5
[INFO] [stderr]     |
[INFO] [stderr] 504 |     span: Span,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `src` is never read
[INFO] [stderr]    --> parse/src/parser.rs:365:9
[INFO] [stderr]     |
[INFO] [stderr] 365 |         src: SourceData,
[INFO] [stderr]     |         ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `src` is never read
[INFO] [stderr]    --> parse/src/parser.rs:373:9
[INFO] [stderr]     |
[INFO] [stderr] 373 |         src: SourceData,
[INFO] [stderr]     |         ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `expected` is never read
[INFO] [stderr]    --> parse/src/parser.rs:374:9
[INFO] [stderr]     |
[INFO] [stderr] 374 |         expected: String,
[INFO] [stderr]     |         ^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `src` is never read
[INFO] [stderr]    --> parse/src/parser.rs:382:9
[INFO] [stderr]     |
[INFO] [stderr] 382 |         src: SourceData,
[INFO] [stderr]     |         ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `src` is never read
[INFO] [stderr]    --> parse/src/parser.rs:390:9
[INFO] [stderr]     |
[INFO] [stderr] 390 |         src: SourceData,
[INFO] [stderr]     |         ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `found` is never read
[INFO] [stderr]    --> parse/src/parser.rs:366:9
[INFO] [stderr]     |
[INFO] [stderr] 366 |         found: String,
[INFO] [stderr]     |         ^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `span` is never read
[INFO] [stderr]    --> parse/src/parser.rs:368:9
[INFO] [stderr]     |
[INFO] [stderr] 368 |         span: Span,
[INFO] [stderr]     |         ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `found` is never read
[INFO] [stderr]    --> parse/src/parser.rs:375:9
[INFO] [stderr]     |
[INFO] [stderr] 375 |         found: String,
[INFO] [stderr]     |         ^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `span` is never read
[INFO] [stderr]    --> parse/src/parser.rs:377:9
[INFO] [stderr]     |
[INFO] [stderr] 377 |         span: Span,
[INFO] [stderr]     |         ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `found` is never read
[INFO] [stderr]    --> parse/src/parser.rs:383:9
[INFO] [stderr]     |
[INFO] [stderr] 383 |         found: String,
[INFO] [stderr]     |         ^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `span` is never read
[INFO] [stderr]    --> parse/src/parser.rs:385:9
[INFO] [stderr]     |
[INFO] [stderr] 385 |         span: Span,
[INFO] [stderr]     |         ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `found` is never read
[INFO] [stderr]    --> parse/src/parser.rs:391:9
[INFO] [stderr]     |
[INFO] [stderr] 391 |         found: String,
[INFO] [stderr]     |         ^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `while_parsing` is never read
[INFO] [stderr]    --> parse/src/parser.rs:392:9
[INFO] [stderr]     |
[INFO] [stderr] 392 |         while_parsing: String,
[INFO] [stderr]     |         ^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `span` is never read
[INFO] [stderr]    --> parse/src/parser.rs:394:9
[INFO] [stderr]     |
[INFO] [stderr] 394 |         span: Span,
[INFO] [stderr]     |         ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `block_start` is never read
[INFO] [stderr]    --> parse/src/parser.rs:396:9
[INFO] [stderr]     |
[INFO] [stderr] 396 |         block_start: Option<Span>,
[INFO] [stderr]     |         ^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `block_end` is never read
[INFO] [stderr]    --> parse/src/parser.rs:398:9
[INFO] [stderr]     |
[INFO] [stderr] 398 |         block_end: Option<Span>,
[INFO] [stderr]     |         ^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[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: struct `DeBruijnIndex` is never constructed
[INFO] [stderr]  --> parse/src/de_bruijn.rs:7:12
[INFO] [stderr]   |
[INFO] [stderr] 7 | pub struct DeBruijnIndex(u32);
[INFO] [stderr]   |            ^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[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] warning: struct `DeBruijnOffset` is never constructed
[INFO] [stderr]   --> parse/src/de_bruijn.rs:44:12
[INFO] [stderr]    |
[INFO] [stderr] 44 | pub struct DeBruijnOffset(u32);
[INFO] [stderr]    |            ^^^^^^^^^^^^^^
[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: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> parse/src/parser.rs:201:19
[INFO] [stderr]     |
[INFO] [stderr] 201 |     pub fn config(&self) -> &'a ParserConfiguration {
[INFO] [stderr]     |                   ^^^^^         ^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                   |
[INFO] [stderr]     |                   the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 201 |     pub fn config(&self) -> &'a ParserConfiguration<'_> {
[INFO] [stderr]     |                                                    ++++
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `src` is never read
[INFO] [stderr]   --> db/src/lib.rs:58:5
[INFO] [stderr]    |
[INFO] [stderr] 58 |     src: Source,
[INFO] [stderr]    |     ^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: maybe it is overwritten before being read?
[INFO] [stderr]    = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `message` is never read
[INFO] [stderr]   --> db/src/lib.rs:59:5
[INFO] [stderr]    |
[INFO] [stderr] 59 |     message: String,
[INFO] [stderr]    |     ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `help` is never read
[INFO] [stderr]   --> db/src/lib.rs:61:5
[INFO] [stderr]    |
[INFO] [stderr] 61 |     help: String,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: `parse` (lib) generated 49 warnings (run `cargo fix --lib -p parse` to apply 14 suggestions)
[INFO] [stderr] warning: `db` (lib) generated 3 warnings
[INFO] [stderr] warning: `db` (lib test) generated 3 warnings (3 duplicates)
[INFO] [stderr] warning: `parse` (lib test) generated 49 warnings (49 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)]` (part of `#[warn(unused)]`) 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: value assigned to `src` is never read
[INFO] [stderr]    --> elab/src/lib.rs:682:9
[INFO] [stderr]     |
[INFO] [stderr] 682 |         src: SourceData,
[INFO] [stderr]     |         ^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `variable` is never read
[INFO] [stderr]    --> elab/src/lib.rs:683:9
[INFO] [stderr]     |
[INFO] [stderr] 683 |         variable: Intern<String>,
[INFO] [stderr]     |         ^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `span` is never read
[INFO] [stderr]    --> elab/src/lib.rs:685:9
[INFO] [stderr]     |
[INFO] [stderr] 685 |         span: Span,
[INFO] [stderr]     |         ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: value assigned to `known` is never read
[INFO] [stderr]    --> elab/src/lib.rs:687:9
[INFO] [stderr]     |
[INFO] [stderr] 687 |         known: Option<String>,
[INFO] [stderr]     |         ^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: maybe it is overwritten before being read?
[INFO] [stderr] 
[INFO] [stderr] warning: `elab` (lib) generated 65 warnings (run `cargo fix --lib -p elab` to apply 61 suggestions)
[INFO] [stderr] warning: `elab` (lib test) generated 65 warnings (65 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.21s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/db-0fcf67c40f1b142f)
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/diagnostic-6c4467e7837bff69)
[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] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/elab-dfb23241e879ee61)
[INFO] [stdout] running 0 tests
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/files-80be3a76955ea144)
[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-25bdd3b8896a7698)
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/quill-9694526438f631dd)
[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] [stdout] 
[INFO] [stderr]    Doc-tests db
[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]    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] [stderr] error: doctest failed, to rerun pass `-p parse --doc`
[INFO] [stdout] test parse/src/provenance.rs - provenance::WithProvenance (line 27) ... FAILED
[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] 29 | use parse::provenance::WithProvenance;
[INFO] [stdout]    |            ^^^^^^^^^^ private module
[INFO] [stdout]    |
[INFO] [stdout] note: the module `provenance` is defined here
[INFO] [stdout]   --> 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.17s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "9ec865e53e715604888fbbe6a403627c29c82c73ad8d1d4eb03c24139e0a7152", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9ec865e53e715604888fbbe6a403627c29c82c73ad8d1d4eb03c24139e0a7152", kill_on_drop: false }`
[INFO] [stdout] 9ec865e53e715604888fbbe6a403627c29c82c73ad8d1d4eb03c24139e0a7152
