[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] building loevendallund/dataflow against try#334963c956d25708feab489a3816ae63f639355d for pr-135216-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Floevendallund%2Fdataflow" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/loevendallund/dataflow on toolchain 334963c956d25708feab489a3816ae63f639355d
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+334963c956d25708feab489a3816ae63f639355d" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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-2-tc2/source/Cargo.toml
[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" "+334963c956d25708feab489a3816ae63f639355d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+334963c956d25708feab489a3816ae63f639355d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] dda02c524b0849224249c65c92833a7f9ad6f540373c779dbf4dfcfe45c8e1e4
[INFO] running `Command { std: "docker" "start" "-a" "dda02c524b0849224249c65c92833a7f9ad6f540373c779dbf4dfcfe45c8e1e4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "dda02c524b0849224249c65c92833a7f9ad6f540373c779dbf4dfcfe45c8e1e4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dda02c524b0849224249c65c92833a7f9ad6f540373c779dbf4dfcfe45c8e1e4", kill_on_drop: false }`
[INFO] [stdout] dda02c524b0849224249c65c92833a7f9ad6f540373c779dbf4dfcfe45c8e1e4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+334963c956d25708feab489a3816ae63f639355d" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7392983edd09982d1c40125b3918c39691b8c00cb4b3c6e079977079261481a2
[INFO] running `Command { std: "docker" "start" "-a" "7392983edd09982d1c40125b3918c39691b8c00cb4b3c6e079977079261481a2", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.60
[INFO] [stderr]    Compiling quote v1.0.28
[INFO] [stderr]    Compiling unicode-ident v1.0.9
[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]    Compiling 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]    Compiling dataflow v0.1.0 (/opt/rustwide/workdir)
[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)]` 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)]` 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)]` 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: 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)]` on by default
[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 `L` is never read
[INFO] [stdout]    --> src/evaluator.rs:390:21
[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:21
[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:21
[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:21
[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:21
[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:21
[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:21
[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:21
[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/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: 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)]` on by default
[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.clone()); ...
[INFO] [stdout]     |                                                    ^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[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: 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: 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: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: `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: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: 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:13
[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:13
[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:13
[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:13
[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:13
[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:13
[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:13
[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: value assigned to `vec1` is never read
[INFO] [stdout]    --> src/approxOrder.rs:108:13
[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: 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:131:13
[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: 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: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: 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] warning: module `occParser` should have a snake case name
[INFO] [stdout]   --> src/main.rs:11:9
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub mod occParser;
[INFO] [stdout]    |         ^^^^^^^^^ help: convert the identifier to snake case: `occ_parser`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: module `exprParser` should have a snake case name
[INFO] [stdout]   --> src/main.rs:12:9
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub mod exprParser;
[INFO] [stdout]    |         ^^^^^^^^^^ help: convert the identifier to snake case: `expr_parser`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: module `convExprToOcc` should have a snake case name
[INFO] [stdout]   --> src/main.rs:13:9
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub mod convExprToOcc;
[INFO] [stdout]    |         ^^^^^^^^^^^^^ help: convert the identifier to snake case: `conv_expr_to_occ`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: module `approxOrder` should have a snake case name
[INFO] [stdout]   --> src/main.rs:16:9
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub mod approxOrder;
[INFO] [stdout]    |         ^^^^^^^^^^^ help: convert the identifier to snake case: `approx_order`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `File` should have a snake case name
[INFO] [stdout]   --> src/main.rs:36:9
[INFO] [stdout]    |
[INFO] [stdout] 36 |     let File = fs::read_to_string(&args[1]);
[INFO] [stdout]    |         ^^^^ help: convert the identifier to snake case (notice the capitalization): `file`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `ReadFile` should have a snake case name
[INFO] [stdout]   --> src/main.rs:37:9
[INFO] [stdout]    |
[INFO] [stdout] 37 |     let ReadFile = match File 
[INFO] [stdout]    |         ^^^^^^^^ help: convert the identifier to snake case: `read_file`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Gamma` should have a snake case name
[INFO] [stdout]   --> src/main.rs:67:13
[INFO] [stdout]    |
[INFO] [stdout] 67 |     let mut Gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |             ^^^^^ help: convert the identifier to snake case: `gamma`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Pi` should have a snake case name
[INFO] [stdout]   --> src/main.rs:68:9
[INFO] [stdout]    |
[INFO] [stdout] 68 |     let Pi = approx(occ.clone());
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case: `pi`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `ExpType` should have a snake case name
[INFO] [stdout]   --> src/occParser.rs:12:9
[INFO] [stdout]    |
[INFO] [stdout] 12 |     pub ExpType: Type,
[INFO] [stdout]    |         ^^^^^^^ help: convert the identifier to snake case: `exp_type`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `LHS` should have a snake case name
[INFO] [stdout]   --> src/occParser.rs:14:9
[INFO] [stdout]    |
[INFO] [stdout] 14 |     pub LHS: Option<Box<Occ>>,
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `lhs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `RHS` should have a snake case name
[INFO] [stdout]   --> src/occParser.rs:15:9
[INFO] [stdout]    |
[INFO] [stdout] 15 |     pub RHS: Option<Box<Occ>>,
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `rhs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `Pats` should have a snake case name
[INFO] [stdout]   --> src/occParser.rs:16:9
[INFO] [stdout]    |
[INFO] [stdout] 16 |     pub Pats: Option<Vec<Pat>>,
[INFO] [stdout]    |         ^^^^ help: convert the identifier to snake case: `pats`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `Occs` should have a snake case name
[INFO] [stdout]   --> src/occParser.rs:17:9
[INFO] [stdout]    |
[INFO] [stdout] 17 |     pub Occs: Option<Vec<Box<Occ>>>,
[INFO] [stdout]    |         ^^^^ help: convert the identifier to snake case (notice the capitalization): `occs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `Great` should have a snake case name
[INFO] [stdout]    --> src/occParser.rs:111:8
[INFO] [stdout]     |
[INFO] [stdout] 111 | pub fn Great(c1: Constant, c2: Constant) -> Constant
[INFO] [stdout]     |        ^^^^^ help: convert the identifier to snake case: `great`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `Less` should have a snake case name
[INFO] [stdout]    --> src/occParser.rs:121:8
[INFO] [stdout]     |
[INFO] [stdout] 121 | pub fn Less(c1: Constant, c2: Constant) -> Constant
[INFO] [stdout]     |        ^^^^ help: convert the identifier to snake case: `less`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `Equal` should have a snake case name
[INFO] [stdout]    --> src/occParser.rs:131:8
[INFO] [stdout]     |
[INFO] [stdout] 131 | pub fn Equal(c1: Constant, c2: Constant) -> Constant
[INFO] [stdout]     |        ^^^^^ help: convert the identifier to snake case: `equal`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `NEqual` should have a snake case name
[INFO] [stdout]    --> src/occParser.rs:141:8
[INFO] [stdout]     |
[INFO] [stdout] 141 | pub fn NEqual(c1: Constant, c2: Constant) -> Constant
[INFO] [stdout]     |        ^^^^^^ help: convert the identifier to snake case: `nequal`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `GEq` should have a snake case name
[INFO] [stdout]    --> src/occParser.rs:151:8
[INFO] [stdout]     |
[INFO] [stdout] 151 | pub fn GEq(c1: Constant, c2: Constant) -> Constant
[INFO] [stdout]     |        ^^^ help: convert the identifier to snake case: `geq`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `LEq` should have a snake case name
[INFO] [stdout]    --> src/occParser.rs:161:8
[INFO] [stdout]     |
[INFO] [stdout] 161 | pub fn LEq(c1: Constant, c2: Constant) -> Constant
[INFO] [stdout]     |        ^^^ help: convert the identifier to snake case: `leq`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `Parse_Expr` should have a snake case name
[INFO] [stdout]    --> src/occParser.rs:171:8
[INFO] [stdout]     |
[INFO] [stdout] 171 | pub fn Parse_Expr(mut str: String) -> Occ
[INFO] [stdout]     |        ^^^^^^^^^^ help: convert the identifier to snake case: `parse_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Parsed` should have a snake case name
[INFO] [stdout]    --> src/occParser.rs:173:9
[INFO] [stdout]     |
[INFO] [stdout] 173 |     let Parsed = ExprParser::parse(Rule::file, &str)
[INFO] [stdout]     |         ^^^^^^ help: convert the identifier to snake case: `parsed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `ExpType` should have a snake case name
[INFO] [stdout]   --> src/exprParser.rs:16:9
[INFO] [stdout]    |
[INFO] [stdout] 16 |     pub ExpType: Type,
[INFO] [stdout]    |         ^^^^^^^ help: convert the identifier to snake case: `exp_type`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `LHS` should have a snake case name
[INFO] [stdout]   --> src/exprParser.rs:18:9
[INFO] [stdout]    |
[INFO] [stdout] 18 |     pub LHS: Option<Box<Expr>>,
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `lhs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `RHS` should have a snake case name
[INFO] [stdout]   --> src/exprParser.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |     pub RHS: Option<Box<Expr>>,
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `rhs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `Pats` should have a snake case name
[INFO] [stdout]   --> src/exprParser.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |     pub Pats: Option<Vec<Pat>>,
[INFO] [stdout]    |         ^^^^ help: convert the identifier to snake case: `pats`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `Exprs` should have a snake case name
[INFO] [stdout]   --> src/exprParser.rs:21:9
[INFO] [stdout]    |
[INFO] [stdout] 21 |     pub Exprs: Option<Vec<Box<Expr>>>,
[INFO] [stdout]    |         ^^^^^ help: convert the identifier to snake case: `exprs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Parsed` should have a snake case name
[INFO] [stdout]   --> src/exprParser.rs:26:9
[INFO] [stdout]    |
[INFO] [stdout] 26 |     let Parsed = ExprParser::parse(Rule::file, &str)
[INFO] [stdout]    |         ^^^^^^ help: convert the identifier to snake case: `parsed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `eType` should have a snake case name
[INFO] [stdout]   --> src/convExprToOcc.rs:18:9
[INFO] [stdout]    |
[INFO] [stdout] 18 |     let eType = expression.ExpType;
[INFO] [stdout]    |         ^^^^^ help: convert the identifier to snake case: `e_type`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `oExpr` should have a snake case name
[INFO] [stdout]   --> src/convExprToOcc.rs:19:13
[INFO] [stdout]    |
[INFO] [stdout] 19 |     let mut oExpr: Expr = Expr { ExpType: eType.clone(), ident: expression.ident, LHS: None, RHS: None, Pats: expression.Pats, Occs: None };
[INFO] [stdout]    |             ^^^^^ help: convert the identifier to snake case: `o_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `identR` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |         identR: String,
[INFO] [stdout]    |         ^^^^^^ help: convert the identifier to snake case: `ident_r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `bodyR` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |         bodyR: Box<occParser::Occ>,
[INFO] [stdout]    |         ^^^^^ help: convert the identifier to snake case: `body_r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `penvR` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:21:9
[INFO] [stdout]    |
[INFO] [stdout] 21 |         penvR: HashMap<String, Val>,
[INFO] [stdout]    |         ^^^^^ help: convert the identifier to snake case: `penv_r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: static variable `next` should have an upper case name
[INFO] [stdout]   --> src/evaluator.rs:38:12
[INFO] [stdout]    |
[INFO] [stdout] 38 | static mut next: usize = 0;
[INFO] [stdout]    |            ^^^^ help: convert the identifier to upper case: `NEXT`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_upper_case_globals)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:49:13
[INFO] [stdout]    |
[INFO] [stdout] 49 |     let mut L: Vec<SOcc>;
[INFO] [stdout]    |             ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:50:13
[INFO] [stdout]    |
[INFO] [stdout] 50 |     let mut V: Vec<SOcc>;
[INFO] [stdout]    |             ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:64:21
[INFO] [stdout]    |
[INFO] [stdout] 64 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]    |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:65:21
[INFO] [stdout]    |
[INFO] [stdout] 65 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]    |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:79:29
[INFO] [stdout]    |
[INFO] [stdout] 79 |                     let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]    |                             ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:80:29
[INFO] [stdout]    |
[INFO] [stdout] 80 |                     let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]    |                             ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_L1` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:83:29
[INFO] [stdout]    |
[INFO] [stdout] 83 |                     let mut _L1: Vec<SOcc>;
[INFO] [stdout]    |                             ^^^ help: convert the identifier to snake case: `_l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_V1` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:84:29
[INFO] [stdout]    |
[INFO] [stdout] 84 |                     let mut _V1: Vec<SOcc>;
[INFO] [stdout]    |                             ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:85:25
[INFO] [stdout]    |
[INFO] [stdout] 85 |                     let L1: &mut Vec<SOcc>;
[INFO] [stdout]    |                         ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:86:25
[INFO] [stdout]    |
[INFO] [stdout] 86 |                     let V1: &mut Vec<SOcc>;
[INFO] [stdout]    |                         ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:110:21
[INFO] [stdout]     |
[INFO] [stdout] 110 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:111:21
[INFO] [stdout]     |
[INFO] [stdout] 111 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:127:29
[INFO] [stdout]     |
[INFO] [stdout] 127 |                     let mut L: Vec<SOcc>;
[INFO] [stdout]     |                             ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:128:29
[INFO] [stdout]     |
[INFO] [stdout] 128 |                     let mut V: Vec<SOcc>;
[INFO] [stdout]     |                             ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:136:37
[INFO] [stdout]     |
[INFO] [stdout] 136 | ...                   let mut _L1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case: `_l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:137:37
[INFO] [stdout]     |
[INFO] [stdout] 137 | ...                   let mut _V1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:144:33
[INFO] [stdout]     |
[INFO] [stdout] 144 | ...                   let L1: &mut Vec<SOcc> = &mut _L1;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:145:33
[INFO] [stdout]     |
[INFO] [stdout] 145 | ...                   let V1: &mut Vec<SOcc> = &mut _V1;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_L2` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:147:37
[INFO] [stdout]     |
[INFO] [stdout] 147 | ...                   let mut _L2: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case: `_l2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_V2` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:148:37
[INFO] [stdout]     |
[INFO] [stdout] 148 | ...                   let mut _V2: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case (notice the capitalization): `_v2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L2` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:150:33
[INFO] [stdout]     |
[INFO] [stdout] 150 | ...                   let L2: &mut Vec<SOcc> = &mut _L2;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case: `l2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V2` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:151:33
[INFO] [stdout]     |
[INFO] [stdout] 151 | ...                   let V2: &mut Vec<SOcc> = &mut _V2;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case (notice the capitalization): `v2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:159:37
[INFO] [stdout]     |
[INFO] [stdout] 159 | ...                   let mut _L1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case: `_l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:160:37
[INFO] [stdout]     |
[INFO] [stdout] 160 | ...                   let mut _V1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_L2` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:172:37
[INFO] [stdout]     |
[INFO] [stdout] 172 | ...                   let mut _L2: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case: `_l2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_V2` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:173:37
[INFO] [stdout]     |
[INFO] [stdout] 173 | ...                   let mut _V2: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case (notice the capitalization): `_v2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:176:33
[INFO] [stdout]     |
[INFO] [stdout] 176 | ...                   let L1: &mut Vec<SOcc> = &mut _L1; let L2: &mut Vec<SOcc> = &mut _L2;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L2` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:176:68
[INFO] [stdout]     |
[INFO] [stdout] 176 | ...                   let L1: &mut Vec<SOcc> = &mut _L1; let L2: &mut Vec<SOcc> = &mut _L2;
[INFO] [stdout]     |                                                              ^^ help: convert the identifier to snake case: `l2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:177:33
[INFO] [stdout]     |
[INFO] [stdout] 177 | ...                   let V1: &mut Vec<SOcc> = &mut _V1; let V2: &mut Vec<SOcc> = &mut _V2;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V2` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:177:68
[INFO] [stdout]     |
[INFO] [stdout] 177 | ...                   let V1: &mut Vec<SOcc> = &mut _V1; let V2: &mut Vec<SOcc> = &mut _V2;
[INFO] [stdout]     |                                                              ^^ help: convert the identifier to snake case (notice the capitalization): `v2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:193:21
[INFO] [stdout]     |
[INFO] [stdout] 193 |             let mut L: Vec<SOcc>;
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:194:21
[INFO] [stdout]     |
[INFO] [stdout] 194 |             let mut V: Vec<SOcc>;
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:195:21
[INFO] [stdout]     |
[INFO] [stdout] 195 |             let mut _L1: Vec<SOcc>;
[INFO] [stdout]     |                     ^^^ help: convert the identifier to snake case: `_l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:196:21
[INFO] [stdout]     |
[INFO] [stdout] 196 |             let mut _V1: Vec<SOcc>;
[INFO] [stdout]     |                     ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:202:17
[INFO] [stdout]     |
[INFO] [stdout] 202 |             let L1: &mut Vec<SOcc> = &mut _L1;
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:203:17
[INFO] [stdout]     |
[INFO] [stdout] 203 |             let V1: &mut Vec<SOcc> = &mut _V1;
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:287:21
[INFO] [stdout]     |
[INFO] [stdout] 287 |             let mut L: Vec<SOcc>;
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:288:21
[INFO] [stdout]     |
[INFO] [stdout] 288 |             let mut V: Vec<SOcc>;
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:289:21
[INFO] [stdout]     |
[INFO] [stdout] 289 |             let mut L1: Vec<SOcc>;
[INFO] [stdout]     |                     ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:290:21
[INFO] [stdout]     |
[INFO] [stdout] 290 |             let mut V1: Vec<SOcc>;
[INFO] [stdout]     |                     ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:308:21
[INFO] [stdout]     |
[INFO] [stdout] 308 |             let mut L: Vec<SOcc>;
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:309:21
[INFO] [stdout]     |
[INFO] [stdout] 309 |             let mut V: Vec<SOcc>;
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:322:37
[INFO] [stdout]     |
[INFO] [stdout] 322 | ...                   let mut L1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:323:37
[INFO] [stdout]     |
[INFO] [stdout] 323 | ...                   let mut V1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:345:21
[INFO] [stdout]     |
[INFO] [stdout] 345 |             let mut L: Vec<SOcc>;
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:346:21
[INFO] [stdout]     |
[INFO] [stdout] 346 |             let mut V: Vec<SOcc>;
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:359:37
[INFO] [stdout]     |
[INFO] [stdout] 359 | ...                   let mut _L1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case: `_l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:360:37
[INFO] [stdout]     |
[INFO] [stdout] 360 | ...                   let mut _V1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:366:33
[INFO] [stdout]     |
[INFO] [stdout] 366 | ...                   let L1: &mut Vec<SOcc> = &mut _L1;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:367:33
[INFO] [stdout]     |
[INFO] [stdout] 367 | ...                   let V1: &mut Vec<SOcc> = &mut _V1;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:374:37
[INFO] [stdout]     |
[INFO] [stdout] 374 | ...                   let mut _L1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case: `_l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:375:37
[INFO] [stdout]     |
[INFO] [stdout] 375 | ...                   let mut _V1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:378:33
[INFO] [stdout]     |
[INFO] [stdout] 378 | ...                   let L1: &mut Vec<SOcc> = &mut _L1;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:379:33
[INFO] [stdout]     |
[INFO] [stdout] 379 | ...                   let V1: &mut Vec<SOcc> = &mut _V1;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:390:21
[INFO] [stdout]     |
[INFO] [stdout] 390 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:391:21
[INFO] [stdout]     |
[INFO] [stdout] 391 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: creating a shared reference to mutable static is discouraged
[INFO] [stdout]    --> src/evaluator.rs:396:49
[INFO] [stdout]     |
[INFO] [stdout] 396 |             unsafe { loc = "_nu".to_string() + &next.to_string(); next = next+1; }
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^ shared reference to mutable static
[INFO] [stdout]     |
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2024/static-mut-references.html>
[INFO] [stdout]     = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives
[INFO] [stdout]     = note: `#[warn(static_mut_refs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:405:21
[INFO] [stdout]     |
[INFO] [stdout] 405 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:406:21
[INFO] [stdout]     |
[INFO] [stdout] 406 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:407:21
[INFO] [stdout]     |
[INFO] [stdout] 407 |             let mut L1: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:408:21
[INFO] [stdout]     |
[INFO] [stdout] 408 |             let mut V1: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:429:21
[INFO] [stdout]     |
[INFO] [stdout] 429 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:430:21
[INFO] [stdout]     |
[INFO] [stdout] 430 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:439:29
[INFO] [stdout]     |
[INFO] [stdout] 439 |                     let mut _L1: Vec<SOcc>;
[INFO] [stdout]     |                             ^^^ help: convert the identifier to snake case: `_l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:440:29
[INFO] [stdout]     |
[INFO] [stdout] 440 |                     let mut _V1: Vec<SOcc>;
[INFO] [stdout]     |                             ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:441:25
[INFO] [stdout]     |
[INFO] [stdout] 441 |                     let L1: &mut Vec<SOcc>;
[INFO] [stdout]     |                         ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:442:25
[INFO] [stdout]     |
[INFO] [stdout] 442 |                     let V1: &mut Vec<SOcc>;
[INFO] [stdout]     |                         ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:470:21
[INFO] [stdout]     |
[INFO] [stdout] 470 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:471:21
[INFO] [stdout]     |
[INFO] [stdout] 471 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `T1` should have a snake case name
[INFO] [stdout]   --> src/typechecker.rs:24:9
[INFO] [stdout]    |
[INFO] [stdout] 24 |         T1: Option<Box<Type>>,
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case: `t1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `T2` should have a snake case name
[INFO] [stdout]   --> src/typechecker.rs:25:9
[INFO] [stdout]    |
[INFO] [stdout] 25 |         T2: Option<Box<Type>>,
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case: `t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: static variable `next` should have an upper case name
[INFO] [stdout]   --> src/typechecker.rs:29:12
[INFO] [stdout]    |
[INFO] [stdout] 29 | static mut next: usize = 0;
[INFO] [stdout]    |            ^^^^ help: convert the identifier to upper case: `NEXT`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `TCheck` should have a snake case name
[INFO] [stdout]   --> src/typechecker.rs:31:8
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub fn TCheck(mut Gamma: HashMap<SemOcc, Type>, Pi: HashMap<usize, usize>, occ: occParser::Occ, v: Vec<HashMap<usize,usize>>, mut assumpt...
[INFO] [stdout]    |        ^^^^^^ help: convert the identifier to snake case: `tcheck`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Gamma` should have a snake case name
[INFO] [stdout]   --> src/typechecker.rs:31:19
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub fn TCheck(mut Gamma: HashMap<SemOcc, Type>, Pi: HashMap<usize, usize>, occ: occParser::Occ, v: Vec<HashMap<usize,usize>>, mut assumpt...
[INFO] [stdout]    |                   ^^^^^ help: convert the identifier to snake case: `gamma`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Pi` should have a snake case name
[INFO] [stdout]   --> src/typechecker.rs:31:49
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub fn TCheck(mut Gamma: HashMap<SemOcc, Type>, Pi: HashMap<usize, usize>, occ: occParser::Occ, v: Vec<HashMap<usize,usize>>, mut assumpt...
[INFO] [stdout]    |                                                 ^^ help: convert the identifier to snake case: `pi`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: creating a shared reference to mutable static is discouraged
[INFO] [stdout]    --> src/typechecker.rs:159:47
[INFO] [stdout]     |
[INFO] [stdout] 159 |                 let id = "_nu".to_string() + &next.to_string();
[INFO] [stdout]     |                                               ^^^^^^^^^^^^^^^^ shared reference to mutable static
[INFO] [stdout]     |
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2024/static-mut-references.html>
[INFO] [stdout]     = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `GetBinding` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:236:4
[INFO] [stdout]     |
[INFO] [stdout] 236 | fn GetBinding(ident: String, mut Gamma: HashMap<SemOcc, Type>, Pi: HashMap<usize, usize>) -> SemOcc
[INFO] [stdout]     |    ^^^^^^^^^^ help: convert the identifier to snake case: `get_binding`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Gamma` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:236:34
[INFO] [stdout]     |
[INFO] [stdout] 236 | fn GetBinding(ident: String, mut Gamma: HashMap<SemOcc, Type>, Pi: HashMap<usize, usize>) -> SemOcc
[INFO] [stdout]     |                                  ^^^^^ help: convert the identifier to snake case: `gamma`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Pi` should have a snake case name
[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: convert the identifier to snake case: `pi`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `gBind` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:238:13
[INFO] [stdout]     |
[INFO] [stdout] 238 |     let mut gBind: Option<usize> = None;
[INFO] [stdout]     |             ^^^^^ help: convert the identifier to snake case: `g_bind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `bindOcc` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:239:13
[INFO] [stdout]     |
[INFO] [stdout] 239 |     let mut bindOcc: SemOcc = SemOcc { ident: ident.clone(), label: 0 };
[INFO] [stdout]     |             ^^^^^^^ help: convert the identifier to snake case: `bind_occ`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `GetAllGBinding` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:252:4
[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: convert the identifier to snake case: `get_all_gbinding`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Gamma` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:252:52
[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: convert the identifier to snake case: `gamma`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `gBind` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:257:17
[INFO] [stdout]     |
[INFO] [stdout] 257 |         let mut gBind: usize = 0;
[INFO] [stdout]     |                 ^^^^^ help: convert the identifier to snake case: `g_bind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `bindOcc` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:258:17
[INFO] [stdout]     |
[INFO] [stdout] 258 |         let mut bindOcc: SemOcc = SemOcc { ident: ident.clone(), label: 0 };
[INFO] [stdout]     |                 ^^^^^^^ help: convert the identifier to snake case: `bind_occ`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `sqUnion` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:287:4
[INFO] [stdout]     |
[INFO] [stdout] 287 | fn sqUnion(mut t: Type, mut b: Vec<SemOcc>) -> Type
[INFO] [stdout]     |    ^^^^^^^ help: convert the identifier to snake case: `sq_union`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `Union` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:308:4
[INFO] [stdout]     |
[INFO] [stdout] 308 | fn Union(mut t1: Type, mut t2: Type) -> Type
[INFO] [stdout]     |    ^^^^^ help: convert the identifier to snake case (notice the capitalization): `union`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `BaseEqual` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:350:4
[INFO] [stdout]     |
[INFO] [stdout] 350 | fn BaseEqual(t1: Type, t2: Type) -> bool
[INFO] [stdout]     |    ^^^^^^^^^ help: convert the identifier to snake case: `base_equal`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `ApproximateOrder` should have a snake case name
[INFO] [stdout]   --> src/approxOrder.rs:16:4
[INFO] [stdout]    |
[INFO] [stdout] 16 | fn ApproximateOrder(occ: Occ, last_point: usize) -> (Vec<(usize,usize)>, usize, Option<Box<Occ>>)
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `approximate_order`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `T1` should have a snake case name
[INFO] [stdout]   --> src/tc.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 |         T1: Option<Box<Type>>,
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case: `t1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `T2` should have a snake case name
[INFO] [stdout]   --> src/tc.rs:28:9
[INFO] [stdout]    |
[INFO] [stdout] 28 |         T2: Option<Box<Type>>,
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case: `t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: static variable `next` should have an upper case name
[INFO] [stdout]   --> src/tc.rs:51:12
[INFO] [stdout]    |
[INFO] [stdout] 51 | static mut next: usize = 0;
[INFO] [stdout]    |            ^^^^ help: convert the identifier to upper case: `NEXT`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: creating a shared reference to mutable static is discouraged
[INFO] [stdout]    --> src/tc.rs:223:34
[INFO] [stdout]     |
[INFO] [stdout] 223 |             let id = "_nu".to_string() + &next.to_string();
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^ shared reference to mutable static
[INFO] [stdout]     |
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2024/static-mut-references.html>
[INFO] [stdout]     = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 10.50s
[INFO] running `Command { std: "docker" "inspect" "7392983edd09982d1c40125b3918c39691b8c00cb4b3c6e079977079261481a2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7392983edd09982d1c40125b3918c39691b8c00cb4b3c6e079977079261481a2", kill_on_drop: false }`
[INFO] [stdout] 7392983edd09982d1c40125b3918c39691b8c00cb4b3c6e079977079261481a2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+334963c956d25708feab489a3816ae63f639355d" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1483d9ac120a94ca4ffd47e13be585c80bfd09338f5b525fc046547f29da2994
[INFO] running `Command { std: "docker" "start" "-a" "1483d9ac120a94ca4ffd47e13be585c80bfd09338f5b525fc046547f29da2994", kill_on_drop: false }`
[INFO] [stderr]    Compiling dataflow v0.1.0 (/opt/rustwide/workdir)
[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)]` 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)]` 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] 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)]` 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: 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)]` on by default
[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 `L` is never read
[INFO] [stdout]    --> src/evaluator.rs:390:21
[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:21
[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:21
[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:21
[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:21
[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:21
[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:21
[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:21
[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/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: 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)]` on by default
[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.clone()); ...
[INFO] [stdout]     |                                                    ^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[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: 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: 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: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: `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: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: 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:13
[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:13
[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:13
[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:13
[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:13
[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:13
[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:13
[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: value assigned to `vec1` is never read
[INFO] [stdout]    --> src/approxOrder.rs:108:13
[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: 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:131:13
[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: 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: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: 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] warning: function `empty_base` is never used
[INFO] [stdout]   --> src/tests/tests.rs:21:4
[INFO] [stdout]    |
[INFO] [stdout] 21 | fn empty_base() -> tc::Type { tc::Type::Base { delta: Vec::new(), kappa: Vec::new() } }
[INFO] [stdout]    |    ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `empty_base` is never used
[INFO] [stdout]   --> src/tests/case.rs:11:4
[INFO] [stdout]    |
[INFO] [stdout] 11 | fn empty_base() -> tc::Type { tc::Type::Base { delta: Vec::new(), kappa: Vec::new() } }
[INFO] [stdout]    |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `empty_base` is never used
[INFO] [stdout]   --> src/tests/reference.rs:10:4
[INFO] [stdout]    |
[INFO] [stdout] 10 | fn empty_base() -> tc::Type { tc::Type::Base { delta: Vec::new(), kappa: Vec::new() } }
[INFO] [stdout]    |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `empty_base` is never used
[INFO] [stdout]   --> src/tests/reference_read.rs:11:4
[INFO] [stdout]    |
[INFO] [stdout] 11 | fn empty_base() -> tc::Type { tc::Type::Base { delta: Vec::new(), kappa: Vec::new() } }
[INFO] [stdout]    |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `empty_base` is never used
[INFO] [stdout]   --> src/tests/reference_write.rs:10:4
[INFO] [stdout]    |
[INFO] [stdout] 10 | fn empty_base() -> tc::Type { tc::Type::Base { delta: Vec::new(), kappa: Vec::new() } }
[INFO] [stdout]    |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: module `occParser` should have a snake case name
[INFO] [stdout]   --> src/main.rs:11:9
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub mod occParser;
[INFO] [stdout]    |         ^^^^^^^^^ help: convert the identifier to snake case: `occ_parser`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: module `exprParser` should have a snake case name
[INFO] [stdout]   --> src/main.rs:12:9
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub mod exprParser;
[INFO] [stdout]    |         ^^^^^^^^^^ help: convert the identifier to snake case: `expr_parser`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: module `convExprToOcc` should have a snake case name
[INFO] [stdout]   --> src/main.rs:13:9
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub mod convExprToOcc;
[INFO] [stdout]    |         ^^^^^^^^^^^^^ help: convert the identifier to snake case: `conv_expr_to_occ`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: module `approxOrder` should have a snake case name
[INFO] [stdout]   --> src/main.rs:16:9
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub mod approxOrder;
[INFO] [stdout]    |         ^^^^^^^^^^^ help: convert the identifier to snake case: `approx_order`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `File` should have a snake case name
[INFO] [stdout]   --> src/main.rs:36:9
[INFO] [stdout]    |
[INFO] [stdout] 36 |     let File = fs::read_to_string(&args[1]);
[INFO] [stdout]    |         ^^^^ help: convert the identifier to snake case (notice the capitalization): `file`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `ReadFile` should have a snake case name
[INFO] [stdout]   --> src/main.rs:37:9
[INFO] [stdout]    |
[INFO] [stdout] 37 |     let ReadFile = match File 
[INFO] [stdout]    |         ^^^^^^^^ help: convert the identifier to snake case: `read_file`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Gamma` should have a snake case name
[INFO] [stdout]   --> src/main.rs:67:13
[INFO] [stdout]    |
[INFO] [stdout] 67 |     let mut Gamma: HashMap<tc::SemOcc, tc::Type> = HashMap::new();
[INFO] [stdout]    |             ^^^^^ help: convert the identifier to snake case: `gamma`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Pi` should have a snake case name
[INFO] [stdout]   --> src/main.rs:68:9
[INFO] [stdout]    |
[INFO] [stdout] 68 |     let Pi = approx(occ.clone());
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case: `pi`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `ExpType` should have a snake case name
[INFO] [stdout]   --> src/occParser.rs:12:9
[INFO] [stdout]    |
[INFO] [stdout] 12 |     pub ExpType: Type,
[INFO] [stdout]    |         ^^^^^^^ help: convert the identifier to snake case: `exp_type`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `LHS` should have a snake case name
[INFO] [stdout]   --> src/occParser.rs:14:9
[INFO] [stdout]    |
[INFO] [stdout] 14 |     pub LHS: Option<Box<Occ>>,
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `lhs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `RHS` should have a snake case name
[INFO] [stdout]   --> src/occParser.rs:15:9
[INFO] [stdout]    |
[INFO] [stdout] 15 |     pub RHS: Option<Box<Occ>>,
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `rhs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `Pats` should have a snake case name
[INFO] [stdout]   --> src/occParser.rs:16:9
[INFO] [stdout]    |
[INFO] [stdout] 16 |     pub Pats: Option<Vec<Pat>>,
[INFO] [stdout]    |         ^^^^ help: convert the identifier to snake case: `pats`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `Occs` should have a snake case name
[INFO] [stdout]   --> src/occParser.rs:17:9
[INFO] [stdout]    |
[INFO] [stdout] 17 |     pub Occs: Option<Vec<Box<Occ>>>,
[INFO] [stdout]    |         ^^^^ help: convert the identifier to snake case (notice the capitalization): `occs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `Great` should have a snake case name
[INFO] [stdout]    --> src/occParser.rs:111:8
[INFO] [stdout]     |
[INFO] [stdout] 111 | pub fn Great(c1: Constant, c2: Constant) -> Constant
[INFO] [stdout]     |        ^^^^^ help: convert the identifier to snake case: `great`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `Less` should have a snake case name
[INFO] [stdout]    --> src/occParser.rs:121:8
[INFO] [stdout]     |
[INFO] [stdout] 121 | pub fn Less(c1: Constant, c2: Constant) -> Constant
[INFO] [stdout]     |        ^^^^ help: convert the identifier to snake case: `less`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `Equal` should have a snake case name
[INFO] [stdout]    --> src/occParser.rs:131:8
[INFO] [stdout]     |
[INFO] [stdout] 131 | pub fn Equal(c1: Constant, c2: Constant) -> Constant
[INFO] [stdout]     |        ^^^^^ help: convert the identifier to snake case: `equal`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `NEqual` should have a snake case name
[INFO] [stdout]    --> src/occParser.rs:141:8
[INFO] [stdout]     |
[INFO] [stdout] 141 | pub fn NEqual(c1: Constant, c2: Constant) -> Constant
[INFO] [stdout]     |        ^^^^^^ help: convert the identifier to snake case: `nequal`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `GEq` should have a snake case name
[INFO] [stdout]    --> src/occParser.rs:151:8
[INFO] [stdout]     |
[INFO] [stdout] 151 | pub fn GEq(c1: Constant, c2: Constant) -> Constant
[INFO] [stdout]     |        ^^^ help: convert the identifier to snake case: `geq`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `LEq` should have a snake case name
[INFO] [stdout]    --> src/occParser.rs:161:8
[INFO] [stdout]     |
[INFO] [stdout] 161 | pub fn LEq(c1: Constant, c2: Constant) -> Constant
[INFO] [stdout]     |        ^^^ help: convert the identifier to snake case: `leq`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `Parse_Expr` should have a snake case name
[INFO] [stdout]    --> src/occParser.rs:171:8
[INFO] [stdout]     |
[INFO] [stdout] 171 | pub fn Parse_Expr(mut str: String) -> Occ
[INFO] [stdout]     |        ^^^^^^^^^^ help: convert the identifier to snake case: `parse_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Parsed` should have a snake case name
[INFO] [stdout]    --> src/occParser.rs:173:9
[INFO] [stdout]     |
[INFO] [stdout] 173 |     let Parsed = ExprParser::parse(Rule::file, &str)
[INFO] [stdout]     |         ^^^^^^ help: convert the identifier to snake case: `parsed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `ExpType` should have a snake case name
[INFO] [stdout]   --> src/exprParser.rs:16:9
[INFO] [stdout]    |
[INFO] [stdout] 16 |     pub ExpType: Type,
[INFO] [stdout]    |         ^^^^^^^ help: convert the identifier to snake case: `exp_type`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `LHS` should have a snake case name
[INFO] [stdout]   --> src/exprParser.rs:18:9
[INFO] [stdout]    |
[INFO] [stdout] 18 |     pub LHS: Option<Box<Expr>>,
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `lhs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `RHS` should have a snake case name
[INFO] [stdout]   --> src/exprParser.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |     pub RHS: Option<Box<Expr>>,
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `rhs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `Pats` should have a snake case name
[INFO] [stdout]   --> src/exprParser.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |     pub Pats: Option<Vec<Pat>>,
[INFO] [stdout]    |         ^^^^ help: convert the identifier to snake case: `pats`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `Exprs` should have a snake case name
[INFO] [stdout]   --> src/exprParser.rs:21:9
[INFO] [stdout]    |
[INFO] [stdout] 21 |     pub Exprs: Option<Vec<Box<Expr>>>,
[INFO] [stdout]    |         ^^^^^ help: convert the identifier to snake case: `exprs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Parsed` should have a snake case name
[INFO] [stdout]   --> src/exprParser.rs:26:9
[INFO] [stdout]    |
[INFO] [stdout] 26 |     let Parsed = ExprParser::parse(Rule::file, &str)
[INFO] [stdout]    |         ^^^^^^ help: convert the identifier to snake case: `parsed`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `eType` should have a snake case name
[INFO] [stdout]   --> src/convExprToOcc.rs:18:9
[INFO] [stdout]    |
[INFO] [stdout] 18 |     let eType = expression.ExpType;
[INFO] [stdout]    |         ^^^^^ help: convert the identifier to snake case: `e_type`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `oExpr` should have a snake case name
[INFO] [stdout]   --> src/convExprToOcc.rs:19:13
[INFO] [stdout]    |
[INFO] [stdout] 19 |     let mut oExpr: Expr = Expr { ExpType: eType.clone(), ident: expression.ident, LHS: None, RHS: None, Pats: expression.Pats, Occs: None };
[INFO] [stdout]    |             ^^^^^ help: convert the identifier to snake case: `o_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `identR` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |         identR: String,
[INFO] [stdout]    |         ^^^^^^ help: convert the identifier to snake case: `ident_r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `bodyR` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |         bodyR: Box<occParser::Occ>,
[INFO] [stdout]    |         ^^^^^ help: convert the identifier to snake case: `body_r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `penvR` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:21:9
[INFO] [stdout]    |
[INFO] [stdout] 21 |         penvR: HashMap<String, Val>,
[INFO] [stdout]    |         ^^^^^ help: convert the identifier to snake case: `penv_r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: static variable `next` should have an upper case name
[INFO] [stdout]   --> src/evaluator.rs:38:12
[INFO] [stdout]    |
[INFO] [stdout] 38 | static mut next: usize = 0;
[INFO] [stdout]    |            ^^^^ help: convert the identifier to upper case: `NEXT`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_upper_case_globals)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:49:13
[INFO] [stdout]    |
[INFO] [stdout] 49 |     let mut L: Vec<SOcc>;
[INFO] [stdout]    |             ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:50:13
[INFO] [stdout]    |
[INFO] [stdout] 50 |     let mut V: Vec<SOcc>;
[INFO] [stdout]    |             ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:64:21
[INFO] [stdout]    |
[INFO] [stdout] 64 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]    |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:65:21
[INFO] [stdout]    |
[INFO] [stdout] 65 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]    |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:79:29
[INFO] [stdout]    |
[INFO] [stdout] 79 |                     let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]    |                             ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:80:29
[INFO] [stdout]    |
[INFO] [stdout] 80 |                     let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]    |                             ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_L1` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:83:29
[INFO] [stdout]    |
[INFO] [stdout] 83 |                     let mut _L1: Vec<SOcc>;
[INFO] [stdout]    |                             ^^^ help: convert the identifier to snake case: `_l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_V1` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:84:29
[INFO] [stdout]    |
[INFO] [stdout] 84 |                     let mut _V1: Vec<SOcc>;
[INFO] [stdout]    |                             ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:85:25
[INFO] [stdout]    |
[INFO] [stdout] 85 |                     let L1: &mut Vec<SOcc>;
[INFO] [stdout]    |                         ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]   --> src/evaluator.rs:86:25
[INFO] [stdout]    |
[INFO] [stdout] 86 |                     let V1: &mut Vec<SOcc>;
[INFO] [stdout]    |                         ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:110:21
[INFO] [stdout]     |
[INFO] [stdout] 110 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:111:21
[INFO] [stdout]     |
[INFO] [stdout] 111 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:127:29
[INFO] [stdout]     |
[INFO] [stdout] 127 |                     let mut L: Vec<SOcc>;
[INFO] [stdout]     |                             ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:128:29
[INFO] [stdout]     |
[INFO] [stdout] 128 |                     let mut V: Vec<SOcc>;
[INFO] [stdout]     |                             ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:136:37
[INFO] [stdout]     |
[INFO] [stdout] 136 | ...                   let mut _L1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case: `_l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:137:37
[INFO] [stdout]     |
[INFO] [stdout] 137 | ...                   let mut _V1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:144:33
[INFO] [stdout]     |
[INFO] [stdout] 144 | ...                   let L1: &mut Vec<SOcc> = &mut _L1;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:145:33
[INFO] [stdout]     |
[INFO] [stdout] 145 | ...                   let V1: &mut Vec<SOcc> = &mut _V1;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_L2` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:147:37
[INFO] [stdout]     |
[INFO] [stdout] 147 | ...                   let mut _L2: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case: `_l2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_V2` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:148:37
[INFO] [stdout]     |
[INFO] [stdout] 148 | ...                   let mut _V2: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case (notice the capitalization): `_v2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L2` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:150:33
[INFO] [stdout]     |
[INFO] [stdout] 150 | ...                   let L2: &mut Vec<SOcc> = &mut _L2;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case: `l2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V2` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:151:33
[INFO] [stdout]     |
[INFO] [stdout] 151 | ...                   let V2: &mut Vec<SOcc> = &mut _V2;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case (notice the capitalization): `v2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:159:37
[INFO] [stdout]     |
[INFO] [stdout] 159 | ...                   let mut _L1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case: `_l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:160:37
[INFO] [stdout]     |
[INFO] [stdout] 160 | ...                   let mut _V1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_L2` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:172:37
[INFO] [stdout]     |
[INFO] [stdout] 172 | ...                   let mut _L2: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case: `_l2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_V2` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:173:37
[INFO] [stdout]     |
[INFO] [stdout] 173 | ...                   let mut _V2: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case (notice the capitalization): `_v2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:176:33
[INFO] [stdout]     |
[INFO] [stdout] 176 | ...                   let L1: &mut Vec<SOcc> = &mut _L1; let L2: &mut Vec<SOcc> = &mut _L2;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L2` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:176:68
[INFO] [stdout]     |
[INFO] [stdout] 176 | ...                   let L1: &mut Vec<SOcc> = &mut _L1; let L2: &mut Vec<SOcc> = &mut _L2;
[INFO] [stdout]     |                                                              ^^ help: convert the identifier to snake case: `l2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:177:33
[INFO] [stdout]     |
[INFO] [stdout] 177 | ...                   let V1: &mut Vec<SOcc> = &mut _V1; let V2: &mut Vec<SOcc> = &mut _V2;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V2` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:177:68
[INFO] [stdout]     |
[INFO] [stdout] 177 | ...                   let V1: &mut Vec<SOcc> = &mut _V1; let V2: &mut Vec<SOcc> = &mut _V2;
[INFO] [stdout]     |                                                              ^^ help: convert the identifier to snake case (notice the capitalization): `v2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:193:21
[INFO] [stdout]     |
[INFO] [stdout] 193 |             let mut L: Vec<SOcc>;
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:194:21
[INFO] [stdout]     |
[INFO] [stdout] 194 |             let mut V: Vec<SOcc>;
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:195:21
[INFO] [stdout]     |
[INFO] [stdout] 195 |             let mut _L1: Vec<SOcc>;
[INFO] [stdout]     |                     ^^^ help: convert the identifier to snake case: `_l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:196:21
[INFO] [stdout]     |
[INFO] [stdout] 196 |             let mut _V1: Vec<SOcc>;
[INFO] [stdout]     |                     ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:202:17
[INFO] [stdout]     |
[INFO] [stdout] 202 |             let L1: &mut Vec<SOcc> = &mut _L1;
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:203:17
[INFO] [stdout]     |
[INFO] [stdout] 203 |             let V1: &mut Vec<SOcc> = &mut _V1;
[INFO] [stdout]     |                 ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:287:21
[INFO] [stdout]     |
[INFO] [stdout] 287 |             let mut L: Vec<SOcc>;
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:288:21
[INFO] [stdout]     |
[INFO] [stdout] 288 |             let mut V: Vec<SOcc>;
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:289:21
[INFO] [stdout]     |
[INFO] [stdout] 289 |             let mut L1: Vec<SOcc>;
[INFO] [stdout]     |                     ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:290:21
[INFO] [stdout]     |
[INFO] [stdout] 290 |             let mut V1: Vec<SOcc>;
[INFO] [stdout]     |                     ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:308:21
[INFO] [stdout]     |
[INFO] [stdout] 308 |             let mut L: Vec<SOcc>;
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:309:21
[INFO] [stdout]     |
[INFO] [stdout] 309 |             let mut V: Vec<SOcc>;
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:322:37
[INFO] [stdout]     |
[INFO] [stdout] 322 | ...                   let mut L1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:323:37
[INFO] [stdout]     |
[INFO] [stdout] 323 | ...                   let mut V1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:345:21
[INFO] [stdout]     |
[INFO] [stdout] 345 |             let mut L: Vec<SOcc>;
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:346:21
[INFO] [stdout]     |
[INFO] [stdout] 346 |             let mut V: Vec<SOcc>;
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:359:37
[INFO] [stdout]     |
[INFO] [stdout] 359 | ...                   let mut _L1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case: `_l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:360:37
[INFO] [stdout]     |
[INFO] [stdout] 360 | ...                   let mut _V1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:366:33
[INFO] [stdout]     |
[INFO] [stdout] 366 | ...                   let L1: &mut Vec<SOcc> = &mut _L1;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:367:33
[INFO] [stdout]     |
[INFO] [stdout] 367 | ...                   let V1: &mut Vec<SOcc> = &mut _V1;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:374:37
[INFO] [stdout]     |
[INFO] [stdout] 374 | ...                   let mut _L1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case: `_l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:375:37
[INFO] [stdout]     |
[INFO] [stdout] 375 | ...                   let mut _V1: Vec<SOcc>;
[INFO] [stdout]     |                               ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:378:33
[INFO] [stdout]     |
[INFO] [stdout] 378 | ...                   let L1: &mut Vec<SOcc> = &mut _L1;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:379:33
[INFO] [stdout]     |
[INFO] [stdout] 379 | ...                   let V1: &mut Vec<SOcc> = &mut _V1;
[INFO] [stdout]     |                           ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:390:21
[INFO] [stdout]     |
[INFO] [stdout] 390 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:391:21
[INFO] [stdout]     |
[INFO] [stdout] 391 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: creating a shared reference to mutable static is discouraged
[INFO] [stdout]    --> src/evaluator.rs:396:49
[INFO] [stdout]     |
[INFO] [stdout] 396 |             unsafe { loc = "_nu".to_string() + &next.to_string(); next = next+1; }
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^ shared reference to mutable static
[INFO] [stdout]     |
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2024/static-mut-references.html>
[INFO] [stdout]     = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives
[INFO] [stdout]     = note: `#[warn(static_mut_refs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:405:21
[INFO] [stdout]     |
[INFO] [stdout] 405 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:406:21
[INFO] [stdout]     |
[INFO] [stdout] 406 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:407:21
[INFO] [stdout]     |
[INFO] [stdout] 407 |             let mut L1: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:408:21
[INFO] [stdout]     |
[INFO] [stdout] 408 |             let mut V1: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:429:21
[INFO] [stdout]     |
[INFO] [stdout] 429 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:430:21
[INFO] [stdout]     |
[INFO] [stdout] 430 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:439:29
[INFO] [stdout]     |
[INFO] [stdout] 439 |                     let mut _L1: Vec<SOcc>;
[INFO] [stdout]     |                             ^^^ help: convert the identifier to snake case: `_l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `_V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:440:29
[INFO] [stdout]     |
[INFO] [stdout] 440 |                     let mut _V1: Vec<SOcc>;
[INFO] [stdout]     |                             ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:441:25
[INFO] [stdout]     |
[INFO] [stdout] 441 |                     let L1: &mut Vec<SOcc>;
[INFO] [stdout]     |                         ^^ help: convert the identifier to snake case: `l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V1` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:442:25
[INFO] [stdout]     |
[INFO] [stdout] 442 |                     let V1: &mut Vec<SOcc>;
[INFO] [stdout]     |                         ^^ help: convert the identifier to snake case (notice the capitalization): `v1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:470:21
[INFO] [stdout]     |
[INFO] [stdout] 470 |             let mut L: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `V` should have a snake case name
[INFO] [stdout]    --> src/evaluator.rs:471:21
[INFO] [stdout]     |
[INFO] [stdout] 471 |             let mut V: Vec<SOcc> = Vec::new();
[INFO] [stdout]     |                     ^ help: convert the identifier to snake case (notice the capitalization): `v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `T1` should have a snake case name
[INFO] [stdout]   --> src/typechecker.rs:24:9
[INFO] [stdout]    |
[INFO] [stdout] 24 |         T1: Option<Box<Type>>,
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case: `t1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `T2` should have a snake case name
[INFO] [stdout]   --> src/typechecker.rs:25:9
[INFO] [stdout]    |
[INFO] [stdout] 25 |         T2: Option<Box<Type>>,
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case: `t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: static variable `next` should have an upper case name
[INFO] [stdout]   --> src/typechecker.rs:29:12
[INFO] [stdout]    |
[INFO] [stdout] 29 | static mut next: usize = 0;
[INFO] [stdout]    |            ^^^^ help: convert the identifier to upper case: `NEXT`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `TCheck` should have a snake case name
[INFO] [stdout]   --> src/typechecker.rs:31:8
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub fn TCheck(mut Gamma: HashMap<SemOcc, Type>, Pi: HashMap<usize, usize>, occ: occParser::Occ, v: Vec<HashMap<usize,usize>>, mut assumpt...
[INFO] [stdout]    |        ^^^^^^ help: convert the identifier to snake case: `tcheck`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Gamma` should have a snake case name
[INFO] [stdout]   --> src/typechecker.rs:31:19
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub fn TCheck(mut Gamma: HashMap<SemOcc, Type>, Pi: HashMap<usize, usize>, occ: occParser::Occ, v: Vec<HashMap<usize,usize>>, mut assumpt...
[INFO] [stdout]    |                   ^^^^^ help: convert the identifier to snake case: `gamma`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Pi` should have a snake case name
[INFO] [stdout]   --> src/typechecker.rs:31:49
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub fn TCheck(mut Gamma: HashMap<SemOcc, Type>, Pi: HashMap<usize, usize>, occ: occParser::Occ, v: Vec<HashMap<usize,usize>>, mut assumpt...
[INFO] [stdout]    |                                                 ^^ help: convert the identifier to snake case: `pi`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: creating a shared reference to mutable static is discouraged
[INFO] [stdout]    --> src/typechecker.rs:159:47
[INFO] [stdout]     |
[INFO] [stdout] 159 |                 let id = "_nu".to_string() + &next.to_string();
[INFO] [stdout]     |                                               ^^^^^^^^^^^^^^^^ shared reference to mutable static
[INFO] [stdout]     |
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2024/static-mut-references.html>
[INFO] [stdout]     = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `GetBinding` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:236:4
[INFO] [stdout]     |
[INFO] [stdout] 236 | fn GetBinding(ident: String, mut Gamma: HashMap<SemOcc, Type>, Pi: HashMap<usize, usize>) -> SemOcc
[INFO] [stdout]     |    ^^^^^^^^^^ help: convert the identifier to snake case: `get_binding`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Gamma` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:236:34
[INFO] [stdout]     |
[INFO] [stdout] 236 | fn GetBinding(ident: String, mut Gamma: HashMap<SemOcc, Type>, Pi: HashMap<usize, usize>) -> SemOcc
[INFO] [stdout]     |                                  ^^^^^ help: convert the identifier to snake case: `gamma`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Pi` should have a snake case name
[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: convert the identifier to snake case: `pi`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `gBind` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:238:13
[INFO] [stdout]     |
[INFO] [stdout] 238 |     let mut gBind: Option<usize> = None;
[INFO] [stdout]     |             ^^^^^ help: convert the identifier to snake case: `g_bind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `bindOcc` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:239:13
[INFO] [stdout]     |
[INFO] [stdout] 239 |     let mut bindOcc: SemOcc = SemOcc { ident: ident.clone(), label: 0 };
[INFO] [stdout]     |             ^^^^^^^ help: convert the identifier to snake case: `bind_occ`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `GetAllGBinding` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:252:4
[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: convert the identifier to snake case: `get_all_gbinding`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Gamma` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:252:52
[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: convert the identifier to snake case: `gamma`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `gBind` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:257:17
[INFO] [stdout]     |
[INFO] [stdout] 257 |         let mut gBind: usize = 0;
[INFO] [stdout]     |                 ^^^^^ help: convert the identifier to snake case: `g_bind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `bindOcc` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:258:17
[INFO] [stdout]     |
[INFO] [stdout] 258 |         let mut bindOcc: SemOcc = SemOcc { ident: ident.clone(), label: 0 };
[INFO] [stdout]     |                 ^^^^^^^ help: convert the identifier to snake case: `bind_occ`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `sqUnion` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:287:4
[INFO] [stdout]     |
[INFO] [stdout] 287 | fn sqUnion(mut t: Type, mut b: Vec<SemOcc>) -> Type
[INFO] [stdout]     |    ^^^^^^^ help: convert the identifier to snake case: `sq_union`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `Union` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:308:4
[INFO] [stdout]     |
[INFO] [stdout] 308 | fn Union(mut t1: Type, mut t2: Type) -> Type
[INFO] [stdout]     |    ^^^^^ help: convert the identifier to snake case (notice the capitalization): `union`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `BaseEqual` should have a snake case name
[INFO] [stdout]    --> src/typechecker.rs:350:4
[INFO] [stdout]     |
[INFO] [stdout] 350 | fn BaseEqual(t1: Type, t2: Type) -> bool
[INFO] [stdout]     |    ^^^^^^^^^ help: convert the identifier to snake case: `base_equal`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `ApproximateOrder` should have a snake case name
[INFO] [stdout]   --> src/approxOrder.rs:16:4
[INFO] [stdout]    |
[INFO] [stdout] 16 | fn ApproximateOrder(occ: Occ, last_point: usize) -> (Vec<(usize,usize)>, usize, Option<Box<Occ>>)
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `approximate_order`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `T1` should have a snake case name
[INFO] [stdout]   --> src/tc.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 |         T1: Option<Box<Type>>,
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case: `t1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `T2` should have a snake case name
[INFO] [stdout]   --> src/tc.rs:28:9
[INFO] [stdout]    |
[INFO] [stdout] 28 |         T2: Option<Box<Type>>,
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case: `t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: static variable `next` should have an upper case name
[INFO] [stdout]   --> src/tc.rs:51:12
[INFO] [stdout]    |
[INFO] [stdout] 51 | static mut next: usize = 0;
[INFO] [stdout]    |            ^^^^ help: convert the identifier to upper case: `NEXT`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: creating a shared reference to mutable static is discouraged
[INFO] [stdout]    --> src/tc.rs:223:34
[INFO] [stdout]     |
[INFO] [stdout] 223 |             let id = "_nu".to_string() + &next.to_string();
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^ shared reference to mutable static
[INFO] [stdout]     |
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2024/static-mut-references.html>
[INFO] [stdout]     = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: module `letTest` should have a snake case name
[INFO] [stdout]   --> src/tests/tests.rs:15:22
[INFO] [stdout]    |
[INFO] [stdout] 15 | #[cfg(test)] pub mod letTest;
[INFO] [stdout]    |                      ^^^^^^^ help: convert the identifier to snake case: `let_test`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T1` should have a snake case name
[INFO] [stdout]   --> src/tests/func.rs:27:6
[INFO] [stdout]    |
[INFO] [stdout] 27 |     let T1 = Some(Box::new(tc::Type::Base { delta: Vec::new() , kappa: Vec::new() }));
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case: `t1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T2` should have a snake case name
[INFO] [stdout]   --> src/tests/func.rs:28:6
[INFO] [stdout]    |
[INFO] [stdout] 28 |     let T2 = Some(Box::new(tc::Type::Base { delta: Vec::new() , kappa: Vec::new() }));
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case: `t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T1` should have a snake case name
[INFO] [stdout]   --> src/tests/func.rs:54:9
[INFO] [stdout]    |
[INFO] [stdout] 54 |     let T1 = Some(Box::new(tc::Type::Base { delta: Vec::new() , kappa: Vec::new() }));
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case: `t1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T2` should have a snake case name
[INFO] [stdout]   --> src/tests/func.rs:55:9
[INFO] [stdout]    |
[INFO] [stdout] 55 |     let T2 = Some(Box::new(tc::Type::Base { delta , kappa: Vec::new() }));
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case: `t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T1` should have a snake case name
[INFO] [stdout]   --> src/tests/func.rs:83:9
[INFO] [stdout]    |
[INFO] [stdout] 83 |     let T1 = Some(Box::new(tc::Type::Base { delta , kappa: Vec::new() }));
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case: `t1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T2` should have a snake case name
[INFO] [stdout]   --> src/tests/func.rs:84:9
[INFO] [stdout]    |
[INFO] [stdout] 84 |     let T2 = Some(Box::new(tc::Type::Base { delta: Vec::new() , kappa: Vec::new() }));
[INFO] [stdout]    |         ^^ help: convert the identifier to snake case: `t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T1` should have a snake case name
[INFO] [stdout]    --> src/tests/func.rs:116:9
[INFO] [stdout]     |
[INFO] [stdout] 116 |     let T1 = Some(Box::new(tc::Type::Base { delta: delta1.clone() , kappa: Vec::new() }));
[INFO] [stdout]     |         ^^ help: convert the identifier to snake case: `t1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `T2` should have a snake case name
[INFO] [stdout]    --> src/tests/func.rs:117:9
[INFO] [stdout]     |
[INFO] [stdout] 117 |     let T2 = Some(Box::new(tc::Type::Base { delta: delta2.clone() , kappa: Vec::new() }));
[INFO] [stdout]     |         ^^ help: convert the identifier to snake case: `t2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.75s
[INFO] running `Command { std: "docker" "inspect" "1483d9ac120a94ca4ffd47e13be585c80bfd09338f5b525fc046547f29da2994", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1483d9ac120a94ca4ffd47e13be585c80bfd09338f5b525fc046547f29da2994", kill_on_drop: false }`
[INFO] [stdout] 1483d9ac120a94ca4ffd47e13be585c80bfd09338f5b525fc046547f29da2994
