[INFO] cloning repository https://github.com/SciDev5/astral_lang
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/SciDev5/astral_lang" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSciDev5%2Fastral_lang", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSciDev5%2Fastral_lang'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] d3dcf28f0358000a8c91189f66cfb331f7f987e0
[INFO] checking SciDev5/astral_lang against try#4f260f0f20b3133d20cfb50353c0221943af5796+rustflags=-Dunmustuse_in_always_ok for pr-148577
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSciDev5%2Fastral_lang" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/SciDev5/astral_lang
[INFO] finished tweaking git repo https://github.com/SciDev5/astral_lang
[INFO] tweaked toml for git repo https://github.com/SciDev5/astral_lang written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/SciDev5/astral_lang on toolchain 4f260f0f20b3133d20cfb50353c0221943af5796
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4f260f0f20b3133d20cfb50353c0221943af5796" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/SciDev5/astral_lang 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" "+4f260f0f20b3133d20cfb50353c0221943af5796" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+4f260f0f20b3133d20cfb50353c0221943af5796" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 70b4910cd48129becd6b45ce2beb133cb2eebe142860339e21788d79154608cf
[INFO] running `Command { std: "docker" "start" "-a" "70b4910cd48129becd6b45ce2beb133cb2eebe142860339e21788d79154608cf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "70b4910cd48129becd6b45ce2beb133cb2eebe142860339e21788d79154608cf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "70b4910cd48129becd6b45ce2beb133cb2eebe142860339e21788d79154608cf", kill_on_drop: false }`
[INFO] [stdout] 70b4910cd48129becd6b45ce2beb133cb2eebe142860339e21788d79154608cf
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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 -Dunmustuse_in_always_ok" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+4f260f0f20b3133d20cfb50353c0221943af5796" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8491259525e8e0e5a4e7f6538c0f00a5e7319ddb820534f114837342ab4e1d8d
[INFO] running `Command { std: "docker" "start" "-a" "8491259525e8e0e5a4e7f6538c0f00a5e7319ddb820534f114837342ab4e1d8d", kill_on_drop: false }`
[INFO] [stderr]     Checking nom v8.0.0
[INFO] [stderr]     Checking front v0.1.0 (/opt/rustwide/workdir/front)
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> front/src/parse/ast.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `DataId`, `FunctionId`, `MetatypeId`, and `parse::loc::FileLoc`
[INFO] [stdout]  --> front/src/parse/ast.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     parse::loc::FileLoc,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 5 |     post::{DataId, FunctionId, MetatypeId},
[INFO] [stdout]   |            ^^^^^^  ^^^^^^^^^^  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `AModule` and `verify::pre::PreModule`
[INFO] [stdout]  --> front/src/verify/mod.rs:3:13
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::{verify::pre::PreModule, AModule};
[INFO] [stdout]   |             ^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> front/src/parse/ast.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `DataId`, `FunctionId`, `MetatypeId`, and `parse::loc::FileLoc`
[INFO] [stdout]  --> front/src/parse/ast.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     parse::loc::FileLoc,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 5 |     post::{DataId, FunctionId, MetatypeId},
[INFO] [stdout]   |            ^^^^^^  ^^^^^^^^^^  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `AModule` and `verify::pre::PreModule`
[INFO] [stdout]  --> front/src/verify/mod.rs:3:13
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::{verify::pre::PreModule, AModule};
[INFO] [stdout]   |             ^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> front/src/verify/solver.rs:848:13
[INFO] [stdout]     |
[INFO] [stdout] 848 |             Err(todo!("error[no matching impl found]"))
[INFO] [stdout]     |             ^^^ -------------------------------------- any code following this expression is unreachable
[INFO] [stdout]     |             |
[INFO] [stdout]     |             unreachable call
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]     --> front/src/verify/solver.rs:1344:21
[INFO] [stdout]      |
[INFO] [stdout] 1344 |                     Err(todo!("error[unify]"))
[INFO] [stdout]      |                     ^^^ --------------------- any code following this expression is unreachable
[INFO] [stdout]      |                     |
[INFO] [stdout]      |                     unreachable call
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]     --> front/src/verify/solver.rs:1360:21
[INFO] [stdout]      |
[INFO] [stdout] 1360 |                     Err(todo!("error[unify]"))
[INFO] [stdout]      |                     ^^^ --------------------- any code following this expression is unreachable
[INFO] [stdout]      |                     |
[INFO] [stdout]      |                     unreachable call
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]     --> front/src/verify/solver.rs:1378:21
[INFO] [stdout]      |
[INFO] [stdout] 1378 |                     Err(todo!("error[unify]"))
[INFO] [stdout]      |                     ^^^ --------------------- any code following this expression is unreachable
[INFO] [stdout]      |                     |
[INFO] [stdout]      |                     unreachable call
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]     --> front/src/verify/solver.rs:1394:21
[INFO] [stdout]      |
[INFO] [stdout] 1394 |                     Err(todo!("error[unify]"))
[INFO] [stdout]      |                     ^^^ --------------------- any code following this expression is unreachable
[INFO] [stdout]      |                     |
[INFO] [stdout]      |                     unreachable call
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]     --> front/src/verify/solver.rs:1424:18
[INFO] [stdout]      |
[INFO] [stdout] 1424 |             _ => Err(todo!("error[unify]")),
[INFO] [stdout]      |                  ^^^ --------------------- any code following this expression is unreachable
[INFO] [stdout]      |                  |
[INFO] [stdout]      |                  unreachable call
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `symbols`
[INFO] [stdout]   --> front/src/finish.rs:44:35
[INFO] [stdout]    |
[INFO] [stdout] 44 | fn finish_where(where_: PreWhere, symbols: &Vec<Symbol>) -> AWhere {
[INFO] [stdout]    |                                   ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_symbols`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `data`
[INFO] [stdout]   --> front/src/finish.rs:54:16
[INFO] [stdout]    |
[INFO] [stdout] 54 | fn finish_data(data: PreData, symbols: &Vec<Symbol>) -> AData {
[INFO] [stdout]    |                ^^^^ help: if this is intentional, prefix it with an underscore: `_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `symbols`
[INFO] [stdout]   --> front/src/finish.rs:54:31
[INFO] [stdout]    |
[INFO] [stdout] 54 | fn finish_data(data: PreData, symbols: &Vec<Symbol>) -> AData {
[INFO] [stdout]    |                               ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_symbols`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `metatype`
[INFO] [stdout]   --> front/src/finish.rs:76:20
[INFO] [stdout]    |
[INFO] [stdout] 76 | fn finish_metatype(metatype: PreMetatype, symbols: &Vec<Symbol>) -> AMetatype {
[INFO] [stdout]    |                    ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_metatype`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `symbols`
[INFO] [stdout]   --> front/src/finish.rs:76:43
[INFO] [stdout]    |
[INFO] [stdout] 76 | fn finish_metatype(metatype: PreMetatype, symbols: &Vec<Symbol>) -> AMetatype {
[INFO] [stdout]    |                                           ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_symbols`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `metatype_impl`
[INFO] [stdout]   --> front/src/finish.rs:79:25
[INFO] [stdout]    |
[INFO] [stdout] 79 | fn finish_metatype_impl(metatype_impl: PreMetatypeImpl, symbols: &Vec<Symbol>) -> AMetatypeImpl {
[INFO] [stdout]    |                         ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_metatype_impl`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `symbols`
[INFO] [stdout]   --> front/src/finish.rs:79:57
[INFO] [stdout]    |
[INFO] [stdout] 79 | fn finish_metatype_impl(metatype_impl: PreMetatypeImpl, symbols: &Vec<Symbol>) -> AMetatypeImpl {
[INFO] [stdout]    |                                                         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_symbols`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]   --> front/src/finish.rs:85:32
[INFO] [stdout]    |
[INFO] [stdout] 85 |         PreExprEval::Literal { value } => todo!(),
[INFO] [stdout]    |                                ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `callable`
[INFO] [stdout]   --> front/src/finish.rs:87:13
[INFO] [stdout]    |
[INFO] [stdout] 87 |             callable,
[INFO] [stdout]    |             ^^^^^^^^ help: try ignoring the field: `callable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `arguments`
[INFO] [stdout]   --> front/src/finish.rs:88:13
[INFO] [stdout]    |
[INFO] [stdout] 88 |             arguments,
[INFO] [stdout]    |             ^^^^^^^^^ help: try ignoring the field: `arguments: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `metatype_id`
[INFO] [stdout]    --> front/src/finish.rs:101:13
[INFO] [stdout]     |
[INFO] [stdout] 101 |             metatype_id,
[INFO] [stdout]     |             ^^^^^^^^^^^ help: try ignoring the field: `metatype_id: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `function_id`
[INFO] [stdout]    --> front/src/finish.rs:102:13
[INFO] [stdout]     |
[INFO] [stdout] 102 |             function_id,
[INFO] [stdout]     |             ^^^^^^^^^^^ help: try ignoring the field: `function_id: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `arguments`
[INFO] [stdout]    --> front/src/finish.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             arguments,
[INFO] [stdout]     |             ^^^^^^^^^ help: try ignoring the field: `arguments: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `reference`
[INFO] [stdout]    --> front/src/finish.rs:112:30
[INFO] [stdout]     |
[INFO] [stdout] 112 |         PreExprEval::Deref { reference } => todo!(),
[INFO] [stdout]     |                              ^^^^^^^^^ help: try ignoring the field: `reference: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `receiver`
[INFO] [stdout]    --> front/src/finish.rs:120:31
[INFO] [stdout]     |
[INFO] [stdout] 120 |         PreExprEval::Assign { receiver, value } => todo!(),
[INFO] [stdout]     |                               ^^^^^^^^ help: try ignoring the field: `receiver: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> front/src/finish.rs:120:41
[INFO] [stdout]     |
[INFO] [stdout] 120 |         PreExprEval::Assign { receiver, value } => todo!(),
[INFO] [stdout]     |                                         ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `data_id`
[INFO] [stdout]    --> front/src/finish.rs:121:33
[INFO] [stdout]     |
[INFO] [stdout] 121 |         PreExprEval::DataInit { data_id, value } => todo!(),
[INFO] [stdout]     |                                 ^^^^^^^ help: try ignoring the field: `data_id: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> front/src/finish.rs:121:42
[INFO] [stdout]     |
[INFO] [stdout] 121 |         PreExprEval::DataInit { data_id, value } => todo!(),
[INFO] [stdout]     |                                          ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> front/src/finish.rs:122:35
[INFO] [stdout]     |
[INFO] [stdout] 122 |         PreExprEval::DataAccess { value, field } => todo!(),
[INFO] [stdout]     |                                   ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `field`
[INFO] [stdout]    --> front/src/finish.rs:122:42
[INFO] [stdout]     |
[INFO] [stdout] 122 |         PreExprEval::DataAccess { value, field } => todo!(),
[INFO] [stdout]     |                                          ^^^^^ help: try ignoring the field: `field: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `args`
[INFO] [stdout]    --> front/src/finish.rs:155:39
[INFO] [stdout]     |
[INFO] [stdout] 155 |             Symbol::FunctionPointer { args, ret } => todo!(),
[INFO] [stdout]     |                                       ^^^^ help: try ignoring the field: `args: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret`
[INFO] [stdout]    --> front/src/finish.rs:155:45
[INFO] [stdout]     |
[INFO] [stdout] 155 |             Symbol::FunctionPointer { args, ret } => todo!(),
[INFO] [stdout]     |                                             ^^^ help: try ignoring the field: `ret: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `function_id`
[INFO] [stdout]    --> front/src/finish.rs:157:17
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 function_id,
[INFO] [stdout]     |                 ^^^^^^^^^^^ help: try ignoring the field: `function_id: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bindings`
[INFO] [stdout]    --> front/src/finish.rs:158:17
[INFO] [stdout]     |
[INFO] [stdout] 158 |                 bindings,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `bindings: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `metatype_id`
[INFO] [stdout]    --> front/src/finish.rs:161:17
[INFO] [stdout]     |
[INFO] [stdout] 161 |                 metatype_id,
[INFO] [stdout]     |                 ^^^^^^^^^^^ help: try ignoring the field: `metatype_id: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `function_id`
[INFO] [stdout]    --> front/src/finish.rs:162:17
[INFO] [stdout]     |
[INFO] [stdout] 162 |                 function_id,
[INFO] [stdout]     |                 ^^^^^^^^^^^ help: try ignoring the field: `function_id: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bindings`
[INFO] [stdout]    --> front/src/finish.rs:163:17
[INFO] [stdout]     |
[INFO] [stdout] 163 |                 bindings,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `bindings: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `where_id`
[INFO] [stdout]    --> front/src/finish.rs:165:31
[INFO] [stdout]     |
[INFO] [stdout] 165 |             Symbol::Metavar { where_id, var_id } => todo!(),
[INFO] [stdout]     |                               ^^^^^^^^ help: try ignoring the field: `where_id: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var_id`
[INFO] [stdout]    --> front/src/finish.rs:165:41
[INFO] [stdout]     |
[INFO] [stdout] 165 |             Symbol::Metavar { where_id, var_id } => todo!(),
[INFO] [stdout]     |                                         ^^^^^^ help: try ignoring the field: `var_id: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `inner_data`
[INFO] [stdout]    --> front/src/finish.rs:166:33
[INFO] [stdout]     |
[INFO] [stdout] 166 |             Symbol::Reference { inner_data } => todo!(),
[INFO] [stdout]     |                                 ^^^^^^^^^^ help: try ignoring the field: `inner_data: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]   --> front/src/parse/parsers_static.rs:18:13
[INFO] [stdout]    |
[INFO] [stdout] 18 | fn def_data(state: State) -> IResult<State, ASTStatic> {
[INFO] [stdout]    |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]    --> front/src/verify/solver.rs:848:13
[INFO] [stdout]     |
[INFO] [stdout] 848 |             Err(todo!("error[no matching impl found]"))
[INFO] [stdout]     |             ^^^ -------------------------------------- any code following this expression is unreachable
[INFO] [stdout]     |             |
[INFO] [stdout]     |             unreachable call
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]     --> front/src/verify/solver.rs:1344:21
[INFO] [stdout]      |
[INFO] [stdout] 1344 |                     Err(todo!("error[unify]"))
[INFO] [stdout]      |                     ^^^ --------------------- any code following this expression is unreachable
[INFO] [stdout]      |                     |
[INFO] [stdout]      |                     unreachable call
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]     --> front/src/verify/solver.rs:1360:21
[INFO] [stdout]      |
[INFO] [stdout] 1360 |                     Err(todo!("error[unify]"))
[INFO] [stdout]      |                     ^^^ --------------------- any code following this expression is unreachable
[INFO] [stdout]      |                     |
[INFO] [stdout]      |                     unreachable call
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]     --> front/src/verify/solver.rs:1378:21
[INFO] [stdout]      |
[INFO] [stdout] 1378 |                     Err(todo!("error[unify]"))
[INFO] [stdout]      |                     ^^^ --------------------- any code following this expression is unreachable
[INFO] [stdout]      |                     |
[INFO] [stdout]      |                     unreachable call
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]     --> front/src/verify/solver.rs:1394:21
[INFO] [stdout]      |
[INFO] [stdout] 1394 |                     Err(todo!("error[unify]"))
[INFO] [stdout]      |                     ^^^ --------------------- any code following this expression is unreachable
[INFO] [stdout]      |                     |
[INFO] [stdout]      |                     unreachable call
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable call
[INFO] [stdout]     --> front/src/verify/solver.rs:1424:18
[INFO] [stdout]      |
[INFO] [stdout] 1424 |             _ => Err(todo!("error[unify]")),
[INFO] [stdout]      |                  ^^^ --------------------- any code following this expression is unreachable
[INFO] [stdout]      |                  |
[INFO] [stdout]      |                  unreachable call
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `symbols`
[INFO] [stdout]   --> front/src/finish.rs:44:35
[INFO] [stdout]    |
[INFO] [stdout] 44 | fn finish_where(where_: PreWhere, symbols: &Vec<Symbol>) -> AWhere {
[INFO] [stdout]    |                                   ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_symbols`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `data`
[INFO] [stdout]   --> front/src/finish.rs:54:16
[INFO] [stdout]    |
[INFO] [stdout] 54 | fn finish_data(data: PreData, symbols: &Vec<Symbol>) -> AData {
[INFO] [stdout]    |                ^^^^ help: if this is intentional, prefix it with an underscore: `_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `symbols`
[INFO] [stdout]   --> front/src/finish.rs:54:31
[INFO] [stdout]    |
[INFO] [stdout] 54 | fn finish_data(data: PreData, symbols: &Vec<Symbol>) -> AData {
[INFO] [stdout]    |                               ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_symbols`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `metatype`
[INFO] [stdout]   --> front/src/finish.rs:76:20
[INFO] [stdout]    |
[INFO] [stdout] 76 | fn finish_metatype(metatype: PreMetatype, symbols: &Vec<Symbol>) -> AMetatype {
[INFO] [stdout]    |                    ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_metatype`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `symbols`
[INFO] [stdout]   --> front/src/finish.rs:76:43
[INFO] [stdout]    |
[INFO] [stdout] 76 | fn finish_metatype(metatype: PreMetatype, symbols: &Vec<Symbol>) -> AMetatype {
[INFO] [stdout]    |                                           ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_symbols`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `metatype_impl`
[INFO] [stdout]   --> front/src/finish.rs:79:25
[INFO] [stdout]    |
[INFO] [stdout] 79 | fn finish_metatype_impl(metatype_impl: PreMetatypeImpl, symbols: &Vec<Symbol>) -> AMetatypeImpl {
[INFO] [stdout]    |                         ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_metatype_impl`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `symbols`
[INFO] [stdout]   --> front/src/finish.rs:79:57
[INFO] [stdout]    |
[INFO] [stdout] 79 | fn finish_metatype_impl(metatype_impl: PreMetatypeImpl, symbols: &Vec<Symbol>) -> AMetatypeImpl {
[INFO] [stdout]    |                                                         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_symbols`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]   --> front/src/finish.rs:85:32
[INFO] [stdout]    |
[INFO] [stdout] 85 |         PreExprEval::Literal { value } => todo!(),
[INFO] [stdout]    |                                ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `callable`
[INFO] [stdout]   --> front/src/finish.rs:87:13
[INFO] [stdout]    |
[INFO] [stdout] 87 |             callable,
[INFO] [stdout]    |             ^^^^^^^^ help: try ignoring the field: `callable: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `arguments`
[INFO] [stdout]   --> front/src/finish.rs:88:13
[INFO] [stdout]    |
[INFO] [stdout] 88 |             arguments,
[INFO] [stdout]    |             ^^^^^^^^^ help: try ignoring the field: `arguments: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `metatype_id`
[INFO] [stdout]    --> front/src/finish.rs:101:13
[INFO] [stdout]     |
[INFO] [stdout] 101 |             metatype_id,
[INFO] [stdout]     |             ^^^^^^^^^^^ help: try ignoring the field: `metatype_id: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `function_id`
[INFO] [stdout]    --> front/src/finish.rs:102:13
[INFO] [stdout]     |
[INFO] [stdout] 102 |             function_id,
[INFO] [stdout]     |             ^^^^^^^^^^^ help: try ignoring the field: `function_id: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `arguments`
[INFO] [stdout]    --> front/src/finish.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             arguments,
[INFO] [stdout]     |             ^^^^^^^^^ help: try ignoring the field: `arguments: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `reference`
[INFO] [stdout]    --> front/src/finish.rs:112:30
[INFO] [stdout]     |
[INFO] [stdout] 112 |         PreExprEval::Deref { reference } => todo!(),
[INFO] [stdout]     |                              ^^^^^^^^^ help: try ignoring the field: `reference: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `receiver`
[INFO] [stdout]    --> front/src/finish.rs:120:31
[INFO] [stdout]     |
[INFO] [stdout] 120 |         PreExprEval::Assign { receiver, value } => todo!(),
[INFO] [stdout]     |                               ^^^^^^^^ help: try ignoring the field: `receiver: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> front/src/finish.rs:120:41
[INFO] [stdout]     |
[INFO] [stdout] 120 |         PreExprEval::Assign { receiver, value } => todo!(),
[INFO] [stdout]     |                                         ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `data_id`
[INFO] [stdout]    --> front/src/finish.rs:121:33
[INFO] [stdout]     |
[INFO] [stdout] 121 |         PreExprEval::DataInit { data_id, value } => todo!(),
[INFO] [stdout]     |                                 ^^^^^^^ help: try ignoring the field: `data_id: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> front/src/finish.rs:121:42
[INFO] [stdout]     |
[INFO] [stdout] 121 |         PreExprEval::DataInit { data_id, value } => todo!(),
[INFO] [stdout]     |                                          ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> front/src/finish.rs:122:35
[INFO] [stdout]     |
[INFO] [stdout] 122 |         PreExprEval::DataAccess { value, field } => todo!(),
[INFO] [stdout]     |                                   ^^^^^ help: try ignoring the field: `value: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `field`
[INFO] [stdout]    --> front/src/finish.rs:122:42
[INFO] [stdout]     |
[INFO] [stdout] 122 |         PreExprEval::DataAccess { value, field } => todo!(),
[INFO] [stdout]     |                                          ^^^^^ help: try ignoring the field: `field: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `args`
[INFO] [stdout]    --> front/src/finish.rs:155:39
[INFO] [stdout]     |
[INFO] [stdout] 155 |             Symbol::FunctionPointer { args, ret } => todo!(),
[INFO] [stdout]     |                                       ^^^^ help: try ignoring the field: `args: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret`
[INFO] [stdout]    --> front/src/finish.rs:155:45
[INFO] [stdout]     |
[INFO] [stdout] 155 |             Symbol::FunctionPointer { args, ret } => todo!(),
[INFO] [stdout]     |                                             ^^^ help: try ignoring the field: `ret: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `function_id`
[INFO] [stdout]    --> front/src/finish.rs:157:17
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 function_id,
[INFO] [stdout]     |                 ^^^^^^^^^^^ help: try ignoring the field: `function_id: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bindings`
[INFO] [stdout]    --> front/src/finish.rs:158:17
[INFO] [stdout]     |
[INFO] [stdout] 158 |                 bindings,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `bindings: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `metatype_id`
[INFO] [stdout]    --> front/src/finish.rs:161:17
[INFO] [stdout]     |
[INFO] [stdout] 161 |                 metatype_id,
[INFO] [stdout]     |                 ^^^^^^^^^^^ help: try ignoring the field: `metatype_id: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `function_id`
[INFO] [stdout]    --> front/src/finish.rs:162:17
[INFO] [stdout]     |
[INFO] [stdout] 162 |                 function_id,
[INFO] [stdout]     |                 ^^^^^^^^^^^ help: try ignoring the field: `function_id: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bindings`
[INFO] [stdout]    --> front/src/finish.rs:163:17
[INFO] [stdout]     |
[INFO] [stdout] 163 |                 bindings,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `bindings: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `where_id`
[INFO] [stdout]    --> front/src/finish.rs:165:31
[INFO] [stdout]     |
[INFO] [stdout] 165 |             Symbol::Metavar { where_id, var_id } => todo!(),
[INFO] [stdout]     |                               ^^^^^^^^ help: try ignoring the field: `where_id: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var_id`
[INFO] [stdout]    --> front/src/finish.rs:165:41
[INFO] [stdout]     |
[INFO] [stdout] 165 |             Symbol::Metavar { where_id, var_id } => todo!(),
[INFO] [stdout]     |                                         ^^^^^^ help: try ignoring the field: `var_id: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `inner_data`
[INFO] [stdout]    --> front/src/finish.rs:166:33
[INFO] [stdout]     |
[INFO] [stdout] 166 |             Symbol::Reference { inner_data } => todo!(),
[INFO] [stdout]     |                                 ^^^^^^^^^^ help: try ignoring the field: `inner_data: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]   --> front/src/parse/parsers_static.rs:18:13
[INFO] [stdout]    |
[INFO] [stdout] 18 | fn def_data(state: State) -> IResult<State, ASTStatic> {
[INFO] [stdout]    |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `metatype_impl`
[INFO] [stdout]   --> front/src/resolve/resolve.rs:52:16
[INFO] [stdout]    |
[INFO] [stdout] 52 |         .map(|(metatype_impl, scope_id)| todo!())
[INFO] [stdout]    |                ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_metatype_impl`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `scope_id`
[INFO] [stdout]   --> front/src/resolve/resolve.rs:52:31
[INFO] [stdout]    |
[INFO] [stdout] 52 |         .map(|(metatype_impl, scope_id)| todo!())
[INFO] [stdout]    |                               ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_scope_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `metatype`
[INFO] [stdout]   --> front/src/resolve/resolve.rs:47:16
[INFO] [stdout]    |
[INFO] [stdout] 47 |         .map(|(metatype, scope_id)| todo!())
[INFO] [stdout]    |                ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_metatype`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `scope_id`
[INFO] [stdout]   --> front/src/resolve/resolve.rs:47:26
[INFO] [stdout]    |
[INFO] [stdout] 47 |         .map(|(metatype, scope_id)| todo!())
[INFO] [stdout]    |                          ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_scope_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `data`
[INFO] [stdout]   --> front/src/resolve/resolve.rs:42:16
[INFO] [stdout]    |
[INFO] [stdout] 42 |         .map(|(data, scope_id)| todo!())
[INFO] [stdout]    |                ^^^^ help: if this is intentional, prefix it with an underscore: `_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `scope_id`
[INFO] [stdout]   --> front/src/resolve/resolve.rs:42:22
[INFO] [stdout]    |
[INFO] [stdout] 42 |         .map(|(data, scope_id)| todo!())
[INFO] [stdout]    |                      ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_scope_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr_first`
[INFO] [stdout]    --> front/src/resolve/resolve.rs:232:17
[INFO] [stdout]     |
[INFO] [stdout] 232 |                 expr_first,
[INFO] [stdout]     |                 ^^^^^^^^^^ help: try ignoring the field: `expr_first: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr_second`
[INFO] [stdout]    --> front/src/resolve/resolve.rs:233:17
[INFO] [stdout]     |
[INFO] [stdout] 233 |                 expr_second,
[INFO] [stdout]     |                 ^^^^^^^^^^^ help: try ignoring the field: `expr_second: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `op`
[INFO] [stdout]    --> front/src/resolve/resolve.rs:234:17
[INFO] [stdout]     |
[INFO] [stdout] 234 |                 op,
[INFO] [stdout]     |                 ^^ help: try ignoring the field: `op: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr`
[INFO] [stdout]    --> front/src/resolve/resolve.rs:236:38
[INFO] [stdout]     |
[INFO] [stdout] 236 |             ASTExpr::OperatorUnary { expr, op } => todo!(),
[INFO] [stdout]     |                                      ^^^^ help: try ignoring the field: `expr: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `op`
[INFO] [stdout]    --> front/src/resolve/resolve.rs:236:44
[INFO] [stdout]     |
[INFO] [stdout] 236 |             ASTExpr::OperatorUnary { expr, op } => todo!(),
[INFO] [stdout]     |                                            ^^ help: try ignoring the field: `op: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `id`
[INFO] [stdout]    --> front/src/resolve/resolve.rs:294:50
[INFO] [stdout]     |
[INFO] [stdout] 294 |                 ResolveLookupResult::Namespace { id } => todo!(),
[INFO] [stdout]     |                                                  ^^ help: try ignoring the field: `id: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `module`
[INFO] [stdout]    --> front/src/verify/solver.rs:121:35
[INFO] [stdout]     |
[INFO] [stdout] 121 |             GlobalRefData::Local((module, metatype_v)) => metatype_v.fns.len(),
[INFO] [stdout]     |                                   ^^^^^^ help: if this is intentional, prefix it with an underscore: `_module`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `module`
[INFO] [stdout]    --> front/src/verify/solver.rs:122:38
[INFO] [stdout]     |
[INFO] [stdout] 122 |             GlobalRefData::Nonlocal((module, metatype_v)) => metatype_v.fns.len(),
[INFO] [stdout]     |                                      ^^^^^^ help: if this is intentional, prefix it with an underscore: `_module`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `m`
[INFO] [stdout]    --> front/src/verify/solver.rs:771:42
[INFO] [stdout]     |
[INFO] [stdout] 771 |                 GlobalRefData::Nonlocal((m, fn_v)) => (
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_m`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `def_data` is never used
[INFO] [stdout]   --> front/src/parse/parsers_static.rs:18:4
[INFO] [stdout]    |
[INFO] [stdout] 18 | fn def_data(state: State) -> IResult<State, ASTStatic> {
[INFO] [stdout]    |    ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `match_strong_bracket` is never used
[INFO] [stdout]   --> front/src/parse/parsers_util.rs:63:4
[INFO] [stdout]    |
[INFO] [stdout] 63 | fn match_strong_bracket(src: State) -> IResult<State, ()> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `span_of` is never used
[INFO] [stdout]    --> front/src/parse/parsers_util.rs:188:8
[INFO] [stdout]     |
[INFO] [stdout] 188 | pub fn span_of<'a, T, E: nom::error::ParseError<State<'a>>>(
[INFO] [stdout]     |        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `with_state`, `loc`, and `as_start` are never used
[INFO] [stdout]   --> front/src/parse/state.rs:17:18
[INFO] [stdout]    |
[INFO] [stdout] 16 | impl<'a, T: ?Sized, S> LocatedSpan<&'a T, S> {
[INFO] [stdout]    | -------------------------------------------- methods in this implementation
[INFO] [stdout] 17 |     pub const fn with_state<Z>(&self, state: Z) -> LocatedSpan<&'a T, Z> {
[INFO] [stdout]    |                  ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 41 |     pub const fn loc(&self) -> FileLoc {
[INFO] [stdout]    |                  ^^^
[INFO] [stdout] ...
[INFO] [stdout] 44 |     pub const fn as_start(&self) -> LocatedSpan<&'a T, ()> {
[INFO] [stdout]    |                  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `from_inner` is never used
[INFO] [stdout]   --> front/src/parse/state.rs:63:18
[INFO] [stdout]    |
[INFO] [stdout] 62 | impl<'a, S> LocatedSpan<&'a [u8], S> {
[INFO] [stdout]    | ------------------------------------ associated function in this implementation
[INFO] [stdout] 63 |     pub const fn from_inner(src: &'a [u8], state: S) -> Self {
[INFO] [stdout]    |                  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `merge` is never used
[INFO] [stdout]   --> front/src/parse/state.rs:72:12
[INFO] [stdout]    |
[INFO] [stdout] 71 | impl<T: Eq + Debug, S> LocatedSpan<T, S> {
[INFO] [stdout]    | ---------------------------------------- method in this implementation
[INFO] [stdout] 72 |     pub fn merge(self, other: Self) -> LocatedSpan<T, ()> {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Namespace` is never constructed
[INFO] [stdout]    --> front/src/resolve/resolve.rs:310:5
[INFO] [stdout]     |
[INFO] [stdout] 308 | enum ResolveLookupResult {
[INFO] [stdout]     |      ------------------- variant in this enum
[INFO] [stdout] 309 |     Error {},
[INFO] [stdout] 310 |     Namespace { id: NamespaceId },
[INFO] [stdout]     |     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `expr_let_TEMP` should have a snake case name
[INFO] [stdout]   --> front/src/parse/parsers_expr.rs:60:4
[INFO] [stdout]    |
[INFO] [stdout] 60 | fn expr_let_TEMP(state: State) -> IResult<State, ASTExpr> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^ help: convert the identifier to snake case: `expr_let_temp`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> front/src/verify/solver.rs:42:13
[INFO] [stdout]    |
[INFO] [stdout] 42 |     module: &PreModule,
[INFO] [stdout]    |             ^^^^^^^^^^ the lifetime is elided here
[INFO] [stdout] 43 |     GlobalId { module_id, id }: FunctionId,
[INFO] [stdout] 44 | ) -> GlobalRef<PreFunction, AFunction> {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 44 | ) -> GlobalRef<'_, PreFunction, AFunction> {
[INFO] [stdout]    |                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> front/src/verify/solver.rs:48:13
[INFO] [stdout]    |
[INFO] [stdout] 48 |     module: &PreModule,
[INFO] [stdout]    |             ^^^^^^^^^^ the lifetime is elided here
[INFO] [stdout] 49 |     GlobalId { module_id, id }: FunctionId,
[INFO] [stdout] 50 | ) -> GlobalRef<PreData, AData> {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 50 | ) -> GlobalRef<'_, PreData, AData> {
[INFO] [stdout]    |                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> front/src/verify/solver.rs:54:13
[INFO] [stdout]    |
[INFO] [stdout] 54 |     module: &PreModule,
[INFO] [stdout]    |             ^^^^^^^^^^ the lifetime is elided here
[INFO] [stdout] 55 |     GlobalId { module_id, id }: FunctionId,
[INFO] [stdout] 56 | ) -> GlobalRef<PreMetatype, AMetatype> {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 56 | ) -> GlobalRef<'_, PreMetatype, AMetatype> {
[INFO] [stdout]    |                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> front/src/verify/solver.rs:60:13
[INFO] [stdout]    |
[INFO] [stdout] 60 |     module: &PreModule,
[INFO] [stdout]    |             ^^^^^^^^^^ the lifetime is elided here
[INFO] [stdout] ...
[INFO] [stdout] 63 | ) -> GlobalRef<PreFunction, AFunction> {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 63 | ) -> GlobalRef<'_, PreFunction, AFunction> {
[INFO] [stdout]    |                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> front/src/verify/solver.rs:72:13
[INFO] [stdout]    |
[INFO] [stdout] 72 |     module: &PreModule,
[INFO] [stdout]    |             ^^^^^^^^^^ the lifetime is elided here
[INFO] [stdout] 73 |     GlobalId { module_id, id }: FunctionId,
[INFO] [stdout] 74 | ) -> GlobalRef<PreWhere, AWhere> {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 74 | ) -> GlobalRef<'_, PreWhere, AWhere> {
[INFO] [stdout]    |                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]    --> front/src/verify/solver.rs:884:17
[INFO] [stdout]     |
[INFO] [stdout] 884 |                 self.unify_bindings(bindings, &impl_bindings, HashMap::new())
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-D unmustuse-in-always-ok`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1290:20
[INFO] [stdout]      |
[INFO] [stdout] 1290 |           let subs = self
[INFO] [stdout]      |  ____________________^
[INFO] [stdout] 1291 | |             .unify_immut(sym_a, sym_b, HashMap::new())
[INFO] [stdout]      | |______________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1305:60
[INFO] [stdout]      |
[INFO] [stdout] 1305 |       ) -> Result<HashMap<SymbolId, SymbolId>, AVerifyError> {
[INFO] [stdout]      |  ____________________________________________________________^
[INFO] [stdout] 1306 | |         assert_eq!(bindings_0.len(), bindings_1.len());
[INFO] [stdout] 1307 | |         let bindings_0 = bindings_0.iter().copied();
[INFO] [stdout] 1308 | |         let bindings_1 = bindings_1.iter().copied();
[INFO] [stdout] ...    |
[INFO] [stdout] 1311 | |         })
[INFO] [stdout] 1312 | |     }
[INFO] [stdout]      | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1309:9
[INFO] [stdout]      |
[INFO] [stdout] 1309 | /         (bindings_0.zip(bindings_1)).fold(Ok(existing_subs), |subs, (binding_0, binding_1)| {
[INFO] [stdout] 1310 | |             subs.and_then(|subs| self.unify_immut(binding_0, binding_1, subs))
[INFO] [stdout] 1311 | |         })
[INFO] [stdout]      | |__________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1309:43
[INFO] [stdout]      |
[INFO] [stdout] 1309 |         (bindings_0.zip(bindings_1)).fold(Ok(existing_subs), |subs, (binding_0, binding_1)| {
[INFO] [stdout]      |                                           ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1309:93
[INFO] [stdout]      |
[INFO] [stdout] 1309 |           (bindings_0.zip(bindings_1)).fold(Ok(existing_subs), |subs, (binding_0, binding_1)| {
[INFO] [stdout]      |  _____________________________________________________________________________________________^
[INFO] [stdout] 1310 | |             subs.and_then(|subs| self.unify_immut(binding_0, binding_1, subs))
[INFO] [stdout] 1311 | |         })
[INFO] [stdout]      | |_________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1310:13
[INFO] [stdout]      |
[INFO] [stdout] 1310 |             subs.and_then(|subs| self.unify_immut(binding_0, binding_1, subs))
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1310:13
[INFO] [stdout]      |
[INFO] [stdout] 1310 |             subs.and_then(|subs| self.unify_immut(binding_0, binding_1, subs))
[INFO] [stdout]      |             ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1310:34
[INFO] [stdout]      |
[INFO] [stdout] 1310 |             subs.and_then(|subs| self.unify_immut(binding_0, binding_1, subs))
[INFO] [stdout]      |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1322:60
[INFO] [stdout]      |
[INFO] [stdout] 1322 |       ) -> Result<HashMap<SymbolId, SymbolId>, AVerifyError> {
[INFO] [stdout]      |  ____________________________________________________________^
[INFO] [stdout] 1323 | |         /*
[INFO] [stdout] 1324 | |         - [done] unify needs to be able to backtrack on contradiction, (returns hashmap of ids to ids for overridden symbols?)
[INFO] [stdout] 1325 | |         - [done] want some function to simplify recursive substitution loops into the trivial representation of unbound (subs to self), w...
[INFO] [stdout] ...    |
[INFO] [stdout] 1426 | |     }
[INFO] [stdout]      | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1330:9
[INFO] [stdout]      |
[INFO] [stdout] 1330 | /         match (&self.symbols[sym_a], &self.symbols[sym_b]) {
[INFO] [stdout] 1331 | |             (
[INFO] [stdout] 1332 | |                 Symbol::Data {
[INFO] [stdout] 1333 | |                     data_id: data_id_0,
[INFO] [stdout] ...    |
[INFO] [stdout] 1424 | |             _ => Err(todo!("error[unify]")),
[INFO] [stdout] 1425 | |         }
[INFO] [stdout]      | |_________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1340:18
[INFO] [stdout]      |
[INFO] [stdout] 1340 |               ) => {
[INFO] [stdout]      |  __________________^
[INFO] [stdout] 1341 | |                 if data_id_0 == data_id_1 {
[INFO] [stdout] 1342 | |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout] 1343 | |                 } else {
[INFO] [stdout] ...    |
[INFO] [stdout] 1346 | |             }
[INFO] [stdout]      | |_____________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1341:17
[INFO] [stdout]      |
[INFO] [stdout] 1341 | /                 if data_id_0 == data_id_1 {
[INFO] [stdout] 1342 | |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout] 1343 | |                 } else {
[INFO] [stdout] 1344 | |                     Err(todo!("error[unify]"))
[INFO] [stdout] 1345 | |                 }
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1341:43
[INFO] [stdout]      |
[INFO] [stdout] 1341 |                   if data_id_0 == data_id_1 {
[INFO] [stdout]      |  ___________________________________________^
[INFO] [stdout] 1342 | |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout] 1343 | |                 } else {
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1342:21
[INFO] [stdout]      |
[INFO] [stdout] 1342 |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1343:24
[INFO] [stdout]      |
[INFO] [stdout] 1343 |                   } else {
[INFO] [stdout]      |  ________________________^
[INFO] [stdout] 1344 | |                     Err(todo!("error[unify]"))
[INFO] [stdout] 1345 | |                 }
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1344:21
[INFO] [stdout]      |
[INFO] [stdout] 1344 |                     Err(todo!("error[unify]"))
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1356:18
[INFO] [stdout]      |
[INFO] [stdout] 1356 |               ) => {
[INFO] [stdout]      |  __________________^
[INFO] [stdout] 1357 | |                 if function_id_0 == function_id_1 {
[INFO] [stdout] 1358 | |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout] 1359 | |                 } else {
[INFO] [stdout] ...    |
[INFO] [stdout] 1362 | |             }
[INFO] [stdout]      | |_____________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1357:17
[INFO] [stdout]      |
[INFO] [stdout] 1357 | /                 if function_id_0 == function_id_1 {
[INFO] [stdout] 1358 | |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout] 1359 | |                 } else {
[INFO] [stdout] 1360 | |                     Err(todo!("error[unify]"))
[INFO] [stdout] 1361 | |                 }
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1357:51
[INFO] [stdout]      |
[INFO] [stdout] 1357 |                   if function_id_0 == function_id_1 {
[INFO] [stdout]      |  ___________________________________________________^
[INFO] [stdout] 1358 | |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout] 1359 | |                 } else {
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1358:21
[INFO] [stdout]      |
[INFO] [stdout] 1358 |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1359:24
[INFO] [stdout]      |
[INFO] [stdout] 1359 |                   } else {
[INFO] [stdout]      |  ________________________^
[INFO] [stdout] 1360 | |                     Err(todo!("error[unify]"))
[INFO] [stdout] 1361 | |                 }
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1360:21
[INFO] [stdout]      |
[INFO] [stdout] 1360 |                     Err(todo!("error[unify]"))
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1374:18
[INFO] [stdout]      |
[INFO] [stdout] 1374 |               ) => {
[INFO] [stdout]      |  __________________^
[INFO] [stdout] 1375 | |                 if metatype_id_0 == metatype_id_1 && function_id_0 == function_id_1 {
[INFO] [stdout] 1376 | |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout] 1377 | |                 } else {
[INFO] [stdout] ...    |
[INFO] [stdout] 1380 | |             }
[INFO] [stdout]      | |_____________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1375:17
[INFO] [stdout]      |
[INFO] [stdout] 1375 | /                 if metatype_id_0 == metatype_id_1 && function_id_0 == function_id_1 {
[INFO] [stdout] 1376 | |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout] 1377 | |                 } else {
[INFO] [stdout] 1378 | |                     Err(todo!("error[unify]"))
[INFO] [stdout] 1379 | |                 }
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1375:85
[INFO] [stdout]      |
[INFO] [stdout] 1375 |                   if metatype_id_0 == metatype_id_1 && function_id_0 == function_id_1 {
[INFO] [stdout]      |  _____________________________________________________________________________________^
[INFO] [stdout] 1376 | |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout] 1377 | |                 } else {
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1376:21
[INFO] [stdout]      |
[INFO] [stdout] 1376 |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1377:24
[INFO] [stdout]      |
[INFO] [stdout] 1377 |                   } else {
[INFO] [stdout]      |  ________________________^
[INFO] [stdout] 1378 | |                     Err(todo!("error[unify]"))
[INFO] [stdout] 1379 | |                 }
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1378:21
[INFO] [stdout]      |
[INFO] [stdout] 1378 |                     Err(todo!("error[unify]"))
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1390:18
[INFO] [stdout]      |
[INFO] [stdout] 1390 |               ) => {
[INFO] [stdout]      |  __________________^
[INFO] [stdout] 1391 | |                 if where_id_0 == where_id_1 && var_id_0 == var_id_1 {
[INFO] [stdout] 1392 | |                     Ok(existing_subs)
[INFO] [stdout] 1393 | |                 } else {
[INFO] [stdout] ...    |
[INFO] [stdout] 1396 | |             }
[INFO] [stdout]      | |_____________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1391:17
[INFO] [stdout]      |
[INFO] [stdout] 1391 | /                 if where_id_0 == where_id_1 && var_id_0 == var_id_1 {
[INFO] [stdout] 1392 | |                     Ok(existing_subs)
[INFO] [stdout] 1393 | |                 } else {
[INFO] [stdout] 1394 | |                     Err(todo!("error[unify]"))
[INFO] [stdout] 1395 | |                 }
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1391:69
[INFO] [stdout]      |
[INFO] [stdout] 1391 |                   if where_id_0 == where_id_1 && var_id_0 == var_id_1 {
[INFO] [stdout]      |  _____________________________________________________________________^
[INFO] [stdout] 1392 | |                     Ok(existing_subs)
[INFO] [stdout] 1393 | |                 } else {
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1392:21
[INFO] [stdout]      |
[INFO] [stdout] 1392 |                     Ok(existing_subs)
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1393:24
[INFO] [stdout]      |
[INFO] [stdout] 1393 |                   } else {
[INFO] [stdout]      |  ________________________^
[INFO] [stdout] 1394 | |                     Err(todo!("error[unify]"))
[INFO] [stdout] 1395 | |                 }
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1394:21
[INFO] [stdout]      |
[INFO] [stdout] 1394 |                     Err(todo!("error[unify]"))
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1404:18
[INFO] [stdout]      |
[INFO] [stdout] 1404 |             ) => self.unify_immut(*inner_data_0, *inner_data_1, existing_subs),
[INFO] [stdout]      |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1405:89
[INFO] [stdout]      |
[INFO] [stdout] 1405 |               (Symbol::Subs { to: to_0 }, Symbol::Subs { to: to_1 }) if *to_0 == *to_1 => {
[INFO] [stdout]      |  _________________________________________________________________________________________^
[INFO] [stdout] 1406 | |                 Ok(existing_subs)
[INFO] [stdout] 1407 | |             }
[INFO] [stdout]      | |_____________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1406:17
[INFO] [stdout]      |
[INFO] [stdout] 1406 |                 Ok(existing_subs)
[INFO] [stdout]      |                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1408:41
[INFO] [stdout]      |
[INFO] [stdout] 1408 |               (Symbol::Subs { to }, _) => match *existing_subs.get(to).unwrap_or(to) {
[INFO] [stdout]      |  _________________________________________^
[INFO] [stdout] 1409 | |                 to if sym_a == to => Ok({
[INFO] [stdout] 1410 | |                     let mut subs = existing_subs;
[INFO] [stdout] 1411 | |                     subs.insert(sym_a, sym_b); // [a:unk]->[b:concrete]
[INFO] [stdout] ...    |
[INFO] [stdout] 1414 | |                 sym_a => self.unify_immut(sym_a, sym_b, existing_subs),
[INFO] [stdout] 1415 | |             },
[INFO] [stdout]      | |_____________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1409:38
[INFO] [stdout]      |
[INFO] [stdout] 1409 |                   to if sym_a == to => Ok({
[INFO] [stdout]      |  ______________________________________^
[INFO] [stdout] 1410 | |                     let mut subs = existing_subs;
[INFO] [stdout] 1411 | |                     subs.insert(sym_a, sym_b); // [a:unk]->[b:concrete]
[INFO] [stdout] 1412 | |                     subs
[INFO] [stdout] 1413 | |                 }),
[INFO] [stdout]      | |__________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1414:26
[INFO] [stdout]      |
[INFO] [stdout] 1414 |                 sym_a => self.unify_immut(sym_a, sym_b, existing_subs),
[INFO] [stdout]      |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1416:41
[INFO] [stdout]      |
[INFO] [stdout] 1416 |               (_, Symbol::Subs { to }) => match *existing_subs.get(to).unwrap_or(to) {
[INFO] [stdout]      |  _________________________________________^
[INFO] [stdout] 1417 | |                 to if sym_b == to => Ok({
[INFO] [stdout] 1418 | |                     let mut subs = existing_subs;
[INFO] [stdout] 1419 | |                     subs.insert(sym_b, sym_a); // [b:unk]->[a:concrete]
[INFO] [stdout] ...    |
[INFO] [stdout] 1422 | |                 sym_b => self.unify_immut(sym_a, sym_b, existing_subs),
[INFO] [stdout] 1423 | |             },
[INFO] [stdout]      | |_____________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1417:38
[INFO] [stdout]      |
[INFO] [stdout] 1417 |                   to if sym_b == to => Ok({
[INFO] [stdout]      |  ______________________________________^
[INFO] [stdout] 1418 | |                     let mut subs = existing_subs;
[INFO] [stdout] 1419 | |                     subs.insert(sym_b, sym_a); // [b:unk]->[a:concrete]
[INFO] [stdout] 1420 | |                     subs
[INFO] [stdout] 1421 | |                 }),
[INFO] [stdout]      | |__________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1422:26
[INFO] [stdout]      |
[INFO] [stdout] 1422 |                 sym_b => self.unify_immut(sym_a, sym_b, existing_subs),
[INFO] [stdout]      |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1424:18
[INFO] [stdout]      |
[INFO] [stdout] 1424 |             _ => Err(todo!("error[unify]")),
[INFO] [stdout]      |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `front` (lib) due to 45 previous errors; 68 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: unused variable: `metatype_impl`
[INFO] [stdout]   --> front/src/resolve/resolve.rs:52:16
[INFO] [stdout]    |
[INFO] [stdout] 52 |         .map(|(metatype_impl, scope_id)| todo!())
[INFO] [stdout]    |                ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_metatype_impl`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `scope_id`
[INFO] [stdout]   --> front/src/resolve/resolve.rs:52:31
[INFO] [stdout]    |
[INFO] [stdout] 52 |         .map(|(metatype_impl, scope_id)| todo!())
[INFO] [stdout]    |                               ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_scope_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `metatype`
[INFO] [stdout]   --> front/src/resolve/resolve.rs:47:16
[INFO] [stdout]    |
[INFO] [stdout] 47 |         .map(|(metatype, scope_id)| todo!())
[INFO] [stdout]    |                ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_metatype`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `scope_id`
[INFO] [stdout]   --> front/src/resolve/resolve.rs:47:26
[INFO] [stdout]    |
[INFO] [stdout] 47 |         .map(|(metatype, scope_id)| todo!())
[INFO] [stdout]    |                          ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_scope_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `data`
[INFO] [stdout]   --> front/src/resolve/resolve.rs:42:16
[INFO] [stdout]    |
[INFO] [stdout] 42 |         .map(|(data, scope_id)| todo!())
[INFO] [stdout]    |                ^^^^ help: if this is intentional, prefix it with an underscore: `_data`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `scope_id`
[INFO] [stdout]   --> front/src/resolve/resolve.rs:42:22
[INFO] [stdout]    |
[INFO] [stdout] 42 |         .map(|(data, scope_id)| todo!())
[INFO] [stdout]    |                      ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_scope_id`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr_first`
[INFO] [stdout]    --> front/src/resolve/resolve.rs:232:17
[INFO] [stdout]     |
[INFO] [stdout] 232 |                 expr_first,
[INFO] [stdout]     |                 ^^^^^^^^^^ help: try ignoring the field: `expr_first: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr_second`
[INFO] [stdout]    --> front/src/resolve/resolve.rs:233:17
[INFO] [stdout]     |
[INFO] [stdout] 233 |                 expr_second,
[INFO] [stdout]     |                 ^^^^^^^^^^^ help: try ignoring the field: `expr_second: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `op`
[INFO] [stdout]    --> front/src/resolve/resolve.rs:234:17
[INFO] [stdout]     |
[INFO] [stdout] 234 |                 op,
[INFO] [stdout]     |                 ^^ help: try ignoring the field: `op: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr`
[INFO] [stdout]    --> front/src/resolve/resolve.rs:236:38
[INFO] [stdout]     |
[INFO] [stdout] 236 |             ASTExpr::OperatorUnary { expr, op } => todo!(),
[INFO] [stdout]     |                                      ^^^^ help: try ignoring the field: `expr: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `op`
[INFO] [stdout]    --> front/src/resolve/resolve.rs:236:44
[INFO] [stdout]     |
[INFO] [stdout] 236 |             ASTExpr::OperatorUnary { expr, op } => todo!(),
[INFO] [stdout]     |                                            ^^ help: try ignoring the field: `op: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `id`
[INFO] [stdout]    --> front/src/resolve/resolve.rs:294:50
[INFO] [stdout]     |
[INFO] [stdout] 294 |                 ResolveLookupResult::Namespace { id } => todo!(),
[INFO] [stdout]     |                                                  ^^ help: try ignoring the field: `id: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `module`
[INFO] [stdout]    --> front/src/verify/solver.rs:121:35
[INFO] [stdout]     |
[INFO] [stdout] 121 |             GlobalRefData::Local((module, metatype_v)) => metatype_v.fns.len(),
[INFO] [stdout]     |                                   ^^^^^^ help: if this is intentional, prefix it with an underscore: `_module`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `module`
[INFO] [stdout]    --> front/src/verify/solver.rs:122:38
[INFO] [stdout]     |
[INFO] [stdout] 122 |             GlobalRefData::Nonlocal((module, metatype_v)) => metatype_v.fns.len(),
[INFO] [stdout]     |                                      ^^^^^^ help: if this is intentional, prefix it with an underscore: `_module`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `m`
[INFO] [stdout]    --> front/src/verify/solver.rs:771:42
[INFO] [stdout]     |
[INFO] [stdout] 771 |                 GlobalRefData::Nonlocal((m, fn_v)) => (
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_m`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `def_data` is never used
[INFO] [stdout]   --> front/src/parse/parsers_static.rs:18:4
[INFO] [stdout]    |
[INFO] [stdout] 18 | fn def_data(state: State) -> IResult<State, ASTStatic> {
[INFO] [stdout]    |    ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `match_strong_bracket` is never used
[INFO] [stdout]   --> front/src/parse/parsers_util.rs:63:4
[INFO] [stdout]    |
[INFO] [stdout] 63 | fn match_strong_bracket(src: State) -> IResult<State, ()> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `span_of` is never used
[INFO] [stdout]    --> front/src/parse/parsers_util.rs:188:8
[INFO] [stdout]     |
[INFO] [stdout] 188 | pub fn span_of<'a, T, E: nom::error::ParseError<State<'a>>>(
[INFO] [stdout]     |        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `with_state`, `loc`, and `as_start` are never used
[INFO] [stdout]   --> front/src/parse/state.rs:17:18
[INFO] [stdout]    |
[INFO] [stdout] 16 | impl<'a, T: ?Sized, S> LocatedSpan<&'a T, S> {
[INFO] [stdout]    | -------------------------------------------- methods in this implementation
[INFO] [stdout] 17 |     pub const fn with_state<Z>(&self, state: Z) -> LocatedSpan<&'a T, Z> {
[INFO] [stdout]    |                  ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 41 |     pub const fn loc(&self) -> FileLoc {
[INFO] [stdout]    |                  ^^^
[INFO] [stdout] ...
[INFO] [stdout] 44 |     pub const fn as_start(&self) -> LocatedSpan<&'a T, ()> {
[INFO] [stdout]    |                  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `from_inner` is never used
[INFO] [stdout]   --> front/src/parse/state.rs:63:18
[INFO] [stdout]    |
[INFO] [stdout] 62 | impl<'a, S> LocatedSpan<&'a [u8], S> {
[INFO] [stdout]    | ------------------------------------ associated function in this implementation
[INFO] [stdout] 63 |     pub const fn from_inner(src: &'a [u8], state: S) -> Self {
[INFO] [stdout]    |                  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `merge` is never used
[INFO] [stdout]   --> front/src/parse/state.rs:72:12
[INFO] [stdout]    |
[INFO] [stdout] 71 | impl<T: Eq + Debug, S> LocatedSpan<T, S> {
[INFO] [stdout]    | ---------------------------------------- method in this implementation
[INFO] [stdout] 72 |     pub fn merge(self, other: Self) -> LocatedSpan<T, ()> {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Namespace` is never constructed
[INFO] [stdout]    --> front/src/resolve/resolve.rs:310:5
[INFO] [stdout]     |
[INFO] [stdout] 308 | enum ResolveLookupResult {
[INFO] [stdout]     |      ------------------- variant in this enum
[INFO] [stdout] 309 |     Error {},
[INFO] [stdout] 310 |     Namespace { id: NamespaceId },
[INFO] [stdout]     |     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `expr_let_TEMP` should have a snake case name
[INFO] [stdout]   --> front/src/parse/parsers_expr.rs:60:4
[INFO] [stdout]    |
[INFO] [stdout] 60 | fn expr_let_TEMP(state: State) -> IResult<State, ASTExpr> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^ help: convert the identifier to snake case: `expr_let_temp`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> front/src/verify/solver.rs:42:13
[INFO] [stdout]    |
[INFO] [stdout] 42 |     module: &PreModule,
[INFO] [stdout]    |             ^^^^^^^^^^ the lifetime is elided here
[INFO] [stdout] 43 |     GlobalId { module_id, id }: FunctionId,
[INFO] [stdout] 44 | ) -> GlobalRef<PreFunction, AFunction> {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 44 | ) -> GlobalRef<'_, PreFunction, AFunction> {
[INFO] [stdout]    |                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> front/src/verify/solver.rs:48:13
[INFO] [stdout]    |
[INFO] [stdout] 48 |     module: &PreModule,
[INFO] [stdout]    |             ^^^^^^^^^^ the lifetime is elided here
[INFO] [stdout] 49 |     GlobalId { module_id, id }: FunctionId,
[INFO] [stdout] 50 | ) -> GlobalRef<PreData, AData> {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 50 | ) -> GlobalRef<'_, PreData, AData> {
[INFO] [stdout]    |                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> front/src/verify/solver.rs:54:13
[INFO] [stdout]    |
[INFO] [stdout] 54 |     module: &PreModule,
[INFO] [stdout]    |             ^^^^^^^^^^ the lifetime is elided here
[INFO] [stdout] 55 |     GlobalId { module_id, id }: FunctionId,
[INFO] [stdout] 56 | ) -> GlobalRef<PreMetatype, AMetatype> {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 56 | ) -> GlobalRef<'_, PreMetatype, AMetatype> {
[INFO] [stdout]    |                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> front/src/verify/solver.rs:60:13
[INFO] [stdout]    |
[INFO] [stdout] 60 |     module: &PreModule,
[INFO] [stdout]    |             ^^^^^^^^^^ the lifetime is elided here
[INFO] [stdout] ...
[INFO] [stdout] 63 | ) -> GlobalRef<PreFunction, AFunction> {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 63 | ) -> GlobalRef<'_, PreFunction, AFunction> {
[INFO] [stdout]    |                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> front/src/verify/solver.rs:72:13
[INFO] [stdout]    |
[INFO] [stdout] 72 |     module: &PreModule,
[INFO] [stdout]    |             ^^^^^^^^^^ the lifetime is elided here
[INFO] [stdout] 73 |     GlobalId { module_id, id }: FunctionId,
[INFO] [stdout] 74 | ) -> GlobalRef<PreWhere, AWhere> {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 74 | ) -> GlobalRef<'_, PreWhere, AWhere> {
[INFO] [stdout]    |                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]    --> front/src/verify/solver.rs:884:17
[INFO] [stdout]     |
[INFO] [stdout] 884 |                 self.unify_bindings(bindings, &impl_bindings, HashMap::new())
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: requested on the command line with `-D unmustuse-in-always-ok`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1290:20
[INFO] [stdout]      |
[INFO] [stdout] 1290 |           let subs = self
[INFO] [stdout]      |  ____________________^
[INFO] [stdout] 1291 | |             .unify_immut(sym_a, sym_b, HashMap::new())
[INFO] [stdout]      | |______________________________________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1305:60
[INFO] [stdout]      |
[INFO] [stdout] 1305 |       ) -> Result<HashMap<SymbolId, SymbolId>, AVerifyError> {
[INFO] [stdout]      |  ____________________________________________________________^
[INFO] [stdout] 1306 | |         assert_eq!(bindings_0.len(), bindings_1.len());
[INFO] [stdout] 1307 | |         let bindings_0 = bindings_0.iter().copied();
[INFO] [stdout] 1308 | |         let bindings_1 = bindings_1.iter().copied();
[INFO] [stdout] ...    |
[INFO] [stdout] 1311 | |         })
[INFO] [stdout] 1312 | |     }
[INFO] [stdout]      | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1309:9
[INFO] [stdout]      |
[INFO] [stdout] 1309 | /         (bindings_0.zip(bindings_1)).fold(Ok(existing_subs), |subs, (binding_0, binding_1)| {
[INFO] [stdout] 1310 | |             subs.and_then(|subs| self.unify_immut(binding_0, binding_1, subs))
[INFO] [stdout] 1311 | |         })
[INFO] [stdout]      | |__________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1309:43
[INFO] [stdout]      |
[INFO] [stdout] 1309 |         (bindings_0.zip(bindings_1)).fold(Ok(existing_subs), |subs, (binding_0, binding_1)| {
[INFO] [stdout]      |                                           ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1309:93
[INFO] [stdout]      |
[INFO] [stdout] 1309 |           (bindings_0.zip(bindings_1)).fold(Ok(existing_subs), |subs, (binding_0, binding_1)| {
[INFO] [stdout]      |  _____________________________________________________________________________________________^
[INFO] [stdout] 1310 | |             subs.and_then(|subs| self.unify_immut(binding_0, binding_1, subs))
[INFO] [stdout] 1311 | |         })
[INFO] [stdout]      | |_________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1310:13
[INFO] [stdout]      |
[INFO] [stdout] 1310 |             subs.and_then(|subs| self.unify_immut(binding_0, binding_1, subs))
[INFO] [stdout]      |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1310:13
[INFO] [stdout]      |
[INFO] [stdout] 1310 |             subs.and_then(|subs| self.unify_immut(binding_0, binding_1, subs))
[INFO] [stdout]      |             ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1310:34
[INFO] [stdout]      |
[INFO] [stdout] 1310 |             subs.and_then(|subs| self.unify_immut(binding_0, binding_1, subs))
[INFO] [stdout]      |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1322:60
[INFO] [stdout]      |
[INFO] [stdout] 1322 |       ) -> Result<HashMap<SymbolId, SymbolId>, AVerifyError> {
[INFO] [stdout]      |  ____________________________________________________________^
[INFO] [stdout] 1323 | |         /*
[INFO] [stdout] 1324 | |         - [done] unify needs to be able to backtrack on contradiction, (returns hashmap of ids to ids for overridden symbols?)
[INFO] [stdout] 1325 | |         - [done] want some function to simplify recursive substitution loops into the trivial representation of unbound (subs to self), w...
[INFO] [stdout] ...    |
[INFO] [stdout] 1426 | |     }
[INFO] [stdout]      | |_____^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1330:9
[INFO] [stdout]      |
[INFO] [stdout] 1330 | /         match (&self.symbols[sym_a], &self.symbols[sym_b]) {
[INFO] [stdout] 1331 | |             (
[INFO] [stdout] 1332 | |                 Symbol::Data {
[INFO] [stdout] 1333 | |                     data_id: data_id_0,
[INFO] [stdout] ...    |
[INFO] [stdout] 1424 | |             _ => Err(todo!("error[unify]")),
[INFO] [stdout] 1425 | |         }
[INFO] [stdout]      | |_________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1340:18
[INFO] [stdout]      |
[INFO] [stdout] 1340 |               ) => {
[INFO] [stdout]      |  __________________^
[INFO] [stdout] 1341 | |                 if data_id_0 == data_id_1 {
[INFO] [stdout] 1342 | |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout] 1343 | |                 } else {
[INFO] [stdout] ...    |
[INFO] [stdout] 1346 | |             }
[INFO] [stdout]      | |_____________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1341:17
[INFO] [stdout]      |
[INFO] [stdout] 1341 | /                 if data_id_0 == data_id_1 {
[INFO] [stdout] 1342 | |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout] 1343 | |                 } else {
[INFO] [stdout] 1344 | |                     Err(todo!("error[unify]"))
[INFO] [stdout] 1345 | |                 }
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1341:43
[INFO] [stdout]      |
[INFO] [stdout] 1341 |                   if data_id_0 == data_id_1 {
[INFO] [stdout]      |  ___________________________________________^
[INFO] [stdout] 1342 | |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout] 1343 | |                 } else {
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1342:21
[INFO] [stdout]      |
[INFO] [stdout] 1342 |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1343:24
[INFO] [stdout]      |
[INFO] [stdout] 1343 |                   } else {
[INFO] [stdout]      |  ________________________^
[INFO] [stdout] 1344 | |                     Err(todo!("error[unify]"))
[INFO] [stdout] 1345 | |                 }
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1344:21
[INFO] [stdout]      |
[INFO] [stdout] 1344 |                     Err(todo!("error[unify]"))
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1356:18
[INFO] [stdout]      |
[INFO] [stdout] 1356 |               ) => {
[INFO] [stdout]      |  __________________^
[INFO] [stdout] 1357 | |                 if function_id_0 == function_id_1 {
[INFO] [stdout] 1358 | |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout] 1359 | |                 } else {
[INFO] [stdout] ...    |
[INFO] [stdout] 1362 | |             }
[INFO] [stdout]      | |_____________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1357:17
[INFO] [stdout]      |
[INFO] [stdout] 1357 | /                 if function_id_0 == function_id_1 {
[INFO] [stdout] 1358 | |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout] 1359 | |                 } else {
[INFO] [stdout] 1360 | |                     Err(todo!("error[unify]"))
[INFO] [stdout] 1361 | |                 }
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1357:51
[INFO] [stdout]      |
[INFO] [stdout] 1357 |                   if function_id_0 == function_id_1 {
[INFO] [stdout]      |  ___________________________________________________^
[INFO] [stdout] 1358 | |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout] 1359 | |                 } else {
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1358:21
[INFO] [stdout]      |
[INFO] [stdout] 1358 |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1359:24
[INFO] [stdout]      |
[INFO] [stdout] 1359 |                   } else {
[INFO] [stdout]      |  ________________________^
[INFO] [stdout] 1360 | |                     Err(todo!("error[unify]"))
[INFO] [stdout] 1361 | |                 }
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1360:21
[INFO] [stdout]      |
[INFO] [stdout] 1360 |                     Err(todo!("error[unify]"))
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1374:18
[INFO] [stdout]      |
[INFO] [stdout] 1374 |               ) => {
[INFO] [stdout]      |  __________________^
[INFO] [stdout] 1375 | |                 if metatype_id_0 == metatype_id_1 && function_id_0 == function_id_1 {
[INFO] [stdout] 1376 | |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout] 1377 | |                 } else {
[INFO] [stdout] ...    |
[INFO] [stdout] 1380 | |             }
[INFO] [stdout]      | |_____________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1375:17
[INFO] [stdout]      |
[INFO] [stdout] 1375 | /                 if metatype_id_0 == metatype_id_1 && function_id_0 == function_id_1 {
[INFO] [stdout] 1376 | |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout] 1377 | |                 } else {
[INFO] [stdout] 1378 | |                     Err(todo!("error[unify]"))
[INFO] [stdout] 1379 | |                 }
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1375:85
[INFO] [stdout]      |
[INFO] [stdout] 1375 |                   if metatype_id_0 == metatype_id_1 && function_id_0 == function_id_1 {
[INFO] [stdout]      |  _____________________________________________________________________________________^
[INFO] [stdout] 1376 | |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout] 1377 | |                 } else {
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1376:21
[INFO] [stdout]      |
[INFO] [stdout] 1376 |                     self.unify_bindings(bindings_0, bindings_1, existing_subs)
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1377:24
[INFO] [stdout]      |
[INFO] [stdout] 1377 |                   } else {
[INFO] [stdout]      |  ________________________^
[INFO] [stdout] 1378 | |                     Err(todo!("error[unify]"))
[INFO] [stdout] 1379 | |                 }
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1378:21
[INFO] [stdout]      |
[INFO] [stdout] 1378 |                     Err(todo!("error[unify]"))
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1390:18
[INFO] [stdout]      |
[INFO] [stdout] 1390 |               ) => {
[INFO] [stdout]      |  __________________^
[INFO] [stdout] 1391 | |                 if where_id_0 == where_id_1 && var_id_0 == var_id_1 {
[INFO] [stdout] 1392 | |                     Ok(existing_subs)
[INFO] [stdout] 1393 | |                 } else {
[INFO] [stdout] ...    |
[INFO] [stdout] 1396 | |             }
[INFO] [stdout]      | |_____________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1391:17
[INFO] [stdout]      |
[INFO] [stdout] 1391 | /                 if where_id_0 == where_id_1 && var_id_0 == var_id_1 {
[INFO] [stdout] 1392 | |                     Ok(existing_subs)
[INFO] [stdout] 1393 | |                 } else {
[INFO] [stdout] 1394 | |                     Err(todo!("error[unify]"))
[INFO] [stdout] 1395 | |                 }
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1391:69
[INFO] [stdout]      |
[INFO] [stdout] 1391 |                   if where_id_0 == where_id_1 && var_id_0 == var_id_1 {
[INFO] [stdout]      |  _____________________________________________________________________^
[INFO] [stdout] 1392 | |                     Ok(existing_subs)
[INFO] [stdout] 1393 | |                 } else {
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1392:21
[INFO] [stdout]      |
[INFO] [stdout] 1392 |                     Ok(existing_subs)
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1393:24
[INFO] [stdout]      |
[INFO] [stdout] 1393 |                   } else {
[INFO] [stdout]      |  ________________________^
[INFO] [stdout] 1394 | |                     Err(todo!("error[unify]"))
[INFO] [stdout] 1395 | |                 }
[INFO] [stdout]      | |_________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1394:21
[INFO] [stdout]      |
[INFO] [stdout] 1394 |                     Err(todo!("error[unify]"))
[INFO] [stdout]      |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1404:18
[INFO] [stdout]      |
[INFO] [stdout] 1404 |             ) => self.unify_immut(*inner_data_0, *inner_data_1, existing_subs),
[INFO] [stdout]      |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1405:89
[INFO] [stdout]      |
[INFO] [stdout] 1405 |               (Symbol::Subs { to: to_0 }, Symbol::Subs { to: to_1 }) if *to_0 == *to_1 => {
[INFO] [stdout]      |  _________________________________________________________________________________________^
[INFO] [stdout] 1406 | |                 Ok(existing_subs)
[INFO] [stdout] 1407 | |             }
[INFO] [stdout]      | |_____________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1406:17
[INFO] [stdout]      |
[INFO] [stdout] 1406 |                 Ok(existing_subs)
[INFO] [stdout]      |                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1408:41
[INFO] [stdout]      |
[INFO] [stdout] 1408 |               (Symbol::Subs { to }, _) => match *existing_subs.get(to).unwrap_or(to) {
[INFO] [stdout]      |  _________________________________________^
[INFO] [stdout] 1409 | |                 to if sym_a == to => Ok({
[INFO] [stdout] 1410 | |                     let mut subs = existing_subs;
[INFO] [stdout] 1411 | |                     subs.insert(sym_a, sym_b); // [a:unk]->[b:concrete]
[INFO] [stdout] ...    |
[INFO] [stdout] 1414 | |                 sym_a => self.unify_immut(sym_a, sym_b, existing_subs),
[INFO] [stdout] 1415 | |             },
[INFO] [stdout]      | |_____________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1409:38
[INFO] [stdout]      |
[INFO] [stdout] 1409 |                   to if sym_a == to => Ok({
[INFO] [stdout]      |  ______________________________________^
[INFO] [stdout] 1410 | |                     let mut subs = existing_subs;
[INFO] [stdout] 1411 | |                     subs.insert(sym_a, sym_b); // [a:unk]->[b:concrete]
[INFO] [stdout] 1412 | |                     subs
[INFO] [stdout] 1413 | |                 }),
[INFO] [stdout]      | |__________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1414:26
[INFO] [stdout]      |
[INFO] [stdout] 1414 |                 sym_a => self.unify_immut(sym_a, sym_b, existing_subs),
[INFO] [stdout]      |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1416:41
[INFO] [stdout]      |
[INFO] [stdout] 1416 |               (_, Symbol::Subs { to }) => match *existing_subs.get(to).unwrap_or(to) {
[INFO] [stdout]      |  _________________________________________^
[INFO] [stdout] 1417 | |                 to if sym_b == to => Ok({
[INFO] [stdout] 1418 | |                     let mut subs = existing_subs;
[INFO] [stdout] 1419 | |                     subs.insert(sym_b, sym_a); // [b:unk]->[a:concrete]
[INFO] [stdout] ...    |
[INFO] [stdout] 1422 | |                 sym_b => self.unify_immut(sym_a, sym_b, existing_subs),
[INFO] [stdout] 1423 | |             },
[INFO] [stdout]      | |_____________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1417:38
[INFO] [stdout]      |
[INFO] [stdout] 1417 |                   to if sym_b == to => Ok({
[INFO] [stdout]      |  ______________________________________^
[INFO] [stdout] 1418 | |                     let mut subs = existing_subs;
[INFO] [stdout] 1419 | |                     subs.insert(sym_b, sym_a); // [b:unk]->[a:concrete]
[INFO] [stdout] 1420 | |                     subs
[INFO] [stdout] 1421 | |                 }),
[INFO] [stdout]      | |__________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1422:26
[INFO] [stdout]      |
[INFO] [stdout] 1422 |                 sym_b => self.unify_immut(sym_a, sym_b, existing_subs),
[INFO] [stdout]      |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: this type will no longer be must used: Result<HashMap<usize, usize>, AVerifyError>
[INFO] [stdout]     --> front/src/verify/solver.rs:1424:18
[INFO] [stdout]      |
[INFO] [stdout] 1424 |             _ => Err(todo!("error[unify]")),
[INFO] [stdout]      |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `front` (lib test) due to 45 previous errors; 68 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "8491259525e8e0e5a4e7f6538c0f00a5e7319ddb820534f114837342ab4e1d8d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8491259525e8e0e5a4e7f6538c0f00a5e7319ddb820534f114837342ab4e1d8d", kill_on_drop: false }`
[INFO] [stdout] 8491259525e8e0e5a4e7f6538c0f00a5e7319ddb820534f114837342ab4e1d8d
