[INFO] cloning repository https://github.com/loevendallund/dataflow
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/loevendallund/dataflow" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Floevendallund%2Fdataflow", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Floevendallund%2Fdataflow'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 3fa5f116a622d9f63d921c9ea408eb0b34c2bee0
[INFO] checking loevendallund/dataflow against 1.95.0 for pr-155915
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Floevendallund%2Fdataflow" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/loevendallund/dataflow
[INFO] finished tweaking git repo https://github.com/loevendallund/dataflow
[INFO] tweaked toml for git repo https://github.com/loevendallund/dataflow written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/loevendallund/dataflow on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/loevendallund/dataflow 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" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded cpufeatures v0.2.8
[INFO] [stderr]   Downloaded pest_derive v2.6.1
[INFO] [stderr]   Downloaded proc-macro2 v1.0.60
[INFO] [stderr]   Downloaded pest_generator v2.6.1
[INFO] [stderr]   Downloaded pest_meta v2.6.1
[INFO] [stderr]   Downloaded pest v2.6.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 90a42ae469af61d7d2b40c58b28c51351e5c6cea736765a3a2e508acb676e446
[INFO] running `Command { std: "docker" "start" "-a" "90a42ae469af61d7d2b40c58b28c51351e5c6cea736765a3a2e508acb676e446", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "90a42ae469af61d7d2b40c58b28c51351e5c6cea736765a3a2e508acb676e446", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "90a42ae469af61d7d2b40c58b28c51351e5c6cea736765a3a2e508acb676e446", kill_on_drop: false }`
[INFO] [stdout] 90a42ae469af61d7d2b40c58b28c51351e5c6cea736765a3a2e508acb676e446
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 0beccf10c371c6dbddc029d03df63c540fe75e3370fc7d1d708fea68ee9d1c6e
[INFO] running `Command { std: "docker" "start" "-a" "0beccf10c371c6dbddc029d03df63c540fe75e3370fc7d1d708fea68ee9d1c6e", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.60
[INFO] [stderr]    Compiling unicode-ident v1.0.9
[INFO] [stderr]    Compiling quote v1.0.28
[INFO] [stderr]    Compiling thiserror v1.0.40
[INFO] [stderr]    Compiling ucd-trie v0.1.5
[INFO] [stderr]    Compiling once_cell v1.18.0
[INFO] [stderr]    Compiling syn v2.0.18
[INFO] [stderr]    Compiling thiserror-impl v1.0.40
[INFO] [stderr]     Checking pest v2.6.1
[INFO] [stderr]    Compiling pest_meta v2.6.1
[INFO] [stderr]    Compiling pest_generator v2.6.1
[INFO] [stderr]    Compiling pest_derive v2.6.1
[INFO] [stderr]     Checking dataflow v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/main.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_into_inner)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::io`
[INFO] [stdout]  --> src/main.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::io;
[INFO] [stdout]   |     ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]    --> src/occParser.rs:297:16
[INFO] [stdout]     |
[INFO] [stdout] 297 |             if (l_pats.len() != l_occs.len()) { unreachable!(); }
[INFO] [stdout]     |                ^                            ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 297 -             if (l_pats.len() != l_occs.len()) { unreachable!(); }
[INFO] [stdout] 297 +             if l_pats.len() != l_occs.len()  { unreachable!(); }
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]    --> src/occParser.rs:369:8
[INFO] [stdout]     |
[INFO] [stdout] 369 |     if (inner.clone().count() == 1)
[INFO] [stdout]     |        ^                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 369 -     if (inner.clone().count() == 1)
[INFO] [stdout] 369 +     if inner.clone().count() == 1 
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::fs`
[INFO] [stdout]  --> src/exprParser.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::fs;
[INFO] [stdout]   |     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]    --> src/exprParser.rs:142:16
[INFO] [stdout]     |
[INFO] [stdout] 142 |             if (l_pats.len() != l_exprs.len()) { unreachable!(); }
[INFO] [stdout]     |                ^                             ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 142 -             if (l_pats.len() != l_exprs.len()) { unreachable!(); }
[INFO] [stdout] 142 +             if l_pats.len() != l_exprs.len()  { unreachable!(); }
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]    --> src/exprParser.rs:214:8
[INFO] [stdout]     |
[INFO] [stdout] 214 |     if (inner.clone().count() == 1)
[INFO] [stdout]     |        ^                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 214 -     if (inner.clone().count() == 1)
[INFO] [stdout] 214 +     if inner.clone().count() == 1 
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::occParser`
[INFO] [stdout]  --> src/convExprToOcc.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::occParser;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/approxOrder.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `hash` and `process::id`
[INFO] [stdout]  --> src/tc.rs:1:33
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{collections::HashMap, process::id, hash};
[INFO] [stdout]   |                                 ^^^^^^^^^^^  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::occParser`
[INFO] [stdout]  --> src/tests/tests.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::occParser;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::evaluator`
[INFO] [stdout]  --> src/tests/tests.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::evaluator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::occParser`
[INFO] [stdout]  --> src/tests/var.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::occParser;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::evaluator`
[INFO] [stdout]  --> src/tests/var.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::evaluator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::occParser`
[INFO] [stdout]  --> src/tests/constants.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::occParser;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::evaluator`
[INFO] [stdout]  --> src/tests/constants.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::evaluator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::occParser`
[INFO] [stdout]  --> src/tests/func.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::occParser;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::evaluator`
[INFO] [stdout]  --> src/tests/func.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::evaluator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::occParser`
[INFO] [stdout]  --> src/tests/app.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::occParser;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::evaluator`
[INFO] [stdout]  --> src/tests/app.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::evaluator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::occParser`
[INFO] [stdout]  --> src/tests/fapp.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::occParser;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::evaluator`
[INFO] [stdout]  --> src/tests/fapp.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::evaluator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::occParser`
[INFO] [stdout]  --> src/tests/letTest.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::occParser;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::evaluator`
[INFO] [stdout]  --> src/tests/letTest.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::evaluator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::occParser`
[INFO] [stdout]  --> src/tests/case.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::occParser;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::evaluator`
[INFO] [stdout]  --> src/tests/case.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::evaluator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::tc::SemOcc`
[INFO] [stdout]  --> src/tests/case.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::tc::SemOcc;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::occParser`
[INFO] [stdout]  --> src/tests/reference.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::occParser;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::evaluator`
[INFO] [stdout]  --> src/tests/reference.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::evaluator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::occParser`
[INFO] [stdout]  --> src/tests/reference_read.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::occParser;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::evaluator`
[INFO] [stdout]  --> src/tests/reference_read.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::evaluator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::occParser`
[INFO] [stdout]  --> src/tests/reference_write.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::occParser;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::evaluator`
[INFO] [stdout]  --> src/tests/reference_write.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::evaluator;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::tc::SemOcc`
[INFO] [stdout]  --> src/tests/reference_write.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::tc::SemOcc;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::evaluator::Val`
[INFO] [stdout]   --> src/main.rs:27:5
[INFO] [stdout]    |
[INFO] [stdout] 27 | use crate::evaluator::Val;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::evaluator::SOcc`
[INFO] [stdout]   --> src/main.rs:28:5
[INFO] [stdout]    |
[INFO] [stdout] 28 | use crate::evaluator::SOcc;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::tc::TypeChecker`
[INFO] [stdout]   --> src/main.rs:30:5
[INFO] [stdout]    |
[INFO] [stdout] 30 | use crate::tc::TypeChecker;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::typechecker::SemOcc`
[INFO] [stdout]   --> src/main.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 | use crate::typechecker::SemOcc;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/main.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_into_inner)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::io`
[INFO] [stdout]  --> src/main.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::io;
[INFO] [stdout]   |     ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]    --> src/occParser.rs:297:16
[INFO] [stdout]     |
[INFO] [stdout] 297 |             if (l_pats.len() != l_occs.len()) { unreachable!(); }
[INFO] [stdout]     |                ^                            ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 297 -             if (l_pats.len() != l_occs.len()) { unreachable!(); }
[INFO] [stdout] 297 +             if l_pats.len() != l_occs.len()  { unreachable!(); }
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]    --> src/occParser.rs:369:8
[INFO] [stdout]     |
[INFO] [stdout] 369 |     if (inner.clone().count() == 1)
[INFO] [stdout]     |        ^                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 369 -     if (inner.clone().count() == 1)
[INFO] [stdout] 369 +     if inner.clone().count() == 1 
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::fs`
[INFO] [stdout]  --> src/exprParser.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::fs;
[INFO] [stdout]   |     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]    --> src/exprParser.rs:142:16
[INFO] [stdout]     |
[INFO] [stdout] 142 |             if (l_pats.len() != l_exprs.len()) { unreachable!(); }
[INFO] [stdout]     |                ^                             ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 142 -             if (l_pats.len() != l_exprs.len()) { unreachable!(); }
[INFO] [stdout] 142 +             if l_pats.len() != l_exprs.len()  { unreachable!(); }
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]    --> src/exprParser.rs:214:8
[INFO] [stdout]     |
[INFO] [stdout] 214 |     if (inner.clone().count() == 1)
[INFO] [stdout]     |        ^                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 214 -     if (inner.clone().count() == 1)
[INFO] [stdout] 214 +     if inner.clone().count() == 1 
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::occParser`
[INFO] [stdout]  --> src/convExprToOcc.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::occParser;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/approxOrder.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `hash` and `process::id`
[INFO] [stdout]  --> src/tc.rs:1:33
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{collections::HashMap, process::id, hash};
[INFO] [stdout]   |                                 ^^^^^^^^^^^  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::evaluator::Val`
[INFO] [stdout]   --> src/main.rs:27:5
[INFO] [stdout]    |
[INFO] [stdout] 27 | use crate::evaluator::Val;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::evaluator::SOcc`
[INFO] [stdout]   --> src/main.rs:28:5
[INFO] [stdout]    |
[INFO] [stdout] 28 | use crate::evaluator::SOcc;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::tc::TypeChecker`
[INFO] [stdout]   --> src/main.rs:30:5
[INFO] [stdout]    |
[INFO] [stdout] 30 | use crate::tc::TypeChecker;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::typechecker::SemOcc`
[INFO] [stdout]   --> src/main.rs:31:5
[INFO] [stdout]    |
[INFO] [stdout] 31 | use crate::typechecker::SemOcc;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/occParser.rs:171:19
[INFO] [stdout]     |
[INFO] [stdout] 171 | pub fn Parse_Expr(mut str: String) -> Occ
[INFO] [stdout]     |                   ----^^^
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/occParser.rs:201:15
[INFO] [stdout]     |
[INFO] [stdout] 201 | fn parse_expr(mut pair: Pair<Rule>) -> Expr
[INFO] [stdout]     |               ----^^^^
[INFO] [stdout]     |               |
[INFO] [stdout]     |               help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/occParser.rs:203:9
[INFO] [stdout]     |
[INFO] [stdout] 203 |     let mut expr: Expr;
[INFO] [stdout]     |         ----^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/occParser.rs:205:9
[INFO] [stdout]     |
[INFO] [stdout] 205 |     let mut rule = pair.into_inner().next().unwrap();
[INFO] [stdout]     |         ----^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/occParser.rs:360:19
[INFO] [stdout]     |
[INFO] [stdout] 360 | pub fn parse_occs(mut pair: Pair<Rule>) -> Vec<Box<Occ>>
[INFO] [stdout]     |                   ----^^^^
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/occParser.rs:366:9
[INFO] [stdout]     |
[INFO] [stdout] 366 | fn occs(mut pair: Pair<Rule>, mut vec: Vec<Box<Occ>>) -> Vec<Box<Occ>>
[INFO] [stdout]     |         ----^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/occParser.rs:381:19
[INFO] [stdout]     |
[INFO] [stdout] 381 | pub fn parse_pats(mut pair: Pair<Rule>) -> Vec<Pat>
[INFO] [stdout]     |                   ----^^^^
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/occParser.rs:387:9
[INFO] [stdout]     |
[INFO] [stdout] 387 | fn pats(mut pair: Pair<Rule>, mut vec: Vec<Pat>) -> Vec<Pat>
[INFO] [stdout]     |         ----^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/exprParser.rs:24:15
[INFO] [stdout]    |
[INFO] [stdout] 24 | pub fn parser(mut str: String) -> Expr
[INFO] [stdout]    |               ----^^^
[INFO] [stdout]    |               |
[INFO] [stdout]    |               help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/exprParser.rs:48:9
[INFO] [stdout]    |
[INFO] [stdout] 48 |     let mut expr: Expr;
[INFO] [stdout]    |         ----^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/exprParser.rs:50:9
[INFO] [stdout]    |
[INFO] [stdout] 50 |     let mut rule = pairs.next().unwrap();
[INFO] [stdout]    |         ----^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/exprParser.rs:205:20
[INFO] [stdout]     |
[INFO] [stdout] 205 | pub fn parse_exprs(mut pair: Pair<Rule>) -> Vec<Box<Expr>>
[INFO] [stdout]     |                    ----^^^^
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/exprParser.rs:211:10
[INFO] [stdout]     |
[INFO] [stdout] 211 | fn exprs(mut pair: Pair<Rule>, mut vec: Vec<Box<Expr>>) -> Vec<Box<Expr>>
[INFO] [stdout]     |          ----^^^^
[INFO] [stdout]     |          |
[INFO] [stdout]     |          help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/exprParser.rs:226:19
[INFO] [stdout]     |
[INFO] [stdout] 226 | pub fn parse_pats(mut pair: Pair<Rule>) -> Vec<Pat>
[INFO] [stdout]     |                   ----^^^^
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/exprParser.rs:232:9
[INFO] [stdout]     |
[INFO] [stdout] 232 | fn pats(mut pair: Pair<Rule>, mut vec: Vec<Pat>) -> Vec<Pat>
[INFO] [stdout]     |         ----^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/convExprToOcc.rs:114:14
[INFO] [stdout]     |
[INFO] [stdout] 114 | fn case_occs(mut evec: Vec<Box<exprParser::Expr>>, mut index: usize) -> (Vec<Box<Occ>>, usize)
[INFO] [stdout]     |              ----^^^^
[INFO] [stdout]     |              |
[INFO] [stdout]     |              help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/evaluator.rs:42:9
[INFO] [stdout]    |
[INFO] [stdout] 42 |     let mut env: HashMap<String, Val> = HashMap::new();
[INFO] [stdout]    |         ----^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/evaluator.rs:48:9
[INFO] [stdout]    |
[INFO] [stdout] 48 |     let mut v: Val;
[INFO] [stdout]    |         ----^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/evaluator.rs:49:9
[INFO] [stdout]    |
[INFO] [stdout] 49 |     let mut L: Vec<SOcc>;
[INFO] [stdout]    |         ----^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/evaluator.rs:50:9
[INFO] [stdout]    |
[INFO] [stdout] 50 |     let mut V: Vec<SOcc>;
[INFO] [stdout]    |         ----^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `sto` is never read
[INFO] [stdout]   --> src/evaluator.rs:52:8
[INFO] [stdout]    |
[INFO] [stdout] 52 |     (v,sto, w, gbind, (L, V)) = eval(occ, env, sto, w, gbind);
[INFO] [stdout]    |        ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout]    = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/evaluator.rs:64:17
[INFO] [stdout]    |
[INFO] [stdout] 64 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]    |                 ----^
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/evaluator.rs:65:17
[INFO] [stdout]    |
[INFO] [stdout] 65 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]    |                 ----^
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:110:17
[INFO] [stdout]     |
[INFO] [stdout] 110 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                 ----^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:111:17
[INFO] [stdout]     |
[INFO] [stdout] 111 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                 ----^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:287:17
[INFO] [stdout]     |
[INFO] [stdout] 287 |             let mut L: Vec<SOcc>;
[INFO] [stdout]     |                 ----^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:288:17
[INFO] [stdout]     |
[INFO] [stdout] 288 |             let mut V: Vec<SOcc>;
[INFO] [stdout]     |                 ----^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:289:17
[INFO] [stdout]     |
[INFO] [stdout] 289 |             let mut L1: Vec<SOcc>;
[INFO] [stdout]     |                 ----^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:290:17
[INFO] [stdout]     |
[INFO] [stdout] 290 |             let mut V1: Vec<SOcc>;
[INFO] [stdout]     |                 ----^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:308:17
[INFO] [stdout]     |
[INFO] [stdout] 308 |             let mut L: Vec<SOcc>;
[INFO] [stdout]     |                 ----^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:309:17
[INFO] [stdout]     |
[INFO] [stdout] 309 |             let mut V: Vec<SOcc>;
[INFO] [stdout]     |                 ----^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:322:33
[INFO] [stdout]     |
[INFO] [stdout] 322 | ...                   let mut L1: Vec<SOcc>;
[INFO] [stdout]     |                           ----^^
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:323:33
[INFO] [stdout]     |
[INFO] [stdout] 323 | ...                   let mut V1: Vec<SOcc>;
[INFO] [stdout]     |                           ----^^
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:470:17
[INFO] [stdout]     |
[INFO] [stdout] 470 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                 ----^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:471:17
[INFO] [stdout]     |
[INFO] [stdout] 471 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                 ----^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `L` is never read
[INFO] [stdout]    --> src/evaluator.rs:390:36
[INFO] [stdout]     |
[INFO] [stdout] 390 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                                    ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `V` is never read
[INFO] [stdout]    --> src/evaluator.rs:391:36
[INFO] [stdout]     |
[INFO] [stdout] 391 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                                    ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `L` is never read
[INFO] [stdout]    --> src/evaluator.rs:405:36
[INFO] [stdout]     |
[INFO] [stdout] 405 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                                    ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `V` is never read
[INFO] [stdout]    --> src/evaluator.rs:406:36
[INFO] [stdout]     |
[INFO] [stdout] 406 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                                    ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `L1` is never read
[INFO] [stdout]    --> src/evaluator.rs:407:37
[INFO] [stdout]     |
[INFO] [stdout] 407 |             let mut L1: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                                     ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `V1` is never read
[INFO] [stdout]    --> src/evaluator.rs:408:37
[INFO] [stdout]     |
[INFO] [stdout] 408 |             let mut V1: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                                     ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `L` is never read
[INFO] [stdout]    --> src/evaluator.rs:429:36
[INFO] [stdout]     |
[INFO] [stdout] 429 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                                    ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `V` is never read
[INFO] [stdout]    --> src/evaluator.rs:430:36
[INFO] [stdout]     |
[INFO] [stdout] 430 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                                    ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/typechecker.rs:138:26
[INFO] [stdout]     |
[INFO] [stdout] 138 |                 let (ti, mut gamma) = TCheck(Gamma.clone(), Pi.clone(), Box::into_inner((*o).clone()), v.clone(), assumption.clone());
[INFO] [stdout]     |                          ----^^^^^
[INFO] [stdout]     |                          |
[INFO] [stdout]     |                          help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `t2` is assigned to, but never used
[INFO] [stdout]    --> src/typechecker.rs:173:17
[INFO] [stdout]     |
[INFO] [stdout] 173 |             let t2: Type;
[INFO] [stdout]     |                 ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: consider using `_t2` instead
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `key`
[INFO] [stdout]    --> src/typechecker.rs:200:17
[INFO] [stdout]     |
[INFO] [stdout] 200 |             let key = SemOcc { ident: occ.clone().expr.ident, label: occ.clone().label };
[INFO] [stdout]     |                 ^^^ help: if this is intentional, prefix it with an underscore: `_key`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `t2` is never read
[INFO] [stdout]    --> src/typechecker.rs:174:58
[INFO] [stdout]     |
[INFO] [stdout] 174 | ...   match occ.clone().expr.LHS { Some(occ1) => {(t2, Gamma) = TCheck(Gamma, Pi.clone(), Box::into_inner(occ1), v, assumption.clon...
[INFO] [stdout]     |                                                    ^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/typechecker.rs:236:30
[INFO] [stdout]     |
[INFO] [stdout] 236 | fn GetBinding(ident: String, mut Gamma: HashMap<SemOcc, Type>, Pi: HashMap<usize, usize>) -> SemOcc
[INFO] [stdout]     |                              ----^^^^^
[INFO] [stdout]     |                              |
[INFO] [stdout]     |                              help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `Pi`
[INFO] [stdout]    --> src/typechecker.rs:236:64
[INFO] [stdout]     |
[INFO] [stdout] 236 | fn GetBinding(ident: String, mut Gamma: HashMap<SemOcc, Type>, Pi: HashMap<usize, usize>) -> SemOcc
[INFO] [stdout]     |                                                                ^^ help: if this is intentional, prefix it with an underscore: `_Pi`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/typechecker.rs:252:48
[INFO] [stdout]     |
[INFO] [stdout] 252 | fn GetAllGBinding(ident: String, point: usize, mut Gamma: HashMap<SemOcc, Type>, v: Vec<HashMap<usize,usize>>) -> Vec<SemOcc>
[INFO] [stdout]     |                                                ----^^^^^
[INFO] [stdout]     |                                                |
[INFO] [stdout]     |                                                help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `point`
[INFO] [stdout]    --> src/typechecker.rs:252:34
[INFO] [stdout]     |
[INFO] [stdout] 252 | fn GetAllGBinding(ident: String, point: usize, mut Gamma: HashMap<SemOcc, Type>, v: Vec<HashMap<usize,usize>>) -> Vec<SemOcc>
[INFO] [stdout]     |                                  ^^^^^ help: if this is intentional, prefix it with an underscore: `_point`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/typechecker.rs:287:12
[INFO] [stdout]     |
[INFO] [stdout] 287 | fn sqUnion(mut t: Type, mut b: Vec<SemOcc>) -> Type
[INFO] [stdout]     |            ----^
[INFO] [stdout]     |            |
[INFO] [stdout]     |            help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/typechecker.rs:308:10
[INFO] [stdout]     |
[INFO] [stdout] 308 | fn Union(mut t1: Type, mut t2: Type) -> Type
[INFO] [stdout]     |          ----^^
[INFO] [stdout]     |          |
[INFO] [stdout]     |          help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/typechecker.rs:308:24
[INFO] [stdout]     |
[INFO] [stdout] 308 | fn Union(mut t1: Type, mut t2: Type) -> Type
[INFO] [stdout]     |                        ----^^
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/typechecker.rs:312:20
[INFO] [stdout]     |
[INFO] [stdout] 312 |         Type::Base{mut delta, mut kappa} => 
[INFO] [stdout]     |                    ----^^^^^
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/typechecker.rs:312:31
[INFO] [stdout]     |
[INFO] [stdout] 312 |         Type::Base{mut delta, mut kappa} => 
[INFO] [stdout]     |                               ----^^^^^
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `vec1` is never read
[INFO] [stdout]   --> src/approxOrder.rs:50:40
[INFO] [stdout]    |
[INFO] [stdout] 50 |     let mut vec1: Vec<(usize,usize)> = Vec::new();
[INFO] [stdout]    |                                        ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `vec2` is never read
[INFO] [stdout]   --> src/approxOrder.rs:55:40
[INFO] [stdout]    |
[INFO] [stdout] 55 |     let mut vec2: Vec<(usize,usize)> = Vec::new();
[INFO] [stdout]    |                                        ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `l_vec` is never read
[INFO] [stdout]   --> src/approxOrder.rs:60:41
[INFO] [stdout]    |
[INFO] [stdout] 60 |     let mut l_vec: Vec<(usize,usize)> = Vec::new();
[INFO] [stdout]    |                                         ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `vec1` is never read
[INFO] [stdout]   --> src/approxOrder.rs:75:40
[INFO] [stdout]    |
[INFO] [stdout] 75 |     let mut vec1: Vec<(usize,usize)> = Vec::new();
[INFO] [stdout]    |                                        ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `vec2` is never read
[INFO] [stdout]   --> src/approxOrder.rs:79:40
[INFO] [stdout]    |
[INFO] [stdout] 79 |     let mut vec2: Vec<(usize,usize)> = Vec::new();
[INFO] [stdout]    |                                        ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `vec1` is never read
[INFO] [stdout]   --> src/approxOrder.rs:91:40
[INFO] [stdout]    |
[INFO] [stdout] 91 |     let mut vec1: Vec<(usize,usize)> = Vec::new();
[INFO] [stdout]    |                                        ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `vec2` is never read
[INFO] [stdout]   --> src/approxOrder.rs:95:40
[INFO] [stdout]    |
[INFO] [stdout] 95 |     let mut vec2: Vec<(usize,usize)> = Vec::new();
[INFO] [stdout]    |                                        ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/approxOrder.rs:118:13
[INFO] [stdout]     |
[INFO] [stdout] 118 |         let mut vec2: Vec<(usize,usize)>;
[INFO] [stdout]     |             ----^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `vec1` is never read
[INFO] [stdout]    --> src/approxOrder.rs:108:40
[INFO] [stdout]     |
[INFO] [stdout] 108 |     let mut vec1: Vec<(usize,usize)> = Vec::new();
[INFO] [stdout]     |                                        ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `vec1` is never read
[INFO] [stdout]    --> src/approxOrder.rs:131:40
[INFO] [stdout]     |
[INFO] [stdout] 131 |     let mut vec1: Vec<(usize,usize)> = Vec::new();
[INFO] [stdout]     |                                        ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tc.rs:92:11
[INFO] [stdout]    |
[INFO] [stdout] 92 |       let mut t: Type = match self.gamma.get(&lookup) { Some(val) => { (*val).clone() } None => { unreachable!() }};
[INFO] [stdout]    |           ----^
[INFO] [stdout]    |           |
[INFO] [stdout]    |           help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `T1`
[INFO] [stdout]    --> src/tc.rs:253:16
[INFO] [stdout]     |
[INFO] [stdout] 253 |             Type::Abs { T1, T2 } => { unreachable!(); }
[INFO] [stdout]     |                         ^^ help: try ignoring the field: `T1: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `T2`
[INFO] [stdout]    --> src/tc.rs:253:20
[INFO] [stdout]     |
[INFO] [stdout] 253 |             Type::Abs { T1, T2 } => { unreachable!(); }
[INFO] [stdout]     |                             ^^ help: try ignoring the field: `T2: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]    --> src/tc.rs:265:7
[INFO] [stdout]     |
[INFO] [stdout] 265 |         let k: SemOcc = SemOcc { ident: self.occ.clone().expr.ident, label: self.occ.clone().label};
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `T1`
[INFO] [stdout]    --> src/tc.rs:297:16
[INFO] [stdout]     |
[INFO] [stdout] 297 |             Type::Abs { T1, T2 } => { unreachable!(); }
[INFO] [stdout]     |                         ^^ help: try ignoring the field: `T1: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `T2`
[INFO] [stdout]    --> src/tc.rs:297:20
[INFO] [stdout]     |
[INFO] [stdout] 297 |             Type::Abs { T1, T2 } => { unreachable!(); }
[INFO] [stdout]     |                             ^^ help: try ignoring the field: `T2: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `T1`
[INFO] [stdout]    --> src/tc.rs:326:19
[INFO] [stdout]     |
[INFO] [stdout] 326 |                         Type::Abs { T1, T2 } => { unreachable!("Error: mutable bindings cannot be abstractions"); }
[INFO] [stdout]     |                                     ^^ help: try ignoring the field: `T1: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `T2`
[INFO] [stdout]    --> src/tc.rs:326:23
[INFO] [stdout]     |
[INFO] [stdout] 326 |                         Type::Abs { T1, T2 } => { unreachable!("Error: mutable bindings cannot be abstractions"); }
[INFO] [stdout]     |                                         ^^ help: try ignoring the field: `T2: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tc.rs:400:25
[INFO] [stdout]     |
[INFO] [stdout] 400 |     fn sq_union(&mut self, mut t1: Type, mut t2: Type) -> Type
[INFO] [stdout]     |                            ----^^
[INFO] [stdout]     |                            |
[INFO] [stdout]     |                            help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tc.rs:400:39
[INFO] [stdout]     |
[INFO] [stdout] 400 |     fn sq_union(&mut self, mut t1: Type, mut t2: Type) -> Type
[INFO] [stdout]     |                                          ----^^
[INFO] [stdout]     |                                          |
[INFO] [stdout]     |                                          help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `delta`
[INFO] [stdout]    --> src/tc.rs:404:17
[INFO] [stdout]     |
[INFO] [stdout] 404 |             Type::Base { delta, kappa} =>
[INFO] [stdout]     |                          ^^^^^ help: try ignoring the field: `delta: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `kappa`
[INFO] [stdout]    --> src/tc.rs:404:24
[INFO] [stdout]     |
[INFO] [stdout] 404 |             Type::Base { delta, kappa} =>
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `kappa: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `T1`
[INFO] [stdout]    --> src/tc.rs:408:16
[INFO] [stdout]     |
[INFO] [stdout] 408 |             Type::Abs { T1, T2 } =>
[INFO] [stdout]     |                         ^^ help: try ignoring the field: `T1: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tc.rs:415:22
[INFO] [stdout]     |
[INFO] [stdout] 415 |     fn union(&mut self, mut t1: Type, mut t2: Type) -> Type
[INFO] [stdout]     |                         ----^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tc.rs:415:36
[INFO] [stdout]     |
[INFO] [stdout] 415 |     fn union(&mut self, mut t1: Type, mut t2: Type) -> Type
[INFO] [stdout]     |                                       ----^^
[INFO] [stdout]     |                                       |
[INFO] [stdout]     |                                       help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tc.rs:421:9
[INFO] [stdout]     |
[INFO] [stdout] 421 |                 let mut d: Vec<SemOcc>;
[INFO] [stdout]     |                     ----^
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tc.rs:422:9
[INFO] [stdout]     |
[INFO] [stdout] 422 |                 let mut k: Vec<String>;
[INFO] [stdout]     |                     ----^
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tc.rs:492:7
[INFO] [stdout]     |
[INFO] [stdout] 492 |         let mut condition: bool = true;
[INFO] [stdout]     |             ----^^^^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tc.rs:522:8
[INFO] [stdout]     |
[INFO] [stdout] 522 |             let mut res: Vec<Pi> = self.get_all_pi(keys.clone()[0]);
[INFO] [stdout]     |                 ----^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tc.rs:536:9
[INFO] [stdout]     |
[INFO] [stdout] 536 |                 let mut temp: Vec<Pi> = self.get_all_pi(key.clone());
[INFO] [stdout]     |                     ----^^^^
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/func.rs:18:6
[INFO] [stdout]    |
[INFO] [stdout] 18 |     let mut gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/func.rs:42:9
[INFO] [stdout]    |
[INFO] [stdout] 42 |     let mut gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/func.rs:69:6
[INFO] [stdout]    |
[INFO] [stdout] 69 |     let mut gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/func.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     let mut gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/app.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let mut gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/app.rs:22:9
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/app.rs:40:9
[INFO] [stdout]    |
[INFO] [stdout] 40 |     let mut gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/app.rs:42:9
[INFO] [stdout]    |
[INFO] [stdout] 42 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/app.rs:65:9
[INFO] [stdout]    |
[INFO] [stdout] 65 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/fapp.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let mut gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/fapp.rs:22:9
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/fapp.rs:42:9
[INFO] [stdout]    |
[INFO] [stdout] 42 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/fapp.rs:67:9
[INFO] [stdout]    |
[INFO] [stdout] 67 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/fapp.rs:92:9
[INFO] [stdout]    |
[INFO] [stdout] 92 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/letTest.rs:21:9
[INFO] [stdout]    |
[INFO] [stdout] 21 |     let mut gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/letTest.rs:23:9
[INFO] [stdout]    |
[INFO] [stdout] 23 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/letTest.rs:41:9
[INFO] [stdout]    |
[INFO] [stdout] 41 |     let mut gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/letTest.rs:43:9
[INFO] [stdout]    |
[INFO] [stdout] 43 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/letTest.rs:66:9
[INFO] [stdout]    |
[INFO] [stdout] 66 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/letTest.rs:93:9
[INFO] [stdout]    |
[INFO] [stdout] 93 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tests/letTest.rs:122:9
[INFO] [stdout]     |
[INFO] [stdout] 122 |     let mut gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]     |         ----^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tests/letTest.rs:124:9
[INFO] [stdout]     |
[INFO] [stdout] 124 |     let mut assumption = Vec::new();
[INFO] [stdout]     |         ----^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tests/letTest.rs:147:9
[INFO] [stdout]     |
[INFO] [stdout] 147 |     let mut gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]     |         ----^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tests/letTest.rs:149:9
[INFO] [stdout]     |
[INFO] [stdout] 149 |     let mut assumption = Vec::new();
[INFO] [stdout]     |         ----^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tests/letTest.rs:157:9
[INFO] [stdout]     |
[INFO] [stdout] 157 |     let mut kappa: Vec<String> = Vec::new();
[INFO] [stdout]     |         ----^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/case.rs:21:9
[INFO] [stdout]    |
[INFO] [stdout] 21 |     let mut gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/case.rs:23:9
[INFO] [stdout]    |
[INFO] [stdout] 23 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/case.rs:28:9
[INFO] [stdout]    |
[INFO] [stdout] 28 |     let mut delta: Vec<tc::SemOcc> = Vec::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/case.rs:29:9
[INFO] [stdout]    |
[INFO] [stdout] 29 |     let mut kappa: Vec<String> = Vec::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/case.rs:33:9
[INFO] [stdout]    |
[INFO] [stdout] 33 |     let mut gamma1: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |         ----^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/case.rs:59:9
[INFO] [stdout]    |
[INFO] [stdout] 59 |     let mut gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/case.rs:61:9
[INFO] [stdout]    |
[INFO] [stdout] 61 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/case.rs:66:9
[INFO] [stdout]    |
[INFO] [stdout] 66 |     let mut delta: Vec<tc::SemOcc> = Vec::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/case.rs:67:9
[INFO] [stdout]    |
[INFO] [stdout] 67 |     let mut kappa: Vec<String> = Vec::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/case.rs:71:9
[INFO] [stdout]    |
[INFO] [stdout] 71 |     let mut gamma1: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |         ----^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/case.rs:99:9
[INFO] [stdout]    |
[INFO] [stdout] 99 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tests/case.rs:107:9
[INFO] [stdout]     |
[INFO] [stdout] 107 |     let mut kappa: Vec<String> = Vec::new();
[INFO] [stdout]     |         ----^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tests/case.rs:142:9
[INFO] [stdout]     |
[INFO] [stdout] 142 |     let mut assumption = Vec::new();
[INFO] [stdout]     |         ----^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tests/case.rs:150:9
[INFO] [stdout]     |
[INFO] [stdout] 150 |     let mut kappa: Vec<String> = Vec::new();
[INFO] [stdout]     |         ----^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/reference.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let mut gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/reference.rs:22:9
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/reference.rs:58:9
[INFO] [stdout]    |
[INFO] [stdout] 58 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/reference_read.rs:21:9
[INFO] [stdout]    |
[INFO] [stdout] 21 |     let mut gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/reference_read.rs:23:9
[INFO] [stdout]    |
[INFO] [stdout] 23 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/reference_read.rs:28:9
[INFO] [stdout]    |
[INFO] [stdout] 28 |     let mut delta: Vec<tc::SemOcc> = Vec::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/reference_read.rs:29:9
[INFO] [stdout]    |
[INFO] [stdout] 29 |     let mut kappa: Vec<String> = Vec::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/reference_read.rs:62:9
[INFO] [stdout]    |
[INFO] [stdout] 62 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/reference_read.rs:70:9
[INFO] [stdout]    |
[INFO] [stdout] 70 |     let mut kappa: Vec<String> = Vec::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/reference_write.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let mut gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/reference_write.rs:22:9
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/reference_write.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 |     let mut kappa: Vec<String> = Vec::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/reference_write.rs:58:9
[INFO] [stdout]    |
[INFO] [stdout] 58 |     let mut assumption = Vec::new();
[INFO] [stdout]    |         ----^^^^^^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/reference_write.rs:65:9
[INFO] [stdout]    |
[INFO] [stdout] 65 |     let mut delta: Vec<tc::SemOcc> = Vec::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests/reference_write.rs:66:9
[INFO] [stdout]    |
[INFO] [stdout] 66 |     let mut kappa: Vec<String> = Vec::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tests/reference_write.rs:104:9
[INFO] [stdout]     |
[INFO] [stdout] 104 |     let mut assumption = Vec::new();
[INFO] [stdout]     |         ----^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tests/reference_write.rs:111:9
[INFO] [stdout]     |
[INFO] [stdout] 111 |     let mut delta: Vec<tc::SemOcc> = Vec::new();
[INFO] [stdout]     |         ----^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tests/reference_write.rs:112:9
[INFO] [stdout]     |
[INFO] [stdout] 112 |     let mut kappa: Vec<String> = Vec::new();
[INFO] [stdout]     |         ----^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tests/reference_write.rs:150:9
[INFO] [stdout]     |
[INFO] [stdout] 150 |     let mut assumption = Vec::new();
[INFO] [stdout]     |         ----^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tests/reference_write.rs:158:9
[INFO] [stdout]     |
[INFO] [stdout] 158 |     let mut delta: Vec<tc::SemOcc> = Vec::new();
[INFO] [stdout]     |         ----^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tests/reference_write.rs:159:9
[INFO] [stdout]     |
[INFO] [stdout] 159 |     let mut kappa: Vec<String> = Vec::new();
[INFO] [stdout]     |         ----^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/main.rs:67:9
[INFO] [stdout]    |
[INFO] [stdout] 67 |     let mut Gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0554`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `dataflow` (bin "dataflow" test) due to 1 previous error; 184 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/occParser.rs:171:19
[INFO] [stdout]     |
[INFO] [stdout] 171 | pub fn Parse_Expr(mut str: String) -> Occ
[INFO] [stdout]     |                   ----^^^
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/occParser.rs:201:15
[INFO] [stdout]     |
[INFO] [stdout] 201 | fn parse_expr(mut pair: Pair<Rule>) -> Expr
[INFO] [stdout]     |               ----^^^^
[INFO] [stdout]     |               |
[INFO] [stdout]     |               help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/occParser.rs:203:9
[INFO] [stdout]     |
[INFO] [stdout] 203 |     let mut expr: Expr;
[INFO] [stdout]     |         ----^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/occParser.rs:205:9
[INFO] [stdout]     |
[INFO] [stdout] 205 |     let mut rule = pair.into_inner().next().unwrap();
[INFO] [stdout]     |         ----^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/occParser.rs:360:19
[INFO] [stdout]     |
[INFO] [stdout] 360 | pub fn parse_occs(mut pair: Pair<Rule>) -> Vec<Box<Occ>>
[INFO] [stdout]     |                   ----^^^^
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/occParser.rs:366:9
[INFO] [stdout]     |
[INFO] [stdout] 366 | fn occs(mut pair: Pair<Rule>, mut vec: Vec<Box<Occ>>) -> Vec<Box<Occ>>
[INFO] [stdout]     |         ----^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/occParser.rs:381:19
[INFO] [stdout]     |
[INFO] [stdout] 381 | pub fn parse_pats(mut pair: Pair<Rule>) -> Vec<Pat>
[INFO] [stdout]     |                   ----^^^^
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/occParser.rs:387:9
[INFO] [stdout]     |
[INFO] [stdout] 387 | fn pats(mut pair: Pair<Rule>, mut vec: Vec<Pat>) -> Vec<Pat>
[INFO] [stdout]     |         ----^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/exprParser.rs:24:15
[INFO] [stdout]    |
[INFO] [stdout] 24 | pub fn parser(mut str: String) -> Expr
[INFO] [stdout]    |               ----^^^
[INFO] [stdout]    |               |
[INFO] [stdout]    |               help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/exprParser.rs:48:9
[INFO] [stdout]    |
[INFO] [stdout] 48 |     let mut expr: Expr;
[INFO] [stdout]    |         ----^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/exprParser.rs:50:9
[INFO] [stdout]    |
[INFO] [stdout] 50 |     let mut rule = pairs.next().unwrap();
[INFO] [stdout]    |         ----^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/exprParser.rs:205:20
[INFO] [stdout]     |
[INFO] [stdout] 205 | pub fn parse_exprs(mut pair: Pair<Rule>) -> Vec<Box<Expr>>
[INFO] [stdout]     |                    ----^^^^
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/exprParser.rs:211:10
[INFO] [stdout]     |
[INFO] [stdout] 211 | fn exprs(mut pair: Pair<Rule>, mut vec: Vec<Box<Expr>>) -> Vec<Box<Expr>>
[INFO] [stdout]     |          ----^^^^
[INFO] [stdout]     |          |
[INFO] [stdout]     |          help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/exprParser.rs:226:19
[INFO] [stdout]     |
[INFO] [stdout] 226 | pub fn parse_pats(mut pair: Pair<Rule>) -> Vec<Pat>
[INFO] [stdout]     |                   ----^^^^
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/exprParser.rs:232:9
[INFO] [stdout]     |
[INFO] [stdout] 232 | fn pats(mut pair: Pair<Rule>, mut vec: Vec<Pat>) -> Vec<Pat>
[INFO] [stdout]     |         ----^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/convExprToOcc.rs:114:14
[INFO] [stdout]     |
[INFO] [stdout] 114 | fn case_occs(mut evec: Vec<Box<exprParser::Expr>>, mut index: usize) -> (Vec<Box<Occ>>, usize)
[INFO] [stdout]     |              ----^^^^
[INFO] [stdout]     |              |
[INFO] [stdout]     |              help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/evaluator.rs:42:9
[INFO] [stdout]    |
[INFO] [stdout] 42 |     let mut env: HashMap<String, Val> = HashMap::new();
[INFO] [stdout]    |         ----^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/evaluator.rs:48:9
[INFO] [stdout]    |
[INFO] [stdout] 48 |     let mut v: Val;
[INFO] [stdout]    |         ----^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/evaluator.rs:49:9
[INFO] [stdout]    |
[INFO] [stdout] 49 |     let mut L: Vec<SOcc>;
[INFO] [stdout]    |         ----^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/evaluator.rs:50:9
[INFO] [stdout]    |
[INFO] [stdout] 50 |     let mut V: Vec<SOcc>;
[INFO] [stdout]    |         ----^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `sto` is never read
[INFO] [stdout]   --> src/evaluator.rs:52:8
[INFO] [stdout]    |
[INFO] [stdout] 52 |     (v,sto, w, gbind, (L, V)) = eval(occ, env, sto, w, gbind);
[INFO] [stdout]    |        ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout]    = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/evaluator.rs:64:17
[INFO] [stdout]    |
[INFO] [stdout] 64 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]    |                 ----^
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/evaluator.rs:65:17
[INFO] [stdout]    |
[INFO] [stdout] 65 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]    |                 ----^
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:110:17
[INFO] [stdout]     |
[INFO] [stdout] 110 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                 ----^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:111:17
[INFO] [stdout]     |
[INFO] [stdout] 111 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                 ----^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:287:17
[INFO] [stdout]     |
[INFO] [stdout] 287 |             let mut L: Vec<SOcc>;
[INFO] [stdout]     |                 ----^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:288:17
[INFO] [stdout]     |
[INFO] [stdout] 288 |             let mut V: Vec<SOcc>;
[INFO] [stdout]     |                 ----^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:289:17
[INFO] [stdout]     |
[INFO] [stdout] 289 |             let mut L1: Vec<SOcc>;
[INFO] [stdout]     |                 ----^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:290:17
[INFO] [stdout]     |
[INFO] [stdout] 290 |             let mut V1: Vec<SOcc>;
[INFO] [stdout]     |                 ----^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:308:17
[INFO] [stdout]     |
[INFO] [stdout] 308 |             let mut L: Vec<SOcc>;
[INFO] [stdout]     |                 ----^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:309:17
[INFO] [stdout]     |
[INFO] [stdout] 309 |             let mut V: Vec<SOcc>;
[INFO] [stdout]     |                 ----^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:322:33
[INFO] [stdout]     |
[INFO] [stdout] 322 | ...                   let mut L1: Vec<SOcc>;
[INFO] [stdout]     |                           ----^^
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:323:33
[INFO] [stdout]     |
[INFO] [stdout] 323 | ...                   let mut V1: Vec<SOcc>;
[INFO] [stdout]     |                           ----^^
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:470:17
[INFO] [stdout]     |
[INFO] [stdout] 470 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                 ----^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/evaluator.rs:471:17
[INFO] [stdout]     |
[INFO] [stdout] 471 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                 ----^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `L` is never read
[INFO] [stdout]    --> src/evaluator.rs:390:36
[INFO] [stdout]     |
[INFO] [stdout] 390 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                                    ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `V` is never read
[INFO] [stdout]    --> src/evaluator.rs:391:36
[INFO] [stdout]     |
[INFO] [stdout] 391 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                                    ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `L` is never read
[INFO] [stdout]    --> src/evaluator.rs:405:36
[INFO] [stdout]     |
[INFO] [stdout] 405 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                                    ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `V` is never read
[INFO] [stdout]    --> src/evaluator.rs:406:36
[INFO] [stdout]     |
[INFO] [stdout] 406 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                                    ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `L1` is never read
[INFO] [stdout]    --> src/evaluator.rs:407:37
[INFO] [stdout]     |
[INFO] [stdout] 407 |             let mut L1: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                                     ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `V1` is never read
[INFO] [stdout]    --> src/evaluator.rs:408:37
[INFO] [stdout]     |
[INFO] [stdout] 408 |             let mut V1: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                                     ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `L` is never read
[INFO] [stdout]    --> src/evaluator.rs:429:36
[INFO] [stdout]     |
[INFO] [stdout] 429 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                                    ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `V` is never read
[INFO] [stdout]    --> src/evaluator.rs:430:36
[INFO] [stdout]     |
[INFO] [stdout] 430 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                                    ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/typechecker.rs:138:26
[INFO] [stdout]     |
[INFO] [stdout] 138 |                 let (ti, mut gamma) = TCheck(Gamma.clone(), Pi.clone(), Box::into_inner((*o).clone()), v.clone(), assumption.clone());
[INFO] [stdout]     |                          ----^^^^^
[INFO] [stdout]     |                          |
[INFO] [stdout]     |                          help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `t2` is assigned to, but never used
[INFO] [stdout]    --> src/typechecker.rs:173:17
[INFO] [stdout]     |
[INFO] [stdout] 173 |             let t2: Type;
[INFO] [stdout]     |                 ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: consider using `_t2` instead
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `key`
[INFO] [stdout]    --> src/typechecker.rs:200:17
[INFO] [stdout]     |
[INFO] [stdout] 200 |             let key = SemOcc { ident: occ.clone().expr.ident, label: occ.clone().label };
[INFO] [stdout]     |                 ^^^ help: if this is intentional, prefix it with an underscore: `_key`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `t2` is never read
[INFO] [stdout]    --> src/typechecker.rs:174:58
[INFO] [stdout]     |
[INFO] [stdout] 174 | ...   match occ.clone().expr.LHS { Some(occ1) => {(t2, Gamma) = TCheck(Gamma, Pi.clone(), Box::into_inner(occ1), v, assumption.clon...
[INFO] [stdout]     |                                                    ^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/typechecker.rs:236:30
[INFO] [stdout]     |
[INFO] [stdout] 236 | fn GetBinding(ident: String, mut Gamma: HashMap<SemOcc, Type>, Pi: HashMap<usize, usize>) -> SemOcc
[INFO] [stdout]     |                              ----^^^^^
[INFO] [stdout]     |                              |
[INFO] [stdout]     |                              help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `Pi`
[INFO] [stdout]    --> src/typechecker.rs:236:64
[INFO] [stdout]     |
[INFO] [stdout] 236 | fn GetBinding(ident: String, mut Gamma: HashMap<SemOcc, Type>, Pi: HashMap<usize, usize>) -> SemOcc
[INFO] [stdout]     |                                                                ^^ help: if this is intentional, prefix it with an underscore: `_Pi`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/typechecker.rs:252:48
[INFO] [stdout]     |
[INFO] [stdout] 252 | fn GetAllGBinding(ident: String, point: usize, mut Gamma: HashMap<SemOcc, Type>, v: Vec<HashMap<usize,usize>>) -> Vec<SemOcc>
[INFO] [stdout]     |                                                ----^^^^^
[INFO] [stdout]     |                                                |
[INFO] [stdout]     |                                                help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `point`
[INFO] [stdout]    --> src/typechecker.rs:252:34
[INFO] [stdout]     |
[INFO] [stdout] 252 | fn GetAllGBinding(ident: String, point: usize, mut Gamma: HashMap<SemOcc, Type>, v: Vec<HashMap<usize,usize>>) -> Vec<SemOcc>
[INFO] [stdout]     |                                  ^^^^^ help: if this is intentional, prefix it with an underscore: `_point`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/typechecker.rs:287:12
[INFO] [stdout]     |
[INFO] [stdout] 287 | fn sqUnion(mut t: Type, mut b: Vec<SemOcc>) -> Type
[INFO] [stdout]     |            ----^
[INFO] [stdout]     |            |
[INFO] [stdout]     |            help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/typechecker.rs:308:10
[INFO] [stdout]     |
[INFO] [stdout] 308 | fn Union(mut t1: Type, mut t2: Type) -> Type
[INFO] [stdout]     |          ----^^
[INFO] [stdout]     |          |
[INFO] [stdout]     |          help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/typechecker.rs:308:24
[INFO] [stdout]     |
[INFO] [stdout] 308 | fn Union(mut t1: Type, mut t2: Type) -> Type
[INFO] [stdout]     |                        ----^^
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/typechecker.rs:312:20
[INFO] [stdout]     |
[INFO] [stdout] 312 |         Type::Base{mut delta, mut kappa} => 
[INFO] [stdout]     |                    ----^^^^^
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/typechecker.rs:312:31
[INFO] [stdout]     |
[INFO] [stdout] 312 |         Type::Base{mut delta, mut kappa} => 
[INFO] [stdout]     |                               ----^^^^^
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `vec1` is never read
[INFO] [stdout]   --> src/approxOrder.rs:50:40
[INFO] [stdout]    |
[INFO] [stdout] 50 |     let mut vec1: Vec<(usize,usize)> = Vec::new();
[INFO] [stdout]    |                                        ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `vec2` is never read
[INFO] [stdout]   --> src/approxOrder.rs:55:40
[INFO] [stdout]    |
[INFO] [stdout] 55 |     let mut vec2: Vec<(usize,usize)> = Vec::new();
[INFO] [stdout]    |                                        ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `l_vec` is never read
[INFO] [stdout]   --> src/approxOrder.rs:60:41
[INFO] [stdout]    |
[INFO] [stdout] 60 |     let mut l_vec: Vec<(usize,usize)> = Vec::new();
[INFO] [stdout]    |                                         ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `vec1` is never read
[INFO] [stdout]   --> src/approxOrder.rs:75:40
[INFO] [stdout]    |
[INFO] [stdout] 75 |     let mut vec1: Vec<(usize,usize)> = Vec::new();
[INFO] [stdout]    |                                        ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `vec2` is never read
[INFO] [stdout]   --> src/approxOrder.rs:79:40
[INFO] [stdout]    |
[INFO] [stdout] 79 |     let mut vec2: Vec<(usize,usize)> = Vec::new();
[INFO] [stdout]    |                                        ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `vec1` is never read
[INFO] [stdout]   --> src/approxOrder.rs:91:40
[INFO] [stdout]    |
[INFO] [stdout] 91 |     let mut vec1: Vec<(usize,usize)> = Vec::new();
[INFO] [stdout]    |                                        ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `vec2` is never read
[INFO] [stdout]   --> src/approxOrder.rs:95:40
[INFO] [stdout]    |
[INFO] [stdout] 95 |     let mut vec2: Vec<(usize,usize)> = Vec::new();
[INFO] [stdout]    |                                        ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/approxOrder.rs:118:13
[INFO] [stdout]     |
[INFO] [stdout] 118 |         let mut vec2: Vec<(usize,usize)>;
[INFO] [stdout]     |             ----^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `vec1` is never read
[INFO] [stdout]    --> src/approxOrder.rs:108:40
[INFO] [stdout]     |
[INFO] [stdout] 108 |     let mut vec1: Vec<(usize,usize)> = Vec::new();
[INFO] [stdout]     |                                        ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `vec1` is never read
[INFO] [stdout]    --> src/approxOrder.rs:131:40
[INFO] [stdout]     |
[INFO] [stdout] 131 |     let mut vec1: Vec<(usize,usize)> = Vec::new();
[INFO] [stdout]     |                                        ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tc.rs:92:11
[INFO] [stdout]    |
[INFO] [stdout] 92 |       let mut t: Type = match self.gamma.get(&lookup) { Some(val) => { (*val).clone() } None => { unreachable!() }};
[INFO] [stdout]    |           ----^
[INFO] [stdout]    |           |
[INFO] [stdout]    |           help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `T1`
[INFO] [stdout]    --> src/tc.rs:253:16
[INFO] [stdout]     |
[INFO] [stdout] 253 |             Type::Abs { T1, T2 } => { unreachable!(); }
[INFO] [stdout]     |                         ^^ help: try ignoring the field: `T1: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `T2`
[INFO] [stdout]    --> src/tc.rs:253:20
[INFO] [stdout]     |
[INFO] [stdout] 253 |             Type::Abs { T1, T2 } => { unreachable!(); }
[INFO] [stdout]     |                             ^^ help: try ignoring the field: `T2: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `k`
[INFO] [stdout]    --> src/tc.rs:265:7
[INFO] [stdout]     |
[INFO] [stdout] 265 |         let k: SemOcc = SemOcc { ident: self.occ.clone().expr.ident, label: self.occ.clone().label};
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_k`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `T1`
[INFO] [stdout]    --> src/tc.rs:297:16
[INFO] [stdout]     |
[INFO] [stdout] 297 |             Type::Abs { T1, T2 } => { unreachable!(); }
[INFO] [stdout]     |                         ^^ help: try ignoring the field: `T1: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `T2`
[INFO] [stdout]    --> src/tc.rs:297:20
[INFO] [stdout]     |
[INFO] [stdout] 297 |             Type::Abs { T1, T2 } => { unreachable!(); }
[INFO] [stdout]     |                             ^^ help: try ignoring the field: `T2: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `T1`
[INFO] [stdout]    --> src/tc.rs:326:19
[INFO] [stdout]     |
[INFO] [stdout] 326 |                         Type::Abs { T1, T2 } => { unreachable!("Error: mutable bindings cannot be abstractions"); }
[INFO] [stdout]     |                                     ^^ help: try ignoring the field: `T1: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `T2`
[INFO] [stdout]    --> src/tc.rs:326:23
[INFO] [stdout]     |
[INFO] [stdout] 326 |                         Type::Abs { T1, T2 } => { unreachable!("Error: mutable bindings cannot be abstractions"); }
[INFO] [stdout]     |                                         ^^ help: try ignoring the field: `T2: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tc.rs:400:25
[INFO] [stdout]     |
[INFO] [stdout] 400 |     fn sq_union(&mut self, mut t1: Type, mut t2: Type) -> Type
[INFO] [stdout]     |                            ----^^
[INFO] [stdout]     |                            |
[INFO] [stdout]     |                            help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tc.rs:400:39
[INFO] [stdout]     |
[INFO] [stdout] 400 |     fn sq_union(&mut self, mut t1: Type, mut t2: Type) -> Type
[INFO] [stdout]     |                                          ----^^
[INFO] [stdout]     |                                          |
[INFO] [stdout]     |                                          help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `delta`
[INFO] [stdout]    --> src/tc.rs:404:17
[INFO] [stdout]     |
[INFO] [stdout] 404 |             Type::Base { delta, kappa} =>
[INFO] [stdout]     |                          ^^^^^ help: try ignoring the field: `delta: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `kappa`
[INFO] [stdout]    --> src/tc.rs:404:24
[INFO] [stdout]     |
[INFO] [stdout] 404 |             Type::Base { delta, kappa} =>
[INFO] [stdout]     |                                 ^^^^^ help: try ignoring the field: `kappa: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `T1`
[INFO] [stdout]    --> src/tc.rs:408:16
[INFO] [stdout]     |
[INFO] [stdout] 408 |             Type::Abs { T1, T2 } =>
[INFO] [stdout]     |                         ^^ help: try ignoring the field: `T1: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tc.rs:415:22
[INFO] [stdout]     |
[INFO] [stdout] 415 |     fn union(&mut self, mut t1: Type, mut t2: Type) -> Type
[INFO] [stdout]     |                         ----^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tc.rs:415:36
[INFO] [stdout]     |
[INFO] [stdout] 415 |     fn union(&mut self, mut t1: Type, mut t2: Type) -> Type
[INFO] [stdout]     |                                       ----^^
[INFO] [stdout]     |                                       |
[INFO] [stdout]     |                                       help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tc.rs:421:9
[INFO] [stdout]     |
[INFO] [stdout] 421 |                 let mut d: Vec<SemOcc>;
[INFO] [stdout]     |                     ----^
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tc.rs:422:9
[INFO] [stdout]     |
[INFO] [stdout] 422 |                 let mut k: Vec<String>;
[INFO] [stdout]     |                     ----^
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tc.rs:492:7
[INFO] [stdout]     |
[INFO] [stdout] 492 |         let mut condition: bool = true;
[INFO] [stdout]     |             ----^^^^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tc.rs:522:8
[INFO] [stdout]     |
[INFO] [stdout] 522 |             let mut res: Vec<Pi> = self.get_all_pi(keys.clone()[0]);
[INFO] [stdout]     |                 ----^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/tc.rs:536:9
[INFO] [stdout]     |
[INFO] [stdout] 536 |                 let mut temp: Vec<Pi> = self.get_all_pi(key.clone());
[INFO] [stdout]     |                     ----^^^^
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/main.rs:67:9
[INFO] [stdout]    |
[INFO] [stdout] 67 |     let mut Gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |         ----^^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0554`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `dataflow` (bin "dataflow") due to 1 previous error; 100 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "0beccf10c371c6dbddc029d03df63c540fe75e3370fc7d1d708fea68ee9d1c6e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0beccf10c371c6dbddc029d03df63c540fe75e3370fc7d1d708fea68ee9d1c6e", kill_on_drop: false }`
[INFO] [stdout] 0beccf10c371c6dbddc029d03df63c540fe75e3370fc7d1d708fea68ee9d1c6e
