[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) -> 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) -> 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) -> 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) -> 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) -> 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) -> 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) -> 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 { [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) -> 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) -> 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) -> 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) -> 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) -> 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) -> 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) -> 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 { [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 { [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 { [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>>( [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(&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 LocatedSpan { [INFO] [stdout] | ---------------------------------------- method in this implementation [INFO] [stdout] 72 | pub fn merge(self, other: Self) -> LocatedSpan { [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 { [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 { [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 { [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 { [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 { [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 { [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, 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, 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, AVerifyError> [INFO] [stdout] --> front/src/verify/solver.rs:1305:60 [INFO] [stdout] | [INFO] [stdout] 1305 | ) -> Result, 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, 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, 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, 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, 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, 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, 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, AVerifyError> [INFO] [stdout] --> front/src/verify/solver.rs:1322:60 [INFO] [stdout] | [INFO] [stdout] 1322 | ) -> Result, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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 { [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 { [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>>( [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(&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 LocatedSpan { [INFO] [stdout] | ---------------------------------------- method in this implementation [INFO] [stdout] 72 | pub fn merge(self, other: Self) -> LocatedSpan { [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 { [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 { [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 { [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 { [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 { [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 { [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, 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, 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, AVerifyError> [INFO] [stdout] --> front/src/verify/solver.rs:1305:60 [INFO] [stdout] | [INFO] [stdout] 1305 | ) -> Result, 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, 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, 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, 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, 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, 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, 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, AVerifyError> [INFO] [stdout] --> front/src/verify/solver.rs:1322:60 [INFO] [stdout] | [INFO] [stdout] 1322 | ) -> Result, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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