[INFO] cloning repository https://github.com/miva-lang/miva-lang [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/miva-lang/miva-lang" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmiva-lang%2Fmiva-lang", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmiva-lang%2Fmiva-lang'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 47e5555ae47a91f2c5bec8445aa06b2f9a4f76cd [INFO] checking miva-lang/miva-lang against c25253fac451fff60fb5b6c0b2c64d60f628c7cd for pr-160391 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmiva-lang%2Fmiva-lang" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/miva-lang/miva-lang [INFO] finished tweaking git repo https://github.com/miva-lang/miva-lang [INFO] tweaked toml for git repo https://github.com/miva-lang/miva-lang written to /workspace/builds/worker-3-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/miva-lang/miva-lang on toolchain c25253fac451fff60fb5b6c0b2c64d60f628c7cd [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c25253fac451fff60fb5b6c0b2c64d60f628c7cd" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/miva-lang/miva-lang 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" "+c25253fac451fff60fb5b6c0b2c64d60f628c7cd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded cranelift-control v0.109.1 [INFO] [stderr] Downloaded cranelift-module v0.109.1 [INFO] [stderr] Downloaded wasmtime-jit-icache-coherence v22.0.1 [INFO] [stderr] Downloaded region v2.2.0 [INFO] [stderr] Downloaded slice-group-by v0.3.1 [INFO] [stderr] Downloaded cranelift-native v0.109.1 [INFO] [stderr] Downloaded cranelift-codegen-shared v0.109.1 [INFO] [stderr] Downloaded cranelift-bforest v0.109.1 [INFO] [stderr] Downloaded cranelift-jit v0.109.1 [INFO] [stderr] Downloaded cranelift-entity v0.109.1 [INFO] [stderr] Downloaded clap v4.6.4 [INFO] [stderr] Downloaded cranelift-isle v0.109.1 [INFO] [stderr] Downloaded cranelift-codegen-meta v0.109.1 [INFO] [stderr] Downloaded zerocopy-derive v0.8.55 [INFO] [stderr] Downloaded regalloc2 v0.9.3 [INFO] [stderr] Downloaded syn v3.0.3 [INFO] [stderr] Downloaded zerocopy v0.8.55 [INFO] [stderr] Downloaded gimli v0.28.1 [INFO] [stderr] Downloaded cranelift-codegen v0.109.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:8683fc1fc2eb5c9ac98e0d076ab094b2ffac7f99da555d2b6a2e27f346de2ec7" "sleep" "infinity", kill_on_drop: false }` [INFO] [stdout] a1d423f7ac21645d1149dea80a8abce09001a8a6289dfdc37aafb9a224bc24ff [INFO] running `Command { std: "docker" "start" "a1d423f7ac21645d1149dea80a8abce09001a8a6289dfdc37aafb9a224bc24ff", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "a1d423f7ac21645d1149dea80a8abce09001a8a6289dfdc37aafb9a224bc24ff", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "a1d423f7ac21645d1149dea80a8abce09001a8a6289dfdc37aafb9a224bc24ff" "/opt/rustwide/cargo-home/bin/cargo" "+c25253fac451fff60fb5b6c0b2c64d60f628c7cd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "a1d423f7ac21645d1149dea80a8abce09001a8a6289dfdc37aafb9a224bc24ff", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "a1d423f7ac21645d1149dea80a8abce09001a8a6289dfdc37aafb9a224bc24ff" "/opt/rustwide/cargo-home/bin/cargo" "+c25253fac451fff60fb5b6c0b2c64d60f628c7cd" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] Compiling zerocopy v0.8.55 [INFO] [stderr] Compiling anyhow v1.0.104 [INFO] [stderr] Compiling cranelift-isle v0.109.1 [INFO] [stderr] Compiling cranelift-codegen-shared v0.109.1 [INFO] [stderr] Checking once_cell v1.21.4 [INFO] [stderr] Compiling serde_json v1.0.151 [INFO] [stderr] Compiling target-lexicon v0.12.16 [INFO] [stderr] Checking cranelift-entity v0.109.1 [INFO] [stderr] Checking memchr v2.8.3 [INFO] [stderr] Checking smallvec v1.15.2 [INFO] [stderr] Checking arbitrary v1.4.2 [INFO] [stderr] Compiling syn v3.0.3 [INFO] [stderr] Checking slice-group-by v0.3.1 [INFO] [stderr] Checking gimli v0.28.1 [INFO] [stderr] Checking bumpalo v3.20.3 [INFO] [stderr] Compiling cranelift-codegen-meta v0.109.1 [INFO] [stderr] Checking region v2.2.0 [INFO] [stderr] Compiling miva-frontend v0.1.4 (/opt/rustwide/workdir/miva-frontend-rs) [INFO] [stderr] Checking unsafe-libyaml v0.2.11 [INFO] [stderr] Checking clap_builder v4.6.2 [INFO] [stderr] Checking sha2 v0.10.9 [INFO] [stderr] Checking cranelift-bforest v0.109.1 [INFO] [stderr] Checking wasmtime-jit-icache-coherence v22.0.1 [INFO] [stderr] Checking cranelift-control v0.109.1 [INFO] [stderr] Compiling cranelift-codegen v0.109.1 [INFO] [stderr] Compiling serde_derive v1.0.229 [INFO] [stderr] Compiling clap_derive v4.6.4 [INFO] [stderr] Checking clap v4.6.4 [INFO] [stderr] Checking ahash v0.8.12 [INFO] [stderr] Checking hashbrown v0.13.2 [INFO] [stderr] Checking serde v1.0.229 [INFO] [stderr] Checking regalloc2 v0.9.3 [INFO] [stderr] Checking toml_datetime v0.6.11 [INFO] [stderr] Checking serde_spanned v0.6.9 [INFO] [stderr] Checking serde_yaml v0.9.34+deprecated [INFO] [stderr] Checking toml_edit v0.22.27 [INFO] [stdout] warning: unused variable: `start` [INFO] [stdout] --> miva-frontend-rs/src/parser.rs:270:30 [INFO] [stdout] | [INFO] [stdout] 270 | let (field_name, start) = self.expect_ident()?; [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_start` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `impl_start` [INFO] [stdout] --> miva-frontend-rs/src/parser.rs:684:17 [INFO] [stdout] | [INFO] [stdout] 684 | let impl_start = match self.peek_token()? { [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_impl_start` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `start` [INFO] [stdout] --> miva-frontend-rs/src/parser.rs:810:20 [INFO] [stdout] | [INFO] [stdout] 810 | let (name, start) = self.expect_ident()?; [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_start` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> miva-frontend-rs/src/parser.rs:1104:25 [INFO] [stdout] | [INFO] [stdout] 1104 | let mut target = Expr::EVar { [INFO] [stdout] | ----^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `v` [INFO] [stdout] --> miva-frontend-rs/src/parser.rs:1917:34 [INFO] [stdout] | [INFO] [stdout] 1917 | Some(&Token::BoolLit(v)) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `read_ident` is never used [INFO] [stdout] --> miva-frontend-rs/src/lexer.rs:334:8 [INFO] [stdout] | [INFO] [stdout] 144 | impl<'input> Lexer<'input> { [INFO] [stdout] | -------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 334 | fn read_ident(&mut self) -> &'input str { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `expect_int_lit`, `parse_func_body`, and `parse_let_typed` are never used [INFO] [stdout] --> miva-frontend-rs/src/parser.rs:123:8 [INFO] [stdout] | [INFO] [stdout] 16 | impl<'input> Parser<'input> { [INFO] [stdout] | --------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 123 | fn expect_int_lit(&mut self) -> Result<(i64, usize), String> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 367 | fn parse_func_body( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1171 | fn parse_let_typed(&mut self) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking toml v0.8.23 [INFO] [stdout] warning: unused variable: `start` [INFO] [stdout] --> miva-frontend-rs/src/parser.rs:270:30 [INFO] [stdout] | [INFO] [stdout] 270 | let (field_name, start) = self.expect_ident()?; [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_start` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `impl_start` [INFO] [stdout] --> miva-frontend-rs/src/parser.rs:684:17 [INFO] [stdout] | [INFO] [stdout] 684 | let impl_start = match self.peek_token()? { [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_impl_start` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `start` [INFO] [stdout] --> miva-frontend-rs/src/parser.rs:810:20 [INFO] [stdout] | [INFO] [stdout] 810 | let (name, start) = self.expect_ident()?; [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_start` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> miva-frontend-rs/src/parser.rs:1104:25 [INFO] [stdout] | [INFO] [stdout] 1104 | let mut target = Expr::EVar { [INFO] [stdout] | ----^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `v` [INFO] [stdout] --> miva-frontend-rs/src/parser.rs:1917:34 [INFO] [stdout] | [INFO] [stdout] 1917 | Some(&Token::BoolLit(v)) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `read_ident` is never used [INFO] [stdout] --> miva-frontend-rs/src/lexer.rs:334:8 [INFO] [stdout] | [INFO] [stdout] 144 | impl<'input> Lexer<'input> { [INFO] [stdout] | -------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 334 | fn read_ident(&mut self) -> &'input str { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `expect_int_lit`, `parse_func_body`, and `parse_let_typed` are never used [INFO] [stdout] --> miva-frontend-rs/src/parser.rs:123:8 [INFO] [stdout] | [INFO] [stdout] 16 | impl<'input> Parser<'input> { [INFO] [stdout] | --------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 123 | fn expect_int_lit(&mut self) -> Result<(i64, usize), String> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 367 | fn parse_func_body( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1171 | fn parse_let_typed(&mut self) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> miva-frontend-rs/src/lexer.rs:682:23 [INFO] [stdout] | [INFO] [stdout] 682 | fn collect(input: &str) -> Vec<(usize, Token, usize)> { [INFO] [stdout] | ^^^^ ^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 682 | fn collect(input: &str) -> Vec<(usize, Token<'_>, usize)> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> miva-frontend-rs/src/lexer.rs:687:35 [INFO] [stdout] | [INFO] [stdout] 687 | fn collect_with_errors(input: &str) -> Vec> { [INFO] [stdout] | ^^^^ ^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 687 | fn collect_with_errors(input: &str) -> Vec, usize), String>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> miva-frontend-rs/src/lexer.rs:691:27 [INFO] [stdout] | [INFO] [stdout] 691 | fn first_token(input: &str) -> Option { [INFO] [stdout] | ^^^^ ^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 691 | fn first_token(input: &str) -> Option> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking cranelift-native v0.109.1 [INFO] [stderr] Checking cranelift-module v0.109.1 [INFO] [stderr] Checking cranelift-jit v0.109.1 [INFO] [stderr] Checking miva-vm v0.1.4 (/opt/rustwide/workdir/miva-vm) [INFO] [stdout] warning: unused variable: `func_name` [INFO] [stdout] --> miva-vm/src/vm/mod.rs:600:17 [INFO] [stdout] | [INFO] [stdout] 600 | let func_name = func.name(&self.program.strings).to_string(); [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_func_name` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `func_name` [INFO] [stdout] --> miva-vm/src/vm/mod.rs:600:17 [INFO] [stdout] | [INFO] [stdout] 600 | let func_name = func.name(&self.program.strings).to_string(); [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_func_name` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `stack_base` is never read [INFO] [stdout] --> miva-vm/src/vm/mod.rs:152:5 [INFO] [stdout] | [INFO] [stdout] 146 | struct CallFrame { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 152 | stack_base: usize, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `CallFrame` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `builtin_map` is never read [INFO] [stdout] --> miva-vm/src/vm/mod.rs:173:5 [INFO] [stdout] | [INFO] [stdout] 158 | pub struct Mvm { [INFO] [stdout] | --- field in this struct [INFO] [stdout] ... [INFO] [stdout] 173 | builtin_map: HashMap, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `stack_base` is never read [INFO] [stdout] --> miva-vm/src/vm/mod.rs:152:5 [INFO] [stdout] | [INFO] [stdout] 146 | struct CallFrame { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 152 | stack_base: usize, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `CallFrame` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `builtin_map` is never read [INFO] [stdout] --> miva-vm/src/vm/mod.rs:173:5 [INFO] [stdout] | [INFO] [stdout] 158 | pub struct Mvm { [INFO] [stdout] | --- field in this struct [INFO] [stdout] ... [INFO] [stdout] 173 | builtin_map: HashMap, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking miva v0.1.4 (/opt/rustwide/workdir/miva) [INFO] [stdout] warning: unused import: `crate::ast::*` [INFO] [stdout] --> miva/src/typecheck/builtins.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::ast::*; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::ast::*` [INFO] [stdout] --> miva/src/typecheck/infer.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::ast::*; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::ast::*` [INFO] [stdout] --> miva/src/typecheck/lambda_capture.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::ast::*; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::ast::*` [INFO] [stdout] --> miva/src/typecheck/shape.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::ast::*; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::*` [INFO] [stdout] --> miva/src/codegen/cxx_ir/tests.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use super::*; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::*` [INFO] [stdout] --> miva/src/codegen/llvm/tests.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use super::*; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::ast::*` [INFO] [stdout] --> miva/src/typecheck/builtins.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::ast::*; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::ast::*` [INFO] [stdout] --> miva/src/typecheck/infer.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::ast::*; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::ast::*` [INFO] [stdout] --> miva/src/typecheck/lambda_capture.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::ast::*; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::ast::*` [INFO] [stdout] --> miva/src/typecheck/shape.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::ast::*; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `target` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:27:13 [INFO] [stdout] | [INFO] [stdout] 27 | target, [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `target: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `method` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:28:13 [INFO] [stdout] | [INFO] [stdout] 28 | method, [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `method: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `type_args` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:29:13 [INFO] [stdout] | [INFO] [stdout] 29 | type_args, [INFO] [stdout] | ^^^^^^^^^ help: try ignoring the field: `type_args: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:30:13 [INFO] [stdout] | [INFO] [stdout] 30 | args, [INFO] [stdout] | ^^^^ help: try ignoring the field: `args: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `has_panic` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:253:5 [INFO] [stdout] | [INFO] [stdout] 253 | has_panic: bool, [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_has_panic` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `e` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:447:30 [INFO] [stdout] | [INFO] [stdout] 447 | IrPattern::Value(e) => (String::new(), Vec::new(), String::new(), String::new()), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_e` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `has_panic` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:394:5 [INFO] [stdout] | [INFO] [stdout] 394 | has_panic: bool, [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_has_panic` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `else_str` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:600:9 [INFO] [stdout] | [INFO] [stdout] 600 | let else_str = if else_.is_empty() { [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_else_str` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `symbol` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:697:23 [INFO] [stdout] | [INFO] [stdout] 697 | IrDef::Export(symbol) => String::new(), [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_symbol` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ind` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:1122:55 [INFO] [stdout] | [INFO] [stdout] 1122 | pub(crate) fn emit_module(name: &str, defs: &[IrDef], ind: String, inner: usize) -> String { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_ind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:1146:10 [INFO] [stdout] | [INFO] [stdout] 1146 | for (i, def) in defs.iter().enumerate() { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body_stmts` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:1547:17 [INFO] [stdout] | [INFO] [stdout] 1547 | body_stmts, [INFO] [stdout] | ^^^^^^^^^^ help: try ignoring the field: `body_stmts: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body_result` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:1548:17 [INFO] [stdout] | [INFO] [stdout] 1548 | body_result, [INFO] [stdout] | ^^^^^^^^^^^ help: try ignoring the field: `body_result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body_stmts` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:1582:17 [INFO] [stdout] | [INFO] [stdout] 1582 | body_stmts, [INFO] [stdout] | ^^^^^^^^^^ help: try ignoring the field: `body_stmts: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body_result` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:1583:17 [INFO] [stdout] | [INFO] [stdout] 1583 | body_result, [INFO] [stdout] | ^^^^^^^^^^^ help: try ignoring the field: `body_result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `closure_ty` [INFO] [stdout] --> miva/src/codegen/cxx_ir/lower.rs:177:17 [INFO] [stdout] | [INFO] [stdout] 177 | let closure_ty = if inner_tys.is_empty() { [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_closure_ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `code` [INFO] [stdout] --> miva/src/codegen/llvm/defs.rs:411:78 [INFO] [stdout] | [INFO] [stdout] 411 | pub(crate) fn gen_cfunc(name: &str, params: &[Param], returns: &Option, code: &str) -> String { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_code` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `else_pred_label` [INFO] [stdout] --> miva/src/codegen/llvm/expr.rs:346:17 [INFO] [stdout] | [INFO] [stdout] 346 | let else_pred_label = label_else.clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_else_pred_label` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `else_pred_label` [INFO] [stdout] --> miva/src/codegen/llvm/expr.rs:347:18 [INFO] [stdout] | [INFO] [stdout] 347 | let (else_pred_label, else_ends_in_merge) = [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_else_pred_label` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `struct_name` [INFO] [stdout] --> miva/src/codegen/llvm/expr.rs:766:19 [INFO] [stdout] | [INFO] [stdout] 766 | name: struct_name, [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_struct_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> miva/src/codegen/mvm.rs:592:13 [INFO] [stdout] | [INFO] [stdout] 592 | let mut func_code = std::mem::take(&mut self.code); [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `before_then` [INFO] [stdout] --> miva/src/codegen/mvm.rs:831:21 [INFO] [stdout] | [INFO] [stdout] 831 | let before_then = self.code.len(); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_before_then` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `after_then` [INFO] [stdout] --> miva/src/codegen/mvm.rs:833:21 [INFO] [stdout] | [INFO] [stdout] 833 | let after_then = self.code.len(); [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_after_then` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `after_jmp` [INFO] [stdout] --> miva/src/codegen/mvm.rs:835:21 [INFO] [stdout] | [INFO] [stdout] 835 | let after_jmp = self.code.len(); [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_after_jmp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `after_else_label` [INFO] [stdout] --> miva/src/codegen/mvm.rs:837:21 [INFO] [stdout] | [INFO] [stdout] 837 | let after_else_label = self.code.len(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_after_else_label` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left` [INFO] [stdout] --> miva/src/codegen/mvm.rs:1600:34 [INFO] [stdout] | [INFO] [stdout] 1600 | fn find_impl_override(&self, left: &Expr, op: &BinOp) -> Option { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_left` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `bridge_compiled` is never read [INFO] [stdout] --> miva/src/commands/build/mod.rs:410:17 [INFO] [stdout] | [INFO] [stdout] 410 | bridge_compiled = true; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `elem` [INFO] [stdout] --> miva/src/drop_desugar.rs:178:33 [INFO] [stdout] | [INFO] [stdout] 178 | if let Some(elem) = self.infer_droppable(first, state) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_elem` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> miva/src/semantic/mod.rs:835:11 [INFO] [stdout] | [INFO] [stdout] 458 | Expr::ETupleLit { loc, values } => { [INFO] [stdout] | ------------------------------- matches all the relevant values [INFO] [stdout] ... [INFO] [stdout] 835 | | Expr::ETupleLit { .. } => {} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ no value can reach this [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> miva/src/symbol_table.rs:269:19 [INFO] [stdout] | [INFO] [stdout] 226 | / Def::DShape { [INFO] [stdout] 227 | | name, [INFO] [stdout] 228 | | fields, [INFO] [stdout] 229 | | type_params, [INFO] [stdout] 230 | | loc, [INFO] [stdout] 231 | | } => { [INFO] [stdout] | |_________________- matches all the relevant values [INFO] [stdout] ... [INFO] [stdout] 269 | | Def::DShape { .. } => {} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ no value can reach this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `target` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:27:13 [INFO] [stdout] | [INFO] [stdout] 27 | target, [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `target: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `method` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:28:13 [INFO] [stdout] | [INFO] [stdout] 28 | method, [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `method: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `type_args` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:29:13 [INFO] [stdout] | [INFO] [stdout] 29 | type_args, [INFO] [stdout] | ^^^^^^^^^ help: try ignoring the field: `type_args: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:30:13 [INFO] [stdout] | [INFO] [stdout] 30 | args, [INFO] [stdout] | ^^^^ help: try ignoring the field: `args: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `has_panic` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:253:5 [INFO] [stdout] | [INFO] [stdout] 253 | has_panic: bool, [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_has_panic` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `e` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:447:30 [INFO] [stdout] | [INFO] [stdout] 447 | IrPattern::Value(e) => (String::new(), Vec::new(), String::new(), String::new()), [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_e` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `has_panic` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:394:5 [INFO] [stdout] | [INFO] [stdout] 394 | has_panic: bool, [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_has_panic` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `else_str` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:600:9 [INFO] [stdout] | [INFO] [stdout] 600 | let else_str = if else_.is_empty() { [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_else_str` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `symbol` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:697:23 [INFO] [stdout] | [INFO] [stdout] 697 | IrDef::Export(symbol) => String::new(), [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_symbol` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> miva/src/typecheck/infer.rs:1281:17 [INFO] [stdout] | [INFO] [stdout] 1281 | let mut errs = vec![]; [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `loc` [INFO] [stdout] --> miva/src/typecheck/infer.rs:1280:35 [INFO] [stdout] | [INFO] [stdout] 1280 | Expr::ETupleLit { values, loc } => { [INFO] [stdout] | ^^^ help: try ignoring the field: `loc: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ind` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:1122:55 [INFO] [stdout] | [INFO] [stdout] 1122 | pub(crate) fn emit_module(name: &str, defs: &[IrDef], ind: String, inner: usize) -> String { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_ind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:1146:10 [INFO] [stdout] | [INFO] [stdout] 1146 | for (i, def) in defs.iter().enumerate() { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> miva/src/typecheck/seal.rs:125:11 [INFO] [stdout] | [INFO] [stdout] 100 | Expr::ETupleLit { values, .. } => { [INFO] [stdout] | ------------------------------ matches all the relevant values [INFO] [stdout] ... [INFO] [stdout] 125 | | Expr::ETupleLit { .. } => {} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ no value can reach this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body_stmts` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:1547:17 [INFO] [stdout] | [INFO] [stdout] 1547 | body_stmts, [INFO] [stdout] | ^^^^^^^^^^ help: try ignoring the field: `body_stmts: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body_result` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:1548:17 [INFO] [stdout] | [INFO] [stdout] 1548 | body_result, [INFO] [stdout] | ^^^^^^^^^^^ help: try ignoring the field: `body_result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body_stmts` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:1582:17 [INFO] [stdout] | [INFO] [stdout] 1582 | body_stmts, [INFO] [stdout] | ^^^^^^^^^^ help: try ignoring the field: `body_stmts: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body_result` [INFO] [stdout] --> miva/src/codegen/cxx_ir/emit.rs:1583:17 [INFO] [stdout] | [INFO] [stdout] 1583 | body_result, [INFO] [stdout] | ^^^^^^^^^^^ help: try ignoring the field: `body_result: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `closure_ty` [INFO] [stdout] --> miva/src/codegen/cxx_ir/lower.rs:177:17 [INFO] [stdout] | [INFO] [stdout] 177 | let closure_ty = if inner_tys.is_empty() { [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_closure_ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> miva/src/typecheck/mod.rs:277:25 [INFO] [stdout] | [INFO] [stdout] 277 | let (mut func_sigs, mut func_type_bounds) = build_func_sigs(defs); [INFO] [stdout] | ----^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> miva/src/typecheck/mod.rs:287:21 [INFO] [stdout] | [INFO] [stdout] 287 | let (mut enums, mut enum_type_params) = build_enum_maps(defs); [INFO] [stdout] | ----^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `global_shapes` [INFO] [stdout] --> miva/src/typecheck/mod.rs:274:5 [INFO] [stdout] | [INFO] [stdout] 274 | global_shapes: &HashMap>, [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_global_shapes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `global_shape_type_params` [INFO] [stdout] --> miva/src/typecheck/mod.rs:275:5 [INFO] [stdout] | [INFO] [stdout] 275 | global_shape_type_params: &HashMap>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_global_shape_type_params` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `func_type_bounds` [INFO] [stdout] --> miva/src/typecheck/mod.rs:277:25 [INFO] [stdout] | [INFO] [stdout] 277 | let (mut func_sigs, mut func_type_bounds) = build_func_sigs(defs); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_func_type_bounds` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `shape_type_params` [INFO] [stdout] --> miva/src/typecheck/mod.rs:286:18 [INFO] [stdout] | [INFO] [stdout] 286 | let (shapes, shape_type_params) = build_shape_map(defs); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_shape_type_params` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> miva/src/warning/mod.rs:242:11 [INFO] [stdout] | [INFO] [stdout] 206 | Expr::ETupleLit { values, .. } => { [INFO] [stdout] | ------------------------------ matches all the relevant values [INFO] [stdout] ... [INFO] [stdout] 242 | | Expr::ETupleLit { .. } => {} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ no value can reach this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `all` is never used [INFO] [stdout] --> miva/src/codegen/mod.rs:21:12 [INFO] [stdout] | [INFO] [stdout] 20 | impl Backend { [INFO] [stdout] | ------------ associated function in this implementation [INFO] [stdout] 21 | pub fn all() -> &'static [Backend] { [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `extension` is never read [INFO] [stdout] --> miva/src/codegen/mod.rs:56:9 [INFO] [stdout] | [INFO] [stdout] 52 | pub struct GeneratedOutput { [INFO] [stdout] | --------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 56 | pub extension: &'static str, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `collect_func_sigs` is never used [INFO] [stdout] --> miva/src/codegen/mod.rs:73:8 [INFO] [stdout] | [INFO] [stdout] 73 | pub fn collect_func_sigs(defs: &[Def]) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `build_ir` is never used [INFO] [stdout] --> miva/src/codegen/mod.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | pub fn build_ir(defs: &[Def]) -> [String; 3] { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `next_closure_id` is never used [INFO] [stdout] --> miva/src/codegen/cxx_ir/mod.rs:27:15 [INFO] [stdout] | [INFO] [stdout] 27 | pub(crate) fn next_closure_id() -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `MethodCall` is never constructed [INFO] [stdout] --> miva/src/codegen/cxx_ir/mod.rs:203:5 [INFO] [stdout] | [INFO] [stdout] 188 | pub enum IrExpr { [INFO] [stdout] | ------ variant in this enum [INFO] [stdout] ... [INFO] [stdout] 203 | MethodCall { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `IrExpr` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `If` is never constructed [INFO] [stdout] --> miva/src/codegen/cxx_ir/mod.rs:295:5 [INFO] [stdout] | [INFO] [stdout] 272 | pub enum IrStmt { [INFO] [stdout] | ------ variant in this enum [INFO] [stdout] ... [INFO] [stdout] 295 | If { [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = note: `IrStmt` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `thunk_sig` is never read [INFO] [stdout] --> miva/src/codegen/cxx_ir/mod.rs:402:9 [INFO] [stdout] | [INFO] [stdout] 399 | pub struct IrClosureDef { [INFO] [stdout] | ------------ field in this struct [INFO] [stdout] ... [INFO] [stdout] 402 | pub thunk_sig: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `IrClosureDef` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `closures` is never read [INFO] [stdout] --> miva/src/codegen/cxx_ir/mod.rs:411:9 [INFO] [stdout] | [INFO] [stdout] 410 | pub struct IrContext { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] 411 | pub closures: Vec, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `flatten_block` is never used [INFO] [stdout] --> miva/src/codegen/cxx_ir/optimize.rs:165:15 [INFO] [stdout] | [INFO] [stdout] 165 | pub(crate) fn flatten_block( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `pending_string_payloads` is never read [INFO] [stdout] --> miva/src/codegen/llvm/mod.rs:401:5 [INFO] [stdout] | [INFO] [stdout] 386 | pub(crate) struct LlvmCtx { [INFO] [stdout] | ------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 401 | pending_string_payloads: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `new` and `with_module` are never used [INFO] [stdout] --> miva/src/codegen/llvm/mod.rs:406:8 [INFO] [stdout] | [INFO] [stdout] 405 | impl LlvmCtx { [INFO] [stdout] | ------------ associated functions in this implementation [INFO] [stdout] 406 | fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 432 | fn with_module(module: Option<&str>) -> Self { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `arity` and `returns` are never read [INFO] [stdout] --> miva/src/codegen/mvm.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 19 | pub struct HostDef { [INFO] [stdout] | ------- fields in this struct [INFO] [stdout] 20 | pub name: String, [INFO] [stdout] 21 | pub arity: u32, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 22 | pub returns: Option, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `ptr_params` is never read [INFO] [stdout] --> miva/src/codegen/mvm.rs:82:5 [INFO] [stdout] | [INFO] [stdout] 40 | pub struct MvmCodegen { [INFO] [stdout] | ---------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 82 | ptr_params: HashSet, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `emit_jmp_if_true` is never used [INFO] [stdout] --> miva/src/codegen/mvm.rs:216:8 [INFO] [stdout] | [INFO] [stdout] 101 | impl MvmCodegen { [INFO] [stdout] | --------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 216 | fn emit_jmp_if_true(&mut self, target_label: u32) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `env` is never read [INFO] [stdout] --> miva/src/config.rs:12:9 [INFO] [stdout] | [INFO] [stdout] 6 | pub struct Config { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] ... [INFO] [stdout] 12 | pub env: Option, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Config` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `version` is never read [INFO] [stdout] --> miva/src/config.rs:22:9 [INFO] [stdout] | [INFO] [stdout] 18 | pub struct ProjectConfig { [INFO] [stdout] | ------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 22 | pub version: Option, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ProjectConfig` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `name` and `type_params` are never read [INFO] [stdout] --> miva/src/symbol_table.rs:99:9 [INFO] [stdout] | [INFO] [stdout] 98 | pub struct FunctionEntry { [INFO] [stdout] | ------------- fields in this struct [INFO] [stdout] 99 | pub name: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 100 | pub type_params: Vec, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `FunctionEntry` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `name`, `fields`, and `type_params` are never read [INFO] [stdout] --> miva/src/symbol_table.rs:123:9 [INFO] [stdout] | [INFO] [stdout] 122 | pub struct ShapeEntry { [INFO] [stdout] | ---------- fields in this struct [INFO] [stdout] 123 | pub name: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 124 | pub fields: Vec, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 125 | pub type_params: Vec, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ShapeEntry` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `lookup_drop_fn` and `lookup_shape` are never used [INFO] [stdout] --> miva/src/symbol_table.rs:425:12 [INFO] [stdout] | [INFO] [stdout] 147 | impl SymbolTable { [INFO] [stdout] | ---------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 425 | pub fn lookup_drop_fn(&self, struct_name: &str) -> Option<&str> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 429 | pub fn lookup_shape(&self, name: &str) -> Option<&ShapeEntry> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_program` is never used [INFO] [stdout] --> miva/src/typecheck/mod.rs:255:8 [INFO] [stdout] | [INFO] [stdout] 255 | pub fn check_program(defs: &[Def]) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `code` [INFO] [stdout] --> miva/src/codegen/llvm/defs.rs:411:78 [INFO] [stdout] | [INFO] [stdout] 411 | pub(crate) fn gen_cfunc(name: &str, params: &[Param], returns: &Option, code: &str) -> String { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_code` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `else_pred_label` [INFO] [stdout] --> miva/src/codegen/llvm/expr.rs:346:17 [INFO] [stdout] | [INFO] [stdout] 346 | let else_pred_label = label_else.clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_else_pred_label` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `else_pred_label` [INFO] [stdout] --> miva/src/codegen/llvm/expr.rs:347:18 [INFO] [stdout] | [INFO] [stdout] 347 | let (else_pred_label, else_ends_in_merge) = [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_else_pred_label` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `struct_name` [INFO] [stdout] --> miva/src/codegen/llvm/expr.rs:766:19 [INFO] [stdout] | [INFO] [stdout] 766 | name: struct_name, [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_struct_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> miva/src/codegen/mvm.rs:592:13 [INFO] [stdout] | [INFO] [stdout] 592 | let mut func_code = std::mem::take(&mut self.code); [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `before_then` [INFO] [stdout] --> miva/src/codegen/mvm.rs:831:21 [INFO] [stdout] | [INFO] [stdout] 831 | let before_then = self.code.len(); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_before_then` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `after_then` [INFO] [stdout] --> miva/src/codegen/mvm.rs:833:21 [INFO] [stdout] | [INFO] [stdout] 833 | let after_then = self.code.len(); [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_after_then` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `after_jmp` [INFO] [stdout] --> miva/src/codegen/mvm.rs:835:21 [INFO] [stdout] | [INFO] [stdout] 835 | let after_jmp = self.code.len(); [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_after_jmp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `after_else_label` [INFO] [stdout] --> miva/src/codegen/mvm.rs:837:21 [INFO] [stdout] | [INFO] [stdout] 837 | let after_else_label = self.code.len(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_after_else_label` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `left` [INFO] [stdout] --> miva/src/codegen/mvm.rs:1600:34 [INFO] [stdout] | [INFO] [stdout] 1600 | fn find_impl_override(&self, left: &Expr, op: &BinOp) -> Option { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_left` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `bridge_compiled` is never read [INFO] [stdout] --> miva/src/commands/build/mod.rs:410:17 [INFO] [stdout] | [INFO] [stdout] 410 | bridge_compiled = true; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `elem` [INFO] [stdout] --> miva/src/drop_desugar.rs:178:33 [INFO] [stdout] | [INFO] [stdout] 178 | if let Some(elem) = self.infer_droppable(first, state) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_elem` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> miva/src/semantic/mod.rs:835:11 [INFO] [stdout] | [INFO] [stdout] 458 | Expr::ETupleLit { loc, values } => { [INFO] [stdout] | ------------------------------- matches all the relevant values [INFO] [stdout] ... [INFO] [stdout] 835 | | Expr::ETupleLit { .. } => {} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ no value can reach this [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> miva/src/symbol_table.rs:269:19 [INFO] [stdout] | [INFO] [stdout] 226 | / Def::DShape { [INFO] [stdout] 227 | | name, [INFO] [stdout] 228 | | fields, [INFO] [stdout] 229 | | type_params, [INFO] [stdout] 230 | | loc, [INFO] [stdout] 231 | | } => { [INFO] [stdout] | |_________________- matches all the relevant values [INFO] [stdout] ... [INFO] [stdout] 269 | | Def::DShape { .. } => {} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ no value can reach this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> miva/src/typecheck/infer.rs:1281:17 [INFO] [stdout] | [INFO] [stdout] 1281 | let mut errs = vec![]; [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `loc` [INFO] [stdout] --> miva/src/typecheck/infer.rs:1280:35 [INFO] [stdout] | [INFO] [stdout] 1280 | Expr::ETupleLit { values, loc } => { [INFO] [stdout] | ^^^ help: try ignoring the field: `loc: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> miva/src/typecheck/seal.rs:125:11 [INFO] [stdout] | [INFO] [stdout] 100 | Expr::ETupleLit { values, .. } => { [INFO] [stdout] | ------------------------------ matches all the relevant values [INFO] [stdout] ... [INFO] [stdout] 125 | | Expr::ETupleLit { .. } => {} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ no value can reach this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> miva/src/typecheck/mod.rs:277:25 [INFO] [stdout] | [INFO] [stdout] 277 | let (mut func_sigs, mut func_type_bounds) = build_func_sigs(defs); [INFO] [stdout] | ----^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> miva/src/typecheck/mod.rs:287:21 [INFO] [stdout] | [INFO] [stdout] 287 | let (mut enums, mut enum_type_params) = build_enum_maps(defs); [INFO] [stdout] | ----^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `global_shapes` [INFO] [stdout] --> miva/src/typecheck/mod.rs:274:5 [INFO] [stdout] | [INFO] [stdout] 274 | global_shapes: &HashMap>, [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_global_shapes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `global_shape_type_params` [INFO] [stdout] --> miva/src/typecheck/mod.rs:275:5 [INFO] [stdout] | [INFO] [stdout] 275 | global_shape_type_params: &HashMap>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_global_shape_type_params` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `func_type_bounds` [INFO] [stdout] --> miva/src/typecheck/mod.rs:277:25 [INFO] [stdout] | [INFO] [stdout] 277 | let (mut func_sigs, mut func_type_bounds) = build_func_sigs(defs); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_func_type_bounds` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `shape_type_params` [INFO] [stdout] --> miva/src/typecheck/mod.rs:286:18 [INFO] [stdout] | [INFO] [stdout] 286 | let (shapes, shape_type_params) = build_shape_map(defs); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_shape_type_params` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> miva/src/warning/mod.rs:242:11 [INFO] [stdout] | [INFO] [stdout] 206 | Expr::ETupleLit { values, .. } => { [INFO] [stdout] | ------------------------------ matches all the relevant values [INFO] [stdout] ... [INFO] [stdout] 242 | | Expr::ETupleLit { .. } => {} [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ no value can reach this [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `all` is never used [INFO] [stdout] --> miva/src/codegen/mod.rs:21:12 [INFO] [stdout] | [INFO] [stdout] 20 | impl Backend { [INFO] [stdout] | ------------ associated function in this implementation [INFO] [stdout] 21 | pub fn all() -> &'static [Backend] { [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `extension` is never read [INFO] [stdout] --> miva/src/codegen/mod.rs:56:9 [INFO] [stdout] | [INFO] [stdout] 52 | pub struct GeneratedOutput { [INFO] [stdout] | --------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 56 | pub extension: &'static str, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `collect_func_sigs` is never used [INFO] [stdout] --> miva/src/codegen/mod.rs:73:8 [INFO] [stdout] | [INFO] [stdout] 73 | pub fn collect_func_sigs(defs: &[Def]) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `build_ir` is never used [INFO] [stdout] --> miva/src/codegen/mod.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 154 | pub fn build_ir(defs: &[Def]) -> [String; 3] { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `next_closure_id` is never used [INFO] [stdout] --> miva/src/codegen/cxx_ir/mod.rs:27:15 [INFO] [stdout] | [INFO] [stdout] 27 | pub(crate) fn next_closure_id() -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `MethodCall` is never constructed [INFO] [stdout] --> miva/src/codegen/cxx_ir/mod.rs:203:5 [INFO] [stdout] | [INFO] [stdout] 188 | pub enum IrExpr { [INFO] [stdout] | ------ variant in this enum [INFO] [stdout] ... [INFO] [stdout] 203 | MethodCall { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `IrExpr` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `If` is never constructed [INFO] [stdout] --> miva/src/codegen/cxx_ir/mod.rs:295:5 [INFO] [stdout] | [INFO] [stdout] 272 | pub enum IrStmt { [INFO] [stdout] | ------ variant in this enum [INFO] [stdout] ... [INFO] [stdout] 295 | If { [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = note: `IrStmt` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `thunk_sig` is never read [INFO] [stdout] --> miva/src/codegen/cxx_ir/mod.rs:402:9 [INFO] [stdout] | [INFO] [stdout] 399 | pub struct IrClosureDef { [INFO] [stdout] | ------------ field in this struct [INFO] [stdout] ... [INFO] [stdout] 402 | pub thunk_sig: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `IrClosureDef` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `closures` is never read [INFO] [stdout] --> miva/src/codegen/cxx_ir/mod.rs:411:9 [INFO] [stdout] | [INFO] [stdout] 410 | pub struct IrContext { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] 411 | pub closures: Vec, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `flatten_block` is never used [INFO] [stdout] --> miva/src/codegen/cxx_ir/optimize.rs:165:15 [INFO] [stdout] | [INFO] [stdout] 165 | pub(crate) fn flatten_block( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `pending_string_payloads` is never read [INFO] [stdout] --> miva/src/codegen/llvm/mod.rs:401:5 [INFO] [stdout] | [INFO] [stdout] 386 | pub(crate) struct LlvmCtx { [INFO] [stdout] | ------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 401 | pending_string_payloads: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `with_module` is never used [INFO] [stdout] --> miva/src/codegen/llvm/mod.rs:432:8 [INFO] [stdout] | [INFO] [stdout] 405 | impl LlvmCtx { [INFO] [stdout] | ------------ associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 432 | fn with_module(module: Option<&str>) -> Self { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `arity` and `returns` are never read [INFO] [stdout] --> miva/src/codegen/mvm.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 19 | pub struct HostDef { [INFO] [stdout] | ------- fields in this struct [INFO] [stdout] 20 | pub name: String, [INFO] [stdout] 21 | pub arity: u32, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 22 | pub returns: Option, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `ptr_params` is never read [INFO] [stdout] --> miva/src/codegen/mvm.rs:82:5 [INFO] [stdout] | [INFO] [stdout] 40 | pub struct MvmCodegen { [INFO] [stdout] | ---------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 82 | ptr_params: HashSet, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `emit_jmp_if_true` is never used [INFO] [stdout] --> miva/src/codegen/mvm.rs:216:8 [INFO] [stdout] | [INFO] [stdout] 101 | impl MvmCodegen { [INFO] [stdout] | --------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 216 | fn emit_jmp_if_true(&mut self, target_label: u32) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `env` is never read [INFO] [stdout] --> miva/src/config.rs:12:9 [INFO] [stdout] | [INFO] [stdout] 6 | pub struct Config { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] ... [INFO] [stdout] 12 | pub env: Option, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Config` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `version` is never read [INFO] [stdout] --> miva/src/config.rs:22:9 [INFO] [stdout] | [INFO] [stdout] 18 | pub struct ProjectConfig { [INFO] [stdout] | ------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 22 | pub version: Option, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ProjectConfig` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `type_params` is never read [INFO] [stdout] --> miva/src/symbol_table.rs:100:9 [INFO] [stdout] | [INFO] [stdout] 98 | pub struct FunctionEntry { [INFO] [stdout] | ------------- field in this struct [INFO] [stdout] 99 | pub name: String, [INFO] [stdout] 100 | pub type_params: Vec, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `FunctionEntry` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `name`, `fields`, and `type_params` are never read [INFO] [stdout] --> miva/src/symbol_table.rs:123:9 [INFO] [stdout] | [INFO] [stdout] 122 | pub struct ShapeEntry { [INFO] [stdout] | ---------- fields in this struct [INFO] [stdout] 123 | pub name: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 124 | pub fields: Vec, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 125 | pub type_params: Vec, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ShapeEntry` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `lookup_shape` is never used [INFO] [stdout] --> miva/src/symbol_table.rs:429:12 [INFO] [stdout] | [INFO] [stdout] 147 | impl SymbolTable { [INFO] [stdout] | ---------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 429 | pub fn lookup_shape(&self, name: &str) -> Option<&ShapeEntry> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 12.46s [INFO] running `Command { std: "docker" "inspect" "a1d423f7ac21645d1149dea80a8abce09001a8a6289dfdc37aafb9a224bc24ff", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a1d423f7ac21645d1149dea80a8abce09001a8a6289dfdc37aafb9a224bc24ff", kill_on_drop: false }` [INFO] [stdout] a1d423f7ac21645d1149dea80a8abce09001a8a6289dfdc37aafb9a224bc24ff