[INFO] cloning repository https://github.com/jackh726/a-mir-formality-rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/jackh726/a-mir-formality-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjackh726%2Fa-mir-formality-rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjackh726%2Fa-mir-formality-rs'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 085242c25c7d61f6e4d8c0220e12aaae9dfe90f1 [INFO] checking jackh726/a-mir-formality-rs against master#1f12b9b0fdbe735968ac002792a720f0ba4faca6 for crater-rollup-uwu [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjackh726%2Fa-mir-formality-rs" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/jackh726/a-mir-formality-rs on toolchain 1f12b9b0fdbe735968ac002792a720f0ba4faca6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/jackh726/a-mir-formality-rs [INFO] finished tweaking git repo https://github.com/jackh726/a-mir-formality-rs [INFO] tweaked toml for git repo https://github.com/jackh726/a-mir-formality-rs written to /workspace/builds/worker-4-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/jackh726/a-mir-formality-rs 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" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 2dc087e87cc014dcfc6791263778ef80656de079df0b2496508fe8edfe5fa58b [INFO] running `Command { std: "docker" "start" "-a" "2dc087e87cc014dcfc6791263778ef80656de079df0b2496508fe8edfe5fa58b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "2dc087e87cc014dcfc6791263778ef80656de079df0b2496508fe8edfe5fa58b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2dc087e87cc014dcfc6791263778ef80656de079df0b2496508fe8edfe5fa58b", kill_on_drop: false }` [INFO] [stdout] 2dc087e87cc014dcfc6791263778ef80656de079df0b2496508fe8edfe5fa58b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 448fa08f1cd3067dc6c1de62ce4874426f8e9514b88c94041733b18b72f1e3c1 [INFO] running `Command { std: "docker" "start" "-a" "448fa08f1cd3067dc6c1de62ce4874426f8e9514b88c94041733b18b72f1e3c1", kill_on_drop: false }` [INFO] [stderr] Checking a-mir-formality-rs v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `crate::ty_grammar::*` [INFO] [stdout] --> src/cosld_solve.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::ty_grammar::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `self` [INFO] [stdout] --> src/tests/ty_test_subtyping.rs:2:28 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::logic_grammar::{self, *}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::ty_grammar::*` [INFO] [stdout] --> src/cosld_solve.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::ty_grammar::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `self` [INFO] [stdout] --> src/tests/ty_test_subtyping.rs:2:28 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::logic_grammar::{self, *}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `predicate` [INFO] [stdout] --> src/cosld_solve.rs:8:48 [INFO] [stdout] | [INFO] [stdout] 8 | Goal::AtomicGoal(AtomicGoal::Predicate(predicate)) => todo!(), [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_predicate` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `predicate` [INFO] [stdout] --> src/cosld_solve.rs:8:48 [INFO] [stdout] | [INFO] [stdout] 8 | Goal::AtomicGoal(AtomicGoal::Predicate(predicate)) => todo!(), [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_predicate` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/cosld_solve.rs:37:5 [INFO] [stdout] | [INFO] [stdout] 37 | env: Env, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/cosld_solve.rs:37:5 [INFO] [stdout] | [INFO] [stdout] 37 | env: Env, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `prove_stacks` [INFO] [stdout] --> src/cosld_solve.rs:38:5 [INFO] [stdout] | [INFO] [stdout] 38 | prove_stacks: ProveStacks, [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prove_stacks` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `prove_stacks` [INFO] [stdout] --> src/cosld_solve.rs:38:5 [INFO] [stdout] | [INFO] [stdout] 38 | prove_stacks: ProveStacks, [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prove_stacks` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `prove_coinductive` [INFO] [stdout] --> src/cosld_solve.rs:39:5 [INFO] [stdout] | [INFO] [stdout] 39 | prove_coinductive: ProveCoinductive, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prove_coinductive` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `prove_coinductive` [INFO] [stdout] --> src/cosld_solve.rs:39:5 [INFO] [stdout] | [INFO] [stdout] 39 | prove_coinductive: ProveCoinductive, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prove_coinductive` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `clause` [INFO] [stdout] --> src/cosld_solve.rs:40:5 [INFO] [stdout] | [INFO] [stdout] 40 | clause: Clause, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `clause` [INFO] [stdout] --> src/cosld_solve.rs:40:5 [INFO] [stdout] | [INFO] [stdout] 40 | clause: Clause, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/cosld_solve.rs:45:63 [INFO] [stdout] | [INFO] [stdout] 45 | pub fn prove_all(mut env: Env, mut prove_stacks: ProveStacks, mut goals: Goals) -> Option { [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/cosld_solve.rs:45:63 [INFO] [stdout] | [INFO] [stdout] 45 | pub fn prove_all(mut env: Env, mut prove_stacks: ProveStacks, mut goals: Goals) -> Option { [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:4:18 [INFO] [stdout] | [INFO] [stdout] 4 | fn not_in_stacks(env: Env, predicate: Predicate, prove_stacks: ProveStacks) -> bool { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `hook_old` [INFO] [stdout] --> src/utils.rs:33:13 [INFO] [stdout] | [INFO] [stdout] 33 | let Env(hook_old, universe_old, _, _, _, hypotheses_old) = env_old; [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_hook_old` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var_ids` [INFO] [stdout] --> src/utils.rs:32:28 [INFO] [stdout] | [INFO] [stdout] 32 | pub fn reset(env_old: Env, var_ids: VarIds, env_new: Env) -> Env { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_var_ids` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:4:18 [INFO] [stdout] | [INFO] [stdout] 4 | fn not_in_stacks(env: Env, predicate: Predicate, prove_stacks: ProveStacks) -> bool { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `hook_old` [INFO] [stdout] --> src/utils.rs:33:13 [INFO] [stdout] | [INFO] [stdout] 33 | let Env(hook_old, universe_old, _, _, _, hypotheses_old) = env_old; [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_hook_old` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var_ids` [INFO] [stdout] --> src/utils.rs:32:28 [INFO] [stdout] | [INFO] [stdout] 32 | pub fn reset(env_old: Env, var_ids: VarIds, env_new: Env) -> Env { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_var_ids` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/utils.rs:54:9 [INFO] [stdout] | [INFO] [stdout] 54 | let mut var_idx = env.2.0.iter().map(|v| v.0.1).max().map(|max| max+1).unwrap_or(0); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `term` [INFO] [stdout] --> src/utils.rs:58:45 [INFO] [stdout] | [INFO] [stdout] 58 | pub fn substitution_to_fresh_vars(term: T, kinded_var_ids: KindedVarIds) -> VarIdPairs { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_term` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `kinded_var_ids` [INFO] [stdout] --> src/utils.rs:58:54 [INFO] [stdout] | [INFO] [stdout] 58 | pub fn substitution_to_fresh_vars(term: T, kinded_var_ids: KindedVarIds) -> VarIdPairs { [INFO] [stdout] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_kinded_var_ids` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:72:38 [INFO] [stdout] | [INFO] [stdout] 72 | pub fn env_with_incremented_universe(env: Env) -> Env { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var_binders` [INFO] [stdout] --> src/utils.rs:81:29 [INFO] [stdout] | [INFO] [stdout] 81 | let Env(hook, universe, var_binders, substitution, var_inequalities, hypotheses) = env; [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_var_binders` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:92:28 [INFO] [stdout] | [INFO] [stdout] 92 | pub fn env_with_hypotheses(env: Env, hypotheses: Hypotheses) -> Env { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `hypotheses` [INFO] [stdout] --> src/utils.rs:92:38 [INFO] [stdout] | [INFO] [stdout] 92 | pub fn env_with_hypotheses(env: Env, hypotheses: Hypotheses) -> Env { [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_hypotheses` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/utils.rs:54:9 [INFO] [stdout] | [INFO] [stdout] 54 | let mut var_idx = env.2.0.iter().map(|v| v.0.1).max().map(|max| max+1).unwrap_or(0); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `term` [INFO] [stdout] --> src/utils.rs:58:45 [INFO] [stdout] | [INFO] [stdout] 58 | pub fn substitution_to_fresh_vars(term: T, kinded_var_ids: KindedVarIds) -> VarIdPairs { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_term` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `outlives_op` [INFO] [stdout] --> src/utils.rs:114:59 [INFO] [stdout] | [INFO] [stdout] 114 | RelationOp::InequalityOp(InequalityOp::OutlivesOp(outlives_op)) => { [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_outlives_op` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `kinded_var_ids` [INFO] [stdout] --> src/utils.rs:58:54 [INFO] [stdout] | [INFO] [stdout] 58 | pub fn substitution_to_fresh_vars(term: T, kinded_var_ids: KindedVarIds) -> VarIdPairs { [INFO] [stdout] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_kinded_var_ids` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:136:31 [INFO] [stdout] | [INFO] [stdout] 136 | fn equate_one_substituted_tys(env: Env, ty_1: Ty, ty_2: Ty) -> (Env, Goals) { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty_1` [INFO] [stdout] --> src/utils.rs:136:41 [INFO] [stdout] | [INFO] [stdout] 136 | fn equate_one_substituted_tys(env: Env, ty_1: Ty, ty_2: Ty) -> (Env, Goals) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty_2` [INFO] [stdout] --> src/utils.rs:136:51 [INFO] [stdout] | [INFO] [stdout] 136 | fn equate_one_substituted_tys(env: Env, ty_1: Ty, ty_2: Ty) -> (Env, Goals) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:140:31 [INFO] [stdout] | [INFO] [stdout] 140 | fn equate_one_substituted_lts(env: Env, lt_1: Lt, lt_2: Lt) -> (Env, Goals) { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lt_1` [INFO] [stdout] --> src/utils.rs:140:41 [INFO] [stdout] | [INFO] [stdout] 140 | fn equate_one_substituted_lts(env: Env, lt_1: Lt, lt_2: Lt) -> (Env, Goals) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_lt_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lt_2` [INFO] [stdout] --> src/utils.rs:140:51 [INFO] [stdout] | [INFO] [stdout] 140 | fn equate_one_substituted_lts(env: Env, lt_1: Lt, lt_2: Lt) -> (Env, Goals) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_lt_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:72:38 [INFO] [stdout] | [INFO] [stdout] 72 | pub fn env_with_incremented_universe(env: Env) -> Env { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var_binders` [INFO] [stdout] --> src/utils.rs:81:29 [INFO] [stdout] | [INFO] [stdout] 81 | let Env(hook, universe, var_binders, substitution, var_inequalities, hypotheses) = env; [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_var_binders` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `where_clause` [INFO] [stdout] --> src/utils.rs:298:70 [INFO] [stdout] | [INFO] [stdout] 298 | Ty::PredicateTy(PredicateTy::ImplicationTy(ImplicationTy(where_clause, ty_1))), [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_where_clause` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty_1` [INFO] [stdout] --> src/utils.rs:298:84 [INFO] [stdout] | [INFO] [stdout] 298 | Ty::PredicateTy(PredicateTy::ImplicationTy(ImplicationTy(where_clause, ty_1))), [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty_2` [INFO] [stdout] --> src/utils.rs:300:13 [INFO] [stdout] | [INFO] [stdout] 300 | ty_2, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty_1` [INFO] [stdout] --> src/utils.rs:303:13 [INFO] [stdout] | [INFO] [stdout] 303 | ty_1, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty_2` [INFO] [stdout] --> src/utils.rs:305:62 [INFO] [stdout] | [INFO] [stdout] 305 | Ty::PredicateTy(PredicateTy::EnsuresTy(EnsuresTy(ty_2, where_clause))), [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `where_clause` [INFO] [stdout] --> src/utils.rs:305:68 [INFO] [stdout] | [INFO] [stdout] 305 | Ty::PredicateTy(PredicateTy::EnsuresTy(EnsuresTy(ty_2, where_clause))), [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_where_clause` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parameters_1` [INFO] [stdout] --> src/utils.rs:308:47 [INFO] [stdout] | [INFO] [stdout] 308 | Ty::AliasTy(AliasTy(alias_name_1, parameters_1)), [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameters_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parameter_2` [INFO] [stdout] --> src/utils.rs:310:47 [INFO] [stdout] | [INFO] [stdout] 310 | Ty::AliasTy(AliasTy(alias_name_2, parameter_2)), [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameter_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `alias_name` [INFO] [stdout] --> src/utils.rs:312:30 [INFO] [stdout] | [INFO] [stdout] 312 | (Ty::AliasTy(AliasTy(alias_name, parameters)), SubtypeOp::Subset, ty_2) => todo!(), [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_alias_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parameters` [INFO] [stdout] --> src/utils.rs:312:42 [INFO] [stdout] | [INFO] [stdout] 312 | (Ty::AliasTy(AliasTy(alias_name, parameters)), SubtypeOp::Subset, ty_2) => todo!(), [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameters` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty_2` [INFO] [stdout] --> src/utils.rs:312:75 [INFO] [stdout] | [INFO] [stdout] 312 | (Ty::AliasTy(AliasTy(alias_name, parameters)), SubtypeOp::Subset, ty_2) => todo!(), [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:92:28 [INFO] [stdout] | [INFO] [stdout] 92 | pub fn env_with_hypotheses(env: Env, hypotheses: Hypotheses) -> Env { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty_1` [INFO] [stdout] --> src/utils.rs:313:10 [INFO] [stdout] | [INFO] [stdout] 313 | (ty_1, SubtypeOp::Subset, Ty::AliasTy(AliasTy(alias_name, parameters))) => todo!(), [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `hypotheses` [INFO] [stdout] --> src/utils.rs:92:38 [INFO] [stdout] | [INFO] [stdout] 92 | pub fn env_with_hypotheses(env: Env, hypotheses: Hypotheses) -> Env { [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_hypotheses` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `alias_name` [INFO] [stdout] --> src/utils.rs:313:55 [INFO] [stdout] | [INFO] [stdout] 313 | (ty_1, SubtypeOp::Subset, Ty::AliasTy(AliasTy(alias_name, parameters))) => todo!(), [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_alias_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parameters` [INFO] [stdout] --> src/utils.rs:313:67 [INFO] [stdout] | [INFO] [stdout] 313 | (ty_1, SubtypeOp::Subset, Ty::AliasTy(AliasTy(alias_name, parameters))) => todo!(), [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameters` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `outlives_op` [INFO] [stdout] --> src/utils.rs:114:59 [INFO] [stdout] | [INFO] [stdout] 114 | RelationOp::InequalityOp(InequalityOp::OutlivesOp(outlives_op)) => { [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_outlives_op` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:136:31 [INFO] [stdout] | [INFO] [stdout] 136 | fn equate_one_substituted_tys(env: Env, ty_1: Ty, ty_2: Ty) -> (Env, Goals) { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty_1` [INFO] [stdout] --> src/utils.rs:136:41 [INFO] [stdout] | [INFO] [stdout] 136 | fn equate_one_substituted_tys(env: Env, ty_1: Ty, ty_2: Ty) -> (Env, Goals) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty_2` [INFO] [stdout] --> src/utils.rs:136:51 [INFO] [stdout] | [INFO] [stdout] 136 | fn equate_one_substituted_tys(env: Env, ty_1: Ty, ty_2: Ty) -> (Env, Goals) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:140:31 [INFO] [stdout] | [INFO] [stdout] 140 | fn equate_one_substituted_lts(env: Env, lt_1: Lt, lt_2: Lt) -> (Env, Goals) { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lt_1` [INFO] [stdout] --> src/utils.rs:140:41 [INFO] [stdout] | [INFO] [stdout] 140 | fn equate_one_substituted_lts(env: Env, lt_1: Lt, lt_2: Lt) -> (Env, Goals) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_lt_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lt_2` [INFO] [stdout] --> src/utils.rs:140:51 [INFO] [stdout] | [INFO] [stdout] 140 | fn equate_one_substituted_lts(env: Env, lt_1: Lt, lt_2: Lt) -> (Env, Goals) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_lt_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `where_clause` [INFO] [stdout] --> src/utils.rs:298:70 [INFO] [stdout] | [INFO] [stdout] 298 | Ty::PredicateTy(PredicateTy::ImplicationTy(ImplicationTy(where_clause, ty_1))), [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_where_clause` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty_1` [INFO] [stdout] --> src/utils.rs:298:84 [INFO] [stdout] | [INFO] [stdout] 298 | Ty::PredicateTy(PredicateTy::ImplicationTy(ImplicationTy(where_clause, ty_1))), [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty_2` [INFO] [stdout] --> src/utils.rs:300:13 [INFO] [stdout] | [INFO] [stdout] 300 | ty_2, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty_1` [INFO] [stdout] --> src/utils.rs:303:13 [INFO] [stdout] | [INFO] [stdout] 303 | ty_1, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:318:32 [INFO] [stdout] | [INFO] [stdout] 318 | fn compare_one_substituted_lts(env: Env, lt_1: Lt, lt_2: Lt) -> (Env, Goals) { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty_2` [INFO] [stdout] --> src/utils.rs:305:62 [INFO] [stdout] | [INFO] [stdout] 305 | Ty::PredicateTy(PredicateTy::EnsuresTy(EnsuresTy(ty_2, where_clause))), [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `where_clause` [INFO] [stdout] --> src/utils.rs:305:68 [INFO] [stdout] | [INFO] [stdout] 305 | Ty::PredicateTy(PredicateTy::EnsuresTy(EnsuresTy(ty_2, where_clause))), [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_where_clause` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lt_1` [INFO] [stdout] --> src/utils.rs:318:42 [INFO] [stdout] | [INFO] [stdout] 318 | fn compare_one_substituted_lts(env: Env, lt_1: Lt, lt_2: Lt) -> (Env, Goals) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_lt_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parameters_1` [INFO] [stdout] --> src/utils.rs:308:47 [INFO] [stdout] | [INFO] [stdout] 308 | Ty::AliasTy(AliasTy(alias_name_1, parameters_1)), [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameters_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lt_2` [INFO] [stdout] --> src/utils.rs:318:52 [INFO] [stdout] | [INFO] [stdout] 318 | fn compare_one_substituted_lts(env: Env, lt_1: Lt, lt_2: Lt) -> (Env, Goals) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_lt_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parameter_2` [INFO] [stdout] --> src/utils.rs:310:47 [INFO] [stdout] | [INFO] [stdout] 310 | Ty::AliasTy(AliasTy(alias_name_2, parameter_2)), [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameter_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:323:5 [INFO] [stdout] | [INFO] [stdout] 323 | env: Env, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `alias_name` [INFO] [stdout] --> src/utils.rs:312:30 [INFO] [stdout] | [INFO] [stdout] 312 | (Ty::AliasTy(AliasTy(alias_name, parameters)), SubtypeOp::Subset, ty_2) => todo!(), [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_alias_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parameter_1` [INFO] [stdout] --> src/utils.rs:324:5 [INFO] [stdout] | [INFO] [stdout] 324 | parameter_1: Parameter, [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameter_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parameters` [INFO] [stdout] --> src/utils.rs:312:42 [INFO] [stdout] | [INFO] [stdout] 312 | (Ty::AliasTy(AliasTy(alias_name, parameters)), SubtypeOp::Subset, ty_2) => todo!(), [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameters` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parameter_2` [INFO] [stdout] --> src/utils.rs:325:5 [INFO] [stdout] | [INFO] [stdout] 325 | parameter_2: Parameter, [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameter_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:331:5 [INFO] [stdout] | [INFO] [stdout] 331 | env: Env, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var_id` [INFO] [stdout] --> src/utils.rs:332:5 [INFO] [stdout] | [INFO] [stdout] 332 | var_id: VarId, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_var_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty_2` [INFO] [stdout] --> src/utils.rs:312:75 [INFO] [stdout] | [INFO] [stdout] 312 | (Ty::AliasTy(AliasTy(alias_name, parameters)), SubtypeOp::Subset, ty_2) => todo!(), [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `relation_op` [INFO] [stdout] --> src/utils.rs:333:5 [INFO] [stdout] | [INFO] [stdout] 333 | relation_op: RelationOp, [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_relation_op` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty_1` [INFO] [stdout] --> src/utils.rs:313:10 [INFO] [stdout] | [INFO] [stdout] 313 | (ty_1, SubtypeOp::Subset, Ty::AliasTy(AliasTy(alias_name, parameters))) => todo!(), [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rigid_name` [INFO] [stdout] --> src/utils.rs:334:5 [INFO] [stdout] | [INFO] [stdout] 334 | rigid_name: RigidName, [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_rigid_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `alias_name` [INFO] [stdout] --> src/utils.rs:313:55 [INFO] [stdout] | [INFO] [stdout] 313 | (ty_1, SubtypeOp::Subset, Ty::AliasTy(AliasTy(alias_name, parameters))) => todo!(), [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_alias_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parameters` [INFO] [stdout] --> src/utils.rs:335:5 [INFO] [stdout] | [INFO] [stdout] 335 | parameters: Parameters, [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameters` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parameters` [INFO] [stdout] --> src/utils.rs:313:67 [INFO] [stdout] | [INFO] [stdout] 313 | (ty_1, SubtypeOp::Subset, Ty::AliasTy(AliasTy(alias_name, parameters))) => todo!(), [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameters` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:341:5 [INFO] [stdout] | [INFO] [stdout] 341 | env: Env, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rigid_name` [INFO] [stdout] --> src/utils.rs:342:5 [INFO] [stdout] | [INFO] [stdout] 342 | rigid_name: RigidName, [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_rigid_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parameters_1` [INFO] [stdout] --> src/utils.rs:343:5 [INFO] [stdout] | [INFO] [stdout] 343 | parameters_1: Parameters, [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameters_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parameters_2` [INFO] [stdout] --> src/utils.rs:344:5 [INFO] [stdout] | [INFO] [stdout] 344 | parameters_2: Parameters, [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameters_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:349:24 [INFO] [stdout] | [INFO] [stdout] 349 | pub fn occurs_check_ok(env: Env, var_id: VarId, ty: Ty) -> bool { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var_id` [INFO] [stdout] --> src/utils.rs:349:34 [INFO] [stdout] | [INFO] [stdout] 349 | pub fn occurs_check_ok(env: Env, var_id: VarId, ty: Ty) -> bool { [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_var_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty` [INFO] [stdout] --> src/utils.rs:349:49 [INFO] [stdout] | [INFO] [stdout] 349 | pub fn occurs_check_ok(env: Env, var_id: VarId, ty: Ty) -> bool { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:353:27 [INFO] [stdout] | [INFO] [stdout] 353 | pub fn univserse_check_ok(env: Env, var_id: VarId, ty: Ty) -> bool { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var_id` [INFO] [stdout] --> src/utils.rs:353:37 [INFO] [stdout] | [INFO] [stdout] 353 | pub fn univserse_check_ok(env: Env, var_id: VarId, ty: Ty) -> bool { [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_var_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty` [INFO] [stdout] --> src/utils.rs:353:52 [INFO] [stdout] | [INFO] [stdout] 353 | pub fn univserse_check_ok(env: Env, var_id: VarId, ty: Ty) -> bool { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `where_clauses` [INFO] [stdout] --> src/utils.rs:357:31 [INFO] [stdout] | [INFO] [stdout] 357 | pub fn where_clauses_to_goals(where_clauses: WhereClauses) -> Goals { [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_where_clauses` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `where_clauses` [INFO] [stdout] --> src/utils.rs:361:36 [INFO] [stdout] | [INFO] [stdout] 361 | pub fn where_clauses_to_hypotheses(where_clauses: WhereClauses) -> Hypotheses { [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_where_clauses` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:318:32 [INFO] [stdout] | [INFO] [stdout] 318 | fn compare_one_substituted_lts(env: Env, lt_1: Lt, lt_2: Lt) -> (Env, Goals) { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lt_1` [INFO] [stdout] --> src/utils.rs:318:42 [INFO] [stdout] | [INFO] [stdout] 318 | fn compare_one_substituted_lts(env: Env, lt_1: Lt, lt_2: Lt) -> (Env, Goals) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_lt_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lt_2` [INFO] [stdout] --> src/utils.rs:318:52 [INFO] [stdout] | [INFO] [stdout] 318 | fn compare_one_substituted_lts(env: Env, lt_1: Lt, lt_2: Lt) -> (Env, Goals) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_lt_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:323:5 [INFO] [stdout] | [INFO] [stdout] 323 | env: Env, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parameter_1` [INFO] [stdout] --> src/utils.rs:324:5 [INFO] [stdout] | [INFO] [stdout] 324 | parameter_1: Parameter, [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameter_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parameter_2` [INFO] [stdout] --> src/utils.rs:325:5 [INFO] [stdout] | [INFO] [stdout] 325 | parameter_2: Parameter, [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameter_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:331:5 [INFO] [stdout] | [INFO] [stdout] 331 | env: Env, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var_id` [INFO] [stdout] --> src/utils.rs:332:5 [INFO] [stdout] | [INFO] [stdout] 332 | var_id: VarId, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_var_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `relation_op` [INFO] [stdout] --> src/utils.rs:333:5 [INFO] [stdout] | [INFO] [stdout] 333 | relation_op: RelationOp, [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_relation_op` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rigid_name` [INFO] [stdout] --> src/utils.rs:334:5 [INFO] [stdout] | [INFO] [stdout] 334 | rigid_name: RigidName, [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_rigid_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parameters` [INFO] [stdout] --> src/utils.rs:335:5 [INFO] [stdout] | [INFO] [stdout] 335 | parameters: Parameters, [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameters` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:341:5 [INFO] [stdout] | [INFO] [stdout] 341 | env: Env, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rigid_name` [INFO] [stdout] --> src/utils.rs:342:5 [INFO] [stdout] | [INFO] [stdout] 342 | rigid_name: RigidName, [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_rigid_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parameters_1` [INFO] [stdout] --> src/utils.rs:343:5 [INFO] [stdout] | [INFO] [stdout] 343 | parameters_1: Parameters, [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameters_1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `parameters_2` [INFO] [stdout] --> src/utils.rs:344:5 [INFO] [stdout] | [INFO] [stdout] 344 | parameters_2: Parameters, [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameters_2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:349:24 [INFO] [stdout] | [INFO] [stdout] 349 | pub fn occurs_check_ok(env: Env, var_id: VarId, ty: Ty) -> bool { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var_id` [INFO] [stdout] --> src/utils.rs:349:34 [INFO] [stdout] | [INFO] [stdout] 349 | pub fn occurs_check_ok(env: Env, var_id: VarId, ty: Ty) -> bool { [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_var_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty` [INFO] [stdout] --> src/utils.rs:349:49 [INFO] [stdout] | [INFO] [stdout] 349 | pub fn occurs_check_ok(env: Env, var_id: VarId, ty: Ty) -> bool { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `env` [INFO] [stdout] --> src/utils.rs:353:27 [INFO] [stdout] | [INFO] [stdout] 353 | pub fn univserse_check_ok(env: Env, var_id: VarId, ty: Ty) -> bool { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `var_id` [INFO] [stdout] --> src/utils.rs:353:37 [INFO] [stdout] | [INFO] [stdout] 353 | pub fn univserse_check_ok(env: Env, var_id: VarId, ty: Ty) -> bool { [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_var_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty` [INFO] [stdout] --> src/utils.rs:353:52 [INFO] [stdout] | [INFO] [stdout] 353 | pub fn univserse_check_ok(env: Env, var_id: VarId, ty: Ty) -> bool { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `where_clauses` [INFO] [stdout] --> src/utils.rs:357:31 [INFO] [stdout] | [INFO] [stdout] 357 | pub fn where_clauses_to_goals(where_clauses: WhereClauses) -> Goals { [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_where_clauses` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `where_clauses` [INFO] [stdout] --> src/utils.rs:361:36 [INFO] [stdout] | [INFO] [stdout] 361 | pub fn where_clauses_to_hypotheses(where_clauses: WhereClauses) -> Hypotheses { [INFO] [stdout] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_where_clauses` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `clause_proves_by_clause_fact` is never used [INFO] [stdout] --> src/cosld_solve.rs:36:8 [INFO] [stdout] | [INFO] [stdout] 36 | pub fn clause_proves_by_clause_fact( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `not_in_stacks` is never used [INFO] [stdout] --> src/utils.rs:4:4 [INFO] [stdout] | [INFO] [stdout] 4 | fn not_in_stacks(env: Env, predicate: Predicate, prove_stacks: ProveStacks) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `fresh_vars_in_env` is never used [INFO] [stdout] --> src/utils.rs:46:8 [INFO] [stdout] | [INFO] [stdout] 46 | pub fn fresh_vars_in_env(env: Env, names: impl IntoIterator>) -> VarIds { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `fresh_var_in_env` is never used [INFO] [stdout] --> src/utils.rs:53:8 [INFO] [stdout] | [INFO] [stdout] 53 | pub fn fresh_var_in_env(env: Env, name: impl Into) -> VarId { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `substitution_to_fresh_vars` is never used [INFO] [stdout] --> src/utils.rs:58:8 [INFO] [stdout] | [INFO] [stdout] 58 | pub fn substitution_to_fresh_vars(term: T, kinded_var_ids: KindedVarIds) -> VarIdPairs { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `where_clauses_to_goals` is never used [INFO] [stdout] --> src/utils.rs:357:8 [INFO] [stdout] | [INFO] [stdout] 357 | pub fn where_clauses_to_goals(where_clauses: WhereClauses) -> Goals { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `clause_proves_by_clause_fact` is never used [INFO] [stdout] --> src/cosld_solve.rs:36:8 [INFO] [stdout] | [INFO] [stdout] 36 | pub fn clause_proves_by_clause_fact( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `not_in_stacks` is never used [INFO] [stdout] --> src/utils.rs:4:4 [INFO] [stdout] | [INFO] [stdout] 4 | fn not_in_stacks(env: Env, predicate: Predicate, prove_stacks: ProveStacks) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `fresh_vars_in_env` is never used [INFO] [stdout] --> src/utils.rs:46:8 [INFO] [stdout] | [INFO] [stdout] 46 | pub fn fresh_vars_in_env(env: Env, names: impl IntoIterator>) -> VarIds { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `fresh_var_in_env` is never used [INFO] [stdout] --> src/utils.rs:53:8 [INFO] [stdout] | [INFO] [stdout] 53 | pub fn fresh_var_in_env(env: Env, name: impl Into) -> VarId { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `substitution_to_fresh_vars` is never used [INFO] [stdout] --> src/utils.rs:58:8 [INFO] [stdout] | [INFO] [stdout] 58 | pub fn substitution_to_fresh_vars(term: T, kinded_var_ids: KindedVarIds) -> VarIdPairs { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `where_clauses_to_goals` is never used [INFO] [stdout] --> src/utils.rs:357:8 [INFO] [stdout] | [INFO] [stdout] 357 | pub fn where_clauses_to_goals(where_clauses: WhereClauses) -> Goals { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 68 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 68 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.17s [INFO] running `Command { std: "docker" "inspect" "448fa08f1cd3067dc6c1de62ce4874426f8e9514b88c94041733b18b72f1e3c1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "448fa08f1cd3067dc6c1de62ce4874426f8e9514b88c94041733b18b72f1e3c1", kill_on_drop: false }` [INFO] [stdout] 448fa08f1cd3067dc6c1de62ce4874426f8e9514b88c94041733b18b72f1e3c1