[INFO] cloning repository https://github.com/quill-lang/quill [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/quill-lang/quill" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquill-lang%2Fquill", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquill-lang%2Fquill'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 2f6e3231eedf66ce35e13865d55d2f3922f27825 [INFO] checking quill-lang/quill against master#385fa9d845dd326c6bbfd58c22244215e431948a for absurd-question-mark-desugar [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquill-lang%2Fquill" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/quill-lang/quill on toolchain 385fa9d845dd326c6bbfd58c22244215e431948a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/quill-lang/quill [INFO] finished tweaking git repo https://github.com/quill-lang/quill [INFO] tweaked toml for git repo https://github.com/quill-lang/quill written to /workspace/builds/worker-7-tc1/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 86 packages [INFO] [stderr] Adding ahash v0.7.8 (latest: v0.8.11) [INFO] [stderr] Adding bitflags v1.3.2 (latest: v2.5.0) [INFO] [stderr] Adding hashbrown v0.12.3 (latest: v0.14.3) [INFO] [stderr] Adding miette v5.10.0 (latest: v7.2.0) [INFO] [stderr] Adding miette-derive v5.10.0 (latest: v7.2.0) [INFO] [stderr] Adding nu-ansi-term v0.46.0 (latest: v0.50.0) [INFO] [stderr] Adding object v0.32.2 (latest: v0.34.0) [INFO] [stderr] Adding owo-colors v3.5.0 (latest: v4.0.0) [INFO] [stderr] Adding redox_syscall v0.4.1 (latest: v0.5.1) [INFO] [stderr] Adding supports-color v2.1.0 (latest: v3.0.0) [INFO] [stderr] Adding supports-hyperlinks v2.1.0 (latest: v3.0.0) [INFO] [stderr] Adding supports-unicode v2.1.0 (latest: v3.0.0) [INFO] [stderr] Adding terminal_size v0.1.17 (latest: v0.3.0) [INFO] [stderr] Adding textwrap v0.15.2 (latest: v0.16.1) [INFO] [stderr] Adding wasi v0.11.0+wasi-snapshot-preview1 (latest: v0.13.0+wasi-0.2.0) [INFO] [stderr] Adding windows-targets v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_aarch64_gnullvm v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_aarch64_msvc v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_i686_gnu v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_i686_msvc v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_x86_64_gnu v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_x86_64_gnullvm v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_x86_64_msvc v0.48.5 (latest: v0.52.4) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded internment v0.7.4 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 147e0b3694790d33d96ed084bbc837b16acd3e9c04fc4adae4c0f773fbff8448 [INFO] running `Command { std: "docker" "start" "-a" "147e0b3694790d33d96ed084bbc837b16acd3e9c04fc4adae4c0f773fbff8448", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "147e0b3694790d33d96ed084bbc837b16acd3e9c04fc4adae4c0f773fbff8448", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "147e0b3694790d33d96ed084bbc837b16acd3e9c04fc4adae4c0f773fbff8448", kill_on_drop: false }` [INFO] [stdout] 147e0b3694790d33d96ed084bbc837b16acd3e9c04fc4adae4c0f773fbff8448 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] cd4a93a0f76bedbaec0adcf117ecbabcba36ef1d5b4930b4c13930ae522d273c [INFO] running `Command { std: "docker" "start" "-a" "cd4a93a0f76bedbaec0adcf117ecbabcba36ef1d5b4930b4c13930ae522d273c", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.153 [INFO] [stderr] Compiling proc-macro2 v1.0.79 [INFO] [stderr] Checking once_cell v1.19.0 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Compiling cc v1.0.90 [INFO] [stderr] Checking memchr v2.7.2 [INFO] [stderr] Checking gimli v0.28.1 [INFO] [stderr] Checking rustc-demangle v0.1.23 [INFO] [stderr] Compiling thiserror v1.0.58 [INFO] [stderr] Compiling autocfg v1.2.0 [INFO] [stderr] Checking smawk v0.3.2 [INFO] [stderr] Compiling parking_lot_core v0.9.9 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Checking miniz_oxide v0.7.2 [INFO] [stderr] Compiling ahash v0.7.8 [INFO] [stderr] Checking unicode-linebreak v0.1.5 [INFO] [stderr] Checking is_ci v1.2.0 [INFO] [stderr] Checking unicode-width v0.1.11 [INFO] [stderr] Checking owo-colors v3.5.0 [INFO] [stderr] Checking scopeguard v1.2.0 [INFO] [stderr] Checking textwrap v0.15.2 [INFO] [stderr] Checking pin-project-lite v0.2.14 [INFO] [stderr] Checking tracing-core v0.1.32 [INFO] [stderr] Checking log v0.4.21 [INFO] [stderr] Checking sharded-slab v0.1.7 [INFO] [stderr] Checking thread_local v1.1.8 [INFO] [stderr] Compiling lock_api v0.4.11 [INFO] [stderr] Checking tracing-log v0.2.0 [INFO] [stderr] Checking object v0.32.2 [INFO] [stderr] Checking tracing-subscriber v0.3.18 [INFO] [stderr] Compiling quote v1.0.35 [INFO] [stderr] Compiling backtrace v0.3.71 [INFO] [stderr] Compiling syn v2.0.58 [INFO] [stderr] Checking is-terminal v0.4.12 [INFO] [stderr] Checking terminal_size v0.1.17 [INFO] [stderr] Checking getrandom v0.2.13 [INFO] [stderr] Checking supports-hyperlinks v2.1.0 [INFO] [stderr] Checking supports-unicode v2.1.0 [INFO] [stderr] Checking supports-color v2.1.0 [INFO] [stderr] Checking parking_lot v0.12.1 [INFO] [stderr] Checking hashbrown v0.12.3 [INFO] [stderr] Checking internment v0.7.4 [INFO] [stderr] Checking addr2line v0.21.0 [INFO] [stderr] Checking backtrace-ext v0.2.1 [INFO] [stderr] Compiling thiserror-impl v1.0.58 [INFO] [stderr] Compiling miette-derive v5.10.0 [INFO] [stderr] Compiling tracing-attributes v0.1.27 [INFO] [stderr] Checking tracing v0.1.40 [INFO] [stderr] Checking miette v5.10.0 [INFO] [stderr] Checking diagnostic v0.0.0 (/opt/rustwide/workdir/diagnostic) [INFO] [stderr] Checking files v0.0.0 (/opt/rustwide/workdir/files) [INFO] [stderr] Checking parse v0.0.0 (/opt/rustwide/workdir/parse) [INFO] [stderr] Checking db v0.0.0 (/opt/rustwide/workdir/db) [INFO] [stdout] warning: unreachable call [INFO] [stdout] --> parse/src/term.rs:332:34 [INFO] [stdout] | [INFO] [stdout] 332 | Some(_tt) => Dr::new_err( [INFO] [stdout] | ^^^^^^^^^^^ unreachable call [INFO] [stdout] 333 | todo!(), [INFO] [stdout] | ------- any code following this expression is unreachable [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable call [INFO] [stdout] --> parse/src/term.rs:343:50 [INFO] [stdout] | [INFO] [stdout] 343 | Some((_open, _close)) => Dr::new_err( [INFO] [stdout] | ^^^^^^^^^^^ unreachable call [INFO] [stdout] 344 | todo!(), [INFO] [stdout] | ------- any code following this expression is unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable call [INFO] [stdout] --> parse/src/term.rs:399:25 [INFO] [stdout] | [INFO] [stdout] 399 | Some(tt) => Dr::new_err( [INFO] [stdout] | ^^^^^^^^^^^ unreachable call [INFO] [stdout] 400 | todo!(), [INFO] [stdout] | ------- any code following this expression is unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable call [INFO] [stdout] --> parse/src/term.rs:332:34 [INFO] [stdout] | [INFO] [stdout] 332 | Some(_tt) => Dr::new_err( [INFO] [stdout] | ^^^^^^^^^^^ unreachable call [INFO] [stdout] 333 | todo!(), [INFO] [stdout] | ------- any code following this expression is unreachable [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable call [INFO] [stdout] --> parse/src/term.rs:343:50 [INFO] [stdout] | [INFO] [stdout] 343 | Some((_open, _close)) => Dr::new_err( [INFO] [stdout] | ^^^^^^^^^^^ unreachable call [INFO] [stdout] 344 | todo!(), [INFO] [stdout] | ------- any code following this expression is unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable call [INFO] [stdout] --> parse/src/term.rs:399:25 [INFO] [stdout] | [INFO] [stdout] 399 | Some(tt) => Dr::new_err( [INFO] [stdout] | ^^^^^^^^^^^ unreachable call [INFO] [stdout] 400 | todo!(), [INFO] [stdout] | ------- any code following this expression is unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tt` [INFO] [stdout] --> parse/src/term.rs:399:18 [INFO] [stdout] | [INFO] [stdout] 399 | Some(tt) => Dr::new_err( [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_tt` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left` [INFO] [stdout] --> parse/src/term.rs:568:45 [INFO] [stdout] | [INFO] [stdout] 568 | PTerm::InstantiatePolymorphic { left, right } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `left: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `right` [INFO] [stdout] --> parse/src/term.rs:568:51 [INFO] [stdout] | [INFO] [stdout] 568 | PTerm::InstantiatePolymorphic { left, right } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `right: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `token` [INFO] [stdout] --> parse/src/term.rs:570:17 [INFO] [stdout] | [INFO] [stdout] 570 | token, [INFO] [stdout] | ^^^^^ help: try ignoring the field: `token: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable` [INFO] [stdout] --> parse/src/term.rs:571:17 [INFO] [stdout] | [INFO] [stdout] 571 | variable, [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `variable: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable_span` [INFO] [stdout] --> parse/src/term.rs:572:17 [INFO] [stdout] | [INFO] [stdout] 572 | variable_span, [INFO] [stdout] | ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `value` [INFO] [stdout] --> parse/src/term.rs:573:17 [INFO] [stdout] | [INFO] [stdout] 573 | value, [INFO] [stdout] | ^^^^^ help: try ignoring the field: `value: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left` [INFO] [stdout] --> parse/src/term.rs:575:44 [INFO] [stdout] | [INFO] [stdout] 575 | PTerm::InstantiatePolyregion { left, right } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `left: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `right` [INFO] [stdout] --> parse/src/term.rs:575:50 [INFO] [stdout] | [INFO] [stdout] 575 | PTerm::InstantiatePolyregion { left, right } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `right: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tt` [INFO] [stdout] --> parse/src/term.rs:399:18 [INFO] [stdout] | [INFO] [stdout] 399 | Some(tt) => Dr::new_err( [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_tt` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left` [INFO] [stdout] --> parse/src/term.rs:568:45 [INFO] [stdout] | [INFO] [stdout] 568 | PTerm::InstantiatePolymorphic { left, right } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `left: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `right` [INFO] [stdout] --> parse/src/term.rs:568:51 [INFO] [stdout] | [INFO] [stdout] 568 | PTerm::InstantiatePolymorphic { left, right } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `right: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `token` [INFO] [stdout] --> parse/src/term.rs:570:17 [INFO] [stdout] | [INFO] [stdout] 570 | token, [INFO] [stdout] | ^^^^^ help: try ignoring the field: `token: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable` [INFO] [stdout] --> parse/src/term.rs:571:17 [INFO] [stdout] | [INFO] [stdout] 571 | variable, [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `variable: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable_span` [INFO] [stdout] --> parse/src/term.rs:572:17 [INFO] [stdout] | [INFO] [stdout] 572 | variable_span, [INFO] [stdout] | ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `value` [INFO] [stdout] --> parse/src/term.rs:573:17 [INFO] [stdout] | [INFO] [stdout] 573 | value, [INFO] [stdout] | ^^^^^ help: try ignoring the field: `value: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left` [INFO] [stdout] --> parse/src/term.rs:575:44 [INFO] [stdout] | [INFO] [stdout] 575 | PTerm::InstantiatePolyregion { left, right } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `left: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `right` [INFO] [stdout] --> parse/src/term.rs:575:50 [INFO] [stdout] | [INFO] [stdout] 575 | PTerm::InstantiatePolyregion { left, right } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `right: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `token` [INFO] [stdout] --> parse/src/ty.rs:398:17 [INFO] [stdout] | [INFO] [stdout] 398 | token, [INFO] [stdout] | ^^^^^ help: try ignoring the field: `token: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable` [INFO] [stdout] --> parse/src/ty.rs:399:17 [INFO] [stdout] | [INFO] [stdout] 399 | variable, [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `variable: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable_span` [INFO] [stdout] --> parse/src/ty.rs:400:17 [INFO] [stdout] | [INFO] [stdout] 400 | variable_span, [INFO] [stdout] | ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> parse/src/ty.rs:401:17 [INFO] [stdout] | [INFO] [stdout] 401 | result, [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `zero`, `succ`, `pred`, and `value` are never used [INFO] [stdout] --> parse/src/de_bruijn.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 15 | impl DeBruijnIndex { [INFO] [stdout] | ------------------ associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 18 | pub fn new(idx: u32) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 23 | pub fn zero() -> DeBruijnIndex { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 28 | pub fn succ(self) -> DeBruijnIndex { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 33 | pub fn pred(self) -> DeBruijnIndex { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 37 | pub fn value(self) -> u32 { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `zero`, `succ`, and `new` are never used [INFO] [stdout] --> parse/src/de_bruijn.rs:48:12 [INFO] [stdout] | [INFO] [stdout] 46 | impl DeBruijnOffset { [INFO] [stdout] | ------------------- associated items in this implementation [INFO] [stdout] 47 | /// The zero offset. [INFO] [stdout] 48 | pub fn zero() -> DeBruijnOffset { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 53 | pub fn succ(self) -> DeBruijnOffset { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 57 | pub fn new(offset: u32) -> DeBruijnOffset { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `new_synthetic` and `new` are never used [INFO] [stdout] --> parse/src/provenance.rs:60:12 [INFO] [stdout] | [INFO] [stdout] 59 | impl WithProvenance { [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: 19 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `token` [INFO] [stdout] --> parse/src/ty.rs:398:17 [INFO] [stdout] | [INFO] [stdout] 398 | token, [INFO] [stdout] | ^^^^^ help: try ignoring the field: `token: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable` [INFO] [stdout] --> parse/src/ty.rs:399:17 [INFO] [stdout] | [INFO] [stdout] 399 | variable, [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `variable: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable_span` [INFO] [stdout] --> parse/src/ty.rs:400:17 [INFO] [stdout] | [INFO] [stdout] 400 | variable_span, [INFO] [stdout] | ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> parse/src/ty.rs:401:17 [INFO] [stdout] | [INFO] [stdout] 401 | result, [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `zero`, `succ`, `pred`, and `value` are never used [INFO] [stdout] --> parse/src/de_bruijn.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 15 | impl DeBruijnIndex { [INFO] [stdout] | ------------------ associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 18 | pub fn new(idx: u32) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 23 | pub fn zero() -> DeBruijnIndex { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 28 | pub fn succ(self) -> DeBruijnIndex { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 33 | pub fn pred(self) -> DeBruijnIndex { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 37 | pub fn value(self) -> u32 { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `zero`, `succ`, and `new` are never used [INFO] [stdout] --> parse/src/de_bruijn.rs:48:12 [INFO] [stdout] | [INFO] [stdout] 46 | impl DeBruijnOffset { [INFO] [stdout] | ------------------- associated items in this implementation [INFO] [stdout] 47 | /// The zero offset. [INFO] [stdout] 48 | pub fn zero() -> DeBruijnOffset { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 53 | pub fn succ(self) -> DeBruijnOffset { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 57 | pub fn new(offset: u32) -> DeBruijnOffset { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `new_synthetic` and `new` are never used [INFO] [stdout] --> parse/src/provenance.rs:60:12 [INFO] [stdout] | [INFO] [stdout] 59 | impl WithProvenance { [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: 19 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking elab v0.0.0 (/opt/rustwide/workdir/elab) [INFO] [stdout] warning: unused variable: `argument` [INFO] [stdout] --> elab/src/lib.rs:403:33 [INFO] [stdout] | [INFO] [stdout] 403 | Kind::Constructor { argument, result } => todo!(), [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `argument: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> elab/src/lib.rs:403:43 [INFO] [stdout] | [INFO] [stdout] 403 | Kind::Constructor { argument, result } => todo!(), [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `region` [INFO] [stdout] --> elab/src/lib.rs:418:28 [INFO] [stdout] | [INFO] [stdout] 418 | Type::Borrow { region, ty } => todo!(), [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `region: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty` [INFO] [stdout] --> elab/src/lib.rs:418:36 [INFO] [stdout] | [INFO] [stdout] 418 | Type::Borrow { region, ty } => todo!(), [INFO] [stdout] | ^^ help: try ignoring the field: `ty: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `kind` [INFO] [stdout] --> elab/src/lib.rs:420:17 [INFO] [stdout] | [INFO] [stdout] 420 | kind, [INFO] [stdout] | ^^^^ help: try ignoring the field: `kind: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `region` [INFO] [stdout] --> elab/src/lib.rs:422:17 [INFO] [stdout] | [INFO] [stdout] 422 | region, [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `region: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left` [INFO] [stdout] --> elab/src/lib.rs:428:27 [INFO] [stdout] | [INFO] [stdout] 428 | Type::Apply { left, right } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `left: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `right` [INFO] [stdout] --> elab/src/lib.rs:428:33 [INFO] [stdout] | [INFO] [stdout] 428 | Type::Apply { left, right } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `right: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable` [INFO] [stdout] --> elab/src/lib.rs:437:32 [INFO] [stdout] | [INFO] [stdout] 437 | Type::Polyregion { variable, result } => todo!(), [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `variable: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> elab/src/lib.rs:437:42 [INFO] [stdout] | [INFO] [stdout] 437 | Type::Polyregion { variable, result } => todo!(), [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> elab/src/lib.rs:451:30 [INFO] [stdout] | [INFO] [stdout] 451 | Term::Variable { name } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> elab/src/lib.rs:452:35 [INFO] [stdout] | [INFO] [stdout] 452 | Term::QualifiedName { name } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left` [INFO] [stdout] --> elab/src/lib.rs:453:27 [INFO] [stdout] | [INFO] [stdout] 453 | Term::Equal { left, right } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `left: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `right` [INFO] [stdout] --> elab/src/lib.rs:453:33 [INFO] [stdout] | [INFO] [stdout] 453 | Term::Equal { left, right } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `right: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `value` [INFO] [stdout] --> elab/src/lib.rs:454:28 [INFO] [stdout] | [INFO] [stdout] 454 | Term::Borrow { value } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `value: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `kind` [INFO] [stdout] --> elab/src/lib.rs:456:17 [INFO] [stdout] | [INFO] [stdout] 456 | kind, [INFO] [stdout] | ^^^^ help: try ignoring the field: `kind: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `argument` [INFO] [stdout] --> elab/src/lib.rs:457:17 [INFO] [stdout] | [INFO] [stdout] 457 | argument, [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `argument: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `argument` [INFO] [stdout] --> elab/src/lib.rs:403:33 [INFO] [stdout] | [INFO] [stdout] 403 | Kind::Constructor { argument, result } => todo!(), [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `argument: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `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: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: `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: `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: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: `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: `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: `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: `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: `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: `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: `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: `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: `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: `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: `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: `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: `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: `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: `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_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` [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_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: `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: `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: `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_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: `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: `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: `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: `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: `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: `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: `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: `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: `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: `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: `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: `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: `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: `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: `variable_span` [INFO] [stdout] --> elab/src/lib.rs:658:17 [INFO] [stdout] | [INFO] [stdout] 658 | variable_span, [INFO] [stdout] | ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> elab/src/lib.rs:659:17 [INFO] [stdout] | [INFO] [stdout] 659 | result, [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `context` [INFO] [stdout] --> elab/src/lib.rs:667:9 [INFO] [stdout] | [INFO] [stdout] 667 | context: &Context, [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `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: 61 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 61 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking quill v0.0.0 (/opt/rustwide/workdir/quill) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 14.52s [INFO] running `Command { std: "docker" "inspect" "cd4a93a0f76bedbaec0adcf117ecbabcba36ef1d5b4930b4c13930ae522d273c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cd4a93a0f76bedbaec0adcf117ecbabcba36ef1d5b4930b4c13930ae522d273c", kill_on_drop: false }` [INFO] [stdout] cd4a93a0f76bedbaec0adcf117ecbabcba36ef1d5b4930b4c13930ae522d273c [INFO] checking quill-lang/quill against try#645bb72776a6a56a1a8f52631a44bd082b2ba509 for absurd-question-mark-desugar [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquill-lang%2Fquill" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/quill-lang/quill on toolchain 645bb72776a6a56a1a8f52631a44bd082b2ba509 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/quill-lang/quill [INFO] finished tweaking git repo https://github.com/quill-lang/quill [INFO] tweaked toml for git repo https://github.com/quill-lang/quill written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 82d8d0b0b9ddaf7de37be7fb72b2381fb2af73e025f7baaafe54c7f579428756 [INFO] running `Command { std: "docker" "start" "-a" "82d8d0b0b9ddaf7de37be7fb72b2381fb2af73e025f7baaafe54c7f579428756", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "82d8d0b0b9ddaf7de37be7fb72b2381fb2af73e025f7baaafe54c7f579428756", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "82d8d0b0b9ddaf7de37be7fb72b2381fb2af73e025f7baaafe54c7f579428756", kill_on_drop: false }` [INFO] [stdout] 82d8d0b0b9ddaf7de37be7fb72b2381fb2af73e025f7baaafe54c7f579428756 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 63c604fa9fe06d3af2cdb67777f4bb462007c6fde35162e837932dab1af0f3b3 [INFO] running `Command { std: "docker" "start" "-a" "63c604fa9fe06d3af2cdb67777f4bb462007c6fde35162e837932dab1af0f3b3", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.153 [INFO] [stderr] Compiling proc-macro2 v1.0.79 [INFO] [stderr] Checking once_cell v1.19.0 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Compiling cc v1.0.90 [INFO] [stderr] Checking gimli v0.28.1 [INFO] [stderr] Checking memchr v2.7.2 [INFO] [stderr] Checking rustc-demangle v0.1.23 [INFO] [stderr] Compiling thiserror v1.0.58 [INFO] [stderr] Compiling autocfg v1.2.0 [INFO] [stderr] Checking is_ci v1.2.0 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Checking smawk v0.3.2 [INFO] [stderr] Checking miniz_oxide v0.7.2 [INFO] [stderr] Compiling ahash v0.7.8 [INFO] [stderr] Checking unicode-width v0.1.11 [INFO] [stderr] Checking unicode-linebreak v0.1.5 [INFO] [stderr] Compiling parking_lot_core v0.9.9 [INFO] [stderr] Checking scopeguard v1.2.0 [INFO] [stderr] Checking owo-colors v3.5.0 [INFO] [stderr] Checking tracing-core v0.1.32 [INFO] [stderr] Checking pin-project-lite v0.2.14 [INFO] [stderr] Checking log v0.4.21 [INFO] [stderr] Checking textwrap v0.15.2 [INFO] [stderr] Checking sharded-slab v0.1.7 [INFO] [stderr] Checking thread_local v1.1.8 [INFO] [stderr] Compiling lock_api v0.4.11 [INFO] [stderr] Checking tracing-log v0.2.0 [INFO] [stderr] Checking object v0.32.2 [INFO] [stderr] Checking tracing-subscriber v0.3.18 [INFO] [stderr] Compiling quote v1.0.35 [INFO] [stderr] Compiling backtrace v0.3.71 [INFO] [stderr] Checking is-terminal v0.4.12 [INFO] [stderr] Checking terminal_size v0.1.17 [INFO] [stderr] Checking getrandom v0.2.13 [INFO] [stderr] Compiling syn v2.0.58 [INFO] [stderr] Checking supports-color v2.1.0 [INFO] [stderr] Checking supports-unicode v2.1.0 [INFO] [stderr] Checking supports-hyperlinks v2.1.0 [INFO] [stderr] Checking parking_lot v0.12.1 [INFO] [stderr] Checking hashbrown v0.12.3 [INFO] [stderr] Checking internment v0.7.4 [INFO] [stderr] Checking addr2line v0.21.0 [INFO] [stderr] Checking backtrace-ext v0.2.1 [INFO] [stderr] Compiling thiserror-impl v1.0.58 [INFO] [stderr] Compiling miette-derive v5.10.0 [INFO] [stderr] Compiling tracing-attributes v0.1.27 [INFO] [stderr] Checking miette v5.10.0 [INFO] [stderr] Checking tracing v0.1.40 [INFO] [stderr] Checking diagnostic v0.0.0 (/opt/rustwide/workdir/diagnostic) [INFO] [stderr] Checking files v0.0.0 (/opt/rustwide/workdir/files) [INFO] [stderr] Checking parse v0.0.0 (/opt/rustwide/workdir/parse) [INFO] [stderr] Checking db v0.0.0 (/opt/rustwide/workdir/db) [INFO] [stdout] warning: unreachable call [INFO] [stdout] --> parse/src/term.rs:332:34 [INFO] [stdout] | [INFO] [stdout] 332 | Some(_tt) => Dr::new_err( [INFO] [stdout] | ^^^^^^^^^^^ unreachable call [INFO] [stdout] 333 | todo!(), [INFO] [stdout] | ------- any code following this expression is unreachable [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable call [INFO] [stdout] --> parse/src/term.rs:343:50 [INFO] [stdout] | [INFO] [stdout] 343 | Some((_open, _close)) => Dr::new_err( [INFO] [stdout] | ^^^^^^^^^^^ unreachable call [INFO] [stdout] 344 | todo!(), [INFO] [stdout] | ------- any code following this expression is unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable call [INFO] [stdout] --> parse/src/term.rs:399:25 [INFO] [stdout] | [INFO] [stdout] 399 | Some(tt) => Dr::new_err( [INFO] [stdout] | ^^^^^^^^^^^ unreachable call [INFO] [stdout] 400 | todo!(), [INFO] [stdout] | ------- any code following this expression is unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tt` [INFO] [stdout] --> parse/src/term.rs:399:18 [INFO] [stdout] | [INFO] [stdout] 399 | Some(tt) => Dr::new_err( [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_tt` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left` [INFO] [stdout] --> parse/src/term.rs:568:45 [INFO] [stdout] | [INFO] [stdout] 568 | PTerm::InstantiatePolymorphic { left, right } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `left: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `right` [INFO] [stdout] --> parse/src/term.rs:568:51 [INFO] [stdout] | [INFO] [stdout] 568 | PTerm::InstantiatePolymorphic { left, right } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `right: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `token` [INFO] [stdout] --> parse/src/term.rs:570:17 [INFO] [stdout] | [INFO] [stdout] 570 | token, [INFO] [stdout] | ^^^^^ help: try ignoring the field: `token: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable` [INFO] [stdout] --> parse/src/term.rs:571:17 [INFO] [stdout] | [INFO] [stdout] 571 | variable, [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `variable: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable_span` [INFO] [stdout] --> parse/src/term.rs:572:17 [INFO] [stdout] | [INFO] [stdout] 572 | variable_span, [INFO] [stdout] | ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `value` [INFO] [stdout] --> parse/src/term.rs:573:17 [INFO] [stdout] | [INFO] [stdout] 573 | value, [INFO] [stdout] | ^^^^^ help: try ignoring the field: `value: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left` [INFO] [stdout] --> parse/src/term.rs:575:44 [INFO] [stdout] | [INFO] [stdout] 575 | PTerm::InstantiatePolyregion { left, right } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `left: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `right` [INFO] [stdout] --> parse/src/term.rs:575:50 [INFO] [stdout] | [INFO] [stdout] 575 | PTerm::InstantiatePolyregion { left, right } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `right: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable call [INFO] [stdout] --> parse/src/term.rs:332:34 [INFO] [stdout] | [INFO] [stdout] 332 | Some(_tt) => Dr::new_err( [INFO] [stdout] | ^^^^^^^^^^^ unreachable call [INFO] [stdout] 333 | todo!(), [INFO] [stdout] | ------- any code following this expression is unreachable [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable call [INFO] [stdout] --> parse/src/term.rs:343:50 [INFO] [stdout] | [INFO] [stdout] 343 | Some((_open, _close)) => Dr::new_err( [INFO] [stdout] | ^^^^^^^^^^^ unreachable call [INFO] [stdout] 344 | todo!(), [INFO] [stdout] | ------- any code following this expression is unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable call [INFO] [stdout] --> parse/src/term.rs:399:25 [INFO] [stdout] | [INFO] [stdout] 399 | Some(tt) => Dr::new_err( [INFO] [stdout] | ^^^^^^^^^^^ unreachable call [INFO] [stdout] 400 | todo!(), [INFO] [stdout] | ------- any code following this expression is unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `token` [INFO] [stdout] --> parse/src/ty.rs:398:17 [INFO] [stdout] | [INFO] [stdout] 398 | token, [INFO] [stdout] | ^^^^^ help: try ignoring the field: `token: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable` [INFO] [stdout] --> parse/src/ty.rs:399:17 [INFO] [stdout] | [INFO] [stdout] 399 | variable, [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `variable: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable_span` [INFO] [stdout] --> parse/src/ty.rs:400:17 [INFO] [stdout] | [INFO] [stdout] 400 | variable_span, [INFO] [stdout] | ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> parse/src/ty.rs:401:17 [INFO] [stdout] | [INFO] [stdout] 401 | result, [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `zero`, `succ`, `pred`, and `value` are never used [INFO] [stdout] --> parse/src/de_bruijn.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 15 | impl DeBruijnIndex { [INFO] [stdout] | ------------------ associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 18 | pub fn new(idx: u32) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 23 | pub fn zero() -> DeBruijnIndex { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 28 | pub fn succ(self) -> DeBruijnIndex { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 33 | pub fn pred(self) -> DeBruijnIndex { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 37 | pub fn value(self) -> u32 { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `zero`, `succ`, and `new` are never used [INFO] [stdout] --> parse/src/de_bruijn.rs:48:12 [INFO] [stdout] | [INFO] [stdout] 46 | impl DeBruijnOffset { [INFO] [stdout] | ------------------- associated items in this implementation [INFO] [stdout] 47 | /// The zero offset. [INFO] [stdout] 48 | pub fn zero() -> DeBruijnOffset { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 53 | pub fn succ(self) -> DeBruijnOffset { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 57 | pub fn new(offset: u32) -> DeBruijnOffset { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `new_synthetic` and `new` are never used [INFO] [stdout] --> parse/src/provenance.rs:60:12 [INFO] [stdout] | [INFO] [stdout] 59 | impl WithProvenance { [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: 19 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `tt` [INFO] [stdout] --> parse/src/term.rs:399:18 [INFO] [stdout] | [INFO] [stdout] 399 | Some(tt) => Dr::new_err( [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_tt` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left` [INFO] [stdout] --> parse/src/term.rs:568:45 [INFO] [stdout] | [INFO] [stdout] 568 | PTerm::InstantiatePolymorphic { left, right } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `left: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `right` [INFO] [stdout] --> parse/src/term.rs:568:51 [INFO] [stdout] | [INFO] [stdout] 568 | PTerm::InstantiatePolymorphic { left, right } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `right: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `token` [INFO] [stdout] --> parse/src/term.rs:570:17 [INFO] [stdout] | [INFO] [stdout] 570 | token, [INFO] [stdout] | ^^^^^ help: try ignoring the field: `token: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable` [INFO] [stdout] --> parse/src/term.rs:571:17 [INFO] [stdout] | [INFO] [stdout] 571 | variable, [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `variable: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable_span` [INFO] [stdout] --> parse/src/term.rs:572:17 [INFO] [stdout] | [INFO] [stdout] 572 | variable_span, [INFO] [stdout] | ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `value` [INFO] [stdout] --> parse/src/term.rs:573:17 [INFO] [stdout] | [INFO] [stdout] 573 | value, [INFO] [stdout] | ^^^^^ help: try ignoring the field: `value: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left` [INFO] [stdout] --> parse/src/term.rs:575:44 [INFO] [stdout] | [INFO] [stdout] 575 | PTerm::InstantiatePolyregion { left, right } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `left: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `right` [INFO] [stdout] --> parse/src/term.rs:575:50 [INFO] [stdout] | [INFO] [stdout] 575 | PTerm::InstantiatePolyregion { left, right } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `right: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `token` [INFO] [stdout] --> parse/src/ty.rs:398:17 [INFO] [stdout] | [INFO] [stdout] 398 | token, [INFO] [stdout] | ^^^^^ help: try ignoring the field: `token: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable` [INFO] [stdout] --> parse/src/ty.rs:399:17 [INFO] [stdout] | [INFO] [stdout] 399 | variable, [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `variable: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable_span` [INFO] [stdout] --> parse/src/ty.rs:400:17 [INFO] [stdout] | [INFO] [stdout] 400 | variable_span, [INFO] [stdout] | ^^^^^^^^^^^^^ help: try ignoring the field: `variable_span: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> parse/src/ty.rs:401:17 [INFO] [stdout] | [INFO] [stdout] 401 | result, [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `zero`, `succ`, `pred`, and `value` are never used [INFO] [stdout] --> parse/src/de_bruijn.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 15 | impl DeBruijnIndex { [INFO] [stdout] | ------------------ associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 18 | pub fn new(idx: u32) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 23 | pub fn zero() -> DeBruijnIndex { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 28 | pub fn succ(self) -> DeBruijnIndex { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 33 | pub fn pred(self) -> DeBruijnIndex { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 37 | pub fn value(self) -> u32 { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `zero`, `succ`, and `new` are never used [INFO] [stdout] --> parse/src/de_bruijn.rs:48:12 [INFO] [stdout] | [INFO] [stdout] 46 | impl DeBruijnOffset { [INFO] [stdout] | ------------------- associated items in this implementation [INFO] [stdout] 47 | /// The zero offset. [INFO] [stdout] 48 | pub fn zero() -> DeBruijnOffset { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 53 | pub fn succ(self) -> DeBruijnOffset { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 57 | pub fn new(offset: u32) -> DeBruijnOffset { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `new_synthetic` and `new` are never used [INFO] [stdout] --> parse/src/provenance.rs:60:12 [INFO] [stdout] | [INFO] [stdout] 59 | impl WithProvenance { [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: 19 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking elab v0.0.0 (/opt/rustwide/workdir/elab) [INFO] [stdout] warning: unused variable: `argument` [INFO] [stdout] --> elab/src/lib.rs:403:33 [INFO] [stdout] | [INFO] [stdout] 403 | Kind::Constructor { argument, result } => todo!(), [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `argument: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> elab/src/lib.rs:403:43 [INFO] [stdout] | [INFO] [stdout] 403 | Kind::Constructor { argument, result } => todo!(), [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `region` [INFO] [stdout] --> elab/src/lib.rs:418:28 [INFO] [stdout] | [INFO] [stdout] 418 | Type::Borrow { region, ty } => todo!(), [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `region: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty` [INFO] [stdout] --> elab/src/lib.rs:418:36 [INFO] [stdout] | [INFO] [stdout] 418 | Type::Borrow { region, ty } => todo!(), [INFO] [stdout] | ^^ help: try ignoring the field: `ty: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `kind` [INFO] [stdout] --> elab/src/lib.rs:420:17 [INFO] [stdout] | [INFO] [stdout] 420 | kind, [INFO] [stdout] | ^^^^ help: try ignoring the field: `kind: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `region` [INFO] [stdout] --> elab/src/lib.rs:422:17 [INFO] [stdout] | [INFO] [stdout] 422 | region, [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `region: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left` [INFO] [stdout] --> elab/src/lib.rs:428:27 [INFO] [stdout] | [INFO] [stdout] 428 | Type::Apply { left, right } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `left: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `right` [INFO] [stdout] --> elab/src/lib.rs:428:33 [INFO] [stdout] | [INFO] [stdout] 428 | Type::Apply { left, right } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `right: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable` [INFO] [stdout] --> elab/src/lib.rs:437:32 [INFO] [stdout] | [INFO] [stdout] 437 | Type::Polyregion { variable, result } => todo!(), [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `variable: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> elab/src/lib.rs:437:42 [INFO] [stdout] | [INFO] [stdout] 437 | Type::Polyregion { variable, result } => todo!(), [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> elab/src/lib.rs:451:30 [INFO] [stdout] | [INFO] [stdout] 451 | Term::Variable { name } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> elab/src/lib.rs:452:35 [INFO] [stdout] | [INFO] [stdout] 452 | Term::QualifiedName { name } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left` [INFO] [stdout] --> elab/src/lib.rs:453:27 [INFO] [stdout] | [INFO] [stdout] 453 | Term::Equal { left, right } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `left: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `right` [INFO] [stdout] --> elab/src/lib.rs:453:33 [INFO] [stdout] | [INFO] [stdout] 453 | Term::Equal { left, right } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `right: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `value` [INFO] [stdout] --> elab/src/lib.rs:454:28 [INFO] [stdout] | [INFO] [stdout] 454 | Term::Borrow { value } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `value: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `kind` [INFO] [stdout] --> elab/src/lib.rs:456:17 [INFO] [stdout] | [INFO] [stdout] 456 | kind, [INFO] [stdout] | ^^^^ help: try ignoring the field: `kind: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `argument` [INFO] [stdout] --> elab/src/lib.rs:457:17 [INFO] [stdout] | [INFO] [stdout] 457 | argument, [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `argument: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `argument_ty` [INFO] [stdout] --> elab/src/lib.rs:458:17 [INFO] [stdout] | [INFO] [stdout] 458 | argument_ty, [INFO] [stdout] | ^^^^^^^^^^^ help: try ignoring the field: `argument_ty: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> elab/src/lib.rs:459:17 [INFO] [stdout] | [INFO] [stdout] 459 | result, [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left` [INFO] [stdout] --> elab/src/lib.rs:461:27 [INFO] [stdout] | [INFO] [stdout] 461 | Term::Apply { left, right } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `left: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `right` [INFO] [stdout] --> elab/src/lib.rs:461:33 [INFO] [stdout] | [INFO] [stdout] 461 | Term::Apply { left, right } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `right: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable` [INFO] [stdout] --> elab/src/lib.rs:463:17 [INFO] [stdout] | [INFO] [stdout] 463 | variable, [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `variable: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable_kind` [INFO] [stdout] --> elab/src/lib.rs:464:17 [INFO] [stdout] | [INFO] [stdout] 464 | variable_kind, [INFO] [stdout] | ^^^^^^^^^^^^^ help: try ignoring the field: `variable_kind: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `value` [INFO] [stdout] --> elab/src/lib.rs:465:17 [INFO] [stdout] | [INFO] [stdout] 465 | value, [INFO] [stdout] | ^^^^^ help: try ignoring the field: `value: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left` [INFO] [stdout] --> elab/src/lib.rs:467:44 [INFO] [stdout] | [INFO] [stdout] 467 | Term::InstantiatePolymorphic { left, right } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `left: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `right` [INFO] [stdout] --> elab/src/lib.rs:467:50 [INFO] [stdout] | [INFO] [stdout] 467 | Term::InstantiatePolymorphic { left, right } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `right: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable` [INFO] [stdout] --> elab/src/lib.rs:468:32 [INFO] [stdout] | [INFO] [stdout] 468 | Term::Polyregion { variable, value } => todo!(), [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `variable: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `value` [INFO] [stdout] --> elab/src/lib.rs:468:42 [INFO] [stdout] | [INFO] [stdout] 468 | Term::Polyregion { variable, value } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `value: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left` [INFO] [stdout] --> elab/src/lib.rs:469:43 [INFO] [stdout] | [INFO] [stdout] 469 | Term::InstantiatePolyregion { left, right } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `left: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `right` [INFO] [stdout] --> elab/src/lib.rs:469:49 [INFO] [stdout] | [INFO] [stdout] 469 | Term::InstantiatePolyregion { left, right } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `right: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `argument` [INFO] [stdout] --> elab/src/lib.rs:480:46 [INFO] [stdout] | [INFO] [stdout] 480 | (Kind::Type, Kind::Constructor { argument, result }) => todo!(), [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `argument: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> elab/src/lib.rs:480:56 [INFO] [stdout] | [INFO] [stdout] 480 | (Kind::Type, Kind::Constructor { argument, result }) => todo!(), [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `argument` [INFO] [stdout] --> elab/src/lib.rs:481:34 [INFO] [stdout] | [INFO] [stdout] 481 | (Kind::Constructor { argument, result }, Kind::Type) => todo!(), [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `argument: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> elab/src/lib.rs:481:44 [INFO] [stdout] | [INFO] [stdout] 481 | (Kind::Constructor { argument, result }, Kind::Type) => todo!(), [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left_argument` [INFO] [stdout] --> elab/src/lib.rs:484:31 [INFO] [stdout] | [INFO] [stdout] 484 | argument: left_argument, [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_left_argument` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left_result` [INFO] [stdout] --> elab/src/lib.rs:485:29 [INFO] [stdout] | [INFO] [stdout] 485 | result: left_result, [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_left_result` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `right_argument` [INFO] [stdout] --> elab/src/lib.rs:488:31 [INFO] [stdout] | [INFO] [stdout] 488 | argument: right_argument, [INFO] [stdout] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_right_argument` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `right_result` [INFO] [stdout] --> elab/src/lib.rs:489:29 [INFO] [stdout] | [INFO] [stdout] 489 | result: right_result, [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_right_result` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> elab/src/lib.rs:539:35 [INFO] [stdout] | [INFO] [stdout] 539 | Type::QualifiedName { name } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left` [INFO] [stdout] --> elab/src/lib.rs:541:27 [INFO] [stdout] | [INFO] [stdout] 541 | Type::Apply { left, right } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `left: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `right` [INFO] [stdout] --> elab/src/lib.rs:541:33 [INFO] [stdout] | [INFO] [stdout] 541 | Type::Apply { left, right } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `right: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable` [INFO] [stdout] --> elab/src/lib.rs:543:17 [INFO] [stdout] | [INFO] [stdout] 543 | variable, [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `variable: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable_kind` [INFO] [stdout] --> elab/src/lib.rs:544:17 [INFO] [stdout] | [INFO] [stdout] 544 | variable_kind, [INFO] [stdout] | ^^^^^^^^^^^^^ help: try ignoring the field: `variable_kind: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> elab/src/lib.rs:545:17 [INFO] [stdout] | [INFO] [stdout] 545 | result, [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `variable` [INFO] [stdout] --> elab/src/lib.rs:547:32 [INFO] [stdout] | [INFO] [stdout] 547 | Type::Polyregion { variable, result } => todo!(), [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `variable: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> elab/src/lib.rs:547:42 [INFO] [stdout] | [INFO] [stdout] 547 | Type::Polyregion { variable, result } => todo!(), [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `index` [INFO] [stdout] --> elab/src/lib.rs:548:34 [INFO] [stdout] | [INFO] [stdout] 548 | Type::Metavariable { index } => todo!(), [INFO] [stdout] | ^^^^^ help: try ignoring the field: `index: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `span` [INFO] [stdout] --> elab/src/lib.rs:561:31 [INFO] [stdout] | [INFO] [stdout] 561 | PKind::Metakind { span, name } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `span: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> elab/src/lib.rs:561:37 [INFO] [stdout] | [INFO] [stdout] 561 | PKind::Metakind { span, name } => { [INFO] [stdout] | ^^^^ help: try ignoring the field: `name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `context` [INFO] [stdout] --> elab/src/lib.rs:569:9 [INFO] [stdout] | [INFO] [stdout] 569 | context: &Context, [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `region` [INFO] [stdout] --> elab/src/lib.rs:570:9 [INFO] [stdout] | [INFO] [stdout] 570 | region: &PRegion, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_region` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `borrow` [INFO] [stdout] --> elab/src/lib.rs:593:29 [INFO] [stdout] | [INFO] [stdout] 593 | PType::Borrow { borrow, region, ty } => todo!(), [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `borrow: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `region` [INFO] [stdout] --> elab/src/lib.rs:593:37 [INFO] [stdout] | [INFO] [stdout] 593 | PType::Borrow { borrow, region, ty } => todo!(), [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `region: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty` [INFO] [stdout] --> elab/src/lib.rs:593:45 [INFO] [stdout] | [INFO] [stdout] 593 | PType::Borrow { borrow, region, ty } => todo!(), [INFO] [stdout] | ^^ help: try ignoring the field: `ty: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left` [INFO] [stdout] --> elab/src/lib.rs:620:28 [INFO] [stdout] | [INFO] [stdout] 620 | PType::Apply { left, right } => todo!(), [INFO] [stdout] | ^^^^ help: try ignoring the field: `left: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `argument` [INFO] [stdout] --> elab/src/lib.rs:403:33 [INFO] [stdout] | [INFO] [stdout] 403 | Kind::Constructor { argument, result } => todo!(), [INFO] [stdout] | ^^^^^^^^ help: try ignoring the field: `argument: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `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: `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: `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: `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: `context` [INFO] [stdout] --> elab/src/lib.rs:667:9 [INFO] [stdout] | [INFO] [stdout] 667 | context: &Context, [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `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: 61 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 61 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking quill v0.0.0 (/opt/rustwide/workdir/quill) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 17.98s [INFO] running `Command { std: "docker" "inspect" "63c604fa9fe06d3af2cdb67777f4bb462007c6fde35162e837932dab1af0f3b3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "63c604fa9fe06d3af2cdb67777f4bb462007c6fde35162e837932dab1af0f3b3", kill_on_drop: false }` [INFO] [stdout] 63c604fa9fe06d3af2cdb67777f4bb462007c6fde35162e837932dab1af0f3b3