[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 [INFO] checking jackh726/a-mir-formality-rs against try#f9935d29d867449445ee008640ccca1bf1ae0889+rustflags=-Dtail_expr_drop_order 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-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/jackh726/a-mir-formality-rs on toolchain f9935d29d867449445ee008640ccca1bf1ae0889 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "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-tc2/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" "+f9935d29d867449445ee008640ccca1bf1ae0889" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 3dc296e1b87f01abfaca713b2f3afdce6b00e76e3d44b7b96612e9d057bd0815 [INFO] running `Command { std: "docker" "start" "-a" "3dc296e1b87f01abfaca713b2f3afdce6b00e76e3d44b7b96612e9d057bd0815", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "3dc296e1b87f01abfaca713b2f3afdce6b00e76e3d44b7b96612e9d057bd0815", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3dc296e1b87f01abfaca713b2f3afdce6b00e76e3d44b7b96612e9d057bd0815", kill_on_drop: false }` [INFO] [stdout] 3dc296e1b87f01abfaca713b2f3afdce6b00e76e3d44b7b96612e9d057bd0815 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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 -Dtail_expr_drop_order" "-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" "+f9935d29d867449445ee008640ccca1bf1ae0889" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5dc0d277467f8544362fc74342e96f56ed4439de7fb8a490df0e9c506a267918 [INFO] running `Command { std: "docker" "start" "-a" "5dc0d277467f8544362fc74342e96f56ed4439de7fb8a490df0e9c506a267918", 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: `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: `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: `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: 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: `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: `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: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: 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: 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: `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: `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: `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: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: `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: `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: `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: `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: `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: `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: `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: `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` [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: `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: `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: `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: `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: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: `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: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: `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: `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: `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: `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: `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: `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: `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: `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: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: `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: `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: `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: `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: `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: `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: `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: `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: `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: `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: `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: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: `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: `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: `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: `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: `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: `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: `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: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] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/logic_grammar.rs:186:18 [INFO] [stdout] | [INFO] [stdout] 185 | fn subst(self, subst: Substitution) -> Self { [INFO] [stdout] | ---- ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 186 | Relation(self.0.subst(subst.clone()), self.1, self.2.subst(subst.clone())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/logic_grammar.rs:186:18 [INFO] [stdout] | [INFO] [stdout] 185 | fn subst(self, subst: Substitution) -> Self { [INFO] [stdout] | ---- ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 186 | Relation(self.0.subst(subst.clone()), self.1, self.2.subst(subst.clone())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/logic_grammar.rs:186:55 [INFO] [stdout] | [INFO] [stdout] 185 | fn subst(self, subst: Substitution) -> Self { [INFO] [stdout] | ---- ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 186 | Relation(self.0.subst(subst.clone()), self.1, self.2.subst(subst.clone())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/logic_grammar.rs:186:55 [INFO] [stdout] | [INFO] [stdout] 185 | fn subst(self, subst: Substitution) -> Self { [INFO] [stdout] | ---- ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 186 | Relation(self.0.subst(subst.clone()), self.1, self.2.subst(subst.clone())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/logic_grammar.rs:216:9 [INFO] [stdout] | [INFO] [stdout] 215 | fn subst(self, subst: Substitution) -> Self { [INFO] [stdout] | ---- ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 216 | self.into_iter().map(|t| t.subst(subst.clone())).collect() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/logic_grammar.rs:216:42 [INFO] [stdout] | [INFO] [stdout] 216 | self.into_iter().map(|t| t.subst(subst.clone())).collect() [INFO] [stdout] | - ^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/logic_grammar.rs:216:9 [INFO] [stdout] | [INFO] [stdout] 215 | fn subst(self, subst: Substitution) -> Self { [INFO] [stdout] | ---- ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 216 | self.into_iter().map(|t| t.subst(subst.clone())).collect() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/logic_grammar.rs:222:10 [INFO] [stdout] | [INFO] [stdout] 221 | fn subst(self, subst: Substitution) -> Self { [INFO] [stdout] | ---- ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 222 | (self.0.subst(subst.clone()), self.1.subst(subst)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/logic_grammar.rs:216:42 [INFO] [stdout] | [INFO] [stdout] 216 | self.into_iter().map(|t| t.subst(subst.clone())).collect() [INFO] [stdout] | - ^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/logic_grammar.rs:222:39 [INFO] [stdout] | [INFO] [stdout] 221 | fn subst(self, subst: Substitution) -> Self { [INFO] [stdout] | ---- ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 222 | (self.0.subst(subst.clone()), self.1.subst(subst)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/logic_grammar.rs:222:10 [INFO] [stdout] | [INFO] [stdout] 221 | fn subst(self, subst: Substitution) -> Self { [INFO] [stdout] | ---- ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 222 | (self.0.subst(subst.clone()), self.1.subst(subst)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/logic_grammar.rs:228:18 [INFO] [stdout] | [INFO] [stdout] 227 | fn subst(self, subst: Substitution) -> Self { [INFO] [stdout] | ---- ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 228 | Box::new((*self).subst(subst)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/logic_grammar.rs:222:39 [INFO] [stdout] | [INFO] [stdout] 221 | fn subst(self, subst: Substitution) -> Self { [INFO] [stdout] | ---- ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 222 | (self.0.subst(subst.clone()), self.1.subst(subst)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/logic_grammar.rs:228:18 [INFO] [stdout] | [INFO] [stdout] 227 | fn subst(self, subst: Substitution) -> Self { [INFO] [stdout] | ---- ------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 228 | Box::new((*self).subst(subst)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/instantiate.rs:46:46 [INFO] [stdout] | [INFO] [stdout] 46 | .map(|pair| (pair.0, Parameter::Ty(Ty::VarId(pair.1)))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/instantiate.rs:87:46 [INFO] [stdout] | [INFO] [stdout] 87 | .map(|pair| (pair.0, Parameter::Ty(Ty::VarId(pair.1)))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/instantiate.rs:46:46 [INFO] [stdout] | [INFO] [stdout] 46 | .map(|pair| (pair.0, Parameter::Ty(Ty::VarId(pair.1)))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/instantiate.rs:87:46 [INFO] [stdout] | [INFO] [stdout] 87 | .map(|pair| (pair.0, Parameter::Ty(Ty::VarId(pair.1)))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/utils.rs:49:9 [INFO] [stdout] | [INFO] [stdout] 46 | pub fn fresh_vars_in_env(env: Env, names: impl IntoIterator>) -> VarIds { [INFO] [stdout] | -------- -------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 49 | names.into_iter().map(|name| VarId(name.into(), { let idx = var_idx; var_idx += 1; idx })).collect() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/utils.rs:49:9 [INFO] [stdout] | [INFO] [stdout] 46 | pub fn fresh_vars_in_env(env: Env, names: impl IntoIterator>) -> VarIds { [INFO] [stdout] | -------- -------------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 49 | names.into_iter().map(|name| VarId(name.into(), { let idx = var_idx; var_idx += 1; idx })).collect() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/utils.rs:129:11 [INFO] [stdout] | [INFO] [stdout] 121 | env: Env, [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 122 | parameter_1: Parameter, [INFO] [stdout] | ---------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 123 | parameter_2: Parameter, [INFO] [stdout] | ---------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 129 | match (parameter_1, parameter_2) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/utils.rs:129:11 [INFO] [stdout] | [INFO] [stdout] 121 | env: Env, [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 122 | parameter_1: Parameter, [INFO] [stdout] | ---------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 123 | parameter_2: Parameter, [INFO] [stdout] | ---------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 129 | match (parameter_1, parameter_2) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/utils.rs:154:11 [INFO] [stdout] | [INFO] [stdout] 145 | env: Env, [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 146 | parameter_1: Parameter, [INFO] [stdout] | ---------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 147 | subtype_op: SubtypeOp, [INFO] [stdout] 148 | parameter_2: Parameter, [INFO] [stdout] | ---------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 154 | match (parameter_1, parameter_2) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/utils.rs:173:11 [INFO] [stdout] | [INFO] [stdout] 164 | env: Env, [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 165 | ty_1: Ty, [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 166 | subtype_op: SubtypeOp, [INFO] [stdout] 167 | ty_2: Ty, [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 173 | match (ty_1, subtype_op, ty_2) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/utils.rs:154:11 [INFO] [stdout] | [INFO] [stdout] 145 | env: Env, [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 146 | parameter_1: Parameter, [INFO] [stdout] | ---------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 147 | subtype_op: SubtypeOp, [INFO] [stdout] 148 | parameter_2: Parameter, [INFO] [stdout] | ---------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 154 | match (parameter_1, parameter_2) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/utils.rs:173:11 [INFO] [stdout] | [INFO] [stdout] 164 | env: Env, [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 165 | ty_1: Ty, [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 166 | subtype_op: SubtypeOp, [INFO] [stdout] 167 | ty_2: Ty, [INFO] [stdout] | -------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 173 | match (ty_1, subtype_op, ty_2) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 13 previous errors; 68 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 13 previous errors; 68 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `a-mir-formality-rs` (bin "a-mir-formality-rs" test) due to 14 previous errors; 68 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `a-mir-formality-rs` (bin "a-mir-formality-rs") due to 14 previous errors; 68 warnings emitted [INFO] running `Command { std: "docker" "inspect" "5dc0d277467f8544362fc74342e96f56ed4439de7fb8a490df0e9c506a267918", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5dc0d277467f8544362fc74342e96f56ed4439de7fb8a490df0e9c506a267918", kill_on_drop: false }` [INFO] [stdout] 5dc0d277467f8544362fc74342e96f56ed4439de7fb8a490df0e9c506a267918