[INFO] cloning repository https://github.com/tolziplohu/pika
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/tolziplohu/pika" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftolziplohu%2Fpika", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftolziplohu%2Fpika'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 73a1910be5a42d1daecbfdb3990ced0d5270f3aa
[INFO] building tolziplohu/pika against master#ad211ced81509462cdfe4c29ed10f97279a0acae for pr-135216-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftolziplohu%2Fpika" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/tolziplohu/pika on toolchain ad211ced81509462cdfe4c29ed10f97279a0acae
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ad211ced81509462cdfe4c29ed10f97279a0acae" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/tolziplohu/pika
[INFO] finished tweaking git repo https://github.com/tolziplohu/pika
[INFO] tweaked toml for git repo https://github.com/tolziplohu/pika written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/tolziplohu/pika already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ad211ced81509462cdfe4c29ed10f97279a0acae" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded serde_derive v1.0.189
[INFO] [stderr]   Downloaded salsa-macros v0.16.0
[INFO] [stderr]   Downloaded yansi v0.5.1
[INFO] [stderr]   Downloaded countme v3.0.1
[INFO] [stderr]   Downloaded lsp-server v0.7.4
[INFO] [stderr]   Downloaded rustc-hash v1.1.0
[INFO] [stderr]   Downloaded unicode-width v0.1.11
[INFO] [stderr]   Downloaded heck v0.3.3
[INFO] [stderr]   Downloaded str_indices v0.4.2
[INFO] [stderr]   Downloaded ariadne v0.3.0
[INFO] [stderr]   Downloaded rowan v0.15.13
[INFO] [stderr]   Downloaded crossbeam-utils v0.8.16
[INFO] [stderr]   Downloaded lsp-types v0.94.1
[INFO] [stderr]   Downloaded crossbeam-channel v0.5.8
[INFO] [stderr]   Downloaded serde v1.0.189
[INFO] [stderr]   Downloaded serde_repr v0.1.16
[INFO] [stderr]   Downloaded ropey v1.6.1
[INFO] [stderr]   Downloaded serde_json v1.0.107
[INFO] [stderr]   Downloaded memoffset v0.9.0
[INFO] [stderr]   Downloaded syn v2.0.38
[INFO] [stderr]   Downloaded text-size v1.1.1
[INFO] [stderr]   Downloaded oorandom v11.1.3
[INFO] [stderr]   Downloaded salsa v0.16.1
[INFO] [stderr]   Downloaded libc v0.2.149
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+ad211ced81509462cdfe4c29ed10f97279a0acae" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 1eec1e7ee686606282c234c022c099b78ebbd019721ff47d95ca6efb1774c532
[INFO] running `Command { std: "docker" "start" "-a" "1eec1e7ee686606282c234c022c099b78ebbd019721ff47d95ca6efb1774c532", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1eec1e7ee686606282c234c022c099b78ebbd019721ff47d95ca6efb1774c532", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1eec1e7ee686606282c234c022c099b78ebbd019721ff47d95ca6efb1774c532", kill_on_drop: false }`
[INFO] [stdout] 1eec1e7ee686606282c234c022c099b78ebbd019721ff47d95ca6efb1774c532
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+ad211ced81509462cdfe4c29ed10f97279a0acae" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] fb6a95a995cde8534a3f32b8bc6ab891929e95d0ee1f2d615a9a4a37960da08a
[INFO] running `Command { std: "docker" "start" "-a" "fb6a95a995cde8534a3f32b8bc6ab891929e95d0ee1f2d615a9a4a37960da08a", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.69
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling serde v1.0.189
[INFO] [stderr]    Compiling crossbeam-utils v0.8.16
[INFO] [stderr]    Compiling tinyvec_macros v0.1.1
[INFO] [stderr]    Compiling libc v0.2.149
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling parking_lot_core v0.8.6
[INFO] [stderr]    Compiling smallvec v1.11.1
[INFO] [stderr]    Compiling serde_json v1.0.107
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling unicode-segmentation v1.10.1
[INFO] [stderr]    Compiling unicode-bidi v0.3.13
[INFO] [stderr]    Compiling percent-encoding v2.3.0
[INFO] [stderr]    Compiling instant v0.1.12
[INFO] [stderr]    Compiling tinyvec v1.6.0
[INFO] [stderr]    Compiling ryu v1.0.15
[INFO] [stderr]    Compiling itoa v1.0.9
[INFO] [stderr]    Compiling hashbrown v0.12.3
[INFO] [stderr]    Compiling form_urlencoded v1.2.0
[INFO] [stderr]    Compiling log v0.4.20
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling str_indices v0.4.2
[INFO] [stderr]    Compiling oorandom v11.1.3
[INFO] [stderr]    Compiling text-size v1.1.1
[INFO] [stderr]    Compiling countme v3.0.1
[INFO] [stderr]    Compiling yansi v0.5.1
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling unicode-width v0.1.11
[INFO] [stderr]    Compiling lock_api v0.4.11
[INFO] [stderr]    Compiling memoffset v0.9.0
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling ariadne v0.3.0
[INFO] [stderr]    Compiling ropey v1.6.1
[INFO] [stderr]    Compiling heck v0.3.3
[INFO] [stderr]    Compiling rowan v0.15.13
[INFO] [stderr]    Compiling unicode-normalization v0.1.22
[INFO] [stderr]    Compiling crossbeam-channel v0.5.8
[INFO] [stderr]    Compiling quote v1.0.33
[INFO] [stderr]    Compiling syn v2.0.38
[INFO] [stderr]    Compiling idna v0.4.0
[INFO] [stderr]    Compiling parking_lot v0.11.2
[INFO] [stderr]    Compiling serde_derive v1.0.189
[INFO] [stderr]    Compiling serde_repr v0.1.16
[INFO] [stderr]    Compiling salsa-macros v0.16.0
[INFO] [stderr]    Compiling salsa v0.16.1
[INFO] [stderr]    Compiling url v2.4.1
[INFO] [stderr]    Compiling lsp-types v0.94.1
[INFO] [stderr]    Compiling lsp-server v0.7.4
[INFO] [stderr]    Compiling pika2 v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `ariadne::Fmt`
[INFO] [stdout]  --> src/common.rs:8:9
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub use ariadne::Fmt;
[INFO] [stdout]   |         ^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `r`
[INFO] [stdout]     --> src/elab/elaborate.rs:1321:47
[INFO] [stdout]      |
[INFO] [stdout] 1321 |             if let Some((expected_ty, reason, r)) = expected_ty {
[INFO] [stdout]      |                                               ^ help: if this is intentional, prefix it with an underscore: `_r`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rows`
[INFO] [stdout]    --> src/elab/pattern.rs:654:61
[INFO] [stdout]     |
[INFO] [stdout] 654 |     fn column_select_heuristic(&self, top_row: &input::Row, rows: &[input::Row]) -> PVar {
[INFO] [stdout]     |                                                             ^^^^ help: if this is intentional, prefix it with an underscore: `_rows`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]     --> src/elab/pattern.rs:1525:13
[INFO] [stdout]      |
[INFO] [stdout] 1510 |             Dec::Switch(v, branches, fallback) => {
[INFO] [stdout]      |             ---------------------------------- matches all the relevant values
[INFO] [stdout] ...
[INFO] [stdout] 1525 |             Dec::Switch(_, _, _) => None,
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^^^^^ no value can reach this
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unreachable_patterns)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `env`
[INFO] [stdout]    --> src/elab/val.rs:344:40
[INFO] [stdout]     |
[INFO] [stdout] 344 |     pub fn app(mut self, x: Elim<Val>, env: &mut Env) -> Val {
[INFO] [stdout]     |                                        ^^^ help: if this is intentional, prefix it with an underscore: `_env`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `msg`
[INFO] [stdout]   --> src/server.rs:79:35
[INFO] [stdout]    |
[INFO] [stdout] 79 |     fn handle_response(&mut self, msg: lsp::Response) -> Result<(), Box<dyn Error>> {
[INFO] [stdout]    |                                   ^^^ help: if this is intentional, prefix it with an underscore: `_msg`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `params`
[INFO] [stdout]    --> src/server.rs:139:26
[INFO] [stdout]     |
[INFO] [stdout] 139 |                 let (id, params): (_, GotoDefinitionParams) =
[INFO] [stdout]     |                          ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `def_file` is never used
[INFO] [stdout]   --> src/elab/mod.rs:82:4
[INFO] [stdout]    |
[INFO] [stdout] 82 | fn def_file(db: &dyn Elaborator, def: Def) -> File {
[INFO] [stdout]    |    ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/elab/mod.rs:432:11
[INFO] [stdout]     |
[INFO] [stdout] 432 |     Float(f64),
[INFO] [stdout]     |     ----- ^^^
[INFO] [stdout]     |     |
[INFO] [stdout]     |     field in this variant
[INFO] [stdout]     |
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 432 |     Float(()),
[INFO] [stdout]     |           ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `SpineNonVariable` and `SpineDuplicate` are never constructed
[INFO] [stdout]    --> src/elab/metas.rs:179:5
[INFO] [stdout]     |
[INFO] [stdout] 175 | pub enum MetaSolveError {
[INFO] [stdout]     |          -------------- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 179 |     SpineNonVariable(Expr),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 180 |     SpineNonApp(Elim<Expr>),
[INFO] [stdout] 181 |     SpineDuplicate(Name),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `F64` and `F32` are never constructed
[INFO] [stdout]    --> src/elab/term.rs:195:5
[INFO] [stdout]     |
[INFO] [stdout] 189 | pub enum Literal {
[INFO] [stdout]     |          ------- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 195 |     F64(u64),
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 196 |     /// Stores a u32 representation of the bits of the f32
[INFO] [stdout] 197 |     F32(u32),
[INFO] [stdout]     |     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Literal` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `as_u32` is never used
[INFO] [stdout]   --> src/elab/var.rs:35:12
[INFO] [stdout]    |
[INFO] [stdout] 34 | impl Lvl {
[INFO] [stdout]    | -------- method in this implementation
[INFO] [stdout] 35 |     pub fn as_u32(self) -> u32 {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `as_u32` is never used
[INFO] [stdout]   --> src/elab/var.rs:57:12
[INFO] [stdout]    |
[INFO] [stdout] 56 | impl Size {
[INFO] [stdout]    | --------- method in this implementation
[INFO] [stdout] 57 |     pub fn as_u32(self) -> u32 {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `pop` is never used
[INFO] [stdout]    --> src/elab/var.rs:245:12
[INFO] [stdout]     |
[INFO] [stdout] 183 | impl Env {
[INFO] [stdout]     | -------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 245 |     pub fn pop(&mut self) {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `inaccessible` is never used
[INFO] [stdout]    --> src/parsing/mod.rs:130:8
[INFO] [stdout]     |
[INFO] [stdout] 108 | pub trait ParserExt: Parser {
[INFO] [stdout]     |           --------- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 130 |     fn inaccessible(&self, name: SName) -> SName {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Unexpected` and `Other` are never constructed
[INFO] [stdout]   --> src/parsing/parser.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 9  | enum ParseError {
[INFO] [stdout]    |      ---------- variants in this enum
[INFO] [stdout] 10 |     Expected(Cow<'static, str>, Option<Cow<'static, str>>),
[INFO] [stdout] 11 |     Unexpected(Cow<'static, str>, Option<Cow<'static, str>>),
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 12 |     NonAssoc(Tok, Tok, RelSpan),
[INFO] [stdout] 13 |     Other(Cow<'static, str>),
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `COLOR5` and `is_empty` are never used
[INFO] [stdout]   --> src/pretty.rs:72:15
[INFO] [stdout]    |
[INFO] [stdout] 65 | impl Doc {
[INFO] [stdout]    | -------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 72 |     pub const COLOR5: ariadne::Color = ariadne::Color::Fixed(158);
[INFO] [stdout]    |               ^^^^^^
[INFO] [stdout] 73 |
[INFO] [stdout] 74 |     pub fn is_empty(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `initialization_params` is never read
[INFO] [stdout]   --> src/server.rs:25:5
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub struct Server {
[INFO] [stdout]    |            ------ field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 25 |     initialization_params: InitializeParams,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 45.11s
[INFO] running `Command { std: "docker" "inspect" "fb6a95a995cde8534a3f32b8bc6ab891929e95d0ee1f2d615a9a4a37960da08a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fb6a95a995cde8534a3f32b8bc6ab891929e95d0ee1f2d615a9a4a37960da08a", kill_on_drop: false }`
[INFO] [stdout] fb6a95a995cde8534a3f32b8bc6ab891929e95d0ee1f2d615a9a4a37960da08a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+ad211ced81509462cdfe4c29ed10f97279a0acae" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e2602866ef084778d26dbb1d0539e37286855b2032761904554cc81306548209
[INFO] running `Command { std: "docker" "start" "-a" "e2602866ef084778d26dbb1d0539e37286855b2032761904554cc81306548209", kill_on_drop: false }`
[INFO] [stdout] warning: unused import: `ariadne::Fmt`
[INFO] [stdout]  --> src/common.rs:8:9
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub use ariadne::Fmt;
[INFO] [stdout]   |         ^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `r`
[INFO] [stdout]     --> src/elab/elaborate.rs:1321:47
[INFO] [stdout]      |
[INFO] [stdout] 1321 |             if let Some((expected_ty, reason, r)) = expected_ty {
[INFO] [stdout]      |                                               ^ help: if this is intentional, prefix it with an underscore: `_r`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling pika2 v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `rows`
[INFO] [stdout]    --> src/elab/pattern.rs:654:61
[INFO] [stdout]     |
[INFO] [stdout] 654 |     fn column_select_heuristic(&self, top_row: &input::Row, rows: &[input::Row]) -> PVar {
[INFO] [stdout]     |                                                             ^^^^ help: if this is intentional, prefix it with an underscore: `_rows`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]     --> src/elab/pattern.rs:1525:13
[INFO] [stdout]      |
[INFO] [stdout] 1510 |             Dec::Switch(v, branches, fallback) => {
[INFO] [stdout]      |             ---------------------------------- matches all the relevant values
[INFO] [stdout] ...
[INFO] [stdout] 1525 |             Dec::Switch(_, _, _) => None,
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^^^^^ no value can reach this
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unreachable_patterns)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `env`
[INFO] [stdout]    --> src/elab/val.rs:344:40
[INFO] [stdout]     |
[INFO] [stdout] 344 |     pub fn app(mut self, x: Elim<Val>, env: &mut Env) -> Val {
[INFO] [stdout]     |                                        ^^^ help: if this is intentional, prefix it with an underscore: `_env`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `msg`
[INFO] [stdout]   --> src/server.rs:79:35
[INFO] [stdout]    |
[INFO] [stdout] 79 |     fn handle_response(&mut self, msg: lsp::Response) -> Result<(), Box<dyn Error>> {
[INFO] [stdout]    |                                   ^^^ help: if this is intentional, prefix it with an underscore: `_msg`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `params`
[INFO] [stdout]    --> src/server.rs:139:26
[INFO] [stdout]     |
[INFO] [stdout] 139 |                 let (id, params): (_, GotoDefinitionParams) =
[INFO] [stdout]     |                          ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `def_file` is never used
[INFO] [stdout]   --> src/elab/mod.rs:82:4
[INFO] [stdout]    |
[INFO] [stdout] 82 | fn def_file(db: &dyn Elaborator, def: Def) -> File {
[INFO] [stdout]    |    ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/elab/mod.rs:432:11
[INFO] [stdout]     |
[INFO] [stdout] 432 |     Float(f64),
[INFO] [stdout]     |     ----- ^^^
[INFO] [stdout]     |     |
[INFO] [stdout]     |     field in this variant
[INFO] [stdout]     |
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 432 |     Float(()),
[INFO] [stdout]     |           ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `SpineNonVariable` and `SpineDuplicate` are never constructed
[INFO] [stdout]    --> src/elab/metas.rs:179:5
[INFO] [stdout]     |
[INFO] [stdout] 175 | pub enum MetaSolveError {
[INFO] [stdout]     |          -------------- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 179 |     SpineNonVariable(Expr),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 180 |     SpineNonApp(Elim<Expr>),
[INFO] [stdout] 181 |     SpineDuplicate(Name),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `F64` and `F32` are never constructed
[INFO] [stdout]    --> src/elab/term.rs:195:5
[INFO] [stdout]     |
[INFO] [stdout] 189 | pub enum Literal {
[INFO] [stdout]     |          ------- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 195 |     F64(u64),
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 196 |     /// Stores a u32 representation of the bits of the f32
[INFO] [stdout] 197 |     F32(u32),
[INFO] [stdout]     |     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Literal` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `as_u32` is never used
[INFO] [stdout]   --> src/elab/var.rs:35:12
[INFO] [stdout]    |
[INFO] [stdout] 34 | impl Lvl {
[INFO] [stdout]    | -------- method in this implementation
[INFO] [stdout] 35 |     pub fn as_u32(self) -> u32 {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `as_u32` is never used
[INFO] [stdout]   --> src/elab/var.rs:57:12
[INFO] [stdout]    |
[INFO] [stdout] 56 | impl Size {
[INFO] [stdout]    | --------- method in this implementation
[INFO] [stdout] 57 |     pub fn as_u32(self) -> u32 {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `pop` is never used
[INFO] [stdout]    --> src/elab/var.rs:245:12
[INFO] [stdout]     |
[INFO] [stdout] 183 | impl Env {
[INFO] [stdout]     | -------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 245 |     pub fn pop(&mut self) {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `inaccessible` is never used
[INFO] [stdout]    --> src/parsing/mod.rs:130:8
[INFO] [stdout]     |
[INFO] [stdout] 108 | pub trait ParserExt: Parser {
[INFO] [stdout]     |           --------- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 130 |     fn inaccessible(&self, name: SName) -> SName {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Unexpected` and `Other` are never constructed
[INFO] [stdout]   --> src/parsing/parser.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 9  | enum ParseError {
[INFO] [stdout]    |      ---------- variants in this enum
[INFO] [stdout] 10 |     Expected(Cow<'static, str>, Option<Cow<'static, str>>),
[INFO] [stdout] 11 |     Unexpected(Cow<'static, str>, Option<Cow<'static, str>>),
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 12 |     NonAssoc(Tok, Tok, RelSpan),
[INFO] [stdout] 13 |     Other(Cow<'static, str>),
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `COLOR5` and `is_empty` are never used
[INFO] [stdout]   --> src/pretty.rs:72:15
[INFO] [stdout]    |
[INFO] [stdout] 65 | impl Doc {
[INFO] [stdout]    | -------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 72 |     pub const COLOR5: ariadne::Color = ariadne::Color::Fixed(158);
[INFO] [stdout]    |               ^^^^^^
[INFO] [stdout] 73 |
[INFO] [stdout] 74 |     pub fn is_empty(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `initialization_params` is never read
[INFO] [stdout]   --> src/server.rs:25:5
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub struct Server {
[INFO] [stdout]    |            ------ field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 25 |     initialization_params: InitializeParams,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ariadne::Fmt`
[INFO] [stdout]  --> src/common.rs:8:9
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub use ariadne::Fmt;
[INFO] [stdout]   |         ^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `r`
[INFO] [stdout]     --> src/elab/elaborate.rs:1321:47
[INFO] [stdout]      |
[INFO] [stdout] 1321 |             if let Some((expected_ty, reason, r)) = expected_ty {
[INFO] [stdout]      |                                               ^ help: if this is intentional, prefix it with an underscore: `_r`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rows`
[INFO] [stdout]    --> src/elab/pattern.rs:654:61
[INFO] [stdout]     |
[INFO] [stdout] 654 |     fn column_select_heuristic(&self, top_row: &input::Row, rows: &[input::Row]) -> PVar {
[INFO] [stdout]     |                                                             ^^^^ help: if this is intentional, prefix it with an underscore: `_rows`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]     --> src/elab/pattern.rs:1525:13
[INFO] [stdout]      |
[INFO] [stdout] 1510 |             Dec::Switch(v, branches, fallback) => {
[INFO] [stdout]      |             ---------------------------------- matches all the relevant values
[INFO] [stdout] ...
[INFO] [stdout] 1525 |             Dec::Switch(_, _, _) => None,
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^^^^^ no value can reach this
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unreachable_patterns)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `env`
[INFO] [stdout]    --> src/elab/val.rs:344:40
[INFO] [stdout]     |
[INFO] [stdout] 344 |     pub fn app(mut self, x: Elim<Val>, env: &mut Env) -> Val {
[INFO] [stdout]     |                                        ^^^ help: if this is intentional, prefix it with an underscore: `_env`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `msg`
[INFO] [stdout]   --> src/server.rs:79:35
[INFO] [stdout]    |
[INFO] [stdout] 79 |     fn handle_response(&mut self, msg: lsp::Response) -> Result<(), Box<dyn Error>> {
[INFO] [stdout]    |                                   ^^^ help: if this is intentional, prefix it with an underscore: `_msg`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `params`
[INFO] [stdout]    --> src/server.rs:139:26
[INFO] [stdout]     |
[INFO] [stdout] 139 |                 let (id, params): (_, GotoDefinitionParams) =
[INFO] [stdout]     |                          ^^^^^^ help: if this is intentional, prefix it with an underscore: `_params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `def_file` is never used
[INFO] [stdout]   --> src/elab/mod.rs:82:4
[INFO] [stdout]    |
[INFO] [stdout] 82 | fn def_file(db: &dyn Elaborator, def: Def) -> File {
[INFO] [stdout]    |    ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]    --> src/elab/mod.rs:432:11
[INFO] [stdout]     |
[INFO] [stdout] 432 |     Float(f64),
[INFO] [stdout]     |     ----- ^^^
[INFO] [stdout]     |     |
[INFO] [stdout]     |     field in this variant
[INFO] [stdout]     |
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]     |
[INFO] [stdout] 432 |     Float(()),
[INFO] [stdout]     |           ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `SpineNonVariable` and `SpineDuplicate` are never constructed
[INFO] [stdout]    --> src/elab/metas.rs:179:5
[INFO] [stdout]     |
[INFO] [stdout] 175 | pub enum MetaSolveError {
[INFO] [stdout]     |          -------------- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 179 |     SpineNonVariable(Expr),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 180 |     SpineNonApp(Elim<Expr>),
[INFO] [stdout] 181 |     SpineDuplicate(Name),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `F64` and `F32` are never constructed
[INFO] [stdout]    --> src/elab/term.rs:195:5
[INFO] [stdout]     |
[INFO] [stdout] 189 | pub enum Literal {
[INFO] [stdout]     |          ------- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 195 |     F64(u64),
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 196 |     /// Stores a u32 representation of the bits of the f32
[INFO] [stdout] 197 |     F32(u32),
[INFO] [stdout]     |     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Literal` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `as_u32` is never used
[INFO] [stdout]   --> src/elab/var.rs:35:12
[INFO] [stdout]    |
[INFO] [stdout] 34 | impl Lvl {
[INFO] [stdout]    | -------- method in this implementation
[INFO] [stdout] 35 |     pub fn as_u32(self) -> u32 {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `as_u32` is never used
[INFO] [stdout]   --> src/elab/var.rs:57:12
[INFO] [stdout]    |
[INFO] [stdout] 56 | impl Size {
[INFO] [stdout]    | --------- method in this implementation
[INFO] [stdout] 57 |     pub fn as_u32(self) -> u32 {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `pop` is never used
[INFO] [stdout]    --> src/elab/var.rs:245:12
[INFO] [stdout]     |
[INFO] [stdout] 183 | impl Env {
[INFO] [stdout]     | -------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 245 |     pub fn pop(&mut self) {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `inaccessible` is never used
[INFO] [stdout]    --> src/parsing/mod.rs:130:8
[INFO] [stdout]     |
[INFO] [stdout] 108 | pub trait ParserExt: Parser {
[INFO] [stdout]     |           --------- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 130 |     fn inaccessible(&self, name: SName) -> SName {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Unexpected` and `Other` are never constructed
[INFO] [stdout]   --> src/parsing/parser.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 9  | enum ParseError {
[INFO] [stdout]    |      ---------- variants in this enum
[INFO] [stdout] 10 |     Expected(Cow<'static, str>, Option<Cow<'static, str>>),
[INFO] [stdout] 11 |     Unexpected(Cow<'static, str>, Option<Cow<'static, str>>),
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 12 |     NonAssoc(Tok, Tok, RelSpan),
[INFO] [stdout] 13 |     Other(Cow<'static, str>),
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `COLOR5` and `is_empty` are never used
[INFO] [stdout]   --> src/pretty.rs:72:15
[INFO] [stdout]    |
[INFO] [stdout] 65 | impl Doc {
[INFO] [stdout]    | -------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 72 |     pub const COLOR5: ariadne::Color = ariadne::Color::Fixed(158);
[INFO] [stdout]    |               ^^^^^^
[INFO] [stdout] 73 |
[INFO] [stdout] 74 |     pub fn is_empty(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `initialization_params` is never read
[INFO] [stdout]   --> src/server.rs:25:5
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub struct Server {
[INFO] [stdout]    |            ------ field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 25 |     initialization_params: InitializeParams,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 3.62s
[INFO] running `Command { std: "docker" "inspect" "e2602866ef084778d26dbb1d0539e37286855b2032761904554cc81306548209", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e2602866ef084778d26dbb1d0539e37286855b2032761904554cc81306548209", kill_on_drop: false }`
[INFO] [stdout] e2602866ef084778d26dbb1d0539e37286855b2032761904554cc81306548209
