[INFO] cloning repository https://github.com/SReichelt/slate2
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/SReichelt/slate2" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSReichelt%2Fslate2", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSReichelt%2Fslate2'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 2598b6d6d4a7c7d458ec07a07256c73c768dbec3
[INFO] testing SReichelt/slate2 against 1.86.0 for beta-1.87-3
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSReichelt%2Fslate2" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/SReichelt/slate2 on toolchain 1.86.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.86.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/SReichelt/slate2
[INFO] finished tweaking git repo https://github.com/SReichelt/slate2
[INFO] tweaked toml for git repo https://github.com/SReichelt/slate2 written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/SReichelt/slate2 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" "+1.86.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating git repository `https://github.com/SReichelt/lang-tools.git`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Updating git repository `https://github.com/stijnh/nonminmax.git`
[INFO] [stderr]     Updating git repository `https://github.com/SReichelt/temp-inst.git`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded proc-macro2 v1.0.86
[INFO] [stderr]   Downloaded unicode-ident v1.0.13
[INFO] [stderr]   Downloaded termcolor v1.4.1
[INFO] [stderr]   Downloaded colorchoice v1.0.2
[INFO] [stderr]   Downloaded anstyle-parse v0.2.5
[INFO] [stderr]   Downloaded anstyle-query v1.1.1
[INFO] [stderr]   Downloaded anstream v0.6.15
[INFO] [stderr]   Downloaded clap_derive v4.5.18
[INFO] [stderr]   Downloaded clap v4.5.19
[INFO] [stderr]   Downloaded compact_str v0.8.0
[INFO] [stderr]   Downloaded clap_lex v0.7.2
[INFO] [stderr]   Downloaded cc v1.1.24
[INFO] [stderr]   Downloaded strsim v0.11.1
[INFO] [stderr]   Downloaded ryu v1.0.18
[INFO] [stderr]   Downloaded syn v2.0.79
[INFO] [stderr]   Downloaded clap_builder v4.5.19
[INFO] [stderr]   Downloaded anstyle-wincon v3.0.4
[INFO] [stderr]   Downloaded utf8parse v0.2.2
[INFO] [stderr]   Downloaded libmimalloc-sys v0.1.39
[INFO] [stderr]   Downloaded anstyle v1.0.8
[INFO] [stderr]   Downloaded itoa v1.0.11
[INFO] [stderr]   Downloaded is_terminal_polyfill v1.70.1
[INFO] [stderr]   Downloaded mimalloc v0.1.43
[INFO] [stderr]   Downloaded castaway v0.2.3
[INFO] [stderr]   Downloaded rustversion v1.0.17
[INFO] [stderr]   Downloaded libc v0.2.159
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+1.86.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 4f3da9786a94e77837c8ab701d0fe0d7a122aca161f4b39fd949028691d9359d
[INFO] running `Command { std: "docker" "start" "-a" "4f3da9786a94e77837c8ab701d0fe0d7a122aca161f4b39fd949028691d9359d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4f3da9786a94e77837c8ab701d0fe0d7a122aca161f4b39fd949028691d9359d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4f3da9786a94e77837c8ab701d0fe0d7a122aca161f4b39fd949028691d9359d", kill_on_drop: false }`
[INFO] [stdout] 4f3da9786a94e77837c8ab701d0fe0d7a122aca161f4b39fd949028691d9359d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+1.86.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a9476d645fc7c0c6948f237b26a1665247b27583efa869236beffd95d4b1112b
[INFO] running `Command { std: "docker" "start" "-a" "a9476d645fc7c0c6948f237b26a1665247b27583efa869236beffd95d4b1112b", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.86
[INFO] [stderr]    Compiling unicode-ident v1.0.13
[INFO] [stderr]    Compiling rustversion v1.0.17
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling either v1.13.0
[INFO] [stderr]    Compiling static_assertions v1.1.0
[INFO] [stderr]    Compiling ryu v1.0.18
[INFO] [stderr]    Compiling itoa v1.0.11
[INFO] [stderr]    Compiling shlex v1.3.0
[INFO] [stderr]    Compiling smallvec v1.13.2
[INFO] [stderr]    Compiling nonminmax v0.1.2 (https://github.com/stijnh/nonminmax.git#af702586)
[INFO] [stderr]    Compiling libc v0.2.159
[INFO] [stderr]    Compiling utf8parse v0.2.2
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.1
[INFO] [stderr]    Compiling anstyle-query v1.1.1
[INFO] [stderr]    Compiling colorchoice v1.0.2
[INFO] [stderr]    Compiling anstyle v1.0.8
[INFO] [stderr]    Compiling clap_lex v0.7.2
[INFO] [stderr]    Compiling anstyle-parse v0.2.5
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling cc v1.1.24
[INFO] [stderr]    Compiling anstream v0.6.15
[INFO] [stderr]    Compiling clap_builder v4.5.19
[INFO] [stderr]    Compiling castaway v0.2.3
[INFO] [stderr]    Compiling compact_str v0.8.0
[INFO] [stderr]    Compiling quote v1.0.37
[INFO] [stderr]    Compiling syn v2.0.79
[INFO] [stderr]    Compiling libmimalloc-sys v0.1.39
[INFO] [stderr]    Compiling mimalloc v0.1.43
[INFO] [stderr]    Compiling temp-inst-derive v1.0.1 (https://github.com/SReichelt/temp-inst.git#eef1bff8)
[INFO] [stderr]    Compiling lang-def-derive v0.1.0 (https://github.com/SReichelt/lang-tools.git#589f1aff)
[INFO] [stderr]    Compiling clap_derive v4.5.18
[INFO] [stderr]    Compiling temp-inst v1.0.0 (https://github.com/SReichelt/temp-inst.git#eef1bff8)
[INFO] [stderr]    Compiling lang-def v0.1.0 (https://github.com/SReichelt/lang-tools.git#589f1aff)
[INFO] [stderr]    Compiling lang-test v0.1.0 (https://github.com/SReichelt/lang-tools.git#589f1aff)
[INFO] [stderr]    Compiling lang-tools-cli v0.1.0 (https://github.com/SReichelt/lang-tools.git#589f1aff)
[INFO] [stderr]    Compiling slate-lang-def v0.1.0 (/opt/rustwide/workdir/slate-lang-def)
[INFO] [stderr]    Compiling clap v4.5.19
[INFO] [stderr]    Compiling slate-dtt v0.1.0 (/opt/rustwide/workdir/slate-dtt)
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]     --> slate-dtt/src/expr.rs:1133:36
[INFO] [stdout]      |
[INFO] [stdout] 1133 |     fn reduce_head_once(&mut self, ctx: &Context<'_>) -> Result<bool> {
[INFO] [stdout]      |                                    ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `match_expr`
[INFO] [stdout]     --> slate-dtt/src/expr.rs:1486:44
[INFO] [stdout]      |
[INFO] [stdout] 1486 |             TermExpr::Base(BaseExpr::Match(match_expr)) => todo!(),
[INFO] [stdout]      |                                            ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_match_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cast_expr`
[INFO] [stdout]     --> slate-dtt/src/expr.rs:1514:28
[INFO] [stdout]      |
[INFO] [stdout] 1514 |             TermExpr::Cast(cast_expr) => todo!(),
[INFO] [stdout]      |                            ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_cast_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctor_expr`
[INFO] [stdout]     --> slate-dtt/src/expr.rs:1545:36
[INFO] [stdout]      |
[INFO] [stdout] 1545 |                     TermExpr::Ctor(ctor_expr) => todo!(),
[INFO] [stdout]      |                                    ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ctor_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `let_ty`
[INFO] [stdout]    --> slate-dtt/src/meta.rs:687:36
[INFO] [stdout]     |
[INFO] [stdout] 687 |             if let QuotedType::Let(let_ty) = quoted_ty {
[INFO] [stdout]     |                                    ^^^^^^ help: if this is intentional, prefix it with an underscore: `_let_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Root` and `Frame` are never constructed
[INFO] [stdout]   --> slate-dtt/src/context.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub enum Context<'a> {
[INFO] [stdout]    |          ------- variants in this enum
[INFO] [stdout] 11 |     Root {
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 15 |     Frame {
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `extended`, and `with_parameterization` are never used
[INFO] [stdout]   --> slate-dtt/src/context.rs:25:12
[INFO] [stdout]    |
[INFO] [stdout] 24 | impl<'a> Context<'a> {
[INFO] [stdout]    | -------------------- associated items in this implementation
[INFO] [stdout] 25 |     pub fn new(globals: &'a [Param], meta_globals: &'a MetaGlobals) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 65 |     pub fn extended<'b>(&'b self, params: &'b [Param]) -> Context<'b> {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 76 |     pub fn with_parameterization<'b, T, R>(
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `weakened` is never used
[INFO] [stdout]    --> slate-dtt/src/context.rs:293:12
[INFO] [stdout]     |
[INFO] [stdout] 238 | impl<'a, T: ?Sized + ToOwned> CtxCow<'a, T> {
[INFO] [stdout]     | ------------------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 293 |     pub fn weakened(&self, weaken_by: CtxOffset) -> T::Owned
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> slate-dtt/src/expr.rs:87:18
[INFO] [stdout]    |
[INFO] [stdout] 86 | impl Ident {
[INFO] [stdout]    | ---------- associated function in this implementation
[INFO] [stdout] 87 |     pub const fn new(name: &'static str) -> Self {
[INFO] [stdout]    |                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `ty` is never used
[INFO] [stdout]    --> slate-dtt/src/expr.rs:179:18
[INFO] [stdout]     |
[INFO] [stdout] 178 | impl Param {
[INFO] [stdout]     | ---------- associated function in this implementation
[INFO] [stdout] 179 |     pub const fn ty(ident: Ident) -> Self {
[INFO] [stdout]     |                  ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Match` and `Proj` are never constructed
[INFO] [stdout]    --> slate-dtt/src/expr.rs:624:5
[INFO] [stdout]     |
[INFO] [stdout] 612 | pub enum BaseExpr<T: Expr> {
[INFO] [stdout]     |          -------- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 624 |     Match(Box<MatchExpr<T>>),
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 627 |     Proj(Box<ProjExpr>),
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `BaseExpr` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Data` is never constructed
[INFO] [stdout]     --> slate-dtt/src/expr.rs:1008:5
[INFO] [stdout]      |
[INFO] [stdout] 1004 | pub enum TypeExpr {
[INFO] [stdout]      |          -------- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 1008 |     Data(DataType),
[INFO] [stdout]      |     ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `TypeExpr` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]     --> slate-dtt/src/expr.rs:1208:18
[INFO] [stdout]      |
[INFO] [stdout] 1207 | impl Ctor {
[INFO] [stdout]      | --------- associated function in this implementation
[INFO] [stdout] 1208 |     pub const fn new(ident: Ident, params: Vec<Param>) -> Self {
[INFO] [stdout]      |                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `var` and `fun` are never used
[INFO] [stdout]     --> slate-dtt/src/expr.rs:1288:18
[INFO] [stdout]      |
[INFO] [stdout] 1287 | impl TermExpr {
[INFO] [stdout]      | ------------- associated functions in this implementation
[INFO] [stdout] 1288 |     pub const fn var(idx: ParamIdx) -> Self {
[INFO] [stdout]      |                  ^^^
[INFO] [stdout] ...
[INFO] [stdout] 1292 |     pub const fn fun(idx: ParamIdx, args: Vec<Arg>) -> Self {
[INFO] [stdout]      |                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `pi_app_term_idx`, `fn_ty_idx`, and `pair_ty_idx` are never read
[INFO] [stdout]   --> slate-dtt/src/meta.rs:32:9
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub struct MetaGlobals {
[INFO] [stdout]    |            ----------- fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 32 |     pub pi_app_term_idx: ParamIdx,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 35 |     pub fn_ty_idx: ParamIdx,
[INFO] [stdout]    |         ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 41 |     pub pair_ty_idx: ParamIdx,
[INFO] [stdout]    |         ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `var` is never used
[INFO] [stdout]   --> slate-dtt/src/meta.rs:66:12
[INFO] [stdout]    |
[INFO] [stdout] 65 | impl QuotedType {
[INFO] [stdout]    | --------------- associated function in this implementation
[INFO] [stdout] 66 |     pub fn var(idx: ParamIdx) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]    --> slate-dtt/src/meta.rs:192:12
[INFO] [stdout]     |
[INFO] [stdout] 191 | impl ComposedTypeArgs {
[INFO] [stdout]     | --------------------- associated function in this implementation
[INFO] [stdout] 192 |     pub fn new(left_ty: QuotedType, right_ty: QuotedType) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple methods are never used
[INFO] [stdout]    --> slate-dtt/src/meta.rs:413:12
[INFO] [stdout]     |
[INFO] [stdout] 367 | impl MetaGlobals {
[INFO] [stdout]     | ---------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 413 |     pub fn inst_ctor_top(&self) -> QuotedExpr {
[INFO] [stdout]     |            ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 438 |     pub fn inst_proj_pi(
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 465 |     pub fn inst_ctor_sigma(&self, left_expr: QuotedExpr, right_expr: QuotedExpr) -> QuotedExpr {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 469 |     pub fn inst_proj_sigma_left(&self, args: MappedTypeArgs, sigma_expr: QuotedExpr) -> QuotedExpr {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 473 |     pub fn inst_proj_sigma_right(
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 481 |     fn inst_proj_sigma(&self, args: MappedTypeArgs, expr: QuotedExpr, idx: usize) -> QuotedExpr {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 503 |     pub fn inst_ctor_sum_left(&self, left_expr: QuotedExpr) -> QuotedExpr {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 507 |     pub fn inst_ctor_sum_right(&self, right_expr: QuotedExpr) -> QuotedExpr {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 642 |     fn quote_arg_value(&self, arg_value: Parameterized<ArgValue>) -> QuotedExpr {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 654 |     pub fn quote_ctor_term(&self, mut ctor_expr: CtorExpr, ctors_len: usize) -> QuotedExpr {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 668 |     fn quote_ctor_args(&self, args: Vec<Arg>) -> QuotedExpr {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 681 |     pub fn quote_proj_term(&self, ctor: Ctor, term: TermExpr, proj: VarExpr) -> QuotedExpr {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: static `TEST_META_GLOBALS` is never used
[INFO] [stdout]    --> slate-dtt/src/meta.rs:762:16
[INFO] [stdout]     |
[INFO] [stdout] 762 |     pub static TEST_META_GLOBALS: MetaGlobals = MetaGlobals {
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling slate-print v0.1.0 (/opt/rustwide/workdir/slate-print)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 26.37s
[INFO] running `Command { std: "docker" "inspect" "a9476d645fc7c0c6948f237b26a1665247b27583efa869236beffd95d4b1112b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a9476d645fc7c0c6948f237b26a1665247b27583efa869236beffd95d4b1112b", kill_on_drop: false }`
[INFO] [stdout] a9476d645fc7c0c6948f237b26a1665247b27583efa869236beffd95d4b1112b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+1.86.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f4abe4dc6abcea5abb4f20be10b1e66996dc124b777b82ae9f087c0b9dab188d
[INFO] running `Command { std: "docker" "start" "-a" "f4abe4dc6abcea5abb4f20be10b1e66996dc124b777b82ae9f087c0b9dab188d", kill_on_drop: false }`
[INFO] [stderr]    Compiling slate-lang-def v0.1.0 (/opt/rustwide/workdir/slate-lang-def)
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]     --> slate-dtt/src/expr.rs:1133:36
[INFO] [stdout]      |
[INFO] [stdout] 1133 |     fn reduce_head_once(&mut self, ctx: &Context<'_>) -> Result<bool> {
[INFO] [stdout]      |                                    ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `match_expr`
[INFO] [stdout]     --> slate-dtt/src/expr.rs:1486:44
[INFO] [stdout]      |
[INFO] [stdout] 1486 |             TermExpr::Base(BaseExpr::Match(match_expr)) => todo!(),
[INFO] [stdout]      |                                            ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_match_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cast_expr`
[INFO] [stdout]     --> slate-dtt/src/expr.rs:1514:28
[INFO] [stdout]      |
[INFO] [stdout] 1514 |             TermExpr::Cast(cast_expr) => todo!(),
[INFO] [stdout]      |                            ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_cast_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctor_expr`
[INFO] [stdout]     --> slate-dtt/src/expr.rs:1545:36
[INFO] [stdout]      |
[INFO] [stdout] 1545 |                     TermExpr::Ctor(ctor_expr) => todo!(),
[INFO] [stdout]      |                                    ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ctor_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `let_ty`
[INFO] [stdout]    --> slate-dtt/src/meta.rs:687:36
[INFO] [stdout]     |
[INFO] [stdout] 687 |             if let QuotedType::Let(let_ty) = quoted_ty {
[INFO] [stdout]     |                                    ^^^^^^ help: if this is intentional, prefix it with an underscore: `_let_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Root` and `Frame` are never constructed
[INFO] [stdout]   --> slate-dtt/src/context.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub enum Context<'a> {
[INFO] [stdout]    |          ------- variants in this enum
[INFO] [stdout] 11 |     Root {
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 15 |     Frame {
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `extended`, and `with_parameterization` are never used
[INFO] [stdout]   --> slate-dtt/src/context.rs:25:12
[INFO] [stdout]    |
[INFO] [stdout] 24 | impl<'a> Context<'a> {
[INFO] [stdout]    | -------------------- associated items in this implementation
[INFO] [stdout] 25 |     pub fn new(globals: &'a [Param], meta_globals: &'a MetaGlobals) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 65 |     pub fn extended<'b>(&'b self, params: &'b [Param]) -> Context<'b> {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 76 |     pub fn with_parameterization<'b, T, R>(
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `weakened` is never used
[INFO] [stdout]    --> slate-dtt/src/context.rs:293:12
[INFO] [stdout]     |
[INFO] [stdout] 238 | impl<'a, T: ?Sized + ToOwned> CtxCow<'a, T> {
[INFO] [stdout]     | ------------------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 293 |     pub fn weakened(&self, weaken_by: CtxOffset) -> T::Owned
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> slate-dtt/src/expr.rs:87:18
[INFO] [stdout]    |
[INFO] [stdout] 86 | impl Ident {
[INFO] [stdout]    | ---------- associated function in this implementation
[INFO] [stdout] 87 |     pub const fn new(name: &'static str) -> Self {
[INFO] [stdout]    |                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `ty` is never used
[INFO] [stdout]    --> slate-dtt/src/expr.rs:179:18
[INFO] [stdout]     |
[INFO] [stdout] 178 | impl Param {
[INFO] [stdout]     | ---------- associated function in this implementation
[INFO] [stdout] 179 |     pub const fn ty(ident: Ident) -> Self {
[INFO] [stdout]     |                  ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Match` and `Proj` are never constructed
[INFO] [stdout]    --> slate-dtt/src/expr.rs:624:5
[INFO] [stdout]     |
[INFO] [stdout] 612 | pub enum BaseExpr<T: Expr> {
[INFO] [stdout]     |          -------- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 624 |     Match(Box<MatchExpr<T>>),
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 627 |     Proj(Box<ProjExpr>),
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `BaseExpr` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Data` is never constructed
[INFO] [stdout]     --> slate-dtt/src/expr.rs:1008:5
[INFO] [stdout]      |
[INFO] [stdout] 1004 | pub enum TypeExpr {
[INFO] [stdout]      |          -------- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 1008 |     Data(DataType),
[INFO] [stdout]      |     ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `TypeExpr` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]     --> slate-dtt/src/expr.rs:1208:18
[INFO] [stdout]      |
[INFO] [stdout] 1207 | impl Ctor {
[INFO] [stdout]      | --------- associated function in this implementation
[INFO] [stdout] 1208 |     pub const fn new(ident: Ident, params: Vec<Param>) -> Self {
[INFO] [stdout]      |                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `var` and `fun` are never used
[INFO] [stdout]     --> slate-dtt/src/expr.rs:1288:18
[INFO] [stdout]      |
[INFO] [stdout] 1287 | impl TermExpr {
[INFO] [stdout]      | ------------- associated functions in this implementation
[INFO] [stdout] 1288 |     pub const fn var(idx: ParamIdx) -> Self {
[INFO] [stdout]      |                  ^^^
[INFO] [stdout] ...
[INFO] [stdout] 1292 |     pub const fn fun(idx: ParamIdx, args: Vec<Arg>) -> Self {
[INFO] [stdout]      |                  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `pi_app_term_idx`, `fn_ty_idx`, and `pair_ty_idx` are never read
[INFO] [stdout]   --> slate-dtt/src/meta.rs:32:9
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub struct MetaGlobals {
[INFO] [stdout]    |            ----------- fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 32 |     pub pi_app_term_idx: ParamIdx,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 35 |     pub fn_ty_idx: ParamIdx,
[INFO] [stdout]    |         ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 41 |     pub pair_ty_idx: ParamIdx,
[INFO] [stdout]    |         ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `var` is never used
[INFO] [stdout]   --> slate-dtt/src/meta.rs:66:12
[INFO] [stdout]    |
[INFO] [stdout] 65 | impl QuotedType {
[INFO] [stdout]    | --------------- associated function in this implementation
[INFO] [stdout] 66 |     pub fn var(idx: ParamIdx) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]    --> slate-dtt/src/meta.rs:192:12
[INFO] [stdout]     |
[INFO] [stdout] 191 | impl ComposedTypeArgs {
[INFO] [stdout]     | --------------------- associated function in this implementation
[INFO] [stdout] 192 |     pub fn new(left_ty: QuotedType, right_ty: QuotedType) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple methods are never used
[INFO] [stdout]    --> slate-dtt/src/meta.rs:413:12
[INFO] [stdout]     |
[INFO] [stdout] 367 | impl MetaGlobals {
[INFO] [stdout]     | ---------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 413 |     pub fn inst_ctor_top(&self) -> QuotedExpr {
[INFO] [stdout]     |            ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 438 |     pub fn inst_proj_pi(
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 465 |     pub fn inst_ctor_sigma(&self, left_expr: QuotedExpr, right_expr: QuotedExpr) -> QuotedExpr {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 469 |     pub fn inst_proj_sigma_left(&self, args: MappedTypeArgs, sigma_expr: QuotedExpr) -> QuotedExpr {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 473 |     pub fn inst_proj_sigma_right(
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 481 |     fn inst_proj_sigma(&self, args: MappedTypeArgs, expr: QuotedExpr, idx: usize) -> QuotedExpr {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 503 |     pub fn inst_ctor_sum_left(&self, left_expr: QuotedExpr) -> QuotedExpr {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 507 |     pub fn inst_ctor_sum_right(&self, right_expr: QuotedExpr) -> QuotedExpr {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 642 |     fn quote_arg_value(&self, arg_value: Parameterized<ArgValue>) -> QuotedExpr {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 654 |     pub fn quote_ctor_term(&self, mut ctor_expr: CtorExpr, ctors_len: usize) -> QuotedExpr {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 668 |     fn quote_ctor_args(&self, args: Vec<Arg>) -> QuotedExpr {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 681 |     pub fn quote_proj_term(&self, ctor: Ctor, term: TermExpr, proj: VarExpr) -> QuotedExpr {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: static `TEST_META_GLOBALS` is never used
[INFO] [stdout]    --> slate-dtt/src/meta.rs:762:16
[INFO] [stdout]     |
[INFO] [stdout] 762 |     pub static TEST_META_GLOBALS: MetaGlobals = MetaGlobals {
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling slate-dtt v0.1.0 (/opt/rustwide/workdir/slate-dtt)
[INFO] [stderr]    Compiling slate-print v0.1.0 (/opt/rustwide/workdir/slate-print)
[INFO] [stdout] warning: unused variable: `ctx`
[INFO] [stdout]     --> slate-dtt/src/expr.rs:1133:36
[INFO] [stdout]      |
[INFO] [stdout] 1133 |     fn reduce_head_once(&mut self, ctx: &Context<'_>) -> Result<bool> {
[INFO] [stdout]      |                                    ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `match_expr`
[INFO] [stdout]     --> slate-dtt/src/expr.rs:1486:44
[INFO] [stdout]      |
[INFO] [stdout] 1486 |             TermExpr::Base(BaseExpr::Match(match_expr)) => todo!(),
[INFO] [stdout]      |                                            ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_match_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cast_expr`
[INFO] [stdout]     --> slate-dtt/src/expr.rs:1514:28
[INFO] [stdout]      |
[INFO] [stdout] 1514 |             TermExpr::Cast(cast_expr) => todo!(),
[INFO] [stdout]      |                            ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_cast_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ctor_expr`
[INFO] [stdout]     --> slate-dtt/src/expr.rs:1545:36
[INFO] [stdout]      |
[INFO] [stdout] 1545 |                     TermExpr::Ctor(ctor_expr) => todo!(),
[INFO] [stdout]      |                                    ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ctor_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `let_ty`
[INFO] [stdout]    --> slate-dtt/src/meta.rs:687:36
[INFO] [stdout]     |
[INFO] [stdout] 687 |             if let QuotedType::Let(let_ty) = quoted_ty {
[INFO] [stdout]     |                                    ^^^^^^ help: if this is intentional, prefix it with an underscore: `_let_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Root` and `Frame` are never constructed
[INFO] [stdout]   --> slate-dtt/src/context.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub enum Context<'a> {
[INFO] [stdout]    |          ------- variants in this enum
[INFO] [stdout] 11 |     Root {
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 15 |     Frame {
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `extended`, and `with_parameterization` are never used
[INFO] [stdout]   --> slate-dtt/src/context.rs:25:12
[INFO] [stdout]    |
[INFO] [stdout] 24 | impl<'a> Context<'a> {
[INFO] [stdout]    | -------------------- associated items in this implementation
[INFO] [stdout] 25 |     pub fn new(globals: &'a [Param], meta_globals: &'a MetaGlobals) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 65 |     pub fn extended<'b>(&'b self, params: &'b [Param]) -> Context<'b> {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 76 |     pub fn with_parameterization<'b, T, R>(
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `weakened` is never used
[INFO] [stdout]    --> slate-dtt/src/context.rs:293:12
[INFO] [stdout]     |
[INFO] [stdout] 238 | impl<'a, T: ?Sized + ToOwned> CtxCow<'a, T> {
[INFO] [stdout]     | ------------------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 293 |     pub fn weakened(&self, weaken_by: CtxOffset) -> T::Owned
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Match` is never constructed
[INFO] [stdout]    --> slate-dtt/src/expr.rs:624:5
[INFO] [stdout]     |
[INFO] [stdout] 612 | pub enum BaseExpr<T: Expr> {
[INFO] [stdout]     |          -------- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 624 |     Match(Box<MatchExpr<T>>),
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `BaseExpr` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `fn_ty_idx` and `pair_ty_idx` are never read
[INFO] [stdout]   --> slate-dtt/src/meta.rs:35:9
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub struct MetaGlobals {
[INFO] [stdout]    |            ----------- fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 35 |     pub fn_ty_idx: ParamIdx,
[INFO] [stdout]    |         ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 41 |     pub pair_ty_idx: ParamIdx,
[INFO] [stdout]    |         ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]    --> slate-dtt/src/meta.rs:192:12
[INFO] [stdout]     |
[INFO] [stdout] 191 | impl ComposedTypeArgs {
[INFO] [stdout]     | --------------------- associated function in this implementation
[INFO] [stdout] 192 |     pub fn new(left_ty: QuotedType, right_ty: QuotedType) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 11.99s
[INFO] running `Command { std: "docker" "inspect" "f4abe4dc6abcea5abb4f20be10b1e66996dc124b777b82ae9f087c0b9dab188d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f4abe4dc6abcea5abb4f20be10b1e66996dc124b777b82ae9f087c0b9dab188d", kill_on_drop: false }`
[INFO] [stdout] f4abe4dc6abcea5abb4f20be10b1e66996dc124b777b82ae9f087c0b9dab188d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+1.86.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 925f229b3a8e46f4dca441f7b494aca0c29e16043238ce7ab829cda1e11aab9b
[INFO] running `Command { std: "docker" "start" "-a" "925f229b3a8e46f4dca441f7b494aca0c29e16043238ce7ab829cda1e11aab9b", kill_on_drop: false }`
[INFO] [stderr] warning: unused variable: `ctx`
[INFO] [stderr]     --> slate-dtt/src/expr.rs:1133:36
[INFO] [stderr]      |
[INFO] [stderr] 1133 |     fn reduce_head_once(&mut self, ctx: &Context<'_>) -> Result<bool> {
[INFO] [stderr]      |                                    ^^^ help: if this is intentional, prefix it with an underscore: `_ctx`
[INFO] [stderr]      |
[INFO] [stderr]      = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `match_expr`
[INFO] [stderr]     --> slate-dtt/src/expr.rs:1486:44
[INFO] [stderr]      |
[INFO] [stderr] 1486 |             TermExpr::Base(BaseExpr::Match(match_expr)) => todo!(),
[INFO] [stderr]      |                                            ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_match_expr`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `cast_expr`
[INFO] [stderr]     --> slate-dtt/src/expr.rs:1514:28
[INFO] [stderr]      |
[INFO] [stderr] 1514 |             TermExpr::Cast(cast_expr) => todo!(),
[INFO] [stderr]      |                            ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_cast_expr`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `ctor_expr`
[INFO] [stderr]     --> slate-dtt/src/expr.rs:1545:36
[INFO] [stderr]      |
[INFO] [stderr] 1545 |                     TermExpr::Ctor(ctor_expr) => todo!(),
[INFO] [stderr]      |                                    ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ctor_expr`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `let_ty`
[INFO] [stderr]    --> slate-dtt/src/meta.rs:687:36
[INFO] [stderr]     |
[INFO] [stderr] 687 |             if let QuotedType::Let(let_ty) = quoted_ty {
[INFO] [stderr]     |                                    ^^^^^^ help: if this is intentional, prefix it with an underscore: `_let_ty`
[INFO] [stderr] 
[INFO] [stderr] warning: variants `Root` and `Frame` are never constructed
[INFO] [stderr]   --> slate-dtt/src/context.rs:11:5
[INFO] [stderr]    |
[INFO] [stderr] 10 | pub enum Context<'a> {
[INFO] [stderr]    |          ------- variants in this enum
[INFO] [stderr] 11 |     Root {
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] ...
[INFO] [stderr] 15 |     Frame {
[INFO] [stderr]    |     ^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `new`, `extended`, and `with_parameterization` are never used
[INFO] [stderr]   --> slate-dtt/src/context.rs:25:12
[INFO] [stderr]    |
[INFO] [stderr] 24 | impl<'a> Context<'a> {
[INFO] [stderr]    | -------------------- associated items in this implementation
[INFO] [stderr] 25 |     pub fn new(globals: &'a [Param], meta_globals: &'a MetaGlobals) -> Self {
[INFO] [stderr]    |            ^^^
[INFO] [stderr] ...
[INFO] [stderr] 65 |     pub fn extended<'b>(&'b self, params: &'b [Param]) -> Context<'b> {
[INFO] [stderr]    |            ^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 76 |     pub fn with_parameterization<'b, T, R>(
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method `weakened` is never used
[INFO] [stderr]    --> slate-dtt/src/context.rs:293:12
[INFO] [stderr]     |
[INFO] [stderr] 238 | impl<'a, T: ?Sized + ToOwned> CtxCow<'a, T> {
[INFO] [stderr]     | ------------------------------------------- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 293 |     pub fn weakened(&self, weaken_by: CtxOffset) -> T::Owned
[INFO] [stderr]     |            ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `new` is never used
[INFO] [stderr]   --> slate-dtt/src/expr.rs:87:18
[INFO] [stderr]    |
[INFO] [stderr] 86 | impl Ident {
[INFO] [stderr]    | ---------- associated function in this implementation
[INFO] [stderr] 87 |     pub const fn new(name: &'static str) -> Self {
[INFO] [stderr]    |                  ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `ty` is never used
[INFO] [stderr]    --> slate-dtt/src/expr.rs:179:18
[INFO] [stderr]     |
[INFO] [stderr] 178 | impl Param {
[INFO] [stderr]     | ---------- associated function in this implementation
[INFO] [stderr] 179 |     pub const fn ty(ident: Ident) -> Self {
[INFO] [stderr]     |                  ^^
[INFO] [stderr] 
[INFO] [stderr] warning: variants `Match` and `Proj` are never constructed
[INFO] [stderr]    --> slate-dtt/src/expr.rs:624:5
[INFO] [stderr]     |
[INFO] [stderr] 612 | pub enum BaseExpr<T: Expr> {
[INFO] [stderr]     |          -------- variants in this enum
[INFO] [stderr] ...
[INFO] [stderr] 624 |     Match(Box<MatchExpr<T>>),
[INFO] [stderr]     |     ^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 627 |     Proj(Box<ProjExpr>),
[INFO] [stderr]     |     ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `BaseExpr` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: variant `Data` is never constructed
[INFO] [stderr]     --> slate-dtt/src/expr.rs:1008:5
[INFO] [stderr]      |
[INFO] [stderr] 1004 | pub enum TypeExpr {
[INFO] [stderr]      |          -------- variant in this enum
[INFO] [stderr] ...
[INFO] [stderr] 1008 |     Data(DataType),
[INFO] [stderr]      |     ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: `TypeExpr` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `new` is never used
[INFO] [stderr]     --> slate-dtt/src/expr.rs:1208:18
[INFO] [stderr]      |
[INFO] [stderr] 1207 | impl Ctor {
[INFO] [stderr]      | --------- associated function in this implementation
[INFO] [stderr] 1208 |     pub const fn new(ident: Ident, params: Vec<Param>) -> Self {
[INFO] [stderr]      |                  ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated functions `var` and `fun` are never used
[INFO] [stderr]     --> slate-dtt/src/expr.rs:1288:18
[INFO] [stderr]      |
[INFO] [stderr] 1287 | impl TermExpr {
[INFO] [stderr]      | ------------- associated functions in this implementation
[INFO] [stderr] 1288 |     pub const fn var(idx: ParamIdx) -> Self {
[INFO] [stderr]      |                  ^^^
[INFO] [stderr] ...
[INFO] [stderr] 1292 |     pub const fn fun(idx: ParamIdx, args: Vec<Arg>) -> Self {
[INFO] [stderr]      |                  ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: fields `pi_app_term_idx`, `fn_ty_idx`, and `pair_ty_idx` are never read
[INFO] [stderr]   --> slate-dtt/src/meta.rs:32:9
[INFO] [stderr]    |
[INFO] [stderr] 15 | pub struct MetaGlobals {
[INFO] [stderr]    |            ----------- fields in this struct
[INFO] [stderr] ...
[INFO] [stderr] 32 |     pub pi_app_term_idx: ParamIdx,
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 35 |     pub fn_ty_idx: ParamIdx,
[INFO] [stderr]    |         ^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 41 |     pub pair_ty_idx: ParamIdx,
[INFO] [stderr]    |         ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `var` is never used
[INFO] [stderr]   --> slate-dtt/src/meta.rs:66:12
[INFO] [stderr]    |
[INFO] [stderr] 65 | impl QuotedType {
[INFO] [stderr]    | --------------- associated function in this implementation
[INFO] [stderr] 66 |     pub fn var(idx: ParamIdx) -> Self {
[INFO] [stderr]    |            ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `new` is never used
[INFO] [stderr]    --> slate-dtt/src/meta.rs:192:12
[INFO] [stderr]     |
[INFO] [stderr] 191 | impl ComposedTypeArgs {
[INFO] [stderr]     | --------------------- associated function in this implementation
[INFO] [stderr] 192 |     pub fn new(left_ty: QuotedType, right_ty: QuotedType) -> Self {
[INFO] [stderr]     |            ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: multiple methods are never used
[INFO] [stderr]    --> slate-dtt/src/meta.rs:413:12
[INFO] [stderr]     |
[INFO] [stderr] 367 | impl MetaGlobals {
[INFO] [stderr]     | ---------------- methods in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 413 |     pub fn inst_ctor_top(&self) -> QuotedExpr {
[INFO] [stderr]     |            ^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 438 |     pub fn inst_proj_pi(
[INFO] [stderr]     |            ^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 465 |     pub fn inst_ctor_sigma(&self, left_expr: QuotedExpr, right_expr: QuotedExpr) -> QuotedExpr {
[INFO] [stderr]     |            ^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 469 |     pub fn inst_proj_sigma_left(&self, args: MappedTypeArgs, sigma_expr: QuotedExpr) -> QuotedExpr {
[INFO] [stderr]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 473 |     pub fn inst_proj_sigma_right(
[INFO] [stderr]     |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 481 |     fn inst_proj_sigma(&self, args: MappedTypeArgs, expr: QuotedExpr, idx: usize) -> QuotedExpr {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 503 |     pub fn inst_ctor_sum_left(&self, left_expr: QuotedExpr) -> QuotedExpr {
[INFO] [stderr]     |            ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 507 |     pub fn inst_ctor_sum_right(&self, right_expr: QuotedExpr) -> QuotedExpr {
[INFO] [stderr]     |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 642 |     fn quote_arg_value(&self, arg_value: Parameterized<ArgValue>) -> QuotedExpr {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 654 |     pub fn quote_ctor_term(&self, mut ctor_expr: CtorExpr, ctors_len: usize) -> QuotedExpr {
[INFO] [stderr]     |            ^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 668 |     fn quote_ctor_args(&self, args: Vec<Arg>) -> QuotedExpr {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 681 |     pub fn quote_proj_term(&self, ctor: Ctor, term: TermExpr, proj: VarExpr) -> QuotedExpr {
[INFO] [stderr]     |            ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: static `TEST_META_GLOBALS` is never used
[INFO] [stderr]    --> slate-dtt/src/meta.rs:762:16
[INFO] [stderr]     |
[INFO] [stderr] 762 |     pub static TEST_META_GLOBALS: MetaGlobals = MetaGlobals {
[INFO] [stderr]     |                ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `slate-dtt` (lib) generated 19 warnings
[INFO] [stderr] warning: variant `Match` is never constructed
[INFO] [stderr]    --> slate-dtt/src/expr.rs:624:5
[INFO] [stderr]     |
[INFO] [stderr] 612 | pub enum BaseExpr<T: Expr> {
[INFO] [stderr]     |          -------- variant in this enum
[INFO] [stderr] ...
[INFO] [stderr] 624 |     Match(Box<MatchExpr<T>>),
[INFO] [stderr]     |     ^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `BaseExpr` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: fields `fn_ty_idx` and `pair_ty_idx` are never read
[INFO] [stderr]   --> slate-dtt/src/meta.rs:35:9
[INFO] [stderr]    |
[INFO] [stderr] 15 | pub struct MetaGlobals {
[INFO] [stderr]    |            ----------- fields in this struct
[INFO] [stderr] ...
[INFO] [stderr] 35 |     pub fn_ty_idx: ParamIdx,
[INFO] [stderr]    |         ^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 41 |     pub pair_ty_idx: ParamIdx,
[INFO] [stderr]    |         ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `slate-dtt` (lib test) generated 11 warnings (9 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.09s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/slate_dtt-e480f5a6426d6cc9)
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test expr::tests::subst_term_def ... ok
[INFO] [stdout] test expr::tests::subst_term_plain ... ok
[INFO] [stdout] test expr::tests::subst_ty_fun_and_args ... ok
[INFO] [stdout] test expr::tests::subst_ty_def ... ok
[INFO] [stdout] test expr::tests::subst_ty_term_plain ... ok
[INFO] [stdout] test meta::tests::quote_ctor_exprs ... ok
[INFO] [stdout] test meta::tests::quote_proj_terms ... ok
[INFO] [stdout] test meta::tests::quote_data_types ... ok
[INFO] [stdout] test expr::tests::subst_ty_fun_def ... ok
[INFO] [stdout] test expr::tests::subst_ty_higher_order ... ok
[INFO] [stdout] test expr::tests::subst_ty_plain ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/slate_lang_def-41e56aaf81a1b6bd)
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test parser::layer1_tokenizer::tests::identifiers ... ok
[INFO] [stdout] test parser::layer1_tokenizer::tests::reserved_chars ... ok
[INFO] [stdout] test parser::layer1_tokenizer::tests::strings ... ok
[INFO] [stdout] test parser::layer1_tokenizer::tests::sub_and_superscripts ... ok
[INFO] [stdout] test parser::layer1_tokenizer::tests::whitespace ... ok
[INFO] [stdout] test parser::layer1_tokenizer::tests::numbers ... ok
[INFO] [stdout] test parser::layer2_parenthesis_matcher::tests::matched_parentheses ... ok
[INFO] [stdout] test parser::layer1_tokenizer::tests::keywords ... ok
[INFO] [stdout] test parser::layer2_parenthesis_matcher::tests::unmatched_parentheses ... ok
[INFO] [stdout] test parser::layer3_parameter_identifier::tests::metamodel ... ok
[INFO] [stdout] test parser::layer3_parameter_identifier::tests::range_overlaps ... ok
[INFO] [stdout] test parser::layer3_parameter_identifier::tests::sections ... ok
[INFO] [stdout] test parser::layer3_parameter_identifier::tests::parameterizations ... ok
[INFO] [stdout] test parser::layer3_parameter_identifier::tests::prefixes ... ok
[INFO] [stdout] test parser::layer3_parameter_identifier::tests::globals ... ok
[INFO] [stdout] test parser::layer3_parameter_identifier::tests::objects ... ok
[INFO] [stdout] test parser::layer3_parameter_identifier::tests::infix_mappings ... ok
[INFO] [stdout] test parser::layer3_parameter_identifier::tests::prefix_mappings ... ok
[INFO] [stdout] test parser::layer3_parameter_identifier::tests::higher_order_parameterizations ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/slate_print-8bd4d82d9cb943cb)
[INFO] [stderr]    Doc-tests slate_dtt
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests slate_lang_def
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "925f229b3a8e46f4dca441f7b494aca0c29e16043238ce7ab829cda1e11aab9b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "925f229b3a8e46f4dca441f7b494aca0c29e16043238ce7ab829cda1e11aab9b", kill_on_drop: false }`
[INFO] [stdout] 925f229b3a8e46f4dca441f7b494aca0c29e16043238ce7ab829cda1e11aab9b
