[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] testing omedusyo/linear-resource-calculus against try#c2e32f1c9652b13ed99608599c1e855462f421f3 for pr-146098-7 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fomedusyo%2Flinear-resource-calculus" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/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-7-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/omedusyo/linear-resource-calculus on toolchain c2e32f1c9652b13ed99608599c1e855462f421f3 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "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" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 696c1c384706104fd5381516891b84e190a6f7b7dcb097e3ff09d8a39361c825 [INFO] running `Command { std: "docker" "start" "-a" "696c1c384706104fd5381516891b84e190a6f7b7dcb097e3ff09d8a39361c825", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "696c1c384706104fd5381516891b84e190a6f7b7dcb097e3ff09d8a39361c825", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "696c1c384706104fd5381516891b84e190a6f7b7dcb097e3ff09d8a39361c825", kill_on_drop: false }` [INFO] [stdout] 696c1c384706104fd5381516891b84e190a6f7b7dcb097e3ff09d8a39361c825 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 603876c4fb7b21e85b8c7a5d699220acf92dee0b5b82f78b5171f4676de80e08 [INFO] running `Command { std: "docker" "start" "-a" "603876c4fb7b21e85b8c7a5d699220acf92dee0b5b82f78b5171f4676de80e08", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.86 [INFO] [stderr] Compiling unicode-ident v1.0.13 [INFO] [stderr] Compiling rustix v0.38.37 [INFO] [stderr] Compiling bitflags v2.6.0 [INFO] [stderr] Compiling libc v0.2.159 [INFO] [stderr] Compiling linux-raw-sys v0.4.14 [INFO] [stderr] Compiling clap_lex v0.7.2 [INFO] [stderr] Compiling endian-type v0.1.2 [INFO] [stderr] Compiling nix v0.28.0 [INFO] [stderr] Compiling nibble_vec v0.1.0 [INFO] [stderr] Compiling triomphe v0.1.14 [INFO] [stderr] Compiling unicode-width v0.1.14 [INFO] [stderr] Compiling unicode-segmentation v1.12.0 [INFO] [stderr] Compiling minimal-lexical v0.2.1 [INFO] [stderr] Compiling log v0.4.22 [INFO] [stderr] Compiling home v0.5.9 [INFO] [stderr] Compiling radix_trie v0.2.1 [INFO] [stderr] Compiling archery v1.2.1 [INFO] [stderr] Compiling clap_builder v4.5.20 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Compiling rpds v1.1.0 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling syn v2.0.79 [INFO] [stderr] Compiling fd-lock v4.0.2 [INFO] [stderr] Compiling rustyline v14.0.0 [INFO] [stderr] Compiling clap_derive v4.5.18 [INFO] [stderr] Compiling clap v4.5.20 [INFO] [stderr] Compiling 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)]` (part of `#[warn(unused)]`) 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_... [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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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,... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 132 | fn operation_application2(op_code: OperationCode, e0: Self, e1: Self) -> Self { Self(Box::new(Expression0::OperationApplication... [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: m... [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), Err... [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<(... [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<(Prog... [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 17.95s [INFO] running `Command { std: "docker" "inspect" "603876c4fb7b21e85b8c7a5d699220acf92dee0b5b82f78b5171f4676de80e08", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "603876c4fb7b21e85b8c7a5d699220acf92dee0b5b82f78b5171f4676de80e08", kill_on_drop: false }` [INFO] [stdout] 603876c4fb7b21e85b8c7a5d699220acf92dee0b5b82f78b5171f4676de80e08 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 2901838fc3ba8946c523cf899ca2d2aecde4c73a30e229423fb58e9c0de6c45a [INFO] running `Command { std: "docker" "start" "-a" "2901838fc3ba8946c523cf899ca2d2aecde4c73a30e229423fb58e9c0de6c45a", kill_on_drop: false }` [INFO] [stderr] Compiling 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)]` (part of `#[warn(unused)]`) 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_... [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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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,... [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 132 | fn operation_application2(op_code: OperationCode, e0: Self, e1: Self) -> Self { Self(Box::new(Expression0::OperationApplication... [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: m... [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), Err... [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<(... [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<(Prog... [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 `test` profile [unoptimized + debuginfo] target(s) in 1.81s [INFO] running `Command { std: "docker" "inspect" "2901838fc3ba8946c523cf899ca2d2aecde4c73a30e229423fb58e9c0de6c45a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2901838fc3ba8946c523cf899ca2d2aecde4c73a30e229423fb58e9c0de6c45a", kill_on_drop: false }` [INFO] [stdout] 2901838fc3ba8946c523cf899ca2d2aecde4c73a30e229423fb58e9c0de6c45a [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 535a5c54218ea582d98bd51a48090e66d4fc12df08af39a605e3e861262360f1 [INFO] running `Command { std: "docker" "start" "-a" "535a5c54218ea582d98bd51a48090e66d4fc12df08af39a605e3e861262360f1", kill_on_drop: false }` [INFO] [stderr] warning: unused imports: `binding_vector`, `brackets`, `delimited_nonempty_vector`, `delimited_vector`, and `peek_anytoken` [INFO] [stderr] --> src/calculi/cartesian.rs:5:49 [INFO] [stderr] | [INFO] [stderr] 5 | anyidentifier, anytoken, identifier, token, peek_anytoken, peek_token, vector, delimited_nonempty_vector, delimited_vector, [INFO] [stderr] | ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stderr] 6 | parameter_vector, or_vector, comma_vector, binding_vector, parens, brackets, curly_braces, [INFO] [stderr] | ^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `EscapedContentMode` [INFO] [stderr] --> src/calculi/linear.rs:4:71 [INFO] [stderr] | [INFO] [stderr] 4 | use crate::tokenizer::{TokenStream, Token, TokenType, EscapedContent, EscapedContentMode}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `binding_vector`, `delimited_nonempty_vector`, `delimited_vector`, and `parens` [INFO] [stderr] --> src/calculi/linear.rs:6:84 [INFO] [stderr] | [INFO] [stderr] 6 | anyidentifier, anytoken, identifier, token, peek_anytoken, peek_token, vector, delimited_nonempty_vector, delimited_vector, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stderr] 7 | parameter_vector, or_vector, comma_vector, binding_vector, parens, brackets, curly_braces, [INFO] [stderr] | ^^^^^^^^^^^^^^ ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `binding_vector`, `delimited_nonempty_vector`, `parameter_vector`, `peek_anytoken`, and `peek_token` [INFO] [stderr] --> src/calculi/combined.rs:5:49 [INFO] [stderr] | [INFO] [stderr] 5 | anyidentifier, anytoken, identifier, token, peek_anytoken, peek_token, vector, delimited_nonempty_vector, delimited_vector, [INFO] [stderr] | ^^^^^^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 6 | variable_name, parameter_vector, or_vector, comma_vector, binding_vector, parens, brackets, curly_braces, possibly_empty_relaxed_... [INFO] [stderr] | ^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `v` [INFO] [stderr] --> src/interpreter.rs:143:13 [INFO] [stderr] | [INFO] [stderr] 143 | let v = &self.program; [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: type `repl::Msg<'_>` is more private than the item `repl::Repl::update` [INFO] [stderr] --> src/repl.rs:88:5 [INFO] [stderr] | [INFO] [stderr] 88 | fn update(&mut self, msg: Msg<'_>) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `repl::Repl::update` is reachable at visibility `pub(crate)` [INFO] [stderr] | [INFO] [stderr] note: but type `repl::Msg<'_>` is only usable at visibility `pub(self)` [INFO] [stderr] --> src/repl.rs:26:1 [INFO] [stderr] | [INFO] [stderr] 26 | enum Msg<'a> { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] = note: `#[warn(private_interfaces)]` on by default [INFO] [stderr] [INFO] [stderr] warning: type `Literal` is more private than the item `linear::Expression0::Lit::0` [INFO] [stderr] --> src/calculi/linear.rs:785:9 [INFO] [stderr] | [INFO] [stderr] 785 | Lit(Literal), [INFO] [stderr] | ^^^^^^^ field `linear::Expression0::Lit::0` is reachable at visibility `pub(crate)` [INFO] [stderr] | [INFO] [stderr] note: but type `Literal` is only usable at visibility `pub(self)` [INFO] [stderr] --> src/calculi/linear.rs:807:1 [INFO] [stderr] | [INFO] [stderr] 807 | enum Literal { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: methods `interpreter` and `editor` are never used [INFO] [stderr] --> src/repl.rs:35:8 [INFO] [stderr] | [INFO] [stderr] 32 | pub trait Repl { [INFO] [stderr] | ---- methods in this trait [INFO] [stderr] ... [INFO] [stderr] 35 | fn interpreter(&self) -> &Self::Interpreter; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 38 | fn editor(&self) -> &Editor; [INFO] [stderr] | ^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: function `delimited_nonempty_vector` is never used [INFO] [stderr] --> src/syntax.rs:151:8 [INFO] [stderr] | [INFO] [stderr] 151 | pub fn delimited_nonempty_vector( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `binding_vector` is never used [INFO] [stderr] --> src/syntax.rs:196:8 [INFO] [stderr] | [INFO] [stderr] 196 | pub fn binding_vector( [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method `str` is never used [INFO] [stderr] --> src/identifier.rs:18:12 [INFO] [stderr] | [INFO] [stderr] 13 | impl VariableName { [INFO] [stderr] | ----------------- method in this implementation [INFO] [stderr] ... [INFO] [stderr] 18 | pub fn str(&self) -> &str { [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: method `str` is never used [INFO] [stderr] --> src/identifier.rs:38:12 [INFO] [stderr] | [INFO] [stderr] 33 | impl Tag { [INFO] [stderr] | -------- method in this implementation [INFO] [stderr] ... [INFO] [stderr] 38 | pub fn str(&self) -> &str { [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/calculi/cartesian.rs:449:27 [INFO] [stderr] | [INFO] [stderr] 449 | FunctionLookupFailure(FunctionName), [INFO] [stderr] | --------------------- ^^^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this variant [INFO] [stderr] | [INFO] [stderr] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stderr] | [INFO] [stderr] 449 - FunctionLookupFailure(FunctionName), [INFO] [stderr] 449 + FunctionLookupFailure(()), [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: fields `fn_name`, `expected`, and `received` are never read [INFO] [stderr] --> src/calculi/cartesian.rs:450:33 [INFO] [stderr] | [INFO] [stderr] 450 | FunctionCallArityMismatch { fn_name: FunctionName, expected: usize, received: usize }, [INFO] [stderr] | ------------------------- ^^^^^^^ ^^^^^^^^ ^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | fields in this variant [INFO] [stderr] | [INFO] [stderr] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/calculi/cartesian.rs:451:27 [INFO] [stderr] | [INFO] [stderr] 451 | VariableLookupFailure(VariableName), [INFO] [stderr] | --------------------- ^^^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this variant [INFO] [stderr] | [INFO] [stderr] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stderr] | [INFO] [stderr] 451 - VariableLookupFailure(VariableName), [INFO] [stderr] 451 + VariableLookupFailure(()), [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/calculi/cartesian.rs:453:37 [INFO] [stderr] | [INFO] [stderr] 453 | AttemptToSendMessageToNonObject(Value), [INFO] [stderr] | ------------------------------- ^^^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this variant [INFO] [stderr] | [INFO] [stderr] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stderr] | [INFO] [stderr] 453 - AttemptToSendMessageToNonObject(Value), [INFO] [stderr] 453 + AttemptToSendMessageToNonObject(()), [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: methods `tag`, `expression`, and `split` are never used [INFO] [stderr] --> src/calculi/linear.rs:843:8 [INFO] [stderr] | [INFO] [stderr] 839 | impl Msg { [INFO] [stderr] | -------- methods in this implementation [INFO] [stderr] ... [INFO] [stderr] 843 | fn tag(self, tag: Tag) -> Self { [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 846 | fn expression(self, e: Expression) -> Self { [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 853 | fn split(&self) -> Option<(&PrimitiveMsg, Msg)> { [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: enum `PrimitiveValue` is never used [INFO] [stderr] --> src/calculi/linear.rs:918:10 [INFO] [stderr] | [INFO] [stderr] 918 | pub enum PrimitiveValue { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method `discard` is never used [INFO] [stderr] --> src/calculi/linear.rs:929:8 [INFO] [stderr] | [INFO] [stderr] 928 | impl Value { [INFO] [stderr] | ---------- method in this implementation [INFO] [stderr] 929 | fn discard(self) -> () { [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/calculi/linear.rs:1225:27 [INFO] [stderr] | [INFO] [stderr] 1225 | FunctionLookupFailure(FunctionName), [INFO] [stderr] | --------------------- ^^^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this variant [INFO] [stderr] | [INFO] [stderr] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stderr] | [INFO] [stderr] 1225 - FunctionLookupFailure(FunctionName), [INFO] [stderr] 1225 + FunctionLookupFailure(()), [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: fields `fn_name`, `expected`, and `received` are never read [INFO] [stderr] --> src/calculi/linear.rs:1226:33 [INFO] [stderr] | [INFO] [stderr] 1226 | FunctionCallArityMismatch { fn_name: FunctionName, expected: usize, received: usize }, [INFO] [stderr] | ------------------------- ^^^^^^^ ^^^^^^^^ ^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | fields in this variant [INFO] [stderr] | [INFO] [stderr] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/calculi/linear.rs:1227:27 [INFO] [stderr] | [INFO] [stderr] 1227 | VariableLookupFailure(VariableName), [INFO] [stderr] | --------------------- ^^^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this variant [INFO] [stderr] | [INFO] [stderr] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stderr] | [INFO] [stderr] 1227 - VariableLookupFailure(VariableName), [INFO] [stderr] 1227 + VariableLookupFailure(()), [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/calculi/linear.rs:1228:18 [INFO] [stderr] | [INFO] [stderr] 1228 | PatternMatch(duality::error::Error), [INFO] [stderr] | ------------ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this variant [INFO] [stderr] | [INFO] [stderr] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stderr] | [INFO] [stderr] 1228 - PatternMatch(duality::error::Error), [INFO] [stderr] 1228 + PatternMatch(()), [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/calculi/linear.rs:1229:25 [INFO] [stderr] | [INFO] [stderr] 1229 | UnconsumedResources(Env), [INFO] [stderr] | ------------------- ^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this variant [INFO] [stderr] | [INFO] [stderr] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stderr] | [INFO] [stderr] 1229 - UnconsumedResources(Env), [INFO] [stderr] 1229 + UnconsumedResources(()), [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/calculi/linear.rs:1230:37 [INFO] [stderr] | [INFO] [stderr] 1230 | AttemptToSendMessageToNonObject(Value), [INFO] [stderr] | ------------------------------- ^^^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this variant [INFO] [stderr] | [INFO] [stderr] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stderr] | [INFO] [stderr] 1230 - AttemptToSendMessageToNonObject(Value), [INFO] [stderr] 1230 + AttemptToSendMessageToNonObject(()), [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: struct `Program` is never constructed [INFO] [stderr] --> src/calculi/linear_old.rs:7:12 [INFO] [stderr] | [INFO] [stderr] 7 | pub struct Program { [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `FunctionDefinition` is never constructed [INFO] [stderr] --> src/calculi/linear_old.rs:16:12 [INFO] [stderr] | [INFO] [stderr] 16 | pub struct FunctionDefinition { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated items `new`, `update_function_definition`, `get_function_definition`, and `get_clone_of_function_definition` are never used [INFO] [stderr] --> src/calculi/linear_old.rs:23:12 [INFO] [stderr] | [INFO] [stderr] 22 | impl Program { [INFO] [stderr] | ------------ associated items in this implementation [INFO] [stderr] 23 | pub fn new() -> Self { [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 30 | pub fn update_function_definition(&mut self, fn_def: FunctionDefinition) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 49 | pub fn get_function_definition(&self, function_name: FunctionName) -> Option<&FunctionDefinition> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 53 | pub fn get_clone_of_function_definition(&self, function_name: FunctionName) -> Option { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `Expression` is never constructed [INFO] [stderr] --> src/calculi/linear_old.rs:63:12 [INFO] [stderr] | [INFO] [stderr] 63 | pub struct Expression(pub Box); [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: enum `Expression0` is never used [INFO] [stderr] --> src/calculi/linear_old.rs:67:10 [INFO] [stderr] | [INFO] [stderr] 67 | pub enum Expression0 { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: enum `OperationCode` is never used [INFO] [stderr] --> src/calculi/linear_old.rs:86:10 [INFO] [stderr] | [INFO] [stderr] 86 | pub enum OperationCode { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `Bindings` is never constructed [INFO] [stderr] --> src/calculi/linear_old.rs:100:12 [INFO] [stderr] | [INFO] [stderr] 100 | pub struct Bindings(Box); [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: enum `Bindings0` is never used [INFO] [stderr] --> src/calculi/linear_old.rs:103:10 [INFO] [stderr] | [INFO] [stderr] 103 | pub enum Bindings0 { [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `PatternBranch` is never constructed [INFO] [stderr] --> src/calculi/linear_old.rs:109:12 [INFO] [stderr] | [INFO] [stderr] 109 | pub struct PatternBranch { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: enum `Pattern` is never used [INFO] [stderr] --> src/calculi/linear_old.rs:117:10 [INFO] [stderr] | [INFO] [stderr] 117 | pub enum Pattern { [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: enum `TuplePattern` is never used [INFO] [stderr] --> src/calculi/linear_old.rs:124:10 [INFO] [stderr] | [INFO] [stderr] 124 | pub enum TuplePattern { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: multiple associated functions are never used [INFO] [stderr] --> src/calculi/linear_old.rs:130:8 [INFO] [stderr] | [INFO] [stderr] 129 | impl Expression { [INFO] [stderr] | --------------- associated functions in this implementation [INFO] [stderr] 130 | fn int(x: i32) -> Self { Self(Box::new(Expression0::Int(x))) } [INFO] [stderr] | ^^^ [INFO] [stderr] 131 | fn operation_application1(op_code: OperationCode, e0: Self) -> Self { Self(Box::new(Expression0::OperationApplication1(op_code,... [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 132 | fn operation_application2(op_code: OperationCode, e0: Self, e1: Self) -> Self { Self(Box::new(Expression0::OperationApplication... [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 133 | fn call(fn_name: FunctionName, args: Vec) -> Self { Self(Box::new(Expression0::Call(fn_name, args))) } [INFO] [stderr] | ^^^^ [INFO] [stderr] 134 | fn tagged(tag: Tag, e: Expression) -> Self { Self(Box::new(Expression0::Tagged(tag, e))) } [INFO] [stderr] | ^^^^^^ [INFO] [stderr] 135 | fn tuple(args: Vec) -> Self { Self(Box::new(Expression0::Tuple(args))) } [INFO] [stderr] | ^^^^^ [INFO] [stderr] 136 | fn match_(arg: Self, branches: Vec) -> Self { Self(Box::new(Expression0::Match { arg, branches })) } [INFO] [stderr] | ^^^^^^ [INFO] [stderr] 137 | fn var_move(var: VariableName) -> Self { Self(Box::new(Expression0::VarMove(var))) } [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] 138 | fn var_clone(var: VariableName) -> Self { Self(Box::new(Expression0::VarClone(var))) } [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] 139 | fn var_drop(var: VariableName, expr: Expression) -> Self { Self(Box::new(Expression0::VarDrop(var, expr))) } [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] 140 | fn let_move(arg: Self, var: VariableName, body: Self) -> Self { Self(Box::new(Expression0::LetMove { arg, var, body })) } [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] 141 | fn object(moved_env: Bindings, branches: Vec) -> Self { Self(Box::new(Expression0::Object { captured_bindings: m... [INFO] [stderr] | ^^^^^^ [INFO] [stderr] 142 | fn send(obj: Self, msg: Self) -> Self { Self(Box::new(Expression0::Send(obj, msg))) } [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: enum `Value` is never used [INFO] [stderr] --> src/calculi/linear_old.rs:147:10 [INFO] [stderr] | [INFO] [stderr] 147 | pub enum Value { [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: methods `discard` and `duplicate` are never used [INFO] [stderr] --> src/calculi/linear_old.rs:155:8 [INFO] [stderr] | [INFO] [stderr] 154 | impl Value { [INFO] [stderr] | ---------- methods in this implementation [INFO] [stderr] 155 | fn discard(self) -> () { [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 169 | fn duplicate(self) -> (Self, Self) { [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `Env` is never constructed [INFO] [stderr] --> src/calculi/linear_old.rs:194:12 [INFO] [stderr] | [INFO] [stderr] 194 | pub struct Env(Box); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: enum `Env0` is never used [INFO] [stderr] --> src/calculi/linear_old.rs:197:10 [INFO] [stderr] | [INFO] [stderr] 197 | pub enum Env0 { [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: multiple associated items are never used [INFO] [stderr] --> src/calculi/linear_old.rs:203:8 [INFO] [stderr] | [INFO] [stderr] 202 | impl Env { [INFO] [stderr] | -------- associated items in this implementation [INFO] [stderr] 203 | fn new() -> Self { [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 207 | fn is_empty(&self) -> bool { [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 216 | fn move_(self, var_name: VariableName) -> Result<(Value, Self), Error> { [INFO] [stderr] | ^^^^^ [INFO] [stderr] ... [INFO] [stderr] 231 | fn clone_(self, var_name: VariableName) -> Result<(Value, Self), Error> { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 247 | fn drop_(self, var_name: VariableName) -> Result { [INFO] [stderr] | ^^^^^ [INFO] [stderr] ... [INFO] [stderr] 263 | fn extend(self, var: VariableName, value: Value) -> Self { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 268 | fn extend_many(mut self, bindings: impl Iterator) -> Self { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: enum `Error` is never used [INFO] [stderr] --> src/calculi/linear_old.rs:278:10 [INFO] [stderr] | [INFO] [stderr] 278 | pub enum Error { [INFO] [stderr] | ^^^^^ [INFO] [stderr] [INFO] [stderr] warning: enum `PatternMatchErrror` is never used [INFO] [stderr] --> src/calculi/linear_old.rs:289:10 [INFO] [stderr] | [INFO] [stderr] 289 | pub enum PatternMatchErrror { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `eval_start` is never used [INFO] [stderr] --> src/calculi/linear_old.rs:299:8 [INFO] [stderr] | [INFO] [stderr] 299 | pub fn eval_start(program: Program, e: Expression) -> Result<(Program, Value), Error> { [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `eval` is never used [INFO] [stderr] --> src/calculi/linear_old.rs:309:4 [INFO] [stderr] | [INFO] [stderr] 309 | fn eval(program: Program, env: Env, e: Expression) -> Result<(Program, Env, Value), Error> { [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `eval_bindings` is never used [INFO] [stderr] --> src/calculi/linear_old.rs:441:4 [INFO] [stderr] | [INFO] [stderr] 441 | fn eval_bindings(program: Program, env: Env, bindings: Bindings) -> Result<(Program, Env, Env), Error> { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `TuplePatternBranches` is never constructed [INFO] [stderr] --> src/calculi/linear_old.rs:465:12 [INFO] [stderr] | [INFO] [stderr] 465 | pub struct TuplePatternBranches { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated function `new` is never used [INFO] [stderr] --> src/calculi/linear_old.rs:471:8 [INFO] [stderr] | [INFO] [stderr] 470 | impl TuplePatternBranches { [INFO] [stderr] | ------------------------- associated function in this implementation [INFO] [stderr] 471 | fn new(number_of_branches: usize, tuple_count: usize) -> Self { [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: function `apply_msg_to_branches` is never used [INFO] [stderr] --> src/calculi/linear_old.rs:509:4 [INFO] [stderr] | [INFO] [stderr] 509 | fn apply_msg_to_branches(program: Program, env: Env, branches: Vec, val: Value) -> Result<(Program, Env, Value), Err... [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `apply_tuple_to_branch` is never used [INFO] [stderr] --> src/calculi/linear_old.rs:558:4 [INFO] [stderr] | [INFO] [stderr] 558 | fn apply_tuple_to_branch(program: Program, env: Env, patterns: Vec, body: Expression, values: Vec) -> Result<(... [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `bind_tuple_to_tuple_pattern` is never used [INFO] [stderr] --> src/calculi/linear_old.rs:562:4 [INFO] [stderr] | [INFO] [stderr] 562 | fn bind_tuple_to_tuple_pattern(mut program: Program, mut env: Env, patterns: Vec, values: Vec) -> Result<(Prog... [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `apply_function` is never used [INFO] [stderr] --> src/calculi/linear_old.rs:586:4 [INFO] [stderr] | [INFO] [stderr] 586 | fn apply_function(program: Program, fn_name: FunctionName, arg_values: Vec) -> Result<(Program, Value), Error> { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/calculi/combined.rs:1003:27 [INFO] [stderr] | [INFO] [stderr] 1003 | FunctionLookupFailure(FunctionName), [INFO] [stderr] | --------------------- ^^^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this variant [INFO] [stderr] | [INFO] [stderr] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stderr] | [INFO] [stderr] 1003 - FunctionLookupFailure(FunctionName), [INFO] [stderr] 1003 + FunctionLookupFailure(()), [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: fields `fn_name`, `expected`, and `received` are never read [INFO] [stderr] --> src/calculi/combined.rs:1004:42 [INFO] [stderr] | [INFO] [stderr] 1004 | CartesianFunctionCallArityMismatch { fn_name: FunctionName, expected: usize, received: usize }, [INFO] [stderr] | ---------------------------------- ^^^^^^^ ^^^^^^^^ ^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | fields in this variant [INFO] [stderr] | [INFO] [stderr] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] [INFO] [stderr] warning: fields `fn_name`, `expected_cartesian`, `received_cartesian`, `expected_linear`, and `received_linear` are never read [INFO] [stderr] --> src/calculi/combined.rs:1005:39 [INFO] [stderr] | [INFO] [stderr] 1005 | LinearFunctionCallArityMismatch { fn_name: FunctionName, expected_cartesian: usize, received_cartesian: usize, expected_linear: usize, received_linear: u... [INFO] [stderr] | ------------------------------- ^^^^^^^ ^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | fields in this variant [INFO] [stderr] | [INFO] [stderr] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/calculi/combined.rs:1006:27 [INFO] [stderr] | [INFO] [stderr] 1006 | VariableLookupFailure(VariableName), [INFO] [stderr] | --------------------- ^^^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this variant [INFO] [stderr] | [INFO] [stderr] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stderr] | [INFO] [stderr] 1006 - VariableLookupFailure(VariableName), [INFO] [stderr] 1006 + VariableLookupFailure(()), [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/calculi/combined.rs:1008:25 [INFO] [stderr] | [INFO] [stderr] 1008 | InvalidPatternMatch(PatternMatchErrror), [INFO] [stderr] | ------------------- ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this variant [INFO] [stderr] | [INFO] [stderr] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stderr] | [INFO] [stderr] 1008 - InvalidPatternMatch(PatternMatchErrror), [INFO] [stderr] 1008 + InvalidPatternMatch(()), [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/calculi/combined.rs:1009:25 [INFO] [stderr] | [INFO] [stderr] 1009 | UnconsumedResources(LinearEnv), [INFO] [stderr] | ------------------- ^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this variant [INFO] [stderr] | [INFO] [stderr] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stderr] | [INFO] [stderr] 1009 - UnconsumedResources(LinearEnv), [INFO] [stderr] 1009 + UnconsumedResources(()), [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/calculi/combined.rs:1010:43 [INFO] [stderr] | [INFO] [stderr] 1010 | AttemptToForceThunkWhileMultiplyOwned(Rc), [INFO] [stderr] | ------------------------------------- ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this variant [INFO] [stderr] | [INFO] [stderr] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stderr] | [INFO] [stderr] 1010 - AttemptToForceThunkWhileMultiplyOwned(Rc), [INFO] [stderr] 1010 + AttemptToForceThunkWhileMultiplyOwned(()), [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/calculi/combined.rs:1011:37 [INFO] [stderr] | [INFO] [stderr] 1011 | AttemptToSendMessageToNonObject(Value), [INFO] [stderr] | ------------------------------- ^^^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this variant [INFO] [stderr] | [INFO] [stderr] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stderr] | [INFO] [stderr] 1011 - AttemptToSendMessageToNonObject(Value), [INFO] [stderr] 1011 + AttemptToSendMessageToNonObject(()), [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: method `extend_many` is never used [INFO] [stderr] --> src/duality/value.rs:49:12 [INFO] [stderr] | [INFO] [stderr] 39 | impl Env { [INFO] [stderr] | ----------------------- method in this implementation [INFO] [stderr] ... [INFO] [stderr] 49 | pub fn extend_many(mut self, bindings: impl Iterator) -> Self { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method `is_match_all` is never used [INFO] [stderr] --> src/duality/pattern.rs:29:12 [INFO] [stderr] | [INFO] [stderr] 22 | impl Pattern { [INFO] [stderr] | ------------ method in this implementation [INFO] [stderr] ... [INFO] [stderr] 29 | pub fn is_match_all(&self) -> Option<&VariableName> { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: methods `match_` and `match_value_loop` are never used [INFO] [stderr] --> src/duality/pattern.rs:55:12 [INFO] [stderr] | [INFO] [stderr] 54 | impl Pattern { [INFO] [stderr] | ------------ methods in this implementation [INFO] [stderr] 55 | pub fn match_( [INFO] [stderr] | ^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 89 | pub fn match_value_loop( [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated items `pattern` and `is_match_all` are never used [INFO] [stderr] --> src/duality/matcher.rs:69:12 [INFO] [stderr] | [INFO] [stderr] 59 | impl StrictCode { [INFO] [stderr] | ---------------------------- associated items in this implementation [INFO] [stderr] ... [INFO] [stderr] 69 | pub fn pattern(pattern: Pattern, code: Code) -> Self { [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 72 | fn is_match_all(&self) -> Option<(&VariableName, &Code)> { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method `is_match_all` is never used [INFO] [stderr] --> src/duality/matcher.rs:148:8 [INFO] [stderr] | [INFO] [stderr] 144 | impl StrictPatternCode { [INFO] [stderr] | ----------------------------------- method in this implementation [INFO] [stderr] ... [INFO] [stderr] 148 | fn is_match_all(&self) -> Option<(&VariableName, &Code)> { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method `match_` is never used [INFO] [stderr] --> src/duality/matcher.rs:158:12 [INFO] [stderr] | [INFO] [stderr] 157 | impl StrictOrCode { [INFO] [stderr] | ------------------------------ method in this implementation [INFO] [stderr] 158 | pub fn match_( [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method `match_` is never used [INFO] [stderr] --> src/duality/matcher.rs:192:12 [INFO] [stderr] | [INFO] [stderr] 191 | impl StrictPatternCode { [INFO] [stderr] | ----------------------------------- method in this implementation [INFO] [stderr] 192 | pub fn match_( [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated items `pattern` and `is_match_all` are never used [INFO] [stderr] --> src/duality/sender.rs:39:12 [INFO] [stderr] | [INFO] [stderr] 23 | impl LazyCode { [INFO] [stderr] | -------------------------- associated items in this implementation [INFO] [stderr] ... [INFO] [stderr] 39 | pub fn pattern(pattern: Pattern, code: LazyCode) -> Self { [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 42 | fn is_match_all(&self) -> Option<(&VariableName, &LazyCode)> { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method `is_match_all` is never used [INFO] [stderr] --> src/duality/sender.rs:82:8 [INFO] [stderr] | [INFO] [stderr] 78 | impl LazyPatternCode { [INFO] [stderr] | --------------------------------- method in this implementation [INFO] [stderr] ... [INFO] [stderr] 82 | fn is_match_all(&self) -> Option<(&VariableName, &LazyCode)> { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method `send_value_loop` is never used [INFO] [stderr] --> src/duality/sender.rs:207:8 [INFO] [stderr] | [INFO] [stderr] 206 | impl LazyPatternCode { [INFO] [stderr] | --------------------------------- method in this implementation [INFO] [stderr] 207 | fn send_value_loop( [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/duality/error.rs:10:22 [INFO] [stderr] | [INFO] [stderr] 10 | UnableToMatchTag(Tag), [INFO] [stderr] | ---------------- ^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this variant [INFO] [stderr] | [INFO] [stderr] = note: `Error` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stderr] | [INFO] [stderr] 10 - UnableToMatchTag(Tag), [INFO] [stderr] 10 + UnableToMatchTag(()), [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: `nom_test` (bin "nom_test" test) generated 72 warnings (run `cargo fix --bin "nom_test" -p nom_test --tests` to apply 5 suggestions) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.09s [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/nom_test-fad2c825769b26e2) [INFO] [stdout] [INFO] [stdout] running 5 tests [INFO] [stdout] test tokenizer::test_float ... ok [INFO] [stdout] test tokenizer::test_string ... ok [INFO] [stdout] test tokenizer::test_whitespace ... ok [INFO] [stdout] test tokenizer::test_peek_char_or_eof ... ok [INFO] [stdout] test tokenizer::test_comment ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "535a5c54218ea582d98bd51a48090e66d4fc12df08af39a605e3e861262360f1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "535a5c54218ea582d98bd51a48090e66d4fc12df08af39a605e3e861262360f1", kill_on_drop: false }` [INFO] [stdout] 535a5c54218ea582d98bd51a48090e66d4fc12df08af39a605e3e861262360f1