[INFO] fetching crate nar 0.0.8...
[INFO] checking nar-0.0.8 against master#642c19bfc3a5c1de985bf5d0cc8207ac9d22708a for pr-148577
[INFO] extracting crate nar 0.0.8 into /workspace/builds/worker-1-tc1/source
[INFO] started tweaking crates.io crate nar 0.0.8
[INFO] finished tweaking crates.io crate nar 0.0.8
[INFO] tweaked toml for crates.io crate nar 0.0.8 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate nar 0.0.8 on toolchain 642c19bfc3a5c1de985bf5d0cc8207ac9d22708a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate nar 0.0.8 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" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded quote v1.0.2
[INFO] [stderr]   Downloaded typenum v1.11.2
[INFO] [stderr]   Downloaded proc-macro2 v1.0.8
[INFO] [stderr]   Downloaded byteorder v1.3.2
[INFO] [stderr]   Downloaded pest_meta v2.1.2
[INFO] [stderr]   Downloaded structopt-derive v0.4.0
[INFO] [stderr]   Downloaded proc-macro-error-attr v0.4.3
[INFO] [stderr]   Downloaded blake2b_simd v0.5.10
[INFO] [stderr]   Downloaded backtrace v0.3.42
[INFO] [stderr]   Downloaded rustversion v1.0.1
[INFO] [stderr]   Downloaded failure_derive v0.1.6
[INFO] [stderr]   Downloaded dirs-sys v0.3.4
[INFO] [stderr]   Downloaded heck v0.3.1
[INFO] [stderr]   Downloaded base64 v0.10.1
[INFO] [stderr]   Downloaded rustyline v6.0.0
[INFO] [stderr]   Downloaded generic-array v0.12.3
[INFO] [stderr]   Downloaded pest_generator v2.1.1
[INFO] [stderr]   Downloaded crossbeam-utils v0.6.6
[INFO] [stderr]   Downloaded arrayvec v0.5.1
[INFO] [stderr]   Downloaded failure v0.1.6
[INFO] [stderr]   Downloaded ucd-trie v0.1.2
[INFO] [stderr]   Downloaded hermit-abi v0.1.6
[INFO] [stderr]   Downloaded proc-macro-error v0.4.4
[INFO] [stderr]   Downloaded nix v0.14.1
[INFO] [stderr]   Downloaded syn v1.0.13
[INFO] [stderr]   Downloaded rust-argon2 v0.5.1
[INFO] [stderr]   Downloaded dirs v2.0.2
[INFO] [stderr]   Downloaded backtrace-sys v0.1.32
[INFO] [stderr]   Downloaded syn-mid v0.4.0
[INFO] [stderr]   Downloaded cc v1.0.50
[INFO] [stderr]   Downloaded libc v0.2.66
[INFO] [stderr]   Downloaded vec_map v0.8.1
[INFO] [stderr]   Downloaded clap v2.33.0
[INFO] [stderr]   Downloaded pest v2.1.2
[INFO] [stderr]   Downloaded arrayref v0.3.5
[INFO] [stderr]   Downloaded redox_users v0.3.1
[INFO] [stderr]   Downloaded memchr v2.3.0
[INFO] [stderr]   Downloaded utf8parse v0.1.1
[INFO] [stderr]   Downloaded voile-util v0.2.2
[INFO] [stderr]   Downloaded minitt-util v0.2.3
[INFO] [stderr]   Downloaded structopt v0.3.7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 2570d4b89dfddf5511489f5d5ead40a50be325746f41158c7126af550be1d23d
[INFO] running `Command { std: "docker" "start" "-a" "2570d4b89dfddf5511489f5d5ead40a50be325746f41158c7126af550be1d23d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2570d4b89dfddf5511489f5d5ead40a50be325746f41158c7126af550be1d23d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2570d4b89dfddf5511489f5d5ead40a50be325746f41158c7126af550be1d23d", kill_on_drop: false }`
[INFO] [stdout] 2570d4b89dfddf5511489f5d5ead40a50be325746f41158c7126af550be1d23d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d4add0099770e623cdd333ded547c90566aed8d3cfc3c19d1cf3587320657e95
[INFO] running `Command { std: "docker" "start" "-a" "d4add0099770e623cdd333ded547c90566aed8d3cfc3c19d1cf3587320657e95", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.8
[INFO] [stderr]    Compiling unicode-xid v0.2.0
[INFO] [stderr]    Compiling syn v1.0.13
[INFO] [stderr]    Compiling libc v0.2.66
[INFO] [stderr]    Compiling bitflags v1.2.1
[INFO] [stderr]     Checking unicode-width v0.1.7
[INFO] [stderr]    Compiling ucd-trie v0.1.2
[INFO] [stderr]    Compiling unicode-segmentation v1.6.0
[INFO] [stderr]    Compiling maplit v1.0.2
[INFO] [stderr]    Compiling log v0.4.8
[INFO] [stderr]    Compiling memchr v2.3.0
[INFO] [stderr]    Compiling nix v0.14.1
[INFO] [stderr]     Checking void v1.0.2
[INFO] [stderr]     Checking strsim v0.8.0
[INFO] [stderr]     Checking ansi_term v0.11.0
[INFO] [stderr]     Checking vec_map v0.8.1
[INFO] [stderr]     Checking utf8parse v0.1.1
[INFO] [stderr]     Checking textwrap v0.11.0
[INFO] [stderr]     Checking either v1.5.3
[INFO] [stderr]    Compiling pest v2.1.2
[INFO] [stderr]    Compiling heck v0.3.1
[INFO] [stderr]     Checking dirs-sys v0.3.4
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking clap v2.33.0
[INFO] [stderr]     Checking dirs v2.0.2
[INFO] [stderr]    Compiling quote v1.0.2
[INFO] [stderr]    Compiling pest_meta v2.1.2
[INFO] [stderr]     Checking rustyline v6.0.0
[INFO] [stderr]    Compiling syn-mid v0.4.0
[INFO] [stderr]    Compiling pest_generator v2.1.1
[INFO] [stderr]    Compiling rustversion v1.0.1
[INFO] [stderr]    Compiling pest_derive v2.1.0
[INFO] [stderr]    Compiling proc-macro-error v0.4.4
[INFO] [stderr]    Compiling proc-macro-error-attr v0.4.3
[INFO] [stderr]     Checking voile-util v0.2.2
[INFO] [stderr]    Compiling structopt-derive v0.4.0
[INFO] [stderr]     Checking structopt v0.3.7
[INFO] [stderr]     Checking minitt-util v0.2.3
[INFO] [stderr]     Checking nar v0.0.8 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused imports: `decl_impl::*` and `pretty::*`
[INFO] [stdout]  --> src/syntax/core/mod.rs:3:59
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub use self::{ast::*, ast_fold::*, ast_util::*, decl::*, decl_impl::*, pretty::*};
[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 imports: `decl_impl::*` and `pretty::*`
[INFO] [stdout]  --> src/syntax/abs/mod.rs:1:33
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub use self::{ast::*, decl::*, decl_impl::*, pretty::*};
[INFO] [stdout]   |                                 ^^^^^^^^^^^^  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `is_eta_var` and `type_of_decl`
[INFO] [stdout]   --> src/check/rules/term/mod.rs:12:20
[INFO] [stdout]    |
[INFO] [stdout] 12 |     infer::{infer, type_of_decl},
[INFO] [stdout]    |                    ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 15 |     view::{expect_data, is_eta_var, is_eta_var_ref},
[INFO] [stdout]    |                         ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `decl_impl::*` and `pretty::*`
[INFO] [stdout]  --> src/syntax/core/mod.rs:3:59
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub use self::{ast::*, ast_fold::*, ast_util::*, decl::*, decl_impl::*, pretty::*};
[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 imports: `decl_impl::*` and `pretty::*`
[INFO] [stdout]  --> src/syntax/abs/mod.rs:1:33
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub use self::{ast::*, decl::*, decl_impl::*, pretty::*};
[INFO] [stdout]   |                                 ^^^^^^^^^^^^  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `is_eta_var` and `type_of_decl`
[INFO] [stdout]   --> src/check/rules/term/mod.rs:12:20
[INFO] [stdout]    |
[INFO] [stdout] 12 |     infer::{infer, type_of_decl},
[INFO] [stdout]    |                    ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 15 |     view::{expect_data, is_eta_var, is_eta_var_ref},
[INFO] [stdout]    |                         ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/check/rules/clause/split.rs:32:10
[INFO] [stdout]    |
[INFO] [stdout] 32 |     let (mut delta1, dom, delta2) = split_tele(lhs.tele, ix);
[INFO] [stdout]    |          ----^^^^^^
[INFO] [stdout]    |          |
[INFO] [stdout]    |          help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_forced`
[INFO] [stdout]   --> src/check/rules/clause/split.rs:28:5
[INFO] [stdout]    |
[INFO] [stdout] 28 |     is_forced: bool,
[INFO] [stdout]    |     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_is_forced`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pats`
[INFO] [stdout]   --> src/check/rules/clause/split.rs:30:5
[INFO] [stdout]    |
[INFO] [stdout] 30 |     pats: Vec<AbsPat>,
[INFO] [stdout]    |     ^^^^ help: if this is intentional, prefix it with an underscore: `_pats`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `delta1`
[INFO] [stdout]   --> src/check/rules/clause/split.rs:32:10
[INFO] [stdout]    |
[INFO] [stdout] 32 |     let (mut delta1, dom, delta2) = split_tele(lhs.tele, ix);
[INFO] [stdout]    |          ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_delta1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `delta2`
[INFO] [stdout]   --> src/check/rules/clause/split.rs:32:27
[INFO] [stdout]    |
[INFO] [stdout] 32 |     let (mut delta1, dom, delta2) = split_tele(lhs.tele, ix);
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_delta2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `data`
[INFO] [stdout]   --> src/check/rules/clause/split.rs:33:10
[INFO] [stdout]    |
[INFO] [stdout] 33 |     let (data, tcs) = expect_data(tcs, dom.ty)?;
[INFO] [stdout]    |          ^^^^ help: if this is intentional, prefix it with an underscore: `_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cons_params`
[INFO] [stdout]   --> src/check/rules/clause/split.rs:38:9
[INFO] [stdout]    |
[INFO] [stdout] 38 |     let cons_params = match tcs.def(head.cons_ix) {
[INFO] [stdout]    |         ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_cons_params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tcs`
[INFO] [stdout]    --> src/check/pats/mat.rs:126:14
[INFO] [stdout]     |
[INFO] [stdout] 126 | fn match_pat(tcs: &TCS, p: CorePat, t: Term) -> (Match, Term) {
[INFO] [stdout]     |              ^^^ help: if this is intentional, prefix it with an underscore: `_tcs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `pat_sub` is never read
[INFO] [stdout]   --> src/check/rules/clause/lhs.rs:45:16
[INFO] [stdout]    |
[INFO] [stdout] 30 | pub(super) struct Lhs {
[INFO] [stdout]    |                   --- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 45 |     pub(super) pat_sub: Rc<Subst>,
[INFO] [stdout]    |                ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Lhs` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `insert_implicit_pats` is never used
[INFO] [stdout]   --> src/check/rules/clause/state.rs:69:15
[INFO] [stdout]    |
[INFO] [stdout] 69 | pub(super) fn insert_implicit_pats(pats: Vec<AbsCopat>, tele: &TeleS) -> Vec<AbsCopat> {
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/syntax/core/subst/prim.rs:130:53
[INFO] [stdout]     |
[INFO] [stdout] 130 |             (n, Lift(DBI(0), _rho)) => unreachable!(&format!("n = {:?}", n)),
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of `unreachable!()` is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: `#[warn(non_fmt_panics)]` (part of `#[warn(rust_2021_compatibility)]`) on by default
[INFO] [stdout] help: add a "{}" format string to `Display` the message
[INFO] [stdout]     |
[INFO] [stdout] 130 |             (n, Lift(DBI(0), _rho)) => unreachable!("{}", &format!("n = {:?}", n)),
[INFO] [stdout]     |                                                     +++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]   --> src/check/rules/decls.rs:36:43
[INFO] [stdout]    |
[INFO] [stdout] 36 |                         _ => unreachable!(ERROR_MSG),
[INFO] [stdout]    |                                           ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this usage of `unreachable!()` is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout] help: add a "{}" format string to `Display` the message
[INFO] [stdout]    |
[INFO] [stdout] 36 |                         _ => unreachable!("{}", ERROR_MSG),
[INFO] [stdout]    |                                           +++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]   --> src/check/rules/decls.rs:42:46
[INFO] [stdout]    |
[INFO] [stdout] 42 |             AbsDecl::Cons(_) => unreachable!(ERROR_MSG),
[INFO] [stdout]    |                                              ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this usage of `unreachable!()` is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout] help: add a "{}" format string to `Display` the message
[INFO] [stdout]    |
[INFO] [stdout] 42 |             AbsDecl::Cons(_) => unreachable!("{}", ERROR_MSG),
[INFO] [stdout]    |                                              +++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/check/rules/clause/split.rs:32:10
[INFO] [stdout]    |
[INFO] [stdout] 32 |     let (mut delta1, dom, delta2) = split_tele(lhs.tele, ix);
[INFO] [stdout]    |          ----^^^^^^
[INFO] [stdout]    |          |
[INFO] [stdout]    |          help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_forced`
[INFO] [stdout]   --> src/check/rules/clause/split.rs:28:5
[INFO] [stdout]    |
[INFO] [stdout] 28 |     is_forced: bool,
[INFO] [stdout]    |     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_is_forced`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pats`
[INFO] [stdout]   --> src/check/rules/clause/split.rs:30:5
[INFO] [stdout]    |
[INFO] [stdout] 30 |     pats: Vec<AbsPat>,
[INFO] [stdout]    |     ^^^^ help: if this is intentional, prefix it with an underscore: `_pats`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `delta1`
[INFO] [stdout]   --> src/check/rules/clause/split.rs:32:10
[INFO] [stdout]    |
[INFO] [stdout] 32 |     let (mut delta1, dom, delta2) = split_tele(lhs.tele, ix);
[INFO] [stdout]    |          ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_delta1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `delta2`
[INFO] [stdout]   --> src/check/rules/clause/split.rs:32:27
[INFO] [stdout]    |
[INFO] [stdout] 32 |     let (mut delta1, dom, delta2) = split_tele(lhs.tele, ix);
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_delta2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `data`
[INFO] [stdout]   --> src/check/rules/clause/split.rs:33:10
[INFO] [stdout]    |
[INFO] [stdout] 33 |     let (data, tcs) = expect_data(tcs, dom.ty)?;
[INFO] [stdout]    |          ^^^^ help: if this is intentional, prefix it with an underscore: `_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cons_params`
[INFO] [stdout]   --> src/check/rules/clause/split.rs:38:9
[INFO] [stdout]    |
[INFO] [stdout] 38 |     let cons_params = match tcs.def(head.cons_ix) {
[INFO] [stdout]    |         ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_cons_params`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tcs`
[INFO] [stdout]    --> src/check/pats/mat.rs:126:14
[INFO] [stdout]     |
[INFO] [stdout] 126 | fn match_pat(tcs: &TCS, p: CorePat, t: Term) -> (Match, Term) {
[INFO] [stdout]     |              ^^^ help: if this is intentional, prefix it with an underscore: `_tcs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `pat_sub` is never read
[INFO] [stdout]   --> src/check/rules/clause/lhs.rs:45:16
[INFO] [stdout]    |
[INFO] [stdout] 30 | pub(super) struct Lhs {
[INFO] [stdout]    |                   --- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 45 |     pub(super) pat_sub: Rc<Subst>,
[INFO] [stdout]    |                ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Lhs` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `insert_implicit_pats` is never used
[INFO] [stdout]   --> src/check/rules/clause/state.rs:69:15
[INFO] [stdout]    |
[INFO] [stdout] 69 | pub(super) fn insert_implicit_pats(pats: Vec<AbsCopat>, tele: &TeleS) -> Vec<AbsCopat> {
[INFO] [stdout]    |               ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/syntax/core/subst/prim.rs:130:53
[INFO] [stdout]     |
[INFO] [stdout] 130 |             (n, Lift(DBI(0), _rho)) => unreachable!(&format!("n = {:?}", n)),
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of `unreachable!()` is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: `#[warn(non_fmt_panics)]` (part of `#[warn(rust_2021_compatibility)]`) on by default
[INFO] [stdout] help: add a "{}" format string to `Display` the message
[INFO] [stdout]     |
[INFO] [stdout] 130 |             (n, Lift(DBI(0), _rho)) => unreachable!("{}", &format!("n = {:?}", n)),
[INFO] [stdout]     |                                                     +++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]   --> src/check/rules/decls.rs:36:43
[INFO] [stdout]    |
[INFO] [stdout] 36 |                         _ => unreachable!(ERROR_MSG),
[INFO] [stdout]    |                                           ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this usage of `unreachable!()` is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout] help: add a "{}" format string to `Display` the message
[INFO] [stdout]    |
[INFO] [stdout] 36 |                         _ => unreachable!("{}", ERROR_MSG),
[INFO] [stdout]    |                                           +++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]   --> src/check/rules/decls.rs:42:46
[INFO] [stdout]    |
[INFO] [stdout] 42 |             AbsDecl::Cons(_) => unreachable!(ERROR_MSG),
[INFO] [stdout]    |                                              ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this usage of `unreachable!()` is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout] help: add a "{}" format string to `Display` the message
[INFO] [stdout]    |
[INFO] [stdout] 42 |             AbsDecl::Cons(_) => unreachable!("{}", ERROR_MSG),
[INFO] [stdout]    |                                              +++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 8.91s
[INFO] running `Command { std: "docker" "inspect" "d4add0099770e623cdd333ded547c90566aed8d3cfc3c19d1cf3587320657e95", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d4add0099770e623cdd333ded547c90566aed8d3cfc3c19d1cf3587320657e95", kill_on_drop: false }`
[INFO] [stdout] d4add0099770e623cdd333ded547c90566aed8d3cfc3c19d1cf3587320657e95
