[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] checking tolziplohu/pika against try#18c1d185ac7a6a3bf399296b35e4b2736809a756 for pr-146972
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftolziplohu%2Fpika" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[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-4-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/tolziplohu/pika on toolchain 18c1d185ac7a6a3bf399296b35e4b2736809a756
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+18c1d185ac7a6a3bf399296b35e4b2736809a756" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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" "+18c1d185ac7a6a3bf399296b35e4b2736809a756" "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
[ERROR] error running command: no output for 300 seconds
[INFO] checking tolziplohu/pika against try#18c1d185ac7a6a3bf399296b35e4b2736809a756 for pr-146972
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftolziplohu%2Fpika" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[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-4-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/tolziplohu/pika on toolchain 18c1d185ac7a6a3bf399296b35e4b2736809a756
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+18c1d185ac7a6a3bf399296b35e4b2736809a756" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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" "+18c1d185ac7a6a3bf399296b35e4b2736809a756" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded salsa-macros v0.16.0
[INFO] [stderr]   Downloaded lsp-server v0.7.4
[INFO] [stderr]   Downloaded lsp-types v0.94.1
[INFO] [stderr]   Downloaded str_indices v0.4.2
[INFO] [stderr]   Downloaded rowan v0.15.13
[INFO] [stderr]   Downloaded ropey v1.6.1
[INFO] [stderr]   Downloaded salsa v0.16.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:94a0c148923f5b2b52a63ef0eeb1882ad339ab61bce784c8077cbe41c61feb6c" "/opt/rustwide/cargo-home/bin/cargo" "+18c1d185ac7a6a3bf399296b35e4b2736809a756" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] fc024d0d30868cfb445f74b18743e1e4e93dcbbcea5f3ac16200d9ec4c30f217
[INFO] running `Command { std: "docker" "start" "-a" "fc024d0d30868cfb445f74b18743e1e4e93dcbbcea5f3ac16200d9ec4c30f217", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "fc024d0d30868cfb445f74b18743e1e4e93dcbbcea5f3ac16200d9ec4c30f217", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fc024d0d30868cfb445f74b18743e1e4e93dcbbcea5f3ac16200d9ec4c30f217", kill_on_drop: false }`
[INFO] [stdout] fc024d0d30868cfb445f74b18743e1e4e93dcbbcea5f3ac16200d9ec4c30f217
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:94a0c148923f5b2b52a63ef0eeb1882ad339ab61bce784c8077cbe41c61feb6c" "/opt/rustwide/cargo-home/bin/cargo" "+18c1d185ac7a6a3bf399296b35e4b2736809a756" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] cafa50af507bb4474f509090802e23161ff35b3fac90dda9a165e8857b676666
[INFO] running `Command { std: "docker" "start" "-a" "cafa50af507bb4474f509090802e23161ff35b3fac90dda9a165e8857b676666", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.149
[INFO] [stderr]    Compiling serde_json v1.0.107
[INFO] [stderr]     Checking smallvec v1.11.1
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]     Checking hashbrown v0.12.3
[INFO] [stderr]     Checking text-size v1.1.1
[INFO] [stderr]    Compiling syn v2.0.38
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking countme v3.0.1
[INFO] [stderr]     Checking str_indices v0.4.2
[INFO] [stderr]     Checking yansi v0.5.1
[INFO] [stderr]     Checking ariadne v0.3.0
[INFO] [stderr]     Checking ropey v1.6.1
[INFO] [stderr]     Checking rowan v0.15.13
[INFO] [stderr]     Checking parking_lot_core v0.8.6
[INFO] [stderr]     Checking 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]     Checking serde v1.0.189
[INFO] [stderr]     Checking salsa v0.16.1
[INFO] [stderr]     Checking url v2.4.1
[INFO] [stderr]     Checking lsp-types v0.94.1
[INFO] [stderr]     Checking lsp-server v0.7.4
[INFO] [stderr]     Checking 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)]` (part of `#[warn(unused)]`) on by default
[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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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: 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)]` (part of `#[warn(unused)]`) on by default
[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)]` (part of `#[warn(unused)]`) 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: `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: 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: 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)]` (part of `#[warn(unused)]`) 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(f64),
[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: struct `ConsDef` is never constructed
[INFO] [stdout]    --> src/elab/term.rs:260:12
[INFO] [stdout]     |
[INFO] [stdout] 260 | pub struct ConsDef {
[INFO] [stdout]     |            ^^^^^^^
[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 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: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/elab/cxt.rs:885:20
[INFO] [stdout]     |
[INFO] [stdout] 885 |     pub fn new(db: &dyn Elaborator, def_cxt: DefCxt) -> Cxt {
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^                      ^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 885 |     pub fn new(db: &dyn Elaborator, def_cxt: DefCxt) -> Cxt<'_> {
[INFO] [stdout]     |                                                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/elab/ide_support.rs:19:22
[INFO] [stdout]    |
[INFO] [stdout] 19 |     pub fn find_span(&self, span: RelSpan, cxt: &mut Cxt) -> Result<(), FindSpanResult> {
[INFO] [stdout]    |                      ^^^^^ the lifetime is elided here                  ^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 19 |     pub fn find_span(&self, span: RelSpan, cxt: &mut Cxt) -> Result<(), FindSpanResult<'_>> {
[INFO] [stdout]    |                                                                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/elab/ide_support.rs:45:22
[INFO] [stdout]    |
[INFO] [stdout] 45 |     pub fn find_span(&self, span: RelSpan, cxt: &mut Cxt) -> Result<(), FindSpanResult> {
[INFO] [stdout]    |                      ^^^^^ the lifetime is elided here                  ^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 45 |     pub fn find_span(&self, span: RelSpan, cxt: &mut Cxt) -> Result<(), FindSpanResult<'_>> {
[INFO] [stdout]    |                                                                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/elab/metas.rs:356:20
[INFO] [stdout]     |
[INFO] [stdout] 356 |     pub fn new(db: &dyn Elaborator) -> MetaCxt {
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^     ^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 356 |     pub fn new(db: &dyn Elaborator) -> MetaCxt<'_> {
[INFO] [stdout]     |                                               ++++
[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)]` (part of `#[warn(unused)]`) 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(f64),
[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: struct `ConsDef` is never constructed
[INFO] [stdout]    --> src/elab/term.rs:260:12
[INFO] [stdout]     |
[INFO] [stdout] 260 | pub struct ConsDef {
[INFO] [stdout]     |            ^^^^^^^
[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: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/elab/cxt.rs:885:20
[INFO] [stdout]     |
[INFO] [stdout] 885 |     pub fn new(db: &dyn Elaborator, def_cxt: DefCxt) -> Cxt {
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^                      ^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 885 |     pub fn new(db: &dyn Elaborator, def_cxt: DefCxt) -> Cxt<'_> {
[INFO] [stdout]     |                                                            ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/elab/ide_support.rs:19:22
[INFO] [stdout]    |
[INFO] [stdout] 19 |     pub fn find_span(&self, span: RelSpan, cxt: &mut Cxt) -> Result<(), FindSpanResult> {
[INFO] [stdout]    |                      ^^^^^ the lifetime is elided here                  ^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 19 |     pub fn find_span(&self, span: RelSpan, cxt: &mut Cxt) -> Result<(), FindSpanResult<'_>> {
[INFO] [stdout]    |                                                                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/elab/ide_support.rs:45:22
[INFO] [stdout]    |
[INFO] [stdout] 45 |     pub fn find_span(&self, span: RelSpan, cxt: &mut Cxt) -> Result<(), FindSpanResult> {
[INFO] [stdout]    |                      ^^^^^ the lifetime is elided here                  ^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 45 |     pub fn find_span(&self, span: RelSpan, cxt: &mut Cxt) -> Result<(), FindSpanResult<'_>> {
[INFO] [stdout]    |                                                                                       ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/elab/metas.rs:356:20
[INFO] [stdout]     |
[INFO] [stdout] 356 |     pub fn new(db: &dyn Elaborator) -> MetaCxt {
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^     ^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 356 |     pub fn new(db: &dyn Elaborator) -> MetaCxt<'_> {
[INFO] [stdout]     |                                               ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 11.36s
[INFO] running `Command { std: "docker" "inspect" "cafa50af507bb4474f509090802e23161ff35b3fac90dda9a165e8857b676666", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cafa50af507bb4474f509090802e23161ff35b3fac90dda9a165e8857b676666", kill_on_drop: false }`
[INFO] [stdout] cafa50af507bb4474f509090802e23161ff35b3fac90dda9a165e8857b676666
