[INFO] cloning repository https://github.com/omedusyo/linear-resource-calculus [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/omedusyo/linear-resource-calculus" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fomedusyo%2Flinear-resource-calculus", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fomedusyo%2Flinear-resource-calculus'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] ae380eb9cfce71219beb9961fcf9e634c5fa8a4a [INFO] checking omedusyo/linear-resource-calculus against master#350d0ef0ec0493e6d21cfb265cb8211a0e74d766 for pr-145342-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fomedusyo%2Flinear-resource-calculus" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/omedusyo/linear-resource-calculus [INFO] finished tweaking git repo https://github.com/omedusyo/linear-resource-calculus [INFO] tweaked toml for git repo https://github.com/omedusyo/linear-resource-calculus written to /workspace/builds/worker-2-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/omedusyo/linear-resource-calculus on toolchain 350d0ef0ec0493e6d21cfb265cb8211a0e74d766 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/omedusyo/linear-resource-calculus 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" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded fd-lock v4.0.2 [INFO] [stderr] Downloaded triomphe v0.1.14 [INFO] [stderr] Downloaded clap v4.5.20 [INFO] [stderr] Downloaded archery v1.2.1 [INFO] [stderr] Downloaded rpds v1.1.0 [INFO] [stderr] Downloaded rustyline v14.0.0 [INFO] [stderr] Downloaded clap_builder v4.5.20 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 91b9868f1673da54b774cf07a1c0922ec62e871e7fc2832fe294f63f15c6f925 [INFO] running `Command { std: "docker" "start" "-a" "91b9868f1673da54b774cf07a1c0922ec62e871e7fc2832fe294f63f15c6f925", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "91b9868f1673da54b774cf07a1c0922ec62e871e7fc2832fe294f63f15c6f925", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "91b9868f1673da54b774cf07a1c0922ec62e871e7fc2832fe294f63f15c6f925", kill_on_drop: false }` [INFO] [stdout] 91b9868f1673da54b774cf07a1c0922ec62e871e7fc2832fe294f63f15c6f925 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] a864ff9120fd5d38063a69a6b8ba7a599b52a5bb18a16767f4f12d0bf72cf5fc [INFO] running `Command { std: "docker" "start" "-a" "a864ff9120fd5d38063a69a6b8ba7a599b52a5bb18a16767f4f12d0bf72cf5fc", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.86 [INFO] [stderr] Compiling unicode-ident v1.0.13 [INFO] [stderr] Checking utf8parse v0.2.2 [INFO] [stderr] Compiling cfg_aliases v0.1.1 [INFO] [stderr] Checking bitflags v2.6.0 [INFO] [stderr] Compiling rustix v0.38.37 [INFO] [stderr] Compiling libc v0.2.159 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Checking is_terminal_polyfill v1.70.1 [INFO] [stderr] Checking linux-raw-sys v0.4.14 [INFO] [stderr] Checking anstyle-query v1.1.2 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Checking anstyle v1.0.10 [INFO] [stderr] Checking colorchoice v1.0.3 [INFO] [stderr] Checking endian-type v0.1.2 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Compiling nix v0.28.0 [INFO] [stderr] Checking triomphe v0.1.14 [INFO] [stderr] Checking strsim v0.11.1 [INFO] [stderr] Checking clap_lex v0.7.2 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Checking home v0.5.9 [INFO] [stderr] Checking log v0.4.22 [INFO] [stderr] Checking anstyle-parse v0.2.6 [INFO] [stderr] Checking nibble_vec v0.1.0 [INFO] [stderr] Checking minimal-lexical v0.2.1 [INFO] [stderr] Checking unicode-segmentation v1.12.0 [INFO] [stderr] Checking unicode-width v0.1.14 [INFO] [stderr] Checking anstream v0.6.18 [INFO] [stderr] Checking radix_trie v0.2.1 [INFO] [stderr] Checking archery v1.2.1 [INFO] [stderr] Checking rpds v1.1.0 [INFO] [stderr] Checking clap_builder v4.5.20 [INFO] [stderr] Checking nom v7.1.3 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling syn v2.0.79 [INFO] [stderr] Checking fd-lock v4.0.2 [INFO] [stderr] Checking rustyline v14.0.0 [INFO] [stderr] Compiling clap_derive v4.5.18 [INFO] [stderr] Checking clap v4.5.20 [INFO] [stderr] Checking nom_test v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `binding_vector`, `brackets`, `delimited_nonempty_vector`, `delimited_vector`, and `peek_anytoken` [INFO] [stdout] --> src/calculi/cartesian.rs:5:49 [INFO] [stdout] | [INFO] [stdout] 5 | anyidentifier, anytoken, identifier, token, peek_anytoken, peek_token, vector, delimited_nonempty_vector, delimited_vector, [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stdout] 6 | parameter_vector, or_vector, comma_vector, binding_vector, parens, brackets, curly_braces, [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `EscapedContentMode` [INFO] [stdout] --> src/calculi/linear.rs:4:71 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::tokenizer::{TokenStream, Token, TokenType, EscapedContent, EscapedContentMode}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `binding_vector`, `delimited_nonempty_vector`, `delimited_vector`, and `parens` [INFO] [stdout] --> src/calculi/linear.rs:6:84 [INFO] [stdout] | [INFO] [stdout] 6 | anyidentifier, anytoken, identifier, token, peek_anytoken, peek_token, vector, delimited_nonempty_vector, delimited_vector, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stdout] 7 | parameter_vector, or_vector, comma_vector, binding_vector, parens, brackets, curly_braces, [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `binding_vector`, `delimited_nonempty_vector`, `parameter_vector`, `peek_anytoken`, and `peek_token` [INFO] [stdout] --> src/calculi/combined.rs:5:49 [INFO] [stdout] | [INFO] [stdout] 5 | anyidentifier, anytoken, identifier, token, peek_anytoken, peek_token, vector, delimited_nonempty_vector, delimited_vector, [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 6 | variable_name, parameter_vector, or_vector, comma_vector, binding_vector, parens, brackets, curly_braces, possibly_empty_relaxed_pare... [INFO] [stdout] | ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `binding_vector`, `brackets`, `delimited_nonempty_vector`, `delimited_vector`, and `peek_anytoken` [INFO] [stdout] --> src/calculi/cartesian.rs:5:49 [INFO] [stdout] | [INFO] [stdout] 5 | anyidentifier, anytoken, identifier, token, peek_anytoken, peek_token, vector, delimited_nonempty_vector, delimited_vector, [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stdout] 6 | parameter_vector, or_vector, comma_vector, binding_vector, parens, brackets, curly_braces, [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `EscapedContentMode` [INFO] [stdout] --> src/calculi/linear.rs:4:71 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::tokenizer::{TokenStream, Token, TokenType, EscapedContent, EscapedContentMode}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `binding_vector`, `delimited_nonempty_vector`, `delimited_vector`, and `parens` [INFO] [stdout] --> src/calculi/linear.rs:6:84 [INFO] [stdout] | [INFO] [stdout] 6 | anyidentifier, anytoken, identifier, token, peek_anytoken, peek_token, vector, delimited_nonempty_vector, delimited_vector, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stdout] 7 | parameter_vector, or_vector, comma_vector, binding_vector, parens, brackets, curly_braces, [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `binding_vector`, `delimited_nonempty_vector`, `parameter_vector`, `peek_anytoken`, and `peek_token` [INFO] [stdout] --> src/calculi/combined.rs:5:49 [INFO] [stdout] | [INFO] [stdout] 5 | anyidentifier, anytoken, identifier, token, peek_anytoken, peek_token, vector, delimited_nonempty_vector, delimited_vector, [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 6 | variable_name, parameter_vector, or_vector, comma_vector, binding_vector, parens, brackets, curly_braces, possibly_empty_relaxed_pare... [INFO] [stdout] | ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `v` [INFO] [stdout] --> src/interpreter.rs:143:13 [INFO] [stdout] | [INFO] [stdout] 143 | let v = &self.program; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `v` [INFO] [stdout] --> src/interpreter.rs:143:13 [INFO] [stdout] | [INFO] [stdout] 143 | let v = &self.program; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `repl::Msg<'_>` is more private than the item `repl::Repl::update` [INFO] [stdout] --> src/repl.rs:88:5 [INFO] [stdout] | [INFO] [stdout] 88 | fn update(&mut self, msg: Msg<'_>) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `repl::Repl::update` is reachable at visibility `pub(crate)` [INFO] [stdout] | [INFO] [stdout] note: but type `repl::Msg<'_>` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/repl.rs:26:1 [INFO] [stdout] | [INFO] [stdout] 26 | enum Msg<'a> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Literal` is more private than the item `linear::Expression0::Lit::0` [INFO] [stdout] --> src/calculi/linear.rs:785:9 [INFO] [stdout] | [INFO] [stdout] 785 | Lit(Literal), [INFO] [stdout] | ^^^^^^^ field `linear::Expression0::Lit::0` is reachable at visibility `pub(crate)` [INFO] [stdout] | [INFO] [stdout] note: but type `Literal` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/calculi/linear.rs:807:1 [INFO] [stdout] | [INFO] [stdout] 807 | enum Literal { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `interpreter` and `editor` are never used [INFO] [stdout] --> src/repl.rs:35:8 [INFO] [stdout] | [INFO] [stdout] 32 | pub trait Repl { [INFO] [stdout] | ---- methods in this trait [INFO] [stdout] ... [INFO] [stdout] 35 | fn interpreter(&self) -> &Self::Interpreter; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 38 | fn editor(&self) -> &Editor; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `delimited_nonempty_vector` is never used [INFO] [stdout] --> src/syntax.rs:151:8 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn delimited_nonempty_vector( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `binding_vector` is never used [INFO] [stdout] --> src/syntax.rs:196:8 [INFO] [stdout] | [INFO] [stdout] 196 | pub fn binding_vector( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `str` is never used [INFO] [stdout] --> src/identifier.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 13 | impl VariableName { [INFO] [stdout] | ----------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 18 | pub fn str(&self) -> &str { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `str` is never used [INFO] [stdout] --> src/identifier.rs:38:12 [INFO] [stdout] | [INFO] [stdout] 33 | impl Tag { [INFO] [stdout] | -------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 38 | pub fn str(&self) -> &str { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/cartesian.rs:449:27 [INFO] [stdout] | [INFO] [stdout] 449 | FunctionLookupFailure(FunctionName), [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] 449 - FunctionLookupFailure(FunctionName), [INFO] [stdout] 449 + FunctionLookupFailure(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `fn_name`, `expected`, and `received` are never read [INFO] [stdout] --> src/calculi/cartesian.rs:450:33 [INFO] [stdout] | [INFO] [stdout] 450 | FunctionCallArityMismatch { fn_name: FunctionName, expected: usize, received: 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: field `0` is never read [INFO] [stdout] --> src/calculi/cartesian.rs:451:27 [INFO] [stdout] | [INFO] [stdout] 451 | VariableLookupFailure(VariableName), [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] 451 - VariableLookupFailure(VariableName), [INFO] [stdout] 451 + VariableLookupFailure(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/cartesian.rs:453:37 [INFO] [stdout] | [INFO] [stdout] 453 | AttemptToSendMessageToNonObject(Value), [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] 453 - AttemptToSendMessageToNonObject(Value), [INFO] [stdout] 453 + AttemptToSendMessageToNonObject(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `tag`, `expression`, and `split` are never used [INFO] [stdout] --> src/calculi/linear.rs:843:8 [INFO] [stdout] | [INFO] [stdout] 839 | impl Msg { [INFO] [stdout] | -------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 843 | fn tag(self, tag: Tag) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 846 | fn expression(self, e: Expression) -> Self { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 853 | fn split(&self) -> Option<(&PrimitiveMsg, Msg)> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `PrimitiveValue` is never used [INFO] [stdout] --> src/calculi/linear.rs:918:10 [INFO] [stdout] | [INFO] [stdout] 918 | pub enum PrimitiveValue { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `discard` is never used [INFO] [stdout] --> src/calculi/linear.rs:929:8 [INFO] [stdout] | [INFO] [stdout] 928 | impl Value { [INFO] [stdout] | ---------- method in this implementation [INFO] [stdout] 929 | fn discard(self) -> () { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/linear.rs:1225:27 [INFO] [stdout] | [INFO] [stdout] 1225 | FunctionLookupFailure(FunctionName), [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] 1225 - FunctionLookupFailure(FunctionName), [INFO] [stdout] 1225 + FunctionLookupFailure(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `fn_name`, `expected`, and `received` are never read [INFO] [stdout] --> src/calculi/linear.rs:1226:33 [INFO] [stdout] | [INFO] [stdout] 1226 | FunctionCallArityMismatch { fn_name: FunctionName, expected: usize, received: 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: field `0` is never read [INFO] [stdout] --> src/calculi/linear.rs:1227:27 [INFO] [stdout] | [INFO] [stdout] 1227 | VariableLookupFailure(VariableName), [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] 1227 - VariableLookupFailure(VariableName), [INFO] [stdout] 1227 + VariableLookupFailure(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/linear.rs:1228:18 [INFO] [stdout] | [INFO] [stdout] 1228 | PatternMatch(duality::error::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] 1228 - PatternMatch(duality::error::Error), [INFO] [stdout] 1228 + PatternMatch(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/linear.rs:1229:25 [INFO] [stdout] | [INFO] [stdout] 1229 | UnconsumedResources(Env), [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] 1229 - UnconsumedResources(Env), [INFO] [stdout] 1229 + UnconsumedResources(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/linear.rs:1230:37 [INFO] [stdout] | [INFO] [stdout] 1230 | AttemptToSendMessageToNonObject(Value), [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] 1230 - AttemptToSendMessageToNonObject(Value), [INFO] [stdout] 1230 + AttemptToSendMessageToNonObject(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Program` is never constructed [INFO] [stdout] --> src/calculi/linear_old.rs:7:12 [INFO] [stdout] | [INFO] [stdout] 7 | pub struct Program { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FunctionDefinition` is never constructed [INFO] [stdout] --> src/calculi/linear_old.rs:16:12 [INFO] [stdout] | [INFO] [stdout] 16 | pub struct FunctionDefinition { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `update_function_definition`, `get_function_definition`, and `get_clone_of_function_definition` are never used [INFO] [stdout] --> src/calculi/linear_old.rs:23:12 [INFO] [stdout] | [INFO] [stdout] 22 | impl Program { [INFO] [stdout] | ------------ associated items in this implementation [INFO] [stdout] 23 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 30 | pub fn update_function_definition(&mut self, fn_def: FunctionDefinition) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 49 | pub fn get_function_definition(&self, function_name: FunctionName) -> Option<&FunctionDefinition> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 53 | pub fn get_clone_of_function_definition(&self, function_name: FunctionName) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Expression` is never constructed [INFO] [stdout] --> src/calculi/linear_old.rs:63:12 [INFO] [stdout] | [INFO] [stdout] 63 | pub struct Expression(pub Box); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Expression0` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:67:10 [INFO] [stdout] | [INFO] [stdout] 67 | pub enum Expression0 { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `OperationCode` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:86:10 [INFO] [stdout] | [INFO] [stdout] 86 | pub enum OperationCode { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Bindings` is never constructed [INFO] [stdout] --> src/calculi/linear_old.rs:100:12 [INFO] [stdout] | [INFO] [stdout] 100 | pub struct Bindings(Box); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Bindings0` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:103:10 [INFO] [stdout] | [INFO] [stdout] 103 | pub enum Bindings0 { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `PatternBranch` is never constructed [INFO] [stdout] --> src/calculi/linear_old.rs:109:12 [INFO] [stdout] | [INFO] [stdout] 109 | pub struct PatternBranch { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Pattern` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:117:10 [INFO] [stdout] | [INFO] [stdout] 117 | pub enum Pattern { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `TuplePattern` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:124:10 [INFO] [stdout] | [INFO] [stdout] 124 | pub enum TuplePattern { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated functions are never used [INFO] [stdout] --> src/calculi/linear_old.rs:130:8 [INFO] [stdout] | [INFO] [stdout] 129 | impl Expression { [INFO] [stdout] | --------------- associated functions in this implementation [INFO] [stdout] 130 | fn int(x: i32) -> Self { Self(Box::new(Expression0::Int(x))) } [INFO] [stdout] | ^^^ [INFO] [stdout] 131 | fn operation_application1(op_code: OperationCode, e0: Self) -> Self { Self(Box::new(Expression0::OperationApplication1(op_code, e0))) } [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 132 | fn operation_application2(op_code: OperationCode, e0: Self, e1: Self) -> Self { Self(Box::new(Expression0::OperationApplication2(op_c... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 133 | fn call(fn_name: FunctionName, args: Vec) -> Self { Self(Box::new(Expression0::Call(fn_name, args))) } [INFO] [stdout] | ^^^^ [INFO] [stdout] 134 | fn tagged(tag: Tag, e: Expression) -> Self { Self(Box::new(Expression0::Tagged(tag, e))) } [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 135 | fn tuple(args: Vec) -> Self { Self(Box::new(Expression0::Tuple(args))) } [INFO] [stdout] | ^^^^^ [INFO] [stdout] 136 | fn match_(arg: Self, branches: Vec) -> Self { Self(Box::new(Expression0::Match { arg, branches })) } [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 137 | fn var_move(var: VariableName) -> Self { Self(Box::new(Expression0::VarMove(var))) } [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 138 | fn var_clone(var: VariableName) -> Self { Self(Box::new(Expression0::VarClone(var))) } [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 139 | fn var_drop(var: VariableName, expr: Expression) -> Self { Self(Box::new(Expression0::VarDrop(var, expr))) } [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 140 | fn let_move(arg: Self, var: VariableName, body: Self) -> Self { Self(Box::new(Expression0::LetMove { arg, var, body })) } [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 141 | fn object(moved_env: Bindings, branches: Vec) -> Self { Self(Box::new(Expression0::Object { captured_bindings: moved_e... [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 142 | fn send(obj: Self, msg: Self) -> Self { Self(Box::new(Expression0::Send(obj, msg))) } [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Value` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:147:10 [INFO] [stdout] | [INFO] [stdout] 147 | pub enum Value { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `discard` and `duplicate` are never used [INFO] [stdout] --> src/calculi/linear_old.rs:155:8 [INFO] [stdout] | [INFO] [stdout] 154 | impl Value { [INFO] [stdout] | ---------- methods in this implementation [INFO] [stdout] 155 | fn discard(self) -> () { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 169 | fn duplicate(self) -> (Self, Self) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Env` is never constructed [INFO] [stdout] --> src/calculi/linear_old.rs:194:12 [INFO] [stdout] | [INFO] [stdout] 194 | pub struct Env(Box); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Env0` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:197:10 [INFO] [stdout] | [INFO] [stdout] 197 | pub enum Env0 { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/calculi/linear_old.rs:203:8 [INFO] [stdout] | [INFO] [stdout] 202 | impl Env { [INFO] [stdout] | -------- associated items in this implementation [INFO] [stdout] 203 | fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 207 | fn is_empty(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 216 | fn move_(self, var_name: VariableName) -> Result<(Value, Self), Error> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 231 | fn clone_(self, var_name: VariableName) -> Result<(Value, Self), Error> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 247 | fn drop_(self, var_name: VariableName) -> Result { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 263 | fn extend(self, var: VariableName, value: Value) -> Self { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 268 | fn extend_many(mut self, bindings: impl Iterator) -> Self { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Error` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:278:10 [INFO] [stdout] | [INFO] [stdout] 278 | pub enum Error { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `PatternMatchErrror` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:289:10 [INFO] [stdout] | [INFO] [stdout] 289 | pub enum PatternMatchErrror { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `eval_start` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:299:8 [INFO] [stdout] | [INFO] [stdout] 299 | pub fn eval_start(program: Program, e: Expression) -> Result<(Program, Value), Error> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `eval` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:309:4 [INFO] [stdout] | [INFO] [stdout] 309 | fn eval(program: Program, env: Env, e: Expression) -> Result<(Program, Env, Value), Error> { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `eval_bindings` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:441:4 [INFO] [stdout] | [INFO] [stdout] 441 | fn eval_bindings(program: Program, env: Env, bindings: Bindings) -> Result<(Program, Env, Env), Error> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TuplePatternBranches` is never constructed [INFO] [stdout] --> src/calculi/linear_old.rs:465:12 [INFO] [stdout] | [INFO] [stdout] 465 | pub struct TuplePatternBranches { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:471:8 [INFO] [stdout] | [INFO] [stdout] 470 | impl TuplePatternBranches { [INFO] [stdout] | ------------------------- associated function in this implementation [INFO] [stdout] 471 | fn new(number_of_branches: usize, tuple_count: usize) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `apply_msg_to_branches` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:509:4 [INFO] [stdout] | [INFO] [stdout] 509 | fn apply_msg_to_branches(program: Program, env: Env, branches: Vec, val: Value) -> Result<(Program, Env, Value), Error> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `apply_tuple_to_branch` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:558:4 [INFO] [stdout] | [INFO] [stdout] 558 | fn apply_tuple_to_branch(program: Program, env: Env, patterns: Vec, body: Expression, values: Vec) -> Result<(Progra... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `bind_tuple_to_tuple_pattern` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:562:4 [INFO] [stdout] | [INFO] [stdout] 562 | fn bind_tuple_to_tuple_pattern(mut program: Program, mut env: Env, patterns: Vec, values: Vec) -> Result<(Program, E... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `apply_function` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:586:4 [INFO] [stdout] | [INFO] [stdout] 586 | fn apply_function(program: Program, fn_name: FunctionName, arg_values: Vec) -> Result<(Program, Value), Error> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/combined.rs:1003:27 [INFO] [stdout] | [INFO] [stdout] 1003 | FunctionLookupFailure(FunctionName), [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] 1003 - FunctionLookupFailure(FunctionName), [INFO] [stdout] 1003 + FunctionLookupFailure(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `fn_name`, `expected`, and `received` are never read [INFO] [stdout] --> src/calculi/combined.rs:1004:42 [INFO] [stdout] | [INFO] [stdout] 1004 | CartesianFunctionCallArityMismatch { fn_name: FunctionName, expected: usize, received: 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: fields `fn_name`, `expected_cartesian`, `received_cartesian`, `expected_linear`, and `received_linear` are never read [INFO] [stdout] --> src/calculi/combined.rs:1005:39 [INFO] [stdout] | [INFO] [stdout] 1005 | LinearFunctionCallArityMismatch { fn_name: FunctionName, expected_cartesian: usize, received_cartesian: usize, expected_linear: usize, received_linear: u... [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 `0` is never read [INFO] [stdout] --> src/calculi/combined.rs:1006:27 [INFO] [stdout] | [INFO] [stdout] 1006 | VariableLookupFailure(VariableName), [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] 1006 - VariableLookupFailure(VariableName), [INFO] [stdout] 1006 + VariableLookupFailure(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/combined.rs:1008:25 [INFO] [stdout] | [INFO] [stdout] 1008 | InvalidPatternMatch(PatternMatchErrror), [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] 1008 - InvalidPatternMatch(PatternMatchErrror), [INFO] [stdout] 1008 + InvalidPatternMatch(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/combined.rs:1009:25 [INFO] [stdout] | [INFO] [stdout] 1009 | UnconsumedResources(LinearEnv), [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] 1009 - UnconsumedResources(LinearEnv), [INFO] [stdout] 1009 + UnconsumedResources(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/combined.rs:1010:43 [INFO] [stdout] | [INFO] [stdout] 1010 | AttemptToForceThunkWhileMultiplyOwned(Rc), [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] 1010 - AttemptToForceThunkWhileMultiplyOwned(Rc), [INFO] [stdout] 1010 + AttemptToForceThunkWhileMultiplyOwned(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/combined.rs:1011:37 [INFO] [stdout] | [INFO] [stdout] 1011 | AttemptToSendMessageToNonObject(Value), [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] 1011 - AttemptToSendMessageToNonObject(Value), [INFO] [stdout] 1011 + AttemptToSendMessageToNonObject(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `extend_many` is never used [INFO] [stdout] --> src/duality/value.rs:49:12 [INFO] [stdout] | [INFO] [stdout] 39 | impl Env { [INFO] [stdout] | ----------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 49 | pub fn extend_many(mut self, bindings: impl Iterator) -> Self { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_match_all` is never used [INFO] [stdout] --> src/duality/pattern.rs:29:12 [INFO] [stdout] | [INFO] [stdout] 22 | impl Pattern { [INFO] [stdout] | ------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 29 | pub fn is_match_all(&self) -> Option<&VariableName> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `match_` and `match_value_loop` are never used [INFO] [stdout] --> src/duality/pattern.rs:55:12 [INFO] [stdout] | [INFO] [stdout] 54 | impl Pattern { [INFO] [stdout] | ------------ methods in this implementation [INFO] [stdout] 55 | pub fn match_( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 89 | pub fn match_value_loop( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `pattern` and `is_match_all` are never used [INFO] [stdout] --> src/duality/matcher.rs:69:12 [INFO] [stdout] | [INFO] [stdout] 59 | impl StrictCode { [INFO] [stdout] | ---------------------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 69 | pub fn pattern(pattern: Pattern, code: Code) -> Self { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 72 | fn is_match_all(&self) -> Option<(&VariableName, &Code)> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_match_all` is never used [INFO] [stdout] --> src/duality/matcher.rs:148:8 [INFO] [stdout] | [INFO] [stdout] 144 | impl StrictPatternCode { [INFO] [stdout] | ----------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 148 | fn is_match_all(&self) -> Option<(&VariableName, &Code)> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `match_` is never used [INFO] [stdout] --> src/duality/matcher.rs:158:12 [INFO] [stdout] | [INFO] [stdout] 157 | impl StrictOrCode { [INFO] [stdout] | ------------------------------ method in this implementation [INFO] [stdout] 158 | pub fn match_( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `match_` is never used [INFO] [stdout] --> src/duality/matcher.rs:192:12 [INFO] [stdout] | [INFO] [stdout] 191 | impl StrictPatternCode { [INFO] [stdout] | ----------------------------------- method in this implementation [INFO] [stdout] 192 | pub fn match_( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `pattern` and `is_match_all` are never used [INFO] [stdout] --> src/duality/sender.rs:39:12 [INFO] [stdout] | [INFO] [stdout] 23 | impl LazyCode { [INFO] [stdout] | -------------------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 39 | pub fn pattern(pattern: Pattern, code: LazyCode) -> Self { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 42 | fn is_match_all(&self) -> Option<(&VariableName, &LazyCode)> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_match_all` is never used [INFO] [stdout] --> src/duality/sender.rs:82:8 [INFO] [stdout] | [INFO] [stdout] 78 | impl LazyPatternCode { [INFO] [stdout] | --------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 82 | fn is_match_all(&self) -> Option<(&VariableName, &LazyCode)> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `send_value_loop` is never used [INFO] [stdout] --> src/duality/sender.rs:207:8 [INFO] [stdout] | [INFO] [stdout] 206 | impl LazyPatternCode { [INFO] [stdout] | --------------------------------- method in this implementation [INFO] [stdout] 207 | fn send_value_loop( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/duality/error.rs:10:22 [INFO] [stdout] | [INFO] [stdout] 10 | UnableToMatchTag(Tag), [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] 10 - UnableToMatchTag(Tag), [INFO] [stdout] 10 + UnableToMatchTag(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `repl::Msg<'_>` is more private than the item `repl::Repl::update` [INFO] [stdout] --> src/repl.rs:88:5 [INFO] [stdout] | [INFO] [stdout] 88 | fn update(&mut self, msg: Msg<'_>) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `repl::Repl::update` is reachable at visibility `pub(crate)` [INFO] [stdout] | [INFO] [stdout] note: but type `repl::Msg<'_>` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/repl.rs:26:1 [INFO] [stdout] | [INFO] [stdout] 26 | enum Msg<'a> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `Literal` is more private than the item `linear::Expression0::Lit::0` [INFO] [stdout] --> src/calculi/linear.rs:785:9 [INFO] [stdout] | [INFO] [stdout] 785 | Lit(Literal), [INFO] [stdout] | ^^^^^^^ field `linear::Expression0::Lit::0` is reachable at visibility `pub(crate)` [INFO] [stdout] | [INFO] [stdout] note: but type `Literal` is only usable at visibility `pub(self)` [INFO] [stdout] --> src/calculi/linear.rs:807:1 [INFO] [stdout] | [INFO] [stdout] 807 | enum Literal { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `interpreter` and `editor` are never used [INFO] [stdout] --> src/repl.rs:35:8 [INFO] [stdout] | [INFO] [stdout] 32 | pub trait Repl { [INFO] [stdout] | ---- methods in this trait [INFO] [stdout] ... [INFO] [stdout] 35 | fn interpreter(&self) -> &Self::Interpreter; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 38 | fn editor(&self) -> &Editor; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `delimited_nonempty_vector` is never used [INFO] [stdout] --> src/syntax.rs:151:8 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn delimited_nonempty_vector( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `binding_vector` is never used [INFO] [stdout] --> src/syntax.rs:196:8 [INFO] [stdout] | [INFO] [stdout] 196 | pub fn binding_vector( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `str` is never used [INFO] [stdout] --> src/identifier.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 13 | impl VariableName { [INFO] [stdout] | ----------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 18 | pub fn str(&self) -> &str { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `str` is never used [INFO] [stdout] --> src/identifier.rs:38:12 [INFO] [stdout] | [INFO] [stdout] 33 | impl Tag { [INFO] [stdout] | -------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 38 | pub fn str(&self) -> &str { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/cartesian.rs:449:27 [INFO] [stdout] | [INFO] [stdout] 449 | FunctionLookupFailure(FunctionName), [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] 449 - FunctionLookupFailure(FunctionName), [INFO] [stdout] 449 + FunctionLookupFailure(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `fn_name`, `expected`, and `received` are never read [INFO] [stdout] --> src/calculi/cartesian.rs:450:33 [INFO] [stdout] | [INFO] [stdout] 450 | FunctionCallArityMismatch { fn_name: FunctionName, expected: usize, received: 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: field `0` is never read [INFO] [stdout] --> src/calculi/cartesian.rs:451:27 [INFO] [stdout] | [INFO] [stdout] 451 | VariableLookupFailure(VariableName), [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] 451 - VariableLookupFailure(VariableName), [INFO] [stdout] 451 + VariableLookupFailure(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/cartesian.rs:453:37 [INFO] [stdout] | [INFO] [stdout] 453 | AttemptToSendMessageToNonObject(Value), [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] 453 - AttemptToSendMessageToNonObject(Value), [INFO] [stdout] 453 + AttemptToSendMessageToNonObject(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `tag`, `expression`, and `split` are never used [INFO] [stdout] --> src/calculi/linear.rs:843:8 [INFO] [stdout] | [INFO] [stdout] 839 | impl Msg { [INFO] [stdout] | -------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 843 | fn tag(self, tag: Tag) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 846 | fn expression(self, e: Expression) -> Self { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 853 | fn split(&self) -> Option<(&PrimitiveMsg, Msg)> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `PrimitiveValue` is never used [INFO] [stdout] --> src/calculi/linear.rs:918:10 [INFO] [stdout] | [INFO] [stdout] 918 | pub enum PrimitiveValue { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `discard` is never used [INFO] [stdout] --> src/calculi/linear.rs:929:8 [INFO] [stdout] | [INFO] [stdout] 928 | impl Value { [INFO] [stdout] | ---------- method in this implementation [INFO] [stdout] 929 | fn discard(self) -> () { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/linear.rs:1225:27 [INFO] [stdout] | [INFO] [stdout] 1225 | FunctionLookupFailure(FunctionName), [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] 1225 - FunctionLookupFailure(FunctionName), [INFO] [stdout] 1225 + FunctionLookupFailure(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `fn_name`, `expected`, and `received` are never read [INFO] [stdout] --> src/calculi/linear.rs:1226:33 [INFO] [stdout] | [INFO] [stdout] 1226 | FunctionCallArityMismatch { fn_name: FunctionName, expected: usize, received: 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: field `0` is never read [INFO] [stdout] --> src/calculi/linear.rs:1227:27 [INFO] [stdout] | [INFO] [stdout] 1227 | VariableLookupFailure(VariableName), [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] 1227 - VariableLookupFailure(VariableName), [INFO] [stdout] 1227 + VariableLookupFailure(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/linear.rs:1228:18 [INFO] [stdout] | [INFO] [stdout] 1228 | PatternMatch(duality::error::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] 1228 - PatternMatch(duality::error::Error), [INFO] [stdout] 1228 + PatternMatch(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/linear.rs:1229:25 [INFO] [stdout] | [INFO] [stdout] 1229 | UnconsumedResources(Env), [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] 1229 - UnconsumedResources(Env), [INFO] [stdout] 1229 + UnconsumedResources(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/linear.rs:1230:37 [INFO] [stdout] | [INFO] [stdout] 1230 | AttemptToSendMessageToNonObject(Value), [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] 1230 - AttemptToSendMessageToNonObject(Value), [INFO] [stdout] 1230 + AttemptToSendMessageToNonObject(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Program` is never constructed [INFO] [stdout] --> src/calculi/linear_old.rs:7:12 [INFO] [stdout] | [INFO] [stdout] 7 | pub struct Program { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FunctionDefinition` is never constructed [INFO] [stdout] --> src/calculi/linear_old.rs:16:12 [INFO] [stdout] | [INFO] [stdout] 16 | pub struct FunctionDefinition { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new`, `update_function_definition`, `get_function_definition`, and `get_clone_of_function_definition` are never used [INFO] [stdout] --> src/calculi/linear_old.rs:23:12 [INFO] [stdout] | [INFO] [stdout] 22 | impl Program { [INFO] [stdout] | ------------ associated items in this implementation [INFO] [stdout] 23 | pub fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 30 | pub fn update_function_definition(&mut self, fn_def: FunctionDefinition) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 49 | pub fn get_function_definition(&self, function_name: FunctionName) -> Option<&FunctionDefinition> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 53 | pub fn get_clone_of_function_definition(&self, function_name: FunctionName) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Expression` is never constructed [INFO] [stdout] --> src/calculi/linear_old.rs:63:12 [INFO] [stdout] | [INFO] [stdout] 63 | pub struct Expression(pub Box); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Expression0` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:67:10 [INFO] [stdout] | [INFO] [stdout] 67 | pub enum Expression0 { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `OperationCode` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:86:10 [INFO] [stdout] | [INFO] [stdout] 86 | pub enum OperationCode { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Bindings` is never constructed [INFO] [stdout] --> src/calculi/linear_old.rs:100:12 [INFO] [stdout] | [INFO] [stdout] 100 | pub struct Bindings(Box); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Bindings0` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:103:10 [INFO] [stdout] | [INFO] [stdout] 103 | pub enum Bindings0 { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `PatternBranch` is never constructed [INFO] [stdout] --> src/calculi/linear_old.rs:109:12 [INFO] [stdout] | [INFO] [stdout] 109 | pub struct PatternBranch { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Pattern` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:117:10 [INFO] [stdout] | [INFO] [stdout] 117 | pub enum Pattern { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `TuplePattern` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:124:10 [INFO] [stdout] | [INFO] [stdout] 124 | pub enum TuplePattern { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated functions are never used [INFO] [stdout] --> src/calculi/linear_old.rs:130:8 [INFO] [stdout] | [INFO] [stdout] 129 | impl Expression { [INFO] [stdout] | --------------- associated functions in this implementation [INFO] [stdout] 130 | fn int(x: i32) -> Self { Self(Box::new(Expression0::Int(x))) } [INFO] [stdout] | ^^^ [INFO] [stdout] 131 | fn operation_application1(op_code: OperationCode, e0: Self) -> Self { Self(Box::new(Expression0::OperationApplication1(op_code, e0))) } [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 132 | fn operation_application2(op_code: OperationCode, e0: Self, e1: Self) -> Self { Self(Box::new(Expression0::OperationApplication2(op_c... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 133 | fn call(fn_name: FunctionName, args: Vec) -> Self { Self(Box::new(Expression0::Call(fn_name, args))) } [INFO] [stdout] | ^^^^ [INFO] [stdout] 134 | fn tagged(tag: Tag, e: Expression) -> Self { Self(Box::new(Expression0::Tagged(tag, e))) } [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 135 | fn tuple(args: Vec) -> Self { Self(Box::new(Expression0::Tuple(args))) } [INFO] [stdout] | ^^^^^ [INFO] [stdout] 136 | fn match_(arg: Self, branches: Vec) -> Self { Self(Box::new(Expression0::Match { arg, branches })) } [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 137 | fn var_move(var: VariableName) -> Self { Self(Box::new(Expression0::VarMove(var))) } [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 138 | fn var_clone(var: VariableName) -> Self { Self(Box::new(Expression0::VarClone(var))) } [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 139 | fn var_drop(var: VariableName, expr: Expression) -> Self { Self(Box::new(Expression0::VarDrop(var, expr))) } [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 140 | fn let_move(arg: Self, var: VariableName, body: Self) -> Self { Self(Box::new(Expression0::LetMove { arg, var, body })) } [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 141 | fn object(moved_env: Bindings, branches: Vec) -> Self { Self(Box::new(Expression0::Object { captured_bindings: moved_e... [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 142 | fn send(obj: Self, msg: Self) -> Self { Self(Box::new(Expression0::Send(obj, msg))) } [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Value` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:147:10 [INFO] [stdout] | [INFO] [stdout] 147 | pub enum Value { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `discard` and `duplicate` are never used [INFO] [stdout] --> src/calculi/linear_old.rs:155:8 [INFO] [stdout] | [INFO] [stdout] 154 | impl Value { [INFO] [stdout] | ---------- methods in this implementation [INFO] [stdout] 155 | fn discard(self) -> () { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 169 | fn duplicate(self) -> (Self, Self) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Env` is never constructed [INFO] [stdout] --> src/calculi/linear_old.rs:194:12 [INFO] [stdout] | [INFO] [stdout] 194 | pub struct Env(Box); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Env0` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:197:10 [INFO] [stdout] | [INFO] [stdout] 197 | pub enum Env0 { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/calculi/linear_old.rs:203:8 [INFO] [stdout] | [INFO] [stdout] 202 | impl Env { [INFO] [stdout] | -------- associated items in this implementation [INFO] [stdout] 203 | fn new() -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 207 | fn is_empty(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 216 | fn move_(self, var_name: VariableName) -> Result<(Value, Self), Error> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 231 | fn clone_(self, var_name: VariableName) -> Result<(Value, Self), Error> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 247 | fn drop_(self, var_name: VariableName) -> Result { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 263 | fn extend(self, var: VariableName, value: Value) -> Self { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 268 | fn extend_many(mut self, bindings: impl Iterator) -> Self { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Error` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:278:10 [INFO] [stdout] | [INFO] [stdout] 278 | pub enum Error { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `PatternMatchErrror` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:289:10 [INFO] [stdout] | [INFO] [stdout] 289 | pub enum PatternMatchErrror { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `eval_start` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:299:8 [INFO] [stdout] | [INFO] [stdout] 299 | pub fn eval_start(program: Program, e: Expression) -> Result<(Program, Value), Error> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `eval` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:309:4 [INFO] [stdout] | [INFO] [stdout] 309 | fn eval(program: Program, env: Env, e: Expression) -> Result<(Program, Env, Value), Error> { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `eval_bindings` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:441:4 [INFO] [stdout] | [INFO] [stdout] 441 | fn eval_bindings(program: Program, env: Env, bindings: Bindings) -> Result<(Program, Env, Env), Error> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TuplePatternBranches` is never constructed [INFO] [stdout] --> src/calculi/linear_old.rs:465:12 [INFO] [stdout] | [INFO] [stdout] 465 | pub struct TuplePatternBranches { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:471:8 [INFO] [stdout] | [INFO] [stdout] 470 | impl TuplePatternBranches { [INFO] [stdout] | ------------------------- associated function in this implementation [INFO] [stdout] 471 | fn new(number_of_branches: usize, tuple_count: usize) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `apply_msg_to_branches` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:509:4 [INFO] [stdout] | [INFO] [stdout] 509 | fn apply_msg_to_branches(program: Program, env: Env, branches: Vec, val: Value) -> Result<(Program, Env, Value), Error> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `apply_tuple_to_branch` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:558:4 [INFO] [stdout] | [INFO] [stdout] 558 | fn apply_tuple_to_branch(program: Program, env: Env, patterns: Vec, body: Expression, values: Vec) -> Result<(Progra... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `bind_tuple_to_tuple_pattern` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:562:4 [INFO] [stdout] | [INFO] [stdout] 562 | fn bind_tuple_to_tuple_pattern(mut program: Program, mut env: Env, patterns: Vec, values: Vec) -> Result<(Program, E... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `apply_function` is never used [INFO] [stdout] --> src/calculi/linear_old.rs:586:4 [INFO] [stdout] | [INFO] [stdout] 586 | fn apply_function(program: Program, fn_name: FunctionName, arg_values: Vec) -> Result<(Program, Value), Error> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/combined.rs:1003:27 [INFO] [stdout] | [INFO] [stdout] 1003 | FunctionLookupFailure(FunctionName), [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] 1003 - FunctionLookupFailure(FunctionName), [INFO] [stdout] 1003 + FunctionLookupFailure(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `fn_name`, `expected`, and `received` are never read [INFO] [stdout] --> src/calculi/combined.rs:1004:42 [INFO] [stdout] | [INFO] [stdout] 1004 | CartesianFunctionCallArityMismatch { fn_name: FunctionName, expected: usize, received: 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: fields `fn_name`, `expected_cartesian`, `received_cartesian`, `expected_linear`, and `received_linear` are never read [INFO] [stdout] --> src/calculi/combined.rs:1005:39 [INFO] [stdout] | [INFO] [stdout] 1005 | LinearFunctionCallArityMismatch { fn_name: FunctionName, expected_cartesian: usize, received_cartesian: usize, expected_linear: usize, received_linear: u... [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 `0` is never read [INFO] [stdout] --> src/calculi/combined.rs:1006:27 [INFO] [stdout] | [INFO] [stdout] 1006 | VariableLookupFailure(VariableName), [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] 1006 - VariableLookupFailure(VariableName), [INFO] [stdout] 1006 + VariableLookupFailure(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/combined.rs:1008:25 [INFO] [stdout] | [INFO] [stdout] 1008 | InvalidPatternMatch(PatternMatchErrror), [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] 1008 - InvalidPatternMatch(PatternMatchErrror), [INFO] [stdout] 1008 + InvalidPatternMatch(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/combined.rs:1009:25 [INFO] [stdout] | [INFO] [stdout] 1009 | UnconsumedResources(LinearEnv), [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] 1009 - UnconsumedResources(LinearEnv), [INFO] [stdout] 1009 + UnconsumedResources(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/combined.rs:1010:43 [INFO] [stdout] | [INFO] [stdout] 1010 | AttemptToForceThunkWhileMultiplyOwned(Rc), [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] 1010 - AttemptToForceThunkWhileMultiplyOwned(Rc), [INFO] [stdout] 1010 + AttemptToForceThunkWhileMultiplyOwned(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/calculi/combined.rs:1011:37 [INFO] [stdout] | [INFO] [stdout] 1011 | AttemptToSendMessageToNonObject(Value), [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] 1011 - AttemptToSendMessageToNonObject(Value), [INFO] [stdout] 1011 + AttemptToSendMessageToNonObject(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `extend_many` is never used [INFO] [stdout] --> src/duality/value.rs:49:12 [INFO] [stdout] | [INFO] [stdout] 39 | impl Env { [INFO] [stdout] | ----------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 49 | pub fn extend_many(mut self, bindings: impl Iterator) -> Self { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_match_all` is never used [INFO] [stdout] --> src/duality/pattern.rs:29:12 [INFO] [stdout] | [INFO] [stdout] 22 | impl Pattern { [INFO] [stdout] | ------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 29 | pub fn is_match_all(&self) -> Option<&VariableName> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `match_` and `match_value_loop` are never used [INFO] [stdout] --> src/duality/pattern.rs:55:12 [INFO] [stdout] | [INFO] [stdout] 54 | impl Pattern { [INFO] [stdout] | ------------ methods in this implementation [INFO] [stdout] 55 | pub fn match_( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 89 | pub fn match_value_loop( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `pattern` and `is_match_all` are never used [INFO] [stdout] --> src/duality/matcher.rs:69:12 [INFO] [stdout] | [INFO] [stdout] 59 | impl StrictCode { [INFO] [stdout] | ---------------------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 69 | pub fn pattern(pattern: Pattern, code: Code) -> Self { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 72 | fn is_match_all(&self) -> Option<(&VariableName, &Code)> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_match_all` is never used [INFO] [stdout] --> src/duality/matcher.rs:148:8 [INFO] [stdout] | [INFO] [stdout] 144 | impl StrictPatternCode { [INFO] [stdout] | ----------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 148 | fn is_match_all(&self) -> Option<(&VariableName, &Code)> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `match_` is never used [INFO] [stdout] --> src/duality/matcher.rs:158:12 [INFO] [stdout] | [INFO] [stdout] 157 | impl StrictOrCode { [INFO] [stdout] | ------------------------------ method in this implementation [INFO] [stdout] 158 | pub fn match_( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `match_` is never used [INFO] [stdout] --> src/duality/matcher.rs:192:12 [INFO] [stdout] | [INFO] [stdout] 191 | impl StrictPatternCode { [INFO] [stdout] | ----------------------------------- method in this implementation [INFO] [stdout] 192 | pub fn match_( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `pattern` and `is_match_all` are never used [INFO] [stdout] --> src/duality/sender.rs:39:12 [INFO] [stdout] | [INFO] [stdout] 23 | impl LazyCode { [INFO] [stdout] | -------------------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 39 | pub fn pattern(pattern: Pattern, code: LazyCode) -> Self { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 42 | fn is_match_all(&self) -> Option<(&VariableName, &LazyCode)> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_match_all` is never used [INFO] [stdout] --> src/duality/sender.rs:82:8 [INFO] [stdout] | [INFO] [stdout] 78 | impl LazyPatternCode { [INFO] [stdout] | --------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 82 | fn is_match_all(&self) -> Option<(&VariableName, &LazyCode)> { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `send_value_loop` is never used [INFO] [stdout] --> src/duality/sender.rs:207:8 [INFO] [stdout] | [INFO] [stdout] 206 | impl LazyPatternCode { [INFO] [stdout] | --------------------------------- method in this implementation [INFO] [stdout] 207 | fn send_value_loop( [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/duality/error.rs:10:22 [INFO] [stdout] | [INFO] [stdout] 10 | UnableToMatchTag(Tag), [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] 10 - UnableToMatchTag(Tag), [INFO] [stdout] 10 + UnableToMatchTag(()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 15.10s [INFO] running `Command { std: "docker" "inspect" "a864ff9120fd5d38063a69a6b8ba7a599b52a5bb18a16767f4f12d0bf72cf5fc", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a864ff9120fd5d38063a69a6b8ba7a599b52a5bb18a16767f4f12d0bf72cf5fc", kill_on_drop: false }` [INFO] [stdout] a864ff9120fd5d38063a69a6b8ba7a599b52a5bb18a16767f4f12d0bf72cf5fc