[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-1 [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] 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 mimalloc v0.1.43 [INFO] [stderr] Downloaded castaway v0.2.3 [INFO] [stderr] Downloaded rustversion v1.0.17 [INFO] [stderr] Downloaded clap_derive v4.5.18 [INFO] [stderr] Downloaded clap v4.5.19 [INFO] [stderr] Downloaded cc v1.1.24 [INFO] [stderr] Downloaded compact_str v0.8.0 [INFO] [stderr] Downloaded clap_builder v4.5.19 [INFO] [stderr] Downloaded libmimalloc-sys v0.1.39 [INFO] [stderr] Downloaded syn v2.0.79 [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] a327e03f815263c293b9c1a65951915679d799c15fa017852a14b5330c0d542d [INFO] running `Command { std: "docker" "start" "-a" "a327e03f815263c293b9c1a65951915679d799c15fa017852a14b5330c0d542d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "a327e03f815263c293b9c1a65951915679d799c15fa017852a14b5330c0d542d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a327e03f815263c293b9c1a65951915679d799c15fa017852a14b5330c0d542d", kill_on_drop: false }` [INFO] [stdout] a327e03f815263c293b9c1a65951915679d799c15fa017852a14b5330c0d542d [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] 208adff9472033157775b767965c2249fa1da7d7b7444bbce0089562f9ec970a [INFO] running `Command { std: "docker" "start" "-a" "208adff9472033157775b767965c2249fa1da7d7b7444bbce0089562f9ec970a", kill_on_drop: false }` [INFO] [stderr] Compiling unicode-ident v1.0.13 [INFO] [stderr] Compiling rustversion v1.0.17 [INFO] [stderr] Compiling either v1.13.0 [INFO] [stderr] Compiling static_assertions v1.1.0 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling nonminmax v0.1.2 (https://github.com/stijnh/nonminmax.git#af702586) [INFO] [stderr] Compiling smallvec v1.13.2 [INFO] [stderr] Compiling libc v0.2.159 [INFO] [stderr] Compiling utf8parse v0.2.2 [INFO] [stderr] Compiling proc-macro2 v1.0.86 [INFO] [stderr] Compiling anstyle-parse v0.2.5 [INFO] [stderr] Compiling is_terminal_polyfill v1.70.1 [INFO] [stderr] Compiling cc v1.1.24 [INFO] [stderr] Compiling colorchoice v1.0.2 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling anstyle-query v1.1.1 [INFO] [stderr] Compiling anstyle v1.0.8 [INFO] [stderr] Compiling strsim v0.11.1 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Compiling syn v2.0.79 [INFO] [stderr] Compiling anstream v0.6.15 [INFO] [stderr] Compiling clap_lex v0.7.2 [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 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 { [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 { [INFO] [stdout] | -------- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 624 | Match(Box>), [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 627 | Proj(Box), [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) -> 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) -> 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) -> 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) -> 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 27.66s [INFO] running `Command { std: "docker" "inspect" "208adff9472033157775b767965c2249fa1da7d7b7444bbce0089562f9ec970a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "208adff9472033157775b767965c2249fa1da7d7b7444bbce0089562f9ec970a", kill_on_drop: false }` [INFO] [stdout] 208adff9472033157775b767965c2249fa1da7d7b7444bbce0089562f9ec970a [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] 39c7ac20c6b9be7985ef21ded4c074022a37672948c1a8995e904190fc2f239e [INFO] running `Command { std: "docker" "start" "-a" "39c7ac20c6b9be7985ef21ded4c074022a37672948c1a8995e904190fc2f239e", kill_on_drop: false }` [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 { [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 { [INFO] [stdout] | -------- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 624 | Match(Box>), [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 627 | Proj(Box), [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] [stderr] Compiling slate-print v0.1.0 (/opt/rustwide/workdir/slate-print) [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] [stderr] Compiling slate-dtt v0.1.0 (/opt/rustwide/workdir/slate-dtt) [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) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling slate-lang-def v0.1.0 (/opt/rustwide/workdir/slate-lang-def) [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) -> 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) -> 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) -> 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] [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 { [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 { [INFO] [stdout] | -------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 624 | Match(Box>), [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 9.72s [INFO] running `Command { std: "docker" "inspect" "39c7ac20c6b9be7985ef21ded4c074022a37672948c1a8995e904190fc2f239e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "39c7ac20c6b9be7985ef21ded4c074022a37672948c1a8995e904190fc2f239e", kill_on_drop: false }` [INFO] [stdout] 39c7ac20c6b9be7985ef21ded4c074022a37672948c1a8995e904190fc2f239e [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] 292ef13134ee61dab1a2c5a789835d80416d9303ccc3851a8954f57ce2d35f28 [INFO] running `Command { std: "docker" "start" "-a" "292ef13134ee61dab1a2c5a789835d80416d9303ccc3851a8954f57ce2d35f28", 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 { [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 { [INFO] [stderr] | -------- variants in this enum [INFO] [stderr] ... [INFO] [stderr] 624 | Match(Box>), [INFO] [stderr] | ^^^^^ [INFO] [stderr] ... [INFO] [stderr] 627 | Proj(Box), [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) -> 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) -> 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) -> 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) -> 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: variant `Match` is never constructed [INFO] [stderr] --> slate-dtt/src/expr.rs:624:5 [INFO] [stderr] | [INFO] [stderr] 612 | pub enum BaseExpr { [INFO] [stderr] | -------- variant in this enum [INFO] [stderr] ... [INFO] [stderr] 624 | Match(Box>), [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) generated 19 warnings [INFO] [stderr] warning: `slate-dtt` (lib test) generated 11 warnings (9 duplicates) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.13s [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_ty_higher_order ... ok [INFO] [stdout] test expr::tests::subst_term_plain ... ok [INFO] [stdout] test expr::tests::subst_ty_fun_and_args ... ok [INFO] [stdout] test meta::tests::quote_data_types ... ok [INFO] [stdout] test meta::tests::quote_proj_terms ... ok [INFO] [stdout] test expr::tests::subst_ty_fun_def ... ok [INFO] [stdout] test expr::tests::subst_ty_term_plain ... ok [INFO] [stdout] test expr::tests::subst_ty_plain ... ok [INFO] [stdout] test expr::tests::subst_ty_def ... ok [INFO] [stdout] test meta::tests::quote_ctor_exprs ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s [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::sub_and_superscripts ... ok [INFO] [stdout] test parser::layer1_tokenizer::tests::whitespace ... ok [INFO] [stdout] test parser::layer1_tokenizer::tests::reserved_chars ... ok [INFO] [stdout] test parser::layer1_tokenizer::tests::numbers ... 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::layer1_tokenizer::tests::strings ... ok [INFO] [stdout] test parser::layer1_tokenizer::tests::identifiers ... ok [INFO] [stdout] test parser::layer2_parenthesis_matcher::tests::matched_parentheses ... ok [INFO] [stdout] test parser::layer3_parameter_identifier::tests::globals ... ok [INFO] [stdout] test parser::layer3_parameter_identifier::tests::metamodel ... 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::range_overlaps ... ok [INFO] [stdout] test parser::layer3_parameter_identifier::tests::prefix_mappings ... ok [INFO] [stdout] test parser::layer3_parameter_identifier::tests::parameterizations ... ok [INFO] [stdout] test parser::layer3_parameter_identifier::tests::sections ... ok [INFO] [stdout] test parser::layer3_parameter_identifier::tests::higher_order_parameterizations ... ok [INFO] [stdout] test parser::layer3_parameter_identifier::tests::prefixes ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s [INFO] [stdout] [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/slate_print-8bd4d82d9cb943cb) [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_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] [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" "292ef13134ee61dab1a2c5a789835d80416d9303ccc3851a8954f57ce2d35f28", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "292ef13134ee61dab1a2c5a789835d80416d9303ccc3851a8954f57ce2d35f28", kill_on_drop: false }` [INFO] [stdout] 292ef13134ee61dab1a2c5a789835d80416d9303ccc3851a8954f57ce2d35f28