[INFO] cloning repository https://github.com/omedusyo/polymede [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/omedusyo/polymede" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fomedusyo%2Fpolymede", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fomedusyo%2Fpolymede'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 6743b428562181b40651175bb4fbe2331f15f833 [INFO] checking omedusyo/polymede against master#1f12b9b0fdbe735968ac002792a720f0ba4faca6 for crater-rollup-uwu [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fomedusyo%2Fpolymede" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/omedusyo/polymede on toolchain 1f12b9b0fdbe735968ac002792a720f0ba4faca6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/omedusyo/polymede [INFO] finished tweaking git repo https://github.com/omedusyo/polymede [INFO] tweaked toml for git repo https://github.com/omedusyo/polymede written to /workspace/builds/worker-3-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/omedusyo/polymede 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" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded serde v1.0.204 [INFO] [stderr] Downloaded windows-targets v0.52.6 [INFO] [stderr] Downloaded string-interner v0.17.0 [INFO] [stderr] Downloaded zerocopy-derive v0.7.35 [INFO] [stderr] Downloaded utf8parse v0.2.2 [INFO] [stderr] Downloaded colorchoice v1.0.1 [INFO] [stderr] Downloaded clap v4.5.9 [INFO] [stderr] Downloaded anstyle-parse v0.2.4 [INFO] [stderr] Downloaded anstream v0.6.14 [INFO] [stderr] Downloaded anstyle-query v1.1.0 [INFO] [stderr] Downloaded anstyle-wincon v3.0.3 [INFO] [stderr] Downloaded strsim v0.11.1 [INFO] [stderr] Downloaded zerocopy v0.7.35 [INFO] [stderr] Downloaded is_terminal_polyfill v1.70.0 [INFO] [stderr] Downloaded anstyle v1.0.7 [INFO] [stderr] Downloaded clap_derive v4.5.8 [INFO] [stderr] Downloaded clap_builder v4.5.9 [INFO] [stderr] Downloaded serde_derive v1.0.204 [INFO] [stderr] Downloaded clap_lex v0.7.1 [INFO] [stderr] Downloaded syn v2.0.69 [INFO] [stderr] Downloaded windows_aarch64_gnullvm v0.52.6 [INFO] [stderr] Downloaded windows_x86_64_gnullvm v0.52.6 [INFO] [stderr] Downloaded windows_i686_gnullvm v0.52.6 [INFO] [stderr] Downloaded windows_i686_gnu v0.52.6 [INFO] [stderr] Downloaded windows_aarch64_msvc v0.52.6 [INFO] [stderr] Downloaded windows_x86_64_gnu v0.52.6 [INFO] [stderr] Downloaded windows_x86_64_msvc v0.52.6 [INFO] [stderr] Downloaded windows_i686_msvc v0.52.6 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 18b29a25477b5cc8c0f6629a0997e222c28593922145e4c8911ca9a670d9e313 [INFO] running `Command { std: "docker" "start" "-a" "18b29a25477b5cc8c0f6629a0997e222c28593922145e4c8911ca9a670d9e313", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "18b29a25477b5cc8c0f6629a0997e222c28593922145e4c8911ca9a670d9e313", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "18b29a25477b5cc8c0f6629a0997e222c28593922145e4c8911ca9a670d9e313", kill_on_drop: false }` [INFO] [stdout] 18b29a25477b5cc8c0f6629a0997e222c28593922145e4c8911ca9a670d9e313 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 2f7ac629a8e6803e7504314f6ed838b1a89fa0964f47bcac1d4a095d28ff6f70 [INFO] running `Command { std: "docker" "start" "-a" "2f7ac629a8e6803e7504314f6ed838b1a89fa0964f47bcac1d4a095d28ff6f70", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.86 [INFO] [stderr] Checking utf8parse v0.2.2 [INFO] [stderr] Compiling serde v1.0.204 [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Checking anstyle-query v1.1.0 [INFO] [stderr] Checking colorchoice v1.0.1 [INFO] [stderr] Checking is_terminal_polyfill v1.70.0 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Checking once_cell v1.19.0 [INFO] [stderr] Checking anstyle v1.0.7 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Checking wasm v0.1.0 (/opt/rustwide/workdir/wasm) [INFO] [stderr] Checking strsim v0.11.1 [INFO] [stderr] Checking clap_lex v0.7.1 [INFO] [stderr] Checking anstyle-parse v0.2.4 [INFO] [stdout] warning: unused imports: `DataItem` and `DataSection` [INFO] [stdout] --> wasm/src/syntax.rs:2:192 [INFO] [stdout] | [INFO] [stdout] 2 | ...ion, MemorySection, TableType, ElementSection, Element, DataSection, DataItem}; [INFO] [stdout] | ^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `LocalDeclaration` [INFO] [stdout] --> wasm/src/lib.rs:22:23 [INFO] [stdout] | [INFO] [stdout] 22 | Expression, Code, LocalDeclaration [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `GlobalIndex` [INFO] [stdout] --> wasm/src/lib.rs:28:38 [INFO] [stdout] | [INFO] [stdout] 28 | indices::{TypeIndex, LocalIndex, GlobalIndex, FunctionIndex}, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `DataItem` and `DataSection` [INFO] [stdout] --> wasm/src/syntax.rs:2:192 [INFO] [stdout] | [INFO] [stdout] 2 | ...ion, MemorySection, TableType, ElementSection, Element, DataSection, DataItem}; [INFO] [stdout] | ^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `LocalDeclaration` [INFO] [stdout] --> wasm/src/lib.rs:22:23 [INFO] [stdout] | [INFO] [stdout] 22 | Expression, Code, LocalDeclaration [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `GlobalIndex` [INFO] [stdout] --> wasm/src/lib.rs:28:38 [INFO] [stdout] | [INFO] [stdout] 28 | indices::{TypeIndex, LocalIndex, GlobalIndex, FunctionIndex}, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking anstream v0.6.14 [INFO] [stdout] warning: unused variable: `v0` [INFO] [stdout] --> wasm/src/binary_format/primitives/byte_stream.rs:711:13 [INFO] [stdout] | [INFO] [stdout] 711 | let v0 = vec![0xc0, 0xbb, 0x78]; [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_v0` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `log` [INFO] [stdout] --> wasm/src/syntax.rs:815:9 [INFO] [stdout] | [INFO] [stdout] 815 | let log = module.add_typed_function_import(TypedFunctionImport { module_name: "console".to_string(), name: "log".to_string(), type_: ... [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_log` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `code1` [INFO] [stdout] --> wasm/src/lib.rs:82:9 [INFO] [stdout] | [INFO] [stdout] 82 | let code1 = vec![ [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_code1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `code2` [INFO] [stdout] --> wasm/src/lib.rs:88:9 [INFO] [stdout] | [INFO] [stdout] 88 | let code2 = vec![ [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_code2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Size` is more private than the item `syntax::Expression::LoadInteger::size` [INFO] [stdout] --> wasm/src/syntax.rs:109:19 [INFO] [stdout] | [INFO] [stdout] 109 | LoadInteger { size: Size, arg: MemoryArgument, address: Box }, [INFO] [stdout] | ^^^^^^^^^^ field `syntax::Expression::LoadInteger::size` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Size` is only usable at visibility `pub(self)` [INFO] [stdout] --> wasm/src/syntax.rs:153:1 [INFO] [stdout] | [INFO] [stdout] 153 | enum Size { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Size` is more private than the item `syntax::Expression::StoreInteger::size` [INFO] [stdout] --> wasm/src/syntax.rs:110:20 [INFO] [stdout] | [INFO] [stdout] 110 | StoreInteger { size: Size, arg: MemoryArgument, address: Box, value: Box }, [INFO] [stdout] | ^^^^^^^^^^ field `syntax::Expression::StoreInteger::size` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Size` is only usable at visibility `pub(self)` [INFO] [stdout] --> wasm/src/syntax.rs:153:1 [INFO] [stdout] | [INFO] [stdout] 153 | enum Size { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Op0` is more private than the item `syntax::Expression::Op0::0` [INFO] [stdout] --> wasm/src/syntax.rs:113:9 [INFO] [stdout] | [INFO] [stdout] 113 | Op0(Op0), [INFO] [stdout] | ^^^ field `syntax::Expression::Op0::0` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Op0` is only usable at visibility `pub(self)` [INFO] [stdout] --> wasm/src/syntax.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | enum Op0 { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Op1` is more private than the item `syntax::Expression::Op1::0` [INFO] [stdout] --> wasm/src/syntax.rs:114:9 [INFO] [stdout] | [INFO] [stdout] 114 | Op1(Op1, Box), [INFO] [stdout] | ^^^ field `syntax::Expression::Op1::0` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Op1` is only usable at visibility `pub(self)` [INFO] [stdout] --> wasm/src/syntax.rs:134:1 [INFO] [stdout] | [INFO] [stdout] 134 | enum Op1 { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Op2` is more private than the item `syntax::Expression::Op2::0` [INFO] [stdout] --> wasm/src/syntax.rs:115:9 [INFO] [stdout] | [INFO] [stdout] 115 | Op2(Op2, Box, Box), [INFO] [stdout] | ^^^ field `syntax::Expression::Op2::0` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Op2` is only usable at visibility `pub(self)` [INFO] [stdout] --> wasm/src/syntax.rs:140:1 [INFO] [stdout] | [INFO] [stdout] 140 | enum Op2 { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Rel1` is more private than the item `syntax::Expression::Rel1::0` [INFO] [stdout] --> wasm/src/syntax.rs:116:10 [INFO] [stdout] | [INFO] [stdout] 116 | Rel1(Rel1, Box), [INFO] [stdout] | ^^^^ field `syntax::Expression::Rel1::0` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Rel1` is only usable at visibility `pub(self)` [INFO] [stdout] --> wasm/src/syntax.rs:203:1 [INFO] [stdout] | [INFO] [stdout] 203 | enum Rel1 { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Rel2` is more private than the item `syntax::Expression::Rel2::0` [INFO] [stdout] --> wasm/src/syntax.rs:117:10 [INFO] [stdout] | [INFO] [stdout] 117 | Rel2(Rel2, Box, Box), [INFO] [stdout] | ^^^^ field `syntax::Expression::Rel2::0` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Rel2` is only usable at visibility `pub(self)` [INFO] [stdout] --> wasm/src/syntax.rs:208:1 [INFO] [stdout] | [INFO] [stdout] 208 | enum Rel2 { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> wasm/src/binary_format/primitives/byte_stream.rs:420:12 [INFO] [stdout] | [INFO] [stdout] 419 | impl EnumerateByteValues { [INFO] [stdout] | ------------------------ associated function in this implementation [INFO] [stdout] 420 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `type_index` is never used [INFO] [stdout] --> wasm/src/syntax.rs:31:8 [INFO] [stdout] | [INFO] [stdout] 30 | impl FunctionOrImport { [INFO] [stdout] | --------------------- method in this implementation [INFO] [stdout] 31 | fn type_index(&self) -> TypeIndex { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `I64` and `F64` are never constructed [INFO] [stdout] --> wasm/src/syntax.rs:128:5 [INFO] [stdout] | [INFO] [stdout] 126 | enum NumberLiteral { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] 127 | I32(i32), [INFO] [stdout] 128 | I64(i64), [INFO] [stdout] | ^^^ [INFO] [stdout] 129 | F32(f32), [INFO] [stdout] 130 | F64(f64), [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `NumberLiteral` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Int` and `Float` are never constructed [INFO] [stdout] --> wasm/src/syntax.rs:135:5 [INFO] [stdout] | [INFO] [stdout] 134 | enum Op1 { [INFO] [stdout] | --- variants in this enum [INFO] [stdout] 135 | Int(Size, IntegerOp1), [INFO] [stdout] | ^^^ [INFO] [stdout] 136 | Float(Size, FloatOp1) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Op1` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Float` is never constructed [INFO] [stdout] --> wasm/src/syntax.rs:142:5 [INFO] [stdout] | [INFO] [stdout] 140 | enum Op2 { [INFO] [stdout] | --- variant in this enum [INFO] [stdout] 141 | Int(Size, IntegerOp2), [INFO] [stdout] 142 | Float(Size, FloatOp2), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Op2` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Clz`, `Ctz`, and `Popcnt` are never constructed [INFO] [stdout] --> wasm/src/syntax.rs:147:5 [INFO] [stdout] | [INFO] [stdout] 146 | enum IntegerOp1 { [INFO] [stdout] | ---------- variants in this enum [INFO] [stdout] 147 | Clz, [INFO] [stdout] | ^^^ [INFO] [stdout] 148 | Ctz, [INFO] [stdout] | ^^^ [INFO] [stdout] 149 | Popcnt, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `IntegerOp1` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple variants are never constructed [INFO] [stdout] --> wasm/src/syntax.rs:163:5 [INFO] [stdout] | [INFO] [stdout] 159 | enum IntegerOp2 { [INFO] [stdout] | ---------- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 163 | Div(Signedness), [INFO] [stdout] | ^^^ [INFO] [stdout] 164 | Rem(Signedness), [INFO] [stdout] | ^^^ [INFO] [stdout] 165 | And, [INFO] [stdout] | ^^^ [INFO] [stdout] 166 | Or, [INFO] [stdout] | ^^ [INFO] [stdout] 167 | Xor, [INFO] [stdout] | ^^^ [INFO] [stdout] 168 | Shl, [INFO] [stdout] | ^^^ [INFO] [stdout] 169 | Shr(Signedness), [INFO] [stdout] | ^^^ [INFO] [stdout] 170 | Rotl, [INFO] [stdout] | ^^^^ [INFO] [stdout] 171 | Rotr [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `IntegerOp2` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple variants are never constructed [INFO] [stdout] --> wasm/src/syntax.rs:176:5 [INFO] [stdout] | [INFO] [stdout] 175 | enum FloatOp1 { [INFO] [stdout] | -------- variants in this enum [INFO] [stdout] 176 | Abs, [INFO] [stdout] | ^^^ [INFO] [stdout] 177 | Neg, [INFO] [stdout] | ^^^ [INFO] [stdout] 178 | Sqrt, [INFO] [stdout] | ^^^^ [INFO] [stdout] 179 | Ceil, [INFO] [stdout] | ^^^^ [INFO] [stdout] 180 | Floor, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 181 | Trunc, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 182 | Nearest, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `FloatOp1` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple variants are never constructed [INFO] [stdout] --> wasm/src/syntax.rs:187:5 [INFO] [stdout] | [INFO] [stdout] 186 | enum FloatOp2 { [INFO] [stdout] | -------- variants in this enum [INFO] [stdout] 187 | Add, [INFO] [stdout] | ^^^ [INFO] [stdout] 188 | Sub, [INFO] [stdout] | ^^^ [INFO] [stdout] 189 | Mul, [INFO] [stdout] | ^^^ [INFO] [stdout] 190 | Div, [INFO] [stdout] | ^^^ [INFO] [stdout] 191 | Min, [INFO] [stdout] | ^^^ [INFO] [stdout] 192 | Max, [INFO] [stdout] | ^^^ [INFO] [stdout] 193 | Copysign, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `FloatOp2` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Signed` and `Unsigned` are never constructed [INFO] [stdout] --> wasm/src/syntax.rs:198:5 [INFO] [stdout] | [INFO] [stdout] 197 | enum Signedness { [INFO] [stdout] | ---------- variants in this enum [INFO] [stdout] 198 | Signed, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 199 | Unsigned, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Signedness` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Int` is never constructed [INFO] [stdout] --> wasm/src/syntax.rs:204:5 [INFO] [stdout] | [INFO] [stdout] 203 | enum Rel1 { [INFO] [stdout] | ---- variant in this enum [INFO] [stdout] 204 | Int(Size, IntegerRel1), [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Rel1` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Float` is never constructed [INFO] [stdout] --> wasm/src/syntax.rs:210:5 [INFO] [stdout] | [INFO] [stdout] 208 | enum Rel2 { [INFO] [stdout] | ---- variant in this enum [INFO] [stdout] 209 | Int(Size, IntegerRel2), [INFO] [stdout] 210 | Float(Size, FloatRel2), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Rel2` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Eqz` is never constructed [INFO] [stdout] --> wasm/src/syntax.rs:215:5 [INFO] [stdout] | [INFO] [stdout] 214 | enum IntegerRel1 { [INFO] [stdout] | ----------- variant in this enum [INFO] [stdout] 215 | Eqz, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `IntegerRel1` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Ne`, `Lt`, `Gt`, `Le`, and `Ge` are never constructed [INFO] [stdout] --> wasm/src/syntax.rs:221:5 [INFO] [stdout] | [INFO] [stdout] 219 | enum IntegerRel2 { [INFO] [stdout] | ----------- variants in this enum [INFO] [stdout] 220 | Eq, [INFO] [stdout] 221 | Ne, [INFO] [stdout] | ^^ [INFO] [stdout] 222 | Lt(Signedness), [INFO] [stdout] | ^^ [INFO] [stdout] 223 | Gt(Signedness), [INFO] [stdout] | ^^ [INFO] [stdout] 224 | Le(Signedness), [INFO] [stdout] | ^^ [INFO] [stdout] 225 | Ge(Signedness), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = note: `IntegerRel2` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Eq`, `Ne`, `Lt`, `Gt`, `Le`, and `Ge` are never constructed [INFO] [stdout] --> wasm/src/syntax.rs:230:5 [INFO] [stdout] | [INFO] [stdout] 229 | enum FloatRel2 { [INFO] [stdout] | --------- variants in this enum [INFO] [stdout] 230 | Eq, [INFO] [stdout] | ^^ [INFO] [stdout] 231 | Ne, [INFO] [stdout] | ^^ [INFO] [stdout] 232 | Lt, [INFO] [stdout] | ^^ [INFO] [stdout] 233 | Gt, [INFO] [stdout] | ^^ [INFO] [stdout] 234 | Le, [INFO] [stdout] | ^^ [INFO] [stdout] 235 | Ge, [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = note: `FloatRel2` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `log` [INFO] [stdout] --> wasm/src/syntax.rs:815:9 [INFO] [stdout] | [INFO] [stdout] 815 | let log = module.add_typed_function_import(TypedFunctionImport { module_name: "console".to_string(), name: "log".to_string(), type_: ... [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_log` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `code1` [INFO] [stdout] --> wasm/src/lib.rs:82:9 [INFO] [stdout] | [INFO] [stdout] 82 | let code1 = vec![ [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_code1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `code2` [INFO] [stdout] --> wasm/src/lib.rs:88:9 [INFO] [stdout] | [INFO] [stdout] 88 | let code2 = vec![ [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_code2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 28 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking expressions v0.1.0 (/opt/rustwide/workdir/expressions) [INFO] [stderr] Checking runtime v0.1.0 (/opt/rustwide/workdir/runtime) [INFO] [stdout] warning: type `Size` is more private than the item `syntax::Expression::LoadInteger::size` [INFO] [stdout] --> wasm/src/syntax.rs:109:19 [INFO] [stdout] | [INFO] [stdout] 109 | LoadInteger { size: Size, arg: MemoryArgument, address: Box }, [INFO] [stdout] | ^^^^^^^^^^ field `syntax::Expression::LoadInteger::size` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Size` is only usable at visibility `pub(self)` [INFO] [stdout] --> wasm/src/syntax.rs:153:1 [INFO] [stdout] | [INFO] [stdout] 153 | enum Size { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Size` is more private than the item `syntax::Expression::StoreInteger::size` [INFO] [stdout] --> wasm/src/syntax.rs:110:20 [INFO] [stdout] | [INFO] [stdout] 110 | StoreInteger { size: Size, arg: MemoryArgument, address: Box, value: Box }, [INFO] [stdout] | ^^^^^^^^^^ field `syntax::Expression::StoreInteger::size` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Size` is only usable at visibility `pub(self)` [INFO] [stdout] --> wasm/src/syntax.rs:153:1 [INFO] [stdout] | [INFO] [stdout] 153 | enum Size { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Op0` is more private than the item `syntax::Expression::Op0::0` [INFO] [stdout] --> wasm/src/syntax.rs:113:9 [INFO] [stdout] | [INFO] [stdout] 113 | Op0(Op0), [INFO] [stdout] | ^^^ field `syntax::Expression::Op0::0` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Op0` is only usable at visibility `pub(self)` [INFO] [stdout] --> wasm/src/syntax.rs:121:1 [INFO] [stdout] | [INFO] [stdout] 121 | enum Op0 { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking clap_builder v4.5.9 [INFO] [stdout] warning: type `Op1` is more private than the item `syntax::Expression::Op1::0` [INFO] [stdout] --> wasm/src/syntax.rs:114:9 [INFO] [stdout] | [INFO] [stdout] 114 | Op1(Op1, Box), [INFO] [stdout] | ^^^ field `syntax::Expression::Op1::0` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Op1` is only usable at visibility `pub(self)` [INFO] [stdout] --> wasm/src/syntax.rs:134:1 [INFO] [stdout] | [INFO] [stdout] 134 | enum Op1 { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Op2` is more private than the item `syntax::Expression::Op2::0` [INFO] [stdout] --> wasm/src/syntax.rs:115:9 [INFO] [stdout] | [INFO] [stdout] 115 | Op2(Op2, Box, Box), [INFO] [stdout] | ^^^ field `syntax::Expression::Op2::0` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Op2` is only usable at visibility `pub(self)` [INFO] [stdout] --> wasm/src/syntax.rs:140:1 [INFO] [stdout] | [INFO] [stdout] 140 | enum Op2 { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Rel1` is more private than the item `syntax::Expression::Rel1::0` [INFO] [stdout] --> wasm/src/syntax.rs:116:10 [INFO] [stdout] | [INFO] [stdout] 116 | Rel1(Rel1, Box), [INFO] [stdout] | ^^^^ field `syntax::Expression::Rel1::0` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Rel1` is only usable at visibility `pub(self)` [INFO] [stdout] --> wasm/src/syntax.rs:203:1 [INFO] [stdout] | [INFO] [stdout] 203 | enum Rel1 { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Rel2` is more private than the item `syntax::Expression::Rel2::0` [INFO] [stdout] --> wasm/src/syntax.rs:117:10 [INFO] [stdout] | [INFO] [stdout] 117 | Rel2(Rel2, Box, Box), [INFO] [stdout] | ^^^^ field `syntax::Expression::Rel2::0` is reachable at visibility `pub` [INFO] [stdout] | [INFO] [stdout] note: but type `Rel2` is only usable at visibility `pub(self)` [INFO] [stdout] --> wasm/src/syntax.rs:208:1 [INFO] [stdout] | [INFO] [stdout] 208 | enum Rel2 { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `type_index` is never used [INFO] [stdout] --> wasm/src/syntax.rs:31:8 [INFO] [stdout] | [INFO] [stdout] 30 | impl FunctionOrImport { [INFO] [stdout] | --------------------- method in this implementation [INFO] [stdout] 31 | fn type_index(&self) -> TypeIndex { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `I64` and `F64` are never constructed [INFO] [stdout] --> wasm/src/syntax.rs:128:5 [INFO] [stdout] | [INFO] [stdout] 126 | enum NumberLiteral { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] 127 | I32(i32), [INFO] [stdout] 128 | I64(i64), [INFO] [stdout] | ^^^ [INFO] [stdout] 129 | F32(f32), [INFO] [stdout] 130 | F64(f64), [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `NumberLiteral` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Int` and `Float` are never constructed [INFO] [stdout] --> wasm/src/syntax.rs:135:5 [INFO] [stdout] | [INFO] [stdout] 134 | enum Op1 { [INFO] [stdout] | --- variants in this enum [INFO] [stdout] 135 | Int(Size, IntegerOp1), [INFO] [stdout] | ^^^ [INFO] [stdout] 136 | Float(Size, FloatOp1) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Op1` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Float` is never constructed [INFO] [stdout] --> wasm/src/syntax.rs:142:5 [INFO] [stdout] | [INFO] [stdout] 140 | enum Op2 { [INFO] [stdout] | --- variant in this enum [INFO] [stdout] 141 | Int(Size, IntegerOp2), [INFO] [stdout] 142 | Float(Size, FloatOp2), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Op2` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Clz`, `Ctz`, and `Popcnt` are never constructed [INFO] [stdout] --> wasm/src/syntax.rs:147:5 [INFO] [stdout] | [INFO] [stdout] 146 | enum IntegerOp1 { [INFO] [stdout] | ---------- variants in this enum [INFO] [stdout] 147 | Clz, [INFO] [stdout] | ^^^ [INFO] [stdout] 148 | Ctz, [INFO] [stdout] | ^^^ [INFO] [stdout] 149 | Popcnt, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `IntegerOp1` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple variants are never constructed [INFO] [stdout] --> wasm/src/syntax.rs:163:5 [INFO] [stdout] | [INFO] [stdout] 159 | enum IntegerOp2 { [INFO] [stdout] | ---------- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 163 | Div(Signedness), [INFO] [stdout] | ^^^ [INFO] [stdout] 164 | Rem(Signedness), [INFO] [stdout] | ^^^ [INFO] [stdout] 165 | And, [INFO] [stdout] | ^^^ [INFO] [stdout] 166 | Or, [INFO] [stdout] | ^^ [INFO] [stdout] 167 | Xor, [INFO] [stdout] | ^^^ [INFO] [stdout] 168 | Shl, [INFO] [stdout] | ^^^ [INFO] [stdout] 169 | Shr(Signedness), [INFO] [stdout] | ^^^ [INFO] [stdout] 170 | Rotl, [INFO] [stdout] | ^^^^ [INFO] [stdout] 171 | Rotr [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `IntegerOp2` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple variants are never constructed [INFO] [stdout] --> wasm/src/syntax.rs:176:5 [INFO] [stdout] | [INFO] [stdout] 175 | enum FloatOp1 { [INFO] [stdout] | -------- variants in this enum [INFO] [stdout] 176 | Abs, [INFO] [stdout] | ^^^ [INFO] [stdout] 177 | Neg, [INFO] [stdout] | ^^^ [INFO] [stdout] 178 | Sqrt, [INFO] [stdout] | ^^^^ [INFO] [stdout] 179 | Ceil, [INFO] [stdout] | ^^^^ [INFO] [stdout] 180 | Floor, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 181 | Trunc, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 182 | Nearest, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `FloatOp1` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple variants are never constructed [INFO] [stdout] --> wasm/src/syntax.rs:187:5 [INFO] [stdout] | [INFO] [stdout] 186 | enum FloatOp2 { [INFO] [stdout] | -------- variants in this enum [INFO] [stdout] 187 | Add, [INFO] [stdout] | ^^^ [INFO] [stdout] 188 | Sub, [INFO] [stdout] | ^^^ [INFO] [stdout] 189 | Mul, [INFO] [stdout] | ^^^ [INFO] [stdout] 190 | Div, [INFO] [stdout] | ^^^ [INFO] [stdout] 191 | Min, [INFO] [stdout] | ^^^ [INFO] [stdout] 192 | Max, [INFO] [stdout] | ^^^ [INFO] [stdout] 193 | Copysign, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `FloatOp2` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Signed` and `Unsigned` are never constructed [INFO] [stdout] --> wasm/src/syntax.rs:198:5 [INFO] [stdout] | [INFO] [stdout] 197 | enum Signedness { [INFO] [stdout] | ---------- variants in this enum [INFO] [stdout] 198 | Signed, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 199 | Unsigned, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Signedness` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Int` is never constructed [INFO] [stdout] --> wasm/src/syntax.rs:204:5 [INFO] [stdout] | [INFO] [stdout] 203 | enum Rel1 { [INFO] [stdout] | ---- variant in this enum [INFO] [stdout] 204 | Int(Size, IntegerRel1), [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Rel1` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Float` is never constructed [INFO] [stdout] --> wasm/src/syntax.rs:210:5 [INFO] [stdout] | [INFO] [stdout] 208 | enum Rel2 { [INFO] [stdout] | ---- variant in this enum [INFO] [stdout] 209 | Int(Size, IntegerRel2), [INFO] [stdout] 210 | Float(Size, FloatRel2), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Rel2` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Eqz` is never constructed [INFO] [stdout] --> wasm/src/syntax.rs:215:5 [INFO] [stdout] | [INFO] [stdout] 214 | enum IntegerRel1 { [INFO] [stdout] | ----------- variant in this enum [INFO] [stdout] 215 | Eqz, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `IntegerRel1` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Ne`, `Lt`, `Gt`, `Le`, and `Ge` are never constructed [INFO] [stdout] --> wasm/src/syntax.rs:221:5 [INFO] [stdout] | [INFO] [stdout] 219 | enum IntegerRel2 { [INFO] [stdout] | ----------- variants in this enum [INFO] [stdout] 220 | Eq, [INFO] [stdout] 221 | Ne, [INFO] [stdout] | ^^ [INFO] [stdout] 222 | Lt(Signedness), [INFO] [stdout] | ^^ [INFO] [stdout] 223 | Gt(Signedness), [INFO] [stdout] | ^^ [INFO] [stdout] 224 | Le(Signedness), [INFO] [stdout] | ^^ [INFO] [stdout] 225 | Ge(Signedness), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = note: `IntegerRel2` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Eq`, `Ne`, `Lt`, `Gt`, `Le`, and `Ge` are never constructed [INFO] [stdout] --> wasm/src/syntax.rs:230:5 [INFO] [stdout] | [INFO] [stdout] 229 | enum FloatRel2 { [INFO] [stdout] | --------- variants in this enum [INFO] [stdout] 230 | Eq, [INFO] [stdout] | ^^ [INFO] [stdout] 231 | Ne, [INFO] [stdout] | ^^ [INFO] [stdout] 232 | Lt, [INFO] [stdout] | ^^ [INFO] [stdout] 233 | Gt, [INFO] [stdout] | ^^ [INFO] [stdout] 234 | Le, [INFO] [stdout] | ^^ [INFO] [stdout] 235 | Ge, [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = note: `FloatRel2` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 28 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::io::Write` [INFO] [stdout] --> runtime/src/main.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::io::Write; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fs` [INFO] [stdout] --> runtime/src/main.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::fs; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `wasm` [INFO] [stdout] --> runtime/src/main.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use wasm; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::io::Write` [INFO] [stdout] --> runtime/src/main.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::io::Write; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fs` [INFO] [stdout] --> runtime/src/main.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use std::fs; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `wasm` [INFO] [stdout] --> runtime/src/main.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use wasm; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example0` is never used [INFO] [stdout] --> expressions/src/main.rs:15:4 [INFO] [stdout] | [INFO] [stdout] 15 | fn example0() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> expressions/src/parser.rs:17:14 [INFO] [stdout] | [INFO] [stdout] 17 | LexError(lexer::Error) [INFO] [stdout] | -------- ^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 17 | LexError(()) [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example0` is never used [INFO] [stdout] --> expressions/src/parser.rs:138:8 [INFO] [stdout] | [INFO] [stdout] 138 | pub fn example0() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example1` is never used [INFO] [stdout] --> expressions/src/parser.rs:153:8 [INFO] [stdout] | [INFO] [stdout] 153 | pub fn example1() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example2` is never used [INFO] [stdout] --> expressions/src/parser.rs:168:8 [INFO] [stdout] | [INFO] [stdout] 168 | pub fn example2() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> expressions/src/token.rs:6:14 [INFO] [stdout] | [INFO] [stdout] 6 | Operator(OperatorSymbol), [INFO] [stdout] | -------- ^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Token` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 6 | Operator(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `requested` and `found` are never read [INFO] [stdout] --> expressions/src/lexer.rs:33:16 [INFO] [stdout] | [INFO] [stdout] 33 | Expected { requested: Request, found: char }, [INFO] [stdout] | -------- ^^^^^^^^^ ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `position` and `tokens` are never used [INFO] [stdout] --> expressions/src/lexer.rs:53:12 [INFO] [stdout] | [INFO] [stdout] 43 | impl <'state> State<'state> { [INFO] [stdout] | --------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 53 | pub fn position(&self) -> &Position { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 58 | pub fn tokens(&self) -> &str { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example4` is never used [INFO] [stdout] --> expressions/src/lexer.rs:275:8 [INFO] [stdout] | [INFO] [stdout] 275 | pub fn example4() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example5` is never used [INFO] [stdout] --> expressions/src/lexer.rs:281:8 [INFO] [stdout] | [INFO] [stdout] 281 | pub fn example5() -> Result<(), Error> { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> expressions/src/expr.rs:6:11 [INFO] [stdout] | [INFO] [stdout] 6 | Nat32(Position, u32), [INFO] [stdout] | ----- ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 6 | Nat32((), u32), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> expressions/src/expr.rs:7:9 [INFO] [stdout] | [INFO] [stdout] 7 | Add(Position, Box, Box), [INFO] [stdout] | --- ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 7 | Add((), Box, Box), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> expressions/src/expr.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | Mul(Position, Box, Box), [INFO] [stdout] | --- ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 8 | Mul((), Box, Box), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Instruction` is never used [INFO] [stdout] --> expressions/src/expr.rs:19:10 [INFO] [stdout] | [INFO] [stdout] 19 | pub enum Instruction { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Instruction` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `InstructionPointer` is never used [INFO] [stdout] --> expressions/src/expr.rs:25:10 [INFO] [stdout] | [INFO] [stdout] 25 | pub type InstructionPointer = usize; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `State` is never constructed [INFO] [stdout] --> expressions/src/expr.rs:28:12 [INFO] [stdout] | [INFO] [stdout] 28 | pub struct State { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `State` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `RuntimeError` is never used [INFO] [stdout] --> expressions/src/expr.rs:35:10 [INFO] [stdout] | [INFO] [stdout] 35 | pub enum RuntimeError { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `RuntimeError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example0` is never used [INFO] [stdout] --> expressions/src/main.rs:15:4 [INFO] [stdout] | [INFO] [stdout] 15 | fn example0() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `show`, `eval`, and `compile` are never used [INFO] [stdout] --> expressions/src/expr.rs:51:12 [INFO] [stdout] | [INFO] [stdout] 40 | impl Expr { [INFO] [stdout] | --------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 51 | pub fn show(&self) -> String { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 60 | pub fn eval(&self) -> u32 { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 69 | pub fn compile(&self) -> Vec { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new` and `step` are never used [INFO] [stdout] --> expressions/src/expr.rs:93:12 [INFO] [stdout] | [INFO] [stdout] 92 | impl State { [INFO] [stdout] | ---------- associated items in this implementation [INFO] [stdout] 93 | pub fn new(program: Vec) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 106 | pub fn step(self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `TypeVar` is never used [INFO] [stdout] --> expressions/src/base.rs:4:6 [INFO] [stdout] | [INFO] [stdout] 4 | type TypeVar = usize; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ValueType` is never used [INFO] [stdout] --> expressions/src/base.rs:6:6 [INFO] [stdout] | [INFO] [stdout] 6 | enum ValueType { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ComputeType` is never used [INFO] [stdout] --> expressions/src/base.rs:12:6 [INFO] [stdout] | [INFO] [stdout] 12 | enum ComputeType { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FunctionType` is never constructed [INFO] [stdout] --> expressions/src/base.rs:18:8 [INFO] [stdout] | [INFO] [stdout] 18 | struct FunctionType { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TypeVarMapping` is never constructed [INFO] [stdout] --> expressions/src/base.rs:24:8 [INFO] [stdout] | [INFO] [stdout] 24 | struct TypeVarMapping { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> expressions/src/parser.rs:17:14 [INFO] [stdout] | [INFO] [stdout] 17 | LexError(lexer::Error) [INFO] [stdout] | -------- ^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 17 | LexError(()) [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TypeEnvironment` is never constructed [INFO] [stdout] --> expressions/src/base.rs:28:8 [INFO] [stdout] | [INFO] [stdout] 28 | struct TypeEnvironment { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example0` is never used [INFO] [stdout] --> expressions/src/parser.rs:138:8 [INFO] [stdout] | [INFO] [stdout] 138 | pub fn example0() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ValueTerms` is never used [INFO] [stdout] --> expressions/src/base.rs:60:6 [INFO] [stdout] | [INFO] [stdout] 60 | enum ValueTerms { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example1` is never used [INFO] [stdout] --> expressions/src/parser.rs:153:8 [INFO] [stdout] | [INFO] [stdout] 153 | pub fn example1() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example2` is never used [INFO] [stdout] --> expressions/src/parser.rs:168:8 [INFO] [stdout] | [INFO] [stdout] 168 | pub fn example2() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> expressions/src/token.rs:6:14 [INFO] [stdout] | [INFO] [stdout] 6 | Operator(OperatorSymbol), [INFO] [stdout] | -------- ^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Token` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 6 | Operator(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stdout] warning: fields `requested` and `found` are never read [INFO] [stdout] --> expressions/src/lexer.rs:33:16 [INFO] [stdout] | [INFO] [stdout] 33 | Expected { requested: Request, found: char }, [INFO] [stdout] | -------- ^^^^^^^^^ ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `position` and `tokens` are never used [INFO] [stdout] --> expressions/src/lexer.rs:53:12 [INFO] [stdout] | [INFO] [stdout] 43 | impl <'state> State<'state> { [INFO] [stdout] | --------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 53 | pub fn position(&self) -> &Position { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 58 | pub fn tokens(&self) -> &str { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example4` is never used [INFO] [stdout] --> expressions/src/lexer.rs:275:8 [INFO] [stdout] | [INFO] [stdout] 275 | pub fn example4() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example5` is never used [INFO] [stdout] --> expressions/src/lexer.rs:281:8 [INFO] [stdout] | [INFO] [stdout] 281 | pub fn example5() -> Result<(), Error> { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> expressions/src/expr.rs:6:11 [INFO] [stdout] | [INFO] [stdout] 6 | Nat32(Position, u32), [INFO] [stdout] | ----- ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 6 | Nat32((), u32), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> expressions/src/expr.rs:7:9 [INFO] [stdout] | [INFO] [stdout] 7 | Add(Position, Box, Box), [INFO] [stdout] | --- ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 7 | Add((), Box, Box), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> expressions/src/expr.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | Mul(Position, Box, Box), [INFO] [stdout] | --- ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Expr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 8 | Mul((), Box, Box), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Instruction` is never used [INFO] [stdout] --> expressions/src/expr.rs:19:10 [INFO] [stdout] | [INFO] [stdout] 19 | pub enum Instruction { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Instruction` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `InstructionPointer` is never used [INFO] [stdout] --> expressions/src/expr.rs:25:10 [INFO] [stdout] | [INFO] [stdout] 25 | pub type InstructionPointer = usize; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `State` is never constructed [INFO] [stdout] --> expressions/src/expr.rs:28:12 [INFO] [stdout] | [INFO] [stdout] 28 | pub struct State { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `State` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `RuntimeError` is never used [INFO] [stdout] --> expressions/src/expr.rs:35:10 [INFO] [stdout] | [INFO] [stdout] 35 | pub enum RuntimeError { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `RuntimeError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `show`, `eval`, and `compile` are never used [INFO] [stdout] --> expressions/src/expr.rs:51:12 [INFO] [stdout] | [INFO] [stdout] 40 | impl Expr { [INFO] [stdout] | --------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 51 | pub fn show(&self) -> String { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 60 | pub fn eval(&self) -> u32 { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 69 | pub fn compile(&self) -> Vec { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new` and `step` are never used [INFO] [stdout] --> expressions/src/expr.rs:93:12 [INFO] [stdout] | [INFO] [stdout] 92 | impl State { [INFO] [stdout] | ---------- associated items in this implementation [INFO] [stdout] 93 | pub fn new(program: Vec) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 106 | pub fn step(self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `TypeVar` is never used [INFO] [stdout] --> expressions/src/base.rs:4:6 [INFO] [stdout] | [INFO] [stdout] 4 | type TypeVar = usize; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ValueType` is never used [INFO] [stdout] --> expressions/src/base.rs:6:6 [INFO] [stdout] | [INFO] [stdout] 6 | enum ValueType { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ComputeType` is never used [INFO] [stdout] --> expressions/src/base.rs:12:6 [INFO] [stdout] | [INFO] [stdout] 12 | enum ComputeType { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FunctionType` is never constructed [INFO] [stdout] --> expressions/src/base.rs:18:8 [INFO] [stdout] | [INFO] [stdout] 18 | struct FunctionType { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TypeVarMapping` is never constructed [INFO] [stdout] --> expressions/src/base.rs:24:8 [INFO] [stdout] | [INFO] [stdout] 24 | struct TypeVarMapping { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TypeEnvironment` is never constructed [INFO] [stdout] --> expressions/src/base.rs:28:8 [INFO] [stdout] | [INFO] [stdout] 28 | struct TypeEnvironment { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ValueTerms` is never used [INFO] [stdout] --> expressions/src/base.rs:60:6 [INFO] [stdout] | [INFO] [stdout] 60 | enum ValueTerms { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 26 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 26 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Compiling syn v2.0.69 [INFO] [stderr] Checking string-interner v0.17.0 [INFO] [stderr] Compiling clap_derive v4.5.8 [INFO] [stderr] Checking clap v4.5.9 [INFO] [stderr] Checking ast v0.1.0 (/opt/rustwide/workdir/ast) [INFO] [stdout] warning: unused imports: `ForeignFunctionDeclaration` and `UserFunctionDeclaration` [INFO] [stdout] --> ast/src/parser/show.rs:1:86 [INFO] [stdout] | [INFO] [stdout] 1 | ...e, TypeDeclaration, FunctionDeclaration, ForeignFunctionDeclaration, UserFunctionDeclaration, RunDeclaration, EnumDeclaration, IndDecl... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `PreMsgTypeDeclaration` [INFO] [stdout] --> ast/src/parser/program.rs:9:118 [INFO] [stdout] | [INFO] [stdout] 9 | base::{State, Result, Error, PreProgram, Declaration, PreIndDeclaration, PreEnumDeclaration, PreTypeDeclaration, PreMsgTypeDeclaration}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ForeignFunctionDeclaration` and `UserFunctionDeclaration` [INFO] [stdout] --> ast/src/validation/type_formation.rs:1:110 [INFO] [stdout] | [INFO] [stdout] 1 | ...tructorDeclaration, FunctionDeclaration, ForeignFunctionDeclaration, UserFunctionDeclaration, RunDeclaration}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ForeignFunctionDeclaration` and `UserFunctionDeclaration` [INFO] [stdout] --> ast/src/parser/show.rs:1:86 [INFO] [stdout] | [INFO] [stdout] 1 | ...e, TypeDeclaration, FunctionDeclaration, ForeignFunctionDeclaration, UserFunctionDeclaration, RunDeclaration, EnumDeclaration, IndDecl... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `PreMsgTypeDeclaration` [INFO] [stdout] --> ast/src/parser/program.rs:9:118 [INFO] [stdout] | [INFO] [stdout] 9 | base::{State, Result, Error, PreProgram, Declaration, PreIndDeclaration, PreEnumDeclaration, PreTypeDeclaration, PreMsgTypeDeclaration}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ForeignFunctionDeclaration` and `UserFunctionDeclaration` [INFO] [stdout] --> ast/src/validation/type_formation.rs:1:110 [INFO] [stdout] | [INFO] [stdout] 1 | ...tructorDeclaration, FunctionDeclaration, ForeignFunctionDeclaration, UserFunctionDeclaration, RunDeclaration}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> ast/src/validation/base.rs:88:13 [INFO] [stdout] | [INFO] [stdout] 66 | ... FunctionOutputTypeDoesntMatchExpectedType { function_name, expected_type, received_type } => format!("Function's '{}' output type i... [INFO] [stdout] | ----------------------------------------------------------------------------------------- matches all the relevant values [INFO] [stdout] ... [INFO] [stdout] 88 | ... FunctionOutputTypeDoesntMatchExpectedType { function_name, expected_type, received_type } => format!("Function's '{}' output type i... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no value can reach this [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> ast/src/validation/base.rs:88:13 [INFO] [stdout] | [INFO] [stdout] 66 | ... FunctionOutputTypeDoesntMatchExpectedType { function_name, expected_type, received_type } => format!("Function's '{}' output type i... [INFO] [stdout] | ----------------------------------------------------------------------------------------- matches all the relevant values [INFO] [stdout] ... [INFO] [stdout] 88 | ... FunctionOutputTypeDoesntMatchExpectedType { function_name, expected_type, received_type } => format!("Function's '{}' output type i... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no value can reach this [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: for loop over a `&Option`. This is more readably written as an `if let` statement [INFO] [stdout] --> ast/src/validation/type_formation.rs:30:17 [INFO] [stdout] | [INFO] [stdout] 30 | for decl in &program.run_declaration { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(for_loops_over_fallibles)]` on by default [INFO] [stdout] help: to check pattern in a loop use `while let` [INFO] [stdout] | [INFO] [stdout] 30 | while let Some(decl) = &program.run_declaration { [INFO] [stdout] | ~~~~~~~~~~~~~~~ ~~~ [INFO] [stdout] help: consider using `if let` to clear intent [INFO] [stdout] | [INFO] [stdout] 30 | if let Some(decl) = &program.run_declaration { [INFO] [stdout] | ~~~~~~~~~~~~ ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: for loop over a `&Option`. This is more readably written as an `if let` statement [INFO] [stdout] --> ast/src/validation/term_formation.rs:27:17 [INFO] [stdout] | [INFO] [stdout] 27 | for decl in &program.run_declaration { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: to check pattern in a loop use `while let` [INFO] [stdout] | [INFO] [stdout] 27 | while let Some(decl) = &program.run_declaration { [INFO] [stdout] | ~~~~~~~~~~~~~~~ ~~~ [INFO] [stdout] help: consider using `if let` to clear intent [INFO] [stdout] | [INFO] [stdout] 27 | if let Some(decl) = &program.run_declaration { [INFO] [stdout] | ~~~~~~~~~~~~ ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: for loop over a `&Option`. This is more readably written as an `if let` statement [INFO] [stdout] --> ast/src/validation/type_formation.rs:30:17 [INFO] [stdout] | [INFO] [stdout] 30 | for decl in &program.run_declaration { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(for_loops_over_fallibles)]` on by default [INFO] [stdout] help: to check pattern in a loop use `while let` [INFO] [stdout] | [INFO] [stdout] 30 | while let Some(decl) = &program.run_declaration { [INFO] [stdout] | ~~~~~~~~~~~~~~~ ~~~ [INFO] [stdout] help: consider using `if let` to clear intent [INFO] [stdout] | [INFO] [stdout] 30 | if let Some(decl) = &program.run_declaration { [INFO] [stdout] | ~~~~~~~~~~~~ ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: for loop over a `&Option`. This is more readably written as an `if let` statement [INFO] [stdout] --> ast/src/validation/term_formation.rs:27:17 [INFO] [stdout] | [INFO] [stdout] 27 | for decl in &program.run_declaration { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: to check pattern in a loop use `while let` [INFO] [stdout] | [INFO] [stdout] 27 | while let Some(decl) = &program.run_declaration { [INFO] [stdout] | ~~~~~~~~~~~~~~~ ~~~ [INFO] [stdout] help: consider using `if let` to clear intent [INFO] [stdout] | [INFO] [stdout] 27 | if let Some(decl) = &program.run_declaration { [INFO] [stdout] | ~~~~~~~~~~~~ ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 6 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 6 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking compiler v0.1.0 (/opt/rustwide/workdir/compiler) [INFO] [stdout] warning: unused import: `super::*` [INFO] [stdout] --> compiler/src/interpreter.rs:267:9 [INFO] [stdout] | [INFO] [stdout] 267 | use super::*; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `FunctionImport`, `call_closure`, `call`, `constant`, `partial_apply`, `pattern_match`, `project`, `tuple`, and `var` [INFO] [stdout] --> compiler/src/interpreter.rs:268:39 [INFO] [stdout] | [INFO] [stdout] 268 | use crate::graph_memory_machine::{FunctionImport, constant, tuple, project, var, call, call_closure, partial_apply, pattern_match}; [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^ ^^^^^ ^^^^^^^ ^^^ ^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `MemoryImport`, `memory::Limit`, and `return_call_indirect` [INFO] [stdout] --> compiler/src/gmm_compiler.rs:4:81 [INFO] [stdout] | [INFO] [stdout] 4 | ...yntax::{CustomSection, Module, TypedFunctionImport, TypedFunction, Global, MemoryImport, fn_type, Expression, call, return_call, call_indirect, return_call_indirect, i... [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 9 | ... memory::Limit, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `call_closure`, `partial_apply`, `pattern_match`, and `project` [INFO] [stdout] --> compiler/src/main.rs:102:93 [INFO] [stdout] | [INFO] [stdout] 102 | ...rImport, Function, constant, tuple, project, var, call, call_closure, partial_apply, pattern_match}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `show_function` and `show_term` [INFO] [stdout] --> compiler/src/main.rs:210:16 [INFO] [stdout] | [INFO] [stdout] 210 | use show::{show_term, show_function, show_program}; [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `project` [INFO] [stdout] --> compiler/src/interpreter.rs:268:72 [INFO] [stdout] | [INFO] [stdout] 268 | use crate::graph_memory_machine::{FunctionImport, constant, tuple, project, var, call, call_closure, partial_apply, pattern_match}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `MemoryImport`, `memory::Limit`, and `return_call_indirect` [INFO] [stdout] --> compiler/src/gmm_compiler.rs:4:81 [INFO] [stdout] | [INFO] [stdout] 4 | ...yntax::{CustomSection, Module, TypedFunctionImport, TypedFunction, Global, MemoryImport, fn_type, Expression, call, return_call, call_indirect, return_call_indirect, i... [INFO] [stdout] | ^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 9 | ... memory::Limit, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `call_closure`, `partial_apply`, `pattern_match`, and `project` [INFO] [stdout] --> compiler/src/main.rs:102:93 [INFO] [stdout] | [INFO] [stdout] 102 | ...rImport, Function, constant, tuple, project, var, call, call_closure, partial_apply, pattern_match}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `show_function` and `show_term` [INFO] [stdout] --> compiler/src/main.rs:210:16 [INFO] [stdout] | [INFO] [stdout] 210 | use show::{show_term, show_function, show_program}; [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ForeignFunctionDeclaration` and `UserFunctionDeclaration` [INFO] [stdout] --> ast/src/parser/show.rs:1:86 [INFO] [stdout] | [INFO] [stdout] 1 | ...e, TypeDeclaration, FunctionDeclaration, ForeignFunctionDeclaration, UserFunctionDeclaration, RunDeclaration, EnumDeclaration, IndDecl... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `PreMsgTypeDeclaration` [INFO] [stdout] --> ast/src/parser/program.rs:9:118 [INFO] [stdout] | [INFO] [stdout] 9 | base::{State, Result, Error, PreProgram, Declaration, PreIndDeclaration, PreEnumDeclaration, PreTypeDeclaration, PreMsgTypeDeclaration}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ForeignFunctionDeclaration` and `UserFunctionDeclaration` [INFO] [stdout] --> ast/src/validation/type_formation.rs:1:110 [INFO] [stdout] | [INFO] [stdout] 1 | ...tructorDeclaration, FunctionDeclaration, ForeignFunctionDeclaration, UserFunctionDeclaration, RunDeclaration}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ForeignFunctionDeclaration` and `UserFunctionDeclaration` [INFO] [stdout] --> ast/src/parser/show.rs:1:86 [INFO] [stdout] | [INFO] [stdout] 1 | ...e, TypeDeclaration, FunctionDeclaration, ForeignFunctionDeclaration, UserFunctionDeclaration, RunDeclaration, EnumDeclaration, IndDecl... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `PreMsgTypeDeclaration` [INFO] [stdout] --> ast/src/parser/program.rs:9:118 [INFO] [stdout] | [INFO] [stdout] 9 | base::{State, Result, Error, PreProgram, Declaration, PreIndDeclaration, PreEnumDeclaration, PreTypeDeclaration, PreMsgTypeDeclaration}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ForeignFunctionDeclaration` and `UserFunctionDeclaration` [INFO] [stdout] --> ast/src/validation/type_formation.rs:1:110 [INFO] [stdout] | [INFO] [stdout] 1 | ...tructorDeclaration, FunctionDeclaration, ForeignFunctionDeclaration, UserFunctionDeclaration, RunDeclaration}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `function` [INFO] [stdout] --> compiler/src/interpreter.rs:96:18 [INFO] [stdout] | [INFO] [stdout] 96 | let Some(function) = self.functions.get(fn_name) else { return Err(RuntimeError::UndefinedFunction(fn_name)) }; [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_function` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `function` [INFO] [stdout] --> compiler/src/interpreter.rs:96:18 [INFO] [stdout] | [INFO] [stdout] 96 | let Some(function) = self.functions.get(fn_name) else { return Err(RuntimeError::UndefinedFunction(fn_name)) }; [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_function` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `terms` [INFO] [stdout] --> compiler/src/show.rs:207:13 [INFO] [stdout] | [INFO] [stdout] 207 | Seq(terms) => { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_terms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `term` [INFO] [stdout] --> compiler/src/main.rs:173:9 [INFO] [stdout] | [INFO] [stdout] 173 | let term = { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_term` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `add` [INFO] [stdout] --> compiler/src/main.rs:174:13 [INFO] [stdout] | [INFO] [stdout] 174 | let add = 0; [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_add` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `function` [INFO] [stdout] --> compiler/src/main.rs:197:9 [INFO] [stdout] | [INFO] [stdout] 197 | let function = { [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_function` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example_compilation0` is never used [INFO] [stdout] --> compiler/src/main.rs:101:4 [INFO] [stdout] | [INFO] [stdout] 101 | fn example_compilation0() -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example0` is never used [INFO] [stdout] --> compiler/src/main.rs:144:4 [INFO] [stdout] | [INFO] [stdout] 144 | fn example0() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Seq` is never constructed [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 9 | pub enum Term { [INFO] [stdout] | ---- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 32 | Seq(Vec), [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Term` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `constant` is never used [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:73:8 [INFO] [stdout] | [INFO] [stdout] 73 | pub fn constant(v: Variant) -> Term { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `byte_array` is never used [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:77:8 [INFO] [stdout] | [INFO] [stdout] 77 | pub fn byte_array(bytes: Vec) -> Term { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `tuple` is never used [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:81:8 [INFO] [stdout] | [INFO] [stdout] 81 | pub fn tuple(v: Variant, components: Vec) -> Term { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `project` is never used [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:85:8 [INFO] [stdout] | [INFO] [stdout] 85 | pub fn project(tuple: Term, i: ComponentIndex) -> Term { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `first` is never used [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:89:8 [INFO] [stdout] | [INFO] [stdout] 89 | pub fn first(tuple: Term) -> Term { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `second` is never used [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:93:8 [INFO] [stdout] | [INFO] [stdout] 93 | pub fn second(tuple: Term) -> Term { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `call` is never used [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:97:8 [INFO] [stdout] | [INFO] [stdout] 97 | pub fn call(fn_name: FunctionName, args: Vec) -> Term { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `call_closure` is never used [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:101:8 [INFO] [stdout] | [INFO] [stdout] 101 | pub fn call_closure(closure_term: Term, args: Vec) -> Term { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `partial_apply` is never used [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:105:8 [INFO] [stdout] | [INFO] [stdout] 105 | pub fn partial_apply(fn_name: FunctionName, args: Vec) -> Term { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `var` is never used [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:109:8 [INFO] [stdout] | [INFO] [stdout] 109 | pub fn var(var_name: VarName) -> Term { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `let_bind` is never used [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:113:8 [INFO] [stdout] | [INFO] [stdout] 113 | pub fn let_bind(args: Vec, e1: Term) -> Term { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `pattern_match` is never used [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:117:8 [INFO] [stdout] | [INFO] [stdout] 117 | pub fn pattern_match(arg: Term, branches: Vec<(Pattern, Term)>) -> Term { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `seq` is never used [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:121:8 [INFO] [stdout] | [INFO] [stdout] 121 | pub fn seq(terms: Vec) -> Term { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Result` is never used [INFO] [stdout] --> compiler/src/interpreter.rs:3:6 [INFO] [stdout] | [INFO] [stdout] 3 | type Result = std::result::Result; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `RuntimeError` is never used [INFO] [stdout] --> compiler/src/interpreter.rs:6:6 [INFO] [stdout] | [INFO] [stdout] 6 | enum RuntimeError { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Value` is never used [INFO] [stdout] --> compiler/src/interpreter.rs:25:6 [INFO] [stdout] | [INFO] [stdout] 25 | enum Value { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Closure` is never constructed [INFO] [stdout] --> compiler/src/interpreter.rs:34:8 [INFO] [stdout] | [INFO] [stdout] 34 | struct Closure { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `VarEnvironment` is never constructed [INFO] [stdout] --> compiler/src/interpreter.rs:40:8 [INFO] [stdout] | [INFO] [stdout] 40 | struct VarEnvironment(Vec); [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `PrimitiveFunction` is never used [INFO] [stdout] --> compiler/src/interpreter.rs:42:6 [INFO] [stdout] | [INFO] [stdout] 42 | type PrimitiveFunction = fn (Vec) -> Result; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FunctionEnvironment` is never constructed [INFO] [stdout] --> compiler/src/interpreter.rs:45:8 [INFO] [stdout] | [INFO] [stdout] 45 | struct FunctionEnvironment { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `FunctionOrPrimitive` is never used [INFO] [stdout] --> compiler/src/interpreter.rs:50:6 [INFO] [stdout] | [INFO] [stdout] 50 | enum FunctionOrPrimitive { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `matches` is never used [INFO] [stdout] --> compiler/src/interpreter.rs:56:8 [INFO] [stdout] | [INFO] [stdout] 55 | impl Value { [INFO] [stdout] | ---------- method in this implementation [INFO] [stdout] 56 | fn matches(&self, pattern: &Pattern) -> Result { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `lookup`, `push_binding`, and `pop_binding` are never used [INFO] [stdout] --> compiler/src/interpreter.rs:71:8 [INFO] [stdout] | [INFO] [stdout] 70 | impl VarEnvironment { [INFO] [stdout] | ------------------- associated items in this implementation [INFO] [stdout] 71 | fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 75 | fn lookup(&self, var_name: VarName) -> Result { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 82 | fn push_binding(&mut self, value: Value) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 86 | fn pop_binding(&mut self) -> Result { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `apply`, `interpret_terms`, and `interpret` are never used [INFO] [stdout] --> compiler/src/interpreter.rs:95:8 [INFO] [stdout] | [INFO] [stdout] 94 | impl FunctionEnvironment { [INFO] [stdout] | ------------------------ methods in this implementation [INFO] [stdout] 95 | fn apply(&self, fn_name: FunctionName, args: Vec) -> Result { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 113 | fn interpret_terms(&self, terms: &[Term], var_env: &mut VarEnvironment) -> Result> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 122 | fn interpret(&self, term: &Term, var_env: &mut VarEnvironment) -> Result { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `run` is never used [INFO] [stdout] --> compiler/src/interpreter.rs:199:4 [INFO] [stdout] | [INFO] [stdout] 199 | fn run(program: Program) -> Result { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `increment` is never used [INFO] [stdout] --> compiler/src/interpreter.rs:230:4 [INFO] [stdout] | [INFO] [stdout] 230 | fn increment(args: Vec) -> Result { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `decrement` is never used [INFO] [stdout] --> compiler/src/interpreter.rs:241:4 [INFO] [stdout] | [INFO] [stdout] 241 | fn decrement(args: Vec) -> Result { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `addition` is never used [INFO] [stdout] --> compiler/src/interpreter.rs:252:4 [INFO] [stdout] | [INFO] [stdout] 252 | fn addition(args: Vec) -> Result { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `var_index_received` and `number_of_parameters` are never read [INFO] [stdout] --> compiler/src/gmm_compiler.rs:17:27 [INFO] [stdout] | [INFO] [stdout] 17 | VariableOutOfBounds { var_index_received: gmm::VarName, number_of_parameters: usize }, [INFO] [stdout] | ------------------- ^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `CompilationError` 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 `fn_name_received` and `number_of_all_functions_available_in_program` are never read [INFO] [stdout] --> compiler/src/gmm_compiler.rs:18:27 [INFO] [stdout] | [INFO] [stdout] 18 | FunctionOutOfBounds { fn_name_received: gmm::FunctionName, number_of_all_functions_available_in_program: usize }, [INFO] [stdout] | ------------------- ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `CompilationError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `NumberOfPrimitiveFunctionsMismatch` is never constructed [INFO] [stdout] --> compiler/src/gmm_compiler.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 15 | pub enum CompilationError { [INFO] [stdout] | ---------------- variant in this enum [INFO] [stdout] 16 | NumberOfPrimitiveFunctionsMismatch { number_of_primitive_functions_assumed_in_program: usize, number_of_primitive_functions_in_librar... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `CompilationError` 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 `get_const`, `get_tuple_pointer`, `get_tuple_variant`, `read_tag`, and `make_env_from` are never read [INFO] [stdout] --> compiler/src/runtime.rs:15:9 [INFO] [stdout] | [INFO] [stdout] 11 | pub struct Runtime { [INFO] [stdout] | ------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 15 | pub get_const: FunctionIndex, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 16 | pub tuple: FunctionIndex, [INFO] [stdout] 17 | pub get_tuple_pointer: FunctionIndex, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] 18 | pub get_tuple_variant: FunctionIndex, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] 19 | pub tuple_project: FunctionIndex, [INFO] [stdout] 20 | pub read_tag: FunctionIndex, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 23 | pub make_env_from: FunctionIndex, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Runtime` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `terms` [INFO] [stdout] --> compiler/src/show.rs:207:13 [INFO] [stdout] | [INFO] [stdout] 207 | Seq(terms) => { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_terms` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 45 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `term` [INFO] [stdout] --> compiler/src/main.rs:173:9 [INFO] [stdout] | [INFO] [stdout] 173 | let term = { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_term` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `add` [INFO] [stdout] --> compiler/src/main.rs:174:13 [INFO] [stdout] | [INFO] [stdout] 174 | let add = 0; [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_add` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `function` [INFO] [stdout] --> compiler/src/main.rs:197:9 [INFO] [stdout] | [INFO] [stdout] 197 | let function = { [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_function` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example_compilation0` is never used [INFO] [stdout] --> compiler/src/main.rs:101:4 [INFO] [stdout] | [INFO] [stdout] 101 | fn example_compilation0() -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example0` is never used [INFO] [stdout] --> compiler/src/main.rs:144:4 [INFO] [stdout] | [INFO] [stdout] 144 | fn example0() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Seq` is never constructed [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 9 | pub enum Term { [INFO] [stdout] | ---- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 32 | Seq(Vec), [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Term` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `byte_array` is never used [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:77:8 [INFO] [stdout] | [INFO] [stdout] 77 | pub fn byte_array(bytes: Vec) -> Term { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `project` is never used [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:85:8 [INFO] [stdout] | [INFO] [stdout] 85 | pub fn project(tuple: Term, i: ComponentIndex) -> Term { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `first` is never used [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:89:8 [INFO] [stdout] | [INFO] [stdout] 89 | pub fn first(tuple: Term) -> Term { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `second` is never used [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:93:8 [INFO] [stdout] | [INFO] [stdout] 93 | pub fn second(tuple: Term) -> Term { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `let_bind` is never used [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:113:8 [INFO] [stdout] | [INFO] [stdout] 113 | pub fn let_bind(args: Vec, e1: Term) -> Term { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `seq` is never used [INFO] [stdout] --> compiler/src/graph_memory_machine.rs:121:8 [INFO] [stdout] | [INFO] [stdout] 121 | pub fn seq(terms: Vec) -> Term { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> compiler/src/interpreter.rs:7:23 [INFO] [stdout] | [INFO] [stdout] 7 | UndefinedVariable(VarName), [INFO] [stdout] | ----------------- ^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `RuntimeError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 7 | UndefinedVariable(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> compiler/src/interpreter.rs:8:23 [INFO] [stdout] | [INFO] [stdout] 8 | UndefinedFunction(FunctionName), [INFO] [stdout] | ----------------- ^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `RuntimeError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 8 | UndefinedFunction(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `expected` and `received` are never read [INFO] [stdout] --> compiler/src/interpreter.rs:9:30 [INFO] [stdout] | [INFO] [stdout] 9 | WrongNumberOfArguments { expected: usize, received: usize }, [INFO] [stdout] | ---------------------- ^^^^^^^^ ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `RuntimeError` 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 `import` is never read [INFO] [stdout] --> compiler/src/interpreter.rs:21:36 [INFO] [stdout] | [INFO] [stdout] 21 | UnsupportedPrimitiveFunction { import: FunctionImport } [INFO] [stdout] | ---------------------------- ^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `RuntimeError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `ExpectedByteArray` is never constructed [INFO] [stdout] --> compiler/src/interpreter.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 6 | enum RuntimeError { [INFO] [stdout] | ------------ variant in this enum [INFO] [stdout] ... [INFO] [stdout] 11 | ExpectedByteArray, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `RuntimeError` 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 `var_index_received` and `number_of_parameters` are never read [INFO] [stdout] --> compiler/src/gmm_compiler.rs:17:27 [INFO] [stdout] | [INFO] [stdout] 17 | VariableOutOfBounds { var_index_received: gmm::VarName, number_of_parameters: usize }, [INFO] [stdout] | ------------------- ^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `CompilationError` 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 `fn_name_received` and `number_of_all_functions_available_in_program` are never read [INFO] [stdout] --> compiler/src/gmm_compiler.rs:18:27 [INFO] [stdout] | [INFO] [stdout] 18 | FunctionOutOfBounds { fn_name_received: gmm::FunctionName, number_of_all_functions_available_in_program: usize }, [INFO] [stdout] | ------------------- ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `CompilationError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `NumberOfPrimitiveFunctionsMismatch` is never constructed [INFO] [stdout] --> compiler/src/gmm_compiler.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 15 | pub enum CompilationError { [INFO] [stdout] | ---------------- variant in this enum [INFO] [stdout] 16 | NumberOfPrimitiveFunctionsMismatch { number_of_primitive_functions_assumed_in_program: usize, number_of_primitive_functions_in_librar... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `CompilationError` 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 `get_const`, `get_tuple_pointer`, `get_tuple_variant`, `read_tag`, and `make_env_from` are never read [INFO] [stdout] --> compiler/src/runtime.rs:15:9 [INFO] [stdout] | [INFO] [stdout] 11 | pub struct Runtime { [INFO] [stdout] | ------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 15 | pub get_const: FunctionIndex, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 16 | pub tuple: FunctionIndex, [INFO] [stdout] 17 | pub get_tuple_pointer: FunctionIndex, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] 18 | pub get_tuple_variant: FunctionIndex, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] 19 | pub tuple_project: FunctionIndex, [INFO] [stdout] 20 | pub read_tag: FunctionIndex, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 23 | pub make_env_from: FunctionIndex, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Runtime` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 27 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> ast/src/validation/base.rs:88:13 [INFO] [stdout] | [INFO] [stdout] 66 | ... FunctionOutputTypeDoesntMatchExpectedType { function_name, expected_type, received_type } => format!("Function's '{}' output type i... [INFO] [stdout] | ----------------------------------------------------------------------------------------- matches all the relevant values [INFO] [stdout] ... [INFO] [stdout] 88 | ... FunctionOutputTypeDoesntMatchExpectedType { function_name, expected_type, received_type } => format!("Function's '{}' output type i... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no value can reach this [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> ast/src/validation/base.rs:88:13 [INFO] [stdout] | [INFO] [stdout] 66 | ... FunctionOutputTypeDoesntMatchExpectedType { function_name, expected_type, received_type } => format!("Function's '{}' output type i... [INFO] [stdout] | ----------------------------------------------------------------------------------------- matches all the relevant values [INFO] [stdout] ... [INFO] [stdout] 88 | ... FunctionOutputTypeDoesntMatchExpectedType { function_name, expected_type, received_type } => format!("Function's '{}' output type i... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no value can reach this [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> ast/src/parser/base.rs:20:14 [INFO] [stdout] | [INFO] [stdout] 20 | LexError(lexer::ErrorWithPosition), [INFO] [stdout] | -------- ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 20 | LexError(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `received` is never read [INFO] [stdout] --> ast/src/parser/base.rs:21:40 [INFO] [stdout] | [INFO] [stdout] 21 | ExpectedTypeConstructorOrTypeVar { received: Identifier }, [INFO] [stdout] | -------------------------------- ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `received` is never read [INFO] [stdout] --> ast/src/parser/base.rs:22:59 [INFO] [stdout] | [INFO] [stdout] 22 | ExpectedTypeConstructorOrTypeVarOrAnythingInPattern { received: Identifier }, [INFO] [stdout] | --------------------------------------------------- ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `received` is never read [INFO] [stdout] --> ast/src/parser/base.rs:23:20 [INFO] [stdout] | [INFO] [stdout] 23 | ExpectedTerm { received: Identifier }, [INFO] [stdout] | ------------ ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `received` is never read [INFO] [stdout] --> ast/src/parser/base.rs:24:31 [INFO] [stdout] | [INFO] [stdout] 24 | ExpectedTypeConstructor { received: Identifier }, [INFO] [stdout] | ----------------------- ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `received` is never read [INFO] [stdout] --> ast/src/parser/base.rs:25:29 [INFO] [stdout] | [INFO] [stdout] 25 | ExpectedPrimitiveType { received: Type }, [INFO] [stdout] | --------------------- ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `duplicates` is never read [INFO] [stdout] --> ast/src/parser/base.rs:26:30 [INFO] [stdout] | [INFO] [stdout] 26 | DuplicateVariableNames { duplicates: Vec }, [INFO] [stdout] | ---------------------- ^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `type_duplicates`, `constructor_duplicates`, and `function_duplicates` are never read [INFO] [stdout] --> ast/src/parser/base.rs:30:9 [INFO] [stdout] | [INFO] [stdout] 29 | DuplicateNames { [INFO] [stdout] | -------------- fields in this variant [INFO] [stdout] 30 | type_duplicates: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 31 | constructor_duplicates: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 32 | function_duplicates: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `received` is never read [INFO] [stdout] --> ast/src/parser/base.rs:34:28 [INFO] [stdout] | [INFO] [stdout] 34 | TypeHasForbiddenName { received: String }, [INFO] [stdout] | -------------------- ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `declared_in_type` and `parameters` are never read [INFO] [stdout] --> ast/src/parser/base.rs:39:67 [INFO] [stdout] | [INFO] [stdout] 39 | FunctionHasDifferentNumberOfParametersThanDeclaredInItsType { declared_in_type: usize, parameters: usize }, [INFO] [stdout] | ----------------------------------------------------------- ^^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `PreMsgTypeDeclaration` is never constructed [INFO] [stdout] --> ast/src/parser/base.rs:105:12 [INFO] [stdout] | [INFO] [stdout] 105 | pub struct PreMsgTypeDeclaration { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `PreMsgTypeDeclaration` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `read_char_or_fail_when_end` and `consume_char_or_fail_when_end` are never used [INFO] [stdout] --> ast/src/parser/base.rs:258:12 [INFO] [stdout] | [INFO] [stdout] 186 | impl <'lex_state, 'interner> State<'lex_state, 'interner> { [INFO] [stdout] | --------------------------------------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 258 | pub fn read_char_or_fail_when_end(&mut self) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 262 | pub fn consume_char_or_fail_when_end(&mut self) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `position` is never read [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:17:9 [INFO] [stdout] | [INFO] [stdout] 16 | pub struct ErrorWithPosition { [INFO] [stdout] | ----------------- field in this struct [INFO] [stdout] 17 | pub position: Position, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ErrorWithPosition` 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 `requested` and `found` are never read [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:24:16 [INFO] [stdout] | [INFO] [stdout] 24 | Expected { requested: Request, found: String }, [INFO] [stdout] | -------- ^^^^^^^^^ ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `found` is never read [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:25:19 [INFO] [stdout] | [INFO] [stdout] 25 | ExpectedI32 { found: String }, [INFO] [stdout] | ----------- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `found` is never read [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:26:19 [INFO] [stdout] | [INFO] [stdout] 26 | ExpectedF32 { found: String }, [INFO] [stdout] | ----------- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `error` is never read [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:27:34 [INFO] [stdout] | [INFO] [stdout] 27 | ExpectedF32ParseFloatError { error: std::num::ParseFloatError }, [INFO] [stdout] | -------------------------- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `found` is never read [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:28:64 [INFO] [stdout] | [INFO] [stdout] 28 | ExpectedValidCharacterAfterEscapeSequenceInStringLiteral { found: String }, [INFO] [stdout] | -------------------------------------------------------- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `found` is never read [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:29:51 [INFO] [stdout] | [INFO] [stdout] 29 | ExpectedValidUnicodeSequenceInStringLiteral { found: String }, [INFO] [stdout] | ------------------------------------------- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `found` is never read [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:30:61 [INFO] [stdout] | [INFO] [stdout] 30 | ExpectedOpeningBraceForUnicodeSequenceInStringLiteral { found: String }, [INFO] [stdout] | ----------------------------------------------------- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `found` is never read [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:31:61 [INFO] [stdout] | [INFO] [stdout] 31 | ExpectedClosingBraceForUnicodeSequenceInStringLiteral { found: String }, [INFO] [stdout] | ----------------------------------------------------- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `End` is never constructed [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:76:5 [INFO] [stdout] | [INFO] [stdout] 63 | pub enum Request { [INFO] [stdout] | ------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 76 | End, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Request` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `chars` and `request_keyword` are never used [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:108:12 [INFO] [stdout] | [INFO] [stdout] 93 | impl <'state> State<'state> { [INFO] [stdout] | --------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 108 | pub fn chars(&'state mut self) -> &mut Chars<'state> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 305 | pub fn request_keyword(&mut self, keyword: token::Keyword) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> ast/src/parser/lex/token.rs:12:15 [INFO] [stdout] | [INFO] [stdout] 12 | Separator(SeparatorSymbol), [INFO] [stdout] | --------- ^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Token` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 12 | Separator(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Quote` and `Int32` are never constructed [INFO] [stdout] --> ast/src/parser/lex/token.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 2 | pub enum Token { [INFO] [stdout] | ----- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 9 | Quote, [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 14 | Int32(i32), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Token` 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: variants `Let`, `LocalLet`, `Match`, `Fold`, `Function`, and `Apply` are never constructed [INFO] [stdout] --> ast/src/parser/lex/token.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 19 | pub enum Keyword { [INFO] [stdout] | ------- variants in this enum [INFO] [stdout] 20 | Let, [INFO] [stdout] | ^^^ [INFO] [stdout] 21 | Run, [INFO] [stdout] 22 | LocalLet, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 32 | Match, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 33 | Fold, [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 37 | Function, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 38 | Apply, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Keyword` 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 `And` is never constructed [INFO] [stdout] --> ast/src/parser/lex/token.rs:46:5 [INFO] [stdout] | [INFO] [stdout] 43 | pub enum SeparatorSymbol { [INFO] [stdout] | --------------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 46 | And, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `SeparatorSymbol` 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 `external_name` is never read [INFO] [stdout] --> ast/src/base.rs:130:9 [INFO] [stdout] | [INFO] [stdout] 127 | pub struct ForeignFunctionDeclaration { [INFO] [stdout] | -------------------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 130 | pub external_name: ExternalName, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ForeignFunctionDeclaration` 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 `0` is never read [INFO] [stdout] --> ast/src/base.rs:179:9 [INFO] [stdout] | [INFO] [stdout] 179 | Int(i32), [INFO] [stdout] | --- ^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 179 | Int(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> ast/src/base.rs:180:11 [INFO] [stdout] | [INFO] [stdout] 180 | Float(f32), [INFO] [stdout] | ----- ^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 180 | Float(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> ast/src/base.rs:181:19 [INFO] [stdout] | [INFO] [stdout] 181 | StringLiteral(String), [INFO] [stdout] | ------------- ^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 181 | StringLiteral(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> ast/src/base.rs:205:9 [INFO] [stdout] | [INFO] [stdout] 205 | Int(i32), [INFO] [stdout] | --- ^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Pattern` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 205 | Int(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> ast/src/base.rs:206:14 [INFO] [stdout] | [INFO] [stdout] 206 | Anything(Identifier), [INFO] [stdout] | -------- ^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Pattern` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 206 | Anything(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `constructors` is never used [INFO] [stdout] --> ast/src/base.rs:284:12 [INFO] [stdout] | [INFO] [stdout] 215 | impl TypeDeclaration { [INFO] [stdout] | -------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 284 | pub fn constructors(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `external_name` is never used [INFO] [stdout] --> ast/src/base.rs:417:12 [INFO] [stdout] | [INFO] [stdout] 412 | impl ForeignFunctionDeclaration { [INFO] [stdout] | ------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 417 | pub fn external_name(&self) -> ExternalName { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Term` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:8:10 [INFO] [stdout] | [INFO] [stdout] 8 | pub enum Term { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Term` 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: enum `Pattern` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:26:10 [INFO] [stdout] | [INFO] [stdout] 26 | pub enum Pattern { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Pattern` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `PatternBranch` is never constructed [INFO] [stdout] --> ast/src/desugared_base.rs:34:12 [INFO] [stdout] | [INFO] [stdout] 34 | pub struct PatternBranch { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `PatternBranch` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TypedTerm` is never constructed [INFO] [stdout] --> ast/src/desugared_base.rs:40:12 [INFO] [stdout] | [INFO] [stdout] 40 | pub struct TypedTerm { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypedTerm` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Function` is never constructed [INFO] [stdout] --> ast/src/desugared_base.rs:46:12 [INFO] [stdout] | [INFO] [stdout] 46 | pub struct Function { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Function` 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: function `desugar_typed_term` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:51:8 [INFO] [stdout] | [INFO] [stdout] 51 | pub fn desugar_typed_term(typed_term: &base::TypedTerm) -> TypedTerm { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `desugar_function` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:55:8 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn desugar_function(function: &base::Function) -> Function { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `desugar_pattern_branch` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:59:4 [INFO] [stdout] | [INFO] [stdout] 59 | fn desugar_pattern_branch(pattern_branch: &base::PatternBranch) -> PatternBranch { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `desugar_term` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:81:8 [INFO] [stdout] | [INFO] [stdout] 81 | pub fn desugar_term(term: &base::Term) -> Term { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `desugar_do_expression` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:104:4 [INFO] [stdout] | [INFO] [stdout] 104 | fn desugar_do_expression(bindings: &[base::DoBinding], body: &base::Term) -> Term { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `free_variables` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:140:12 [INFO] [stdout] | [INFO] [stdout] 139 | impl Function { [INFO] [stdout] | ------------- method in this implementation [INFO] [stdout] 140 | pub fn free_variables(&self) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Env` is never constructed [INFO] [stdout] --> ast/src/desugared_base.rs:147:8 [INFO] [stdout] | [INFO] [stdout] 147 | struct Env { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> ast/src/desugared_base.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 153 | impl Env { [INFO] [stdout] | -------- associated items in this implementation [INFO] [stdout] 154 | fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 158 | fn open(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 162 | fn close(&mut self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 166 | fn extend_var(&mut self, var: &Variable) { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 175 | fn extend_vars(&mut self, vars: &[Variable]) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 181 | fn extend_pattern(&mut self, pattern: &Pattern) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 197 | fn is_bound(&self, var: &Variable) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 206 | fn attempt_to_register_free(&mut self, var: &Variable) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `free_variables_in_function` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:214:4 [INFO] [stdout] | [INFO] [stdout] 214 | fn free_variables_in_function(env: &mut Env, function: &Function) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `free_variables` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:221:4 [INFO] [stdout] | [INFO] [stdout] 221 | fn free_variables(env: &mut Env, term: &Term) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: for loop over a `&Option`. This is more readably written as an `if let` statement [INFO] [stdout] --> ast/src/validation/type_formation.rs:30:17 [INFO] [stdout] | [INFO] [stdout] 30 | for decl in &program.run_declaration { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(for_loops_over_fallibles)]` on by default [INFO] [stdout] help: to check pattern in a loop use `while let` [INFO] [stdout] | [INFO] [stdout] 30 | while let Some(decl) = &program.run_declaration { [INFO] [stdout] | ~~~~~~~~~~~~~~~ ~~~ [INFO] [stdout] help: consider using `if let` to clear intent [INFO] [stdout] | [INFO] [stdout] 30 | if let Some(decl) = &program.run_declaration { [INFO] [stdout] | ~~~~~~~~~~~~ ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: for loop over a `&Option`. This is more readably written as an `if let` statement [INFO] [stdout] --> ast/src/validation/term_formation.rs:27:17 [INFO] [stdout] | [INFO] [stdout] 27 | for decl in &program.run_declaration { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: to check pattern in a loop use `while let` [INFO] [stdout] | [INFO] [stdout] 27 | while let Some(decl) = &program.run_declaration { [INFO] [stdout] | ~~~~~~~~~~~~~~~ ~~~ [INFO] [stdout] help: consider using `if let` to clear intent [INFO] [stdout] | [INFO] [stdout] 27 | if let Some(decl) = &program.run_declaration { [INFO] [stdout] | ~~~~~~~~~~~~ ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 56 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> ast/src/parser/base.rs:20:14 [INFO] [stdout] | [INFO] [stdout] 20 | LexError(lexer::ErrorWithPosition), [INFO] [stdout] | -------- ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 20 | LexError(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `received` is never read [INFO] [stdout] --> ast/src/parser/base.rs:21:40 [INFO] [stdout] | [INFO] [stdout] 21 | ExpectedTypeConstructorOrTypeVar { received: Identifier }, [INFO] [stdout] | -------------------------------- ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `received` is never read [INFO] [stdout] --> ast/src/parser/base.rs:22:59 [INFO] [stdout] | [INFO] [stdout] 22 | ExpectedTypeConstructorOrTypeVarOrAnythingInPattern { received: Identifier }, [INFO] [stdout] | --------------------------------------------------- ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `received` is never read [INFO] [stdout] --> ast/src/parser/base.rs:23:20 [INFO] [stdout] | [INFO] [stdout] 23 | ExpectedTerm { received: Identifier }, [INFO] [stdout] | ------------ ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `received` is never read [INFO] [stdout] --> ast/src/parser/base.rs:24:31 [INFO] [stdout] | [INFO] [stdout] 24 | ExpectedTypeConstructor { received: Identifier }, [INFO] [stdout] | ----------------------- ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `received` is never read [INFO] [stdout] --> ast/src/parser/base.rs:25:29 [INFO] [stdout] | [INFO] [stdout] 25 | ExpectedPrimitiveType { received: Type }, [INFO] [stdout] | --------------------- ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `type_duplicates`, `constructor_duplicates`, and `function_duplicates` are never read [INFO] [stdout] --> ast/src/parser/base.rs:30:9 [INFO] [stdout] | [INFO] [stdout] 29 | DuplicateNames { [INFO] [stdout] | -------------- fields in this variant [INFO] [stdout] 30 | type_duplicates: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] 31 | constructor_duplicates: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 32 | function_duplicates: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `received` is never read [INFO] [stdout] --> ast/src/parser/base.rs:34:28 [INFO] [stdout] | [INFO] [stdout] 34 | TypeHasForbiddenName { received: String }, [INFO] [stdout] | -------------------- ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `declared_in_type` and `parameters` are never read [INFO] [stdout] --> ast/src/parser/base.rs:39:67 [INFO] [stdout] | [INFO] [stdout] 39 | FunctionHasDifferentNumberOfParametersThanDeclaredInItsType { declared_in_type: usize, parameters: usize }, [INFO] [stdout] | ----------------------------------------------------------- ^^^^^^^^^^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `PreMsgTypeDeclaration` is never constructed [INFO] [stdout] --> ast/src/parser/base.rs:105:12 [INFO] [stdout] | [INFO] [stdout] 105 | pub struct PreMsgTypeDeclaration { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `PreMsgTypeDeclaration` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `read_char_or_fail_when_end` and `consume_char_or_fail_when_end` are never used [INFO] [stdout] --> ast/src/parser/base.rs:258:12 [INFO] [stdout] | [INFO] [stdout] 186 | impl <'lex_state, 'interner> State<'lex_state, 'interner> { [INFO] [stdout] | --------------------------------------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 258 | pub fn read_char_or_fail_when_end(&mut self) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 262 | pub fn consume_char_or_fail_when_end(&mut self) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `position` is never read [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:17:9 [INFO] [stdout] | [INFO] [stdout] 16 | pub struct ErrorWithPosition { [INFO] [stdout] | ----------------- field in this struct [INFO] [stdout] 17 | pub position: Position, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ErrorWithPosition` 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 `requested` and `found` are never read [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:24:16 [INFO] [stdout] | [INFO] [stdout] 24 | Expected { requested: Request, found: String }, [INFO] [stdout] | -------- ^^^^^^^^^ ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `found` is never read [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:25:19 [INFO] [stdout] | [INFO] [stdout] 25 | ExpectedI32 { found: String }, [INFO] [stdout] | ----------- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `found` is never read [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:26:19 [INFO] [stdout] | [INFO] [stdout] 26 | ExpectedF32 { found: String }, [INFO] [stdout] | ----------- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `error` is never read [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:27:34 [INFO] [stdout] | [INFO] [stdout] 27 | ExpectedF32ParseFloatError { error: std::num::ParseFloatError }, [INFO] [stdout] | -------------------------- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `found` is never read [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:28:64 [INFO] [stdout] | [INFO] [stdout] 28 | ExpectedValidCharacterAfterEscapeSequenceInStringLiteral { found: String }, [INFO] [stdout] | -------------------------------------------------------- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `found` is never read [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:29:51 [INFO] [stdout] | [INFO] [stdout] 29 | ExpectedValidUnicodeSequenceInStringLiteral { found: String }, [INFO] [stdout] | ------------------------------------------- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `found` is never read [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:30:61 [INFO] [stdout] | [INFO] [stdout] 30 | ExpectedOpeningBraceForUnicodeSequenceInStringLiteral { found: String }, [INFO] [stdout] | ----------------------------------------------------- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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 `found` is never read [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:31:61 [INFO] [stdout] | [INFO] [stdout] 31 | ExpectedClosingBraceForUnicodeSequenceInStringLiteral { found: String }, [INFO] [stdout] | ----------------------------------------------------- ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `End` is never constructed [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:76:5 [INFO] [stdout] | [INFO] [stdout] 63 | pub enum Request { [INFO] [stdout] | ------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 76 | End, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Request` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `chars` and `request_keyword` are never used [INFO] [stdout] --> ast/src/parser/lex/lexer.rs:108:12 [INFO] [stdout] | [INFO] [stdout] 93 | impl <'state> State<'state> { [INFO] [stdout] | --------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 108 | pub fn chars(&'state mut self) -> &mut Chars<'state> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 305 | pub fn request_keyword(&mut self, keyword: token::Keyword) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> ast/src/parser/lex/token.rs:12:15 [INFO] [stdout] | [INFO] [stdout] 12 | Separator(SeparatorSymbol), [INFO] [stdout] | --------- ^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Token` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 12 | Separator(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Quote` and `Int32` are never constructed [INFO] [stdout] --> ast/src/parser/lex/token.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 2 | pub enum Token { [INFO] [stdout] | ----- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 9 | Quote, [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 14 | Int32(i32), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Token` 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: variants `Let`, `LocalLet`, `Match`, `Fold`, `Function`, and `Apply` are never constructed [INFO] [stdout] --> ast/src/parser/lex/token.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 19 | pub enum Keyword { [INFO] [stdout] | ------- variants in this enum [INFO] [stdout] 20 | Let, [INFO] [stdout] | ^^^ [INFO] [stdout] 21 | Run, [INFO] [stdout] 22 | LocalLet, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 32 | Match, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 33 | Fold, [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 37 | Function, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 38 | Apply, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Keyword` 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 `And` is never constructed [INFO] [stdout] --> ast/src/parser/lex/token.rs:46:5 [INFO] [stdout] | [INFO] [stdout] 43 | pub enum SeparatorSymbol { [INFO] [stdout] | --------------- variant in this enum [INFO] [stdout] ... [INFO] [stdout] 46 | And, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `SeparatorSymbol` 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 `external_name` is never read [INFO] [stdout] --> ast/src/base.rs:130:9 [INFO] [stdout] | [INFO] [stdout] 127 | pub struct ForeignFunctionDeclaration { [INFO] [stdout] | -------------------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 130 | pub external_name: ExternalName, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ForeignFunctionDeclaration` 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 `0` is never read [INFO] [stdout] --> ast/src/base.rs:179:9 [INFO] [stdout] | [INFO] [stdout] 179 | Int(i32), [INFO] [stdout] | --- ^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 179 | Int(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> ast/src/base.rs:180:11 [INFO] [stdout] | [INFO] [stdout] 180 | Float(f32), [INFO] [stdout] | ----- ^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 180 | Float(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> ast/src/base.rs:181:19 [INFO] [stdout] | [INFO] [stdout] 181 | StringLiteral(String), [INFO] [stdout] | ------------- ^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 181 | StringLiteral(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> ast/src/base.rs:205:9 [INFO] [stdout] | [INFO] [stdout] 205 | Int(i32), [INFO] [stdout] | --- ^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Pattern` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 205 | Int(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> ast/src/base.rs:206:14 [INFO] [stdout] | [INFO] [stdout] 206 | Anything(Identifier), [INFO] [stdout] | -------- ^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Pattern` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 206 | Anything(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `constructors` is never used [INFO] [stdout] --> ast/src/base.rs:284:12 [INFO] [stdout] | [INFO] [stdout] 215 | impl TypeDeclaration { [INFO] [stdout] | -------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 284 | pub fn constructors(&self) -> &HashMap { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `external_name` is never used [INFO] [stdout] --> ast/src/base.rs:417:12 [INFO] [stdout] | [INFO] [stdout] 412 | impl ForeignFunctionDeclaration { [INFO] [stdout] | ------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 417 | pub fn external_name(&self) -> ExternalName { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Term` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:8:10 [INFO] [stdout] | [INFO] [stdout] 8 | pub enum Term { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Term` 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: enum `Pattern` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:26:10 [INFO] [stdout] | [INFO] [stdout] 26 | pub enum Pattern { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Pattern` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `PatternBranch` is never constructed [INFO] [stdout] --> ast/src/desugared_base.rs:34:12 [INFO] [stdout] | [INFO] [stdout] 34 | pub struct PatternBranch { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `PatternBranch` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TypedTerm` is never constructed [INFO] [stdout] --> ast/src/desugared_base.rs:40:12 [INFO] [stdout] | [INFO] [stdout] 40 | pub struct TypedTerm { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypedTerm` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Function` is never constructed [INFO] [stdout] --> ast/src/desugared_base.rs:46:12 [INFO] [stdout] | [INFO] [stdout] 46 | pub struct Function { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Function` 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: function `desugar_typed_term` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:51:8 [INFO] [stdout] | [INFO] [stdout] 51 | pub fn desugar_typed_term(typed_term: &base::TypedTerm) -> TypedTerm { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `desugar_function` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:55:8 [INFO] [stdout] | [INFO] [stdout] 55 | pub fn desugar_function(function: &base::Function) -> Function { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `desugar_pattern_branch` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:59:4 [INFO] [stdout] | [INFO] [stdout] 59 | fn desugar_pattern_branch(pattern_branch: &base::PatternBranch) -> PatternBranch { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `desugar_term` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:81:8 [INFO] [stdout] | [INFO] [stdout] 81 | pub fn desugar_term(term: &base::Term) -> Term { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `desugar_do_expression` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:104:4 [INFO] [stdout] | [INFO] [stdout] 104 | fn desugar_do_expression(bindings: &[base::DoBinding], body: &base::Term) -> Term { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `free_variables` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:140:12 [INFO] [stdout] | [INFO] [stdout] 139 | impl Function { [INFO] [stdout] | ------------- method in this implementation [INFO] [stdout] 140 | pub fn free_variables(&self) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Env` is never constructed [INFO] [stdout] --> ast/src/desugared_base.rs:147:8 [INFO] [stdout] | [INFO] [stdout] 147 | struct Env { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> ast/src/desugared_base.rs:154:8 [INFO] [stdout] | [INFO] [stdout] 153 | impl Env { [INFO] [stdout] | -------- associated items in this implementation [INFO] [stdout] 154 | fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 158 | fn open(&mut self) { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 162 | fn close(&mut self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 166 | fn extend_var(&mut self, var: &Variable) { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 175 | fn extend_vars(&mut self, vars: &[Variable]) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 181 | fn extend_pattern(&mut self, pattern: &Pattern) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 197 | fn is_bound(&self, var: &Variable) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 206 | fn attempt_to_register_free(&mut self, var: &Variable) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `free_variables_in_function` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:214:4 [INFO] [stdout] | [INFO] [stdout] 214 | fn free_variables_in_function(env: &mut Env, function: &Function) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `free_variables` is never used [INFO] [stdout] --> ast/src/desugared_base.rs:221:4 [INFO] [stdout] | [INFO] [stdout] 221 | fn free_variables(env: &mut Env, term: &Term) { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: for loop over a `&Option`. This is more readably written as an `if let` statement [INFO] [stdout] --> ast/src/validation/type_formation.rs:30:17 [INFO] [stdout] | [INFO] [stdout] 30 | for decl in &program.run_declaration { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(for_loops_over_fallibles)]` on by default [INFO] [stdout] help: to check pattern in a loop use `while let` [INFO] [stdout] | [INFO] [stdout] 30 | while let Some(decl) = &program.run_declaration { [INFO] [stdout] | ~~~~~~~~~~~~~~~ ~~~ [INFO] [stdout] help: consider using `if let` to clear intent [INFO] [stdout] | [INFO] [stdout] 30 | if let Some(decl) = &program.run_declaration { [INFO] [stdout] | ~~~~~~~~~~~~ ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: for loop over a `&Option`. This is more readably written as an `if let` statement [INFO] [stdout] --> ast/src/validation/term_formation.rs:27:17 [INFO] [stdout] | [INFO] [stdout] 27 | for decl in &program.run_declaration { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: to check pattern in a loop use `while let` [INFO] [stdout] | [INFO] [stdout] 27 | while let Some(decl) = &program.run_declaration { [INFO] [stdout] | ~~~~~~~~~~~~~~~ ~~~ [INFO] [stdout] help: consider using `if let` to clear intent [INFO] [stdout] | [INFO] [stdout] 27 | if let Some(decl) = &program.run_declaration { [INFO] [stdout] | ~~~~~~~~~~~~ ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 55 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.56s [INFO] running `Command { std: "docker" "inspect" "2f7ac629a8e6803e7504314f6ed838b1a89fa0964f47bcac1d4a095d28ff6f70", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2f7ac629a8e6803e7504314f6ed838b1a89fa0964f47bcac1d4a095d28ff6f70", kill_on_drop: false }` [INFO] [stdout] 2f7ac629a8e6803e7504314f6ed838b1a89fa0964f47bcac1d4a095d28ff6f70