[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 master#c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 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-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/omedusyo/linear-resource-calculus
[INFO] finished tweaking git repo https://github.com/omedusyo/linear-resource-calculus
[INFO] tweaked toml for git repo https://github.com/omedusyo/linear-resource-calculus written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/omedusyo/linear-resource-calculus on toolchain c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "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" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded endian-type v0.1.2
[INFO] [stderr]   Downloaded archery v1.2.1
[INFO] [stderr]   Downloaded anstyle-wincon v3.0.6
[INFO] [stderr]   Downloaded clap_derive v4.5.18
[INFO] [stderr]   Downloaded clap v4.5.20
[INFO] [stderr]   Downloaded rpds v1.1.0
[INFO] [stderr]   Downloaded triomphe v0.1.14
[INFO] [stderr]   Downloaded rustyline v14.0.0
[INFO] [stderr]   Downloaded radix_trie v0.2.1
[INFO] [stderr]   Downloaded clap_lex v0.7.2
[INFO] [stderr]   Downloaded fd-lock v4.0.2
[INFO] [stderr]   Downloaded clap_builder v4.5.20
[INFO] [stderr]   Downloaded nibble_vec v0.1.0
[INFO] [stderr]   Downloaded rustix v0.38.37
[INFO] [stderr]   Downloaded syn v2.0.79
[INFO] [stderr]   Downloaded libc v0.2.159
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] bd536516460b5365152b429eab4c75984a104e7d89a3c7b36b5afe2a7a1cd3e5
[INFO] running `Command { std: "docker" "start" "-a" "bd536516460b5365152b429eab4c75984a104e7d89a3c7b36b5afe2a7a1cd3e5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "bd536516460b5365152b429eab4c75984a104e7d89a3c7b36b5afe2a7a1cd3e5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bd536516460b5365152b429eab4c75984a104e7d89a3c7b36b5afe2a7a1cd3e5", kill_on_drop: false }`
[INFO] [stdout] bd536516460b5365152b429eab4c75984a104e7d89a3c7b36b5afe2a7a1cd3e5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a277db23e42829eed33079055f2b3e60724721d8af7a55d427e73b707467b0df
[INFO] running `Command { std: "docker" "start" "-a" "a277db23e42829eed33079055f2b3e60724721d8af7a55d427e73b707467b0df", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.86
[INFO] [stderr]    Compiling unicode-ident v1.0.13
[INFO] [stderr]    Compiling bitflags v2.6.0
[INFO] [stderr]    Compiling rustix v0.38.37
[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 nix v0.28.0
[INFO] [stderr]    Compiling nibble_vec v0.1.0
[INFO] [stderr]    Compiling endian-type v0.1.2
[INFO] [stderr]    Compiling triomphe v0.1.14
[INFO] [stderr]    Compiling home v0.5.9
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling unicode-width v0.1.14
[INFO] [stderr]    Compiling unicode-segmentation v1.12.0
[INFO] [stderr]    Compiling log v0.4.22
[INFO] [stderr]    Compiling clap_builder v4.5.20
[INFO] [stderr]    Compiling radix_trie v0.2.1
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling archery v1.2.1
[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<A, D>(
[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<A>(
[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<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] 1228 -     PatternMatch(duality::error::Error<Value>),
[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<FunctionDefinition> {
[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<Expression0>);
[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<Bindings0>);
[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 { 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<Expression>) -> Self { Self(Box::new(Expression0::Tuple(args))) }
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 136 |     fn match_(arg: Self, branches: Vec<PatternBranch>) -> 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<PatternBranch>) -> 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<Env0>);
[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<Self, Error> {
[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<Item=(VariableName, Value)>) -> 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<PatternBranch>, 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<TuplePattern>, body: Expression, values: Vec<Value>) -> 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<TuplePattern>, values: Vec<Value>) -> 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<Value>) -> 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<LinearExpression>),
[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<LinearExpression>),
[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 <Value> Env<Value> {
[INFO] [stdout]    | ----------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 49 |     pub fn extend_many(mut self, bindings: impl Iterator<Item=(VariableName, Value)>) -> 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_<Value: PatternMatchableValue + std::fmt::Debug>(
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 89 |     pub fn match_value_loop<Value>(
[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 <Code> StrictCode<Code> {
[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 <Code> StrictPatternCode<Code> {
[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 <Code> StrictOrCode<Code> {
[INFO] [stdout]     | ------------------------------ method in this implementation
[INFO] [stdout] 158 |     pub fn match_<Value: PatternMatchableValue + std::fmt::Debug>(
[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 <Code> StrictPatternCode<Code> {
[INFO] [stdout]     | ----------------------------------- method in this implementation
[INFO] [stdout] 192 |     pub fn match_<Value: PatternMatchableValue + std::fmt::Debug>(
[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 <Code> LazyCode<Code> {
[INFO] [stdout]    | -------------------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 39 |     pub fn pattern(pattern: Pattern, code: LazyCode<Code>) -> Self {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 42 |     fn is_match_all(&self) -> Option<(&VariableName, &LazyCode<Code>)> {
[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 <Code> LazyPatternCode<Code> {
[INFO] [stdout]    | --------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 82 |     fn is_match_all(&self) -> Option<(&VariableName, &LazyCode<Code>)> {
[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 <Code> LazyPatternCode<Code> {
[INFO] [stdout]     | --------------------------------- method in this implementation
[INFO] [stdout] 207 |     fn send_value_loop<Value>(
[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 20.19s
[INFO] running `Command { std: "docker" "inspect" "a277db23e42829eed33079055f2b3e60724721d8af7a55d427e73b707467b0df", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a277db23e42829eed33079055f2b3e60724721d8af7a55d427e73b707467b0df", kill_on_drop: false }`
[INFO] [stdout] a277db23e42829eed33079055f2b3e60724721d8af7a55d427e73b707467b0df
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 26b0ef6432faadb279908d5854da65266c7bc9e2123ff35eea134f6f6003f379
[INFO] running `Command { std: "docker" "start" "-a" "26b0ef6432faadb279908d5854da65266c7bc9e2123ff35eea134f6f6003f379", 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<A, D>(
[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<A>(
[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<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] 1228 -     PatternMatch(duality::error::Error<Value>),
[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<FunctionDefinition> {
[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<Expression0>);
[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<Bindings0>);
[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 { 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<Expression>) -> Self { Self(Box::new(Expression0::Tuple(args))) }
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 136 |     fn match_(arg: Self, branches: Vec<PatternBranch>) -> 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<PatternBranch>) -> 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<Env0>);
[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<Self, Error> {
[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<Item=(VariableName, Value)>) -> 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<PatternBranch>, 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<TuplePattern>, body: Expression, values: Vec<Value>) -> 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<TuplePattern>, values: Vec<Value>) -> 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<Value>) -> 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<LinearExpression>),
[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<LinearExpression>),
[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 <Value> Env<Value> {
[INFO] [stdout]    | ----------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 49 |     pub fn extend_many(mut self, bindings: impl Iterator<Item=(VariableName, Value)>) -> 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_<Value: PatternMatchableValue + std::fmt::Debug>(
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 89 |     pub fn match_value_loop<Value>(
[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 <Code> StrictCode<Code> {
[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 <Code> StrictPatternCode<Code> {
[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 <Code> StrictOrCode<Code> {
[INFO] [stdout]     | ------------------------------ method in this implementation
[INFO] [stdout] 158 |     pub fn match_<Value: PatternMatchableValue + std::fmt::Debug>(
[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 <Code> StrictPatternCode<Code> {
[INFO] [stdout]     | ----------------------------------- method in this implementation
[INFO] [stdout] 192 |     pub fn match_<Value: PatternMatchableValue + std::fmt::Debug>(
[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 <Code> LazyCode<Code> {
[INFO] [stdout]    | -------------------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 39 |     pub fn pattern(pattern: Pattern, code: LazyCode<Code>) -> Self {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 42 |     fn is_match_all(&self) -> Option<(&VariableName, &LazyCode<Code>)> {
[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 <Code> LazyPatternCode<Code> {
[INFO] [stdout]    | --------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 82 |     fn is_match_all(&self) -> Option<(&VariableName, &LazyCode<Code>)> {
[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 <Code> LazyPatternCode<Code> {
[INFO] [stdout]     | --------------------------------- method in this implementation
[INFO] [stdout] 207 |     fn send_value_loop<Value>(
[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.96s
[INFO] running `Command { std: "docker" "inspect" "26b0ef6432faadb279908d5854da65266c7bc9e2123ff35eea134f6f6003f379", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "26b0ef6432faadb279908d5854da65266c7bc9e2123ff35eea134f6f6003f379", kill_on_drop: false }`
[INFO] [stdout] 26b0ef6432faadb279908d5854da65266c7bc9e2123ff35eea134f6f6003f379
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 01945cfd7bc70f09903771c18d4ef54f08c2247d28804988ac513175d9d4a07c
[INFO] running `Command { std: "docker" "start" "-a" "01945cfd7bc70f09903771c18d4ef54f08c2247d28804988ac513175d9d4a07c", 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<A, D>(
[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<A>(
[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<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] 1228 -     PatternMatch(duality::error::Error<Value>),
[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<FunctionDefinition> {
[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<Expression0>);
[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<Bindings0>);
[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 { 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<Expression>) -> Self { Self(Box::new(Expression0::Tuple(args))) }
[INFO] [stderr]     |        ^^^^^
[INFO] [stderr] 136 |     fn match_(arg: Self, branches: Vec<PatternBranch>) -> 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<PatternBranch>) -> 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<Env0>);
[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<Self, Error> {
[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<Item=(VariableName, Value)>) -> 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<PatternBranch>, 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<TuplePattern>, body: Expression, values: Vec<Value>) -> 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<TuplePattern>, values: Vec<Value>) -> 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<Value>) -> 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<LinearExpression>),
[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<LinearExpression>),
[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 <Value> Env<Value> {
[INFO] [stderr]    | ----------------------- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 49 |     pub fn extend_many(mut self, bindings: impl Iterator<Item=(VariableName, Value)>) -> 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_<Value: PatternMatchableValue + std::fmt::Debug>(
[INFO] [stderr]    |            ^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 89 |     pub fn match_value_loop<Value>(
[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 <Code> StrictCode<Code> {
[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 <Code> StrictPatternCode<Code> {
[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 <Code> StrictOrCode<Code> {
[INFO] [stderr]     | ------------------------------ method in this implementation
[INFO] [stderr] 158 |     pub fn match_<Value: PatternMatchableValue + std::fmt::Debug>(
[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 <Code> StrictPatternCode<Code> {
[INFO] [stderr]     | ----------------------------------- method in this implementation
[INFO] [stderr] 192 |     pub fn match_<Value: PatternMatchableValue + std::fmt::Debug>(
[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 <Code> LazyCode<Code> {
[INFO] [stderr]    | -------------------------- associated items in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 39 |     pub fn pattern(pattern: Pattern, code: LazyCode<Code>) -> Self {
[INFO] [stderr]    |            ^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 42 |     fn is_match_all(&self) -> Option<(&VariableName, &LazyCode<Code>)> {
[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 <Code> LazyPatternCode<Code> {
[INFO] [stderr]    | --------------------------------- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 82 |     fn is_match_all(&self) -> Option<(&VariableName, &LazyCode<Code>)> {
[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 <Code> LazyPatternCode<Code> {
[INFO] [stderr]     | --------------------------------- method in this implementation
[INFO] [stderr] 207 |     fn send_value_loop<Value>(
[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_peek_char_or_eof ... ok
[INFO] [stdout] test tokenizer::test_whitespace ... ok
[INFO] [stdout] test tokenizer::test_string ... 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.01s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "01945cfd7bc70f09903771c18d4ef54f08c2247d28804988ac513175d9d4a07c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "01945cfd7bc70f09903771c18d4ef54f08c2247d28804988ac513175d9d4a07c", kill_on_drop: false }`
[INFO] [stdout] 01945cfd7bc70f09903771c18d4ef54f08c2247d28804988ac513175d9d4a07c
