[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] testing jackh726/a-mir-formality-rs against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210-1 [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] 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] validating manifest of git repo https://github.com/jackh726/a-mir-formality-rs on toolchain dec9417b8611e34e787a3e4c37686b5131f9e5c5 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 7e56b56da329bcb31afad671aee4ac6a321219fd0365fce3082813d35cedf875 [INFO] running `Command { std: "docker" "start" "-a" "7e56b56da329bcb31afad671aee4ac6a321219fd0365fce3082813d35cedf875", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "7e56b56da329bcb31afad671aee4ac6a321219fd0365fce3082813d35cedf875", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7e56b56da329bcb31afad671aee4ac6a321219fd0365fce3082813d35cedf875", kill_on_drop: false }` [INFO] [stdout] 7e56b56da329bcb31afad671aee4ac6a321219fd0365fce3082813d35cedf875 [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" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e3e7eb9da2a949d443c9840cf86d83cbc3b3d43a80d32f2951e84169181fea8c [INFO] running `Command { std: "docker" "start" "-a" "e3e7eb9da2a949d443c9840cf86d83cbc3b3d43a80d32f2951e84169181fea8c", kill_on_drop: false }` [INFO] [stderr] Compiling 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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: `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: `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)]` (part of `#[warn(unused)]`) 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: `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: `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: 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: 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: `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: `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: `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)]` (part of `#[warn(unused)]`) 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] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.86s [INFO] running `Command { std: "docker" "inspect" "e3e7eb9da2a949d443c9840cf86d83cbc3b3d43a80d32f2951e84169181fea8c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e3e7eb9da2a949d443c9840cf86d83cbc3b3d43a80d32f2951e84169181fea8c", kill_on_drop: false }` [INFO] [stdout] e3e7eb9da2a949d443c9840cf86d83cbc3b3d43a80d32f2951e84169181fea8c [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" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7fa4007eedf17dd04134cb3456f652f766dc74e357d4e9cb2ac4bd311cb29bb6 [INFO] running `Command { std: "docker" "start" "-a" "7fa4007eedf17dd04134cb3456f652f766dc74e357d4e9cb2ac4bd311cb29bb6", kill_on_drop: false }` [INFO] [stderr] Compiling 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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: `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: `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)]` (part of `#[warn(unused)]`) 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: `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: `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: 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: 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: `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: `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: `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)]` (part of `#[warn(unused)]`) 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] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.46s [INFO] running `Command { std: "docker" "inspect" "7fa4007eedf17dd04134cb3456f652f766dc74e357d4e9cb2ac4bd311cb29bb6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7fa4007eedf17dd04134cb3456f652f766dc74e357d4e9cb2ac4bd311cb29bb6", kill_on_drop: false }` [INFO] [stdout] 7fa4007eedf17dd04134cb3456f652f766dc74e357d4e9cb2ac4bd311cb29bb6 [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" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 9ac4de398b29b2928de07117d8d11373efdde6f3ed14dcb91799ec3f8cf1af4e [INFO] running `Command { std: "docker" "start" "-a" "9ac4de398b29b2928de07117d8d11373efdde6f3ed14dcb91799ec3f8cf1af4e", kill_on_drop: false }` [INFO] [stderr] warning: unused import: `crate::ty_grammar::*` [INFO] [stderr] --> src/cosld_solve.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use crate::ty_grammar::*; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `self` [INFO] [stderr] --> src/tests/ty_test_subtyping.rs:2:28 [INFO] [stderr] | [INFO] [stderr] 2 | use crate::logic_grammar::{self, *}; [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `predicate` [INFO] [stderr] --> src/cosld_solve.rs:8:48 [INFO] [stderr] | [INFO] [stderr] 8 | Goal::AtomicGoal(AtomicGoal::Predicate(predicate)) => todo!(), [INFO] [stderr] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_predicate` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `env` [INFO] [stderr] --> src/cosld_solve.rs:37:5 [INFO] [stderr] | [INFO] [stderr] 37 | env: Env, [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `prove_stacks` [INFO] [stderr] --> src/cosld_solve.rs:38:5 [INFO] [stderr] | [INFO] [stderr] 38 | prove_stacks: ProveStacks, [INFO] [stderr] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prove_stacks` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `prove_coinductive` [INFO] [stderr] --> src/cosld_solve.rs:39:5 [INFO] [stderr] | [INFO] [stderr] 39 | prove_coinductive: ProveCoinductive, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prove_coinductive` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `clause` [INFO] [stderr] --> src/cosld_solve.rs:40:5 [INFO] [stderr] | [INFO] [stderr] 40 | clause: Clause, [INFO] [stderr] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/cosld_solve.rs:45:63 [INFO] [stderr] | [INFO] [stderr] 45 | pub fn prove_all(mut env: Env, mut prove_stacks: ProveStacks, mut goals: Goals) -> Option { [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `env` [INFO] [stderr] --> src/utils.rs:4:18 [INFO] [stderr] | [INFO] [stderr] 4 | fn not_in_stacks(env: Env, predicate: Predicate, prove_stacks: ProveStacks) -> bool { [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `var_ids` [INFO] [stderr] --> src/utils.rs:32:28 [INFO] [stderr] | [INFO] [stderr] 32 | pub fn reset(env_old: Env, var_ids: VarIds, env_new: Env) -> Env { [INFO] [stderr] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_var_ids` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `hook_old` [INFO] [stderr] --> src/utils.rs:33:13 [INFO] [stderr] | [INFO] [stderr] 33 | let Env(hook_old, universe_old, _, _, _, hypotheses_old) = env_old; [INFO] [stderr] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_hook_old` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/utils.rs:54:9 [INFO] [stderr] | [INFO] [stderr] 54 | let mut var_idx = env.2.0.iter().map(|v| v.0.1).max().map(|max| max+1).unwrap_or(0); [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `term` [INFO] [stderr] --> src/utils.rs:58:45 [INFO] [stderr] | [INFO] [stderr] 58 | pub fn substitution_to_fresh_vars(term: T, kinded_var_ids: KindedVarIds) -> VarIdPairs { [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_term` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `kinded_var_ids` [INFO] [stderr] --> src/utils.rs:58:54 [INFO] [stderr] | [INFO] [stderr] 58 | pub fn substitution_to_fresh_vars(term: T, kinded_var_ids: KindedVarIds) -> VarIdPairs { [INFO] [stderr] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_kinded_var_ids` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `env` [INFO] [stderr] --> src/utils.rs:72:38 [INFO] [stderr] | [INFO] [stderr] 72 | pub fn env_with_incremented_universe(env: Env) -> Env { [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `var_binders` [INFO] [stderr] --> src/utils.rs:81:29 [INFO] [stderr] | [INFO] [stderr] 81 | let Env(hook, universe, var_binders, substitution, var_inequalities, hypotheses) = env; [INFO] [stderr] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_var_binders` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `env` [INFO] [stderr] --> src/utils.rs:92:28 [INFO] [stderr] | [INFO] [stderr] 92 | pub fn env_with_hypotheses(env: Env, hypotheses: Hypotheses) -> Env { [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `hypotheses` [INFO] [stderr] --> src/utils.rs:92:38 [INFO] [stderr] | [INFO] [stderr] 92 | pub fn env_with_hypotheses(env: Env, hypotheses: Hypotheses) -> Env { [INFO] [stderr] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_hypotheses` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `outlives_op` [INFO] [stderr] --> src/utils.rs:114:59 [INFO] [stderr] | [INFO] [stderr] 114 | RelationOp::InequalityOp(InequalityOp::OutlivesOp(outlives_op)) => { [INFO] [stderr] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_outlives_op` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `env` [INFO] [stderr] --> src/utils.rs:136:31 [INFO] [stderr] | [INFO] [stderr] 136 | fn equate_one_substituted_tys(env: Env, ty_1: Ty, ty_2: Ty) -> (Env, Goals) { [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ty_1` [INFO] [stderr] --> src/utils.rs:136:41 [INFO] [stderr] | [INFO] [stderr] 136 | fn equate_one_substituted_tys(env: Env, ty_1: Ty, ty_2: Ty) -> (Env, Goals) { [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ty_2` [INFO] [stderr] --> src/utils.rs:136:51 [INFO] [stderr] | [INFO] [stderr] 136 | fn equate_one_substituted_tys(env: Env, ty_1: Ty, ty_2: Ty) -> (Env, Goals) { [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `env` [INFO] [stderr] --> src/utils.rs:140:31 [INFO] [stderr] | [INFO] [stderr] 140 | fn equate_one_substituted_lts(env: Env, lt_1: Lt, lt_2: Lt) -> (Env, Goals) { [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `lt_1` [INFO] [stderr] --> src/utils.rs:140:41 [INFO] [stderr] | [INFO] [stderr] 140 | fn equate_one_substituted_lts(env: Env, lt_1: Lt, lt_2: Lt) -> (Env, Goals) { [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_lt_1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `lt_2` [INFO] [stderr] --> src/utils.rs:140:51 [INFO] [stderr] | [INFO] [stderr] 140 | fn equate_one_substituted_lts(env: Env, lt_1: Lt, lt_2: Lt) -> (Env, Goals) { [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_lt_2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `where_clause` [INFO] [stderr] --> src/utils.rs:298:70 [INFO] [stderr] | [INFO] [stderr] 298 | Ty::PredicateTy(PredicateTy::ImplicationTy(ImplicationTy(where_clause, ty_1))), [INFO] [stderr] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_where_clause` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ty_1` [INFO] [stderr] --> src/utils.rs:298:84 [INFO] [stderr] | [INFO] [stderr] 298 | Ty::PredicateTy(PredicateTy::ImplicationTy(ImplicationTy(where_clause, ty_1))), [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ty_2` [INFO] [stderr] --> src/utils.rs:300:13 [INFO] [stderr] | [INFO] [stderr] 300 | ty_2, [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ty_1` [INFO] [stderr] --> src/utils.rs:303:13 [INFO] [stderr] | [INFO] [stderr] 303 | ty_1, [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ty_2` [INFO] [stderr] --> src/utils.rs:305:62 [INFO] [stderr] | [INFO] [stderr] 305 | Ty::PredicateTy(PredicateTy::EnsuresTy(EnsuresTy(ty_2, where_clause))), [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `where_clause` [INFO] [stderr] --> src/utils.rs:305:68 [INFO] [stderr] | [INFO] [stderr] 305 | Ty::PredicateTy(PredicateTy::EnsuresTy(EnsuresTy(ty_2, where_clause))), [INFO] [stderr] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_where_clause` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `parameters_1` [INFO] [stderr] --> src/utils.rs:308:47 [INFO] [stderr] | [INFO] [stderr] 308 | Ty::AliasTy(AliasTy(alias_name_1, parameters_1)), [INFO] [stderr] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameters_1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `parameter_2` [INFO] [stderr] --> src/utils.rs:310:47 [INFO] [stderr] | [INFO] [stderr] 310 | Ty::AliasTy(AliasTy(alias_name_2, parameter_2)), [INFO] [stderr] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameter_2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `alias_name` [INFO] [stderr] --> src/utils.rs:312:30 [INFO] [stderr] | [INFO] [stderr] 312 | (Ty::AliasTy(AliasTy(alias_name, parameters)), SubtypeOp::Subset, ty_2) => todo!(), [INFO] [stderr] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_alias_name` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `parameters` [INFO] [stderr] --> src/utils.rs:312:42 [INFO] [stderr] | [INFO] [stderr] 312 | (Ty::AliasTy(AliasTy(alias_name, parameters)), SubtypeOp::Subset, ty_2) => todo!(), [INFO] [stderr] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameters` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ty_2` [INFO] [stderr] --> src/utils.rs:312:75 [INFO] [stderr] | [INFO] [stderr] 312 | (Ty::AliasTy(AliasTy(alias_name, parameters)), SubtypeOp::Subset, ty_2) => todo!(), [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ty_1` [INFO] [stderr] --> src/utils.rs:313:10 [INFO] [stderr] | [INFO] [stderr] 313 | (ty_1, SubtypeOp::Subset, Ty::AliasTy(AliasTy(alias_name, parameters))) => todo!(), [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_ty_1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `alias_name` [INFO] [stderr] --> src/utils.rs:313:55 [INFO] [stderr] | [INFO] [stderr] 313 | (ty_1, SubtypeOp::Subset, Ty::AliasTy(AliasTy(alias_name, parameters))) => todo!(), [INFO] [stderr] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_alias_name` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `parameters` [INFO] [stderr] --> src/utils.rs:313:67 [INFO] [stderr] | [INFO] [stderr] 313 | (ty_1, SubtypeOp::Subset, Ty::AliasTy(AliasTy(alias_name, parameters))) => todo!(), [INFO] [stderr] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameters` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `env` [INFO] [stderr] --> src/utils.rs:318:32 [INFO] [stderr] | [INFO] [stderr] 318 | fn compare_one_substituted_lts(env: Env, lt_1: Lt, lt_2: Lt) -> (Env, Goals) { [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `lt_1` [INFO] [stderr] --> src/utils.rs:318:42 [INFO] [stderr] | [INFO] [stderr] 318 | fn compare_one_substituted_lts(env: Env, lt_1: Lt, lt_2: Lt) -> (Env, Goals) { [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_lt_1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `lt_2` [INFO] [stderr] --> src/utils.rs:318:52 [INFO] [stderr] | [INFO] [stderr] 318 | fn compare_one_substituted_lts(env: Env, lt_1: Lt, lt_2: Lt) -> (Env, Goals) { [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_lt_2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `env` [INFO] [stderr] --> src/utils.rs:323:5 [INFO] [stderr] | [INFO] [stderr] 323 | env: Env, [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `parameter_1` [INFO] [stderr] --> src/utils.rs:324:5 [INFO] [stderr] | [INFO] [stderr] 324 | parameter_1: Parameter, [INFO] [stderr] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameter_1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `parameter_2` [INFO] [stderr] --> src/utils.rs:325:5 [INFO] [stderr] | [INFO] [stderr] 325 | parameter_2: Parameter, [INFO] [stderr] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameter_2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `env` [INFO] [stderr] --> src/utils.rs:331:5 [INFO] [stderr] | [INFO] [stderr] 331 | env: Env, [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `var_id` [INFO] [stderr] --> src/utils.rs:332:5 [INFO] [stderr] | [INFO] [stderr] 332 | var_id: VarId, [INFO] [stderr] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_var_id` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `relation_op` [INFO] [stderr] --> src/utils.rs:333:5 [INFO] [stderr] | [INFO] [stderr] 333 | relation_op: RelationOp, [INFO] [stderr] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_relation_op` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `rigid_name` [INFO] [stderr] --> src/utils.rs:334:5 [INFO] [stderr] | [INFO] [stderr] 334 | rigid_name: RigidName, [INFO] [stderr] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_rigid_name` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `parameters` [INFO] [stderr] --> src/utils.rs:335:5 [INFO] [stderr] | [INFO] [stderr] 335 | parameters: Parameters, [INFO] [stderr] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameters` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `env` [INFO] [stderr] --> src/utils.rs:341:5 [INFO] [stderr] | [INFO] [stderr] 341 | env: Env, [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `rigid_name` [INFO] [stderr] --> src/utils.rs:342:5 [INFO] [stderr] | [INFO] [stderr] 342 | rigid_name: RigidName, [INFO] [stderr] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_rigid_name` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `parameters_1` [INFO] [stderr] --> src/utils.rs:343:5 [INFO] [stderr] | [INFO] [stderr] 343 | parameters_1: Parameters, [INFO] [stderr] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameters_1` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `parameters_2` [INFO] [stderr] --> src/utils.rs:344:5 [INFO] [stderr] | [INFO] [stderr] 344 | parameters_2: Parameters, [INFO] [stderr] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_parameters_2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `env` [INFO] [stderr] --> src/utils.rs:349:24 [INFO] [stderr] | [INFO] [stderr] 349 | pub fn occurs_check_ok(env: Env, var_id: VarId, ty: Ty) -> bool { [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `var_id` [INFO] [stderr] --> src/utils.rs:349:34 [INFO] [stderr] | [INFO] [stderr] 349 | pub fn occurs_check_ok(env: Env, var_id: VarId, ty: Ty) -> bool { [INFO] [stderr] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_var_id` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ty` [INFO] [stderr] --> src/utils.rs:349:49 [INFO] [stderr] | [INFO] [stderr] 349 | pub fn occurs_check_ok(env: Env, var_id: VarId, ty: Ty) -> bool { [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_ty` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `env` [INFO] [stderr] --> src/utils.rs:353:27 [INFO] [stderr] | [INFO] [stderr] 353 | pub fn univserse_check_ok(env: Env, var_id: VarId, ty: Ty) -> bool { [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_env` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `var_id` [INFO] [stderr] --> src/utils.rs:353:37 [INFO] [stderr] | [INFO] [stderr] 353 | pub fn univserse_check_ok(env: Env, var_id: VarId, ty: Ty) -> bool { [INFO] [stderr] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_var_id` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ty` [INFO] [stderr] --> src/utils.rs:353:52 [INFO] [stderr] | [INFO] [stderr] 353 | pub fn univserse_check_ok(env: Env, var_id: VarId, ty: Ty) -> bool { [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_ty` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `where_clauses` [INFO] [stderr] --> src/utils.rs:357:31 [INFO] [stderr] | [INFO] [stderr] 357 | pub fn where_clauses_to_goals(where_clauses: WhereClauses) -> Goals { [INFO] [stderr] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_where_clauses` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `where_clauses` [INFO] [stderr] --> src/utils.rs:361:36 [INFO] [stderr] | [INFO] [stderr] 361 | pub fn where_clauses_to_hypotheses(where_clauses: WhereClauses) -> Hypotheses { [INFO] [stderr] | ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_where_clauses` [INFO] [stderr] [INFO] [stderr] warning: function `clause_proves_by_clause_fact` is never used [INFO] [stderr] --> src/cosld_solve.rs:36:8 [INFO] [stderr] | [INFO] [stderr] 36 | pub fn clause_proves_by_clause_fact( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: function `not_in_stacks` is never used [INFO] [stderr] --> src/utils.rs:4:4 [INFO] [stderr] | [INFO] [stderr] 4 | fn not_in_stacks(env: Env, predicate: Predicate, prove_stacks: ProveStacks) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `fresh_vars_in_env` is never used [INFO] [stderr] --> src/utils.rs:46:8 [INFO] [stderr] | [INFO] [stderr] 46 | pub fn fresh_vars_in_env(env: Env, names: impl IntoIterator>) -> VarIds { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `fresh_var_in_env` is never used [INFO] [stderr] --> src/utils.rs:53:8 [INFO] [stderr] | [INFO] [stderr] 53 | pub fn fresh_var_in_env(env: Env, name: impl Into) -> VarId { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `substitution_to_fresh_vars` is never used [INFO] [stderr] --> src/utils.rs:58:8 [INFO] [stderr] | [INFO] [stderr] 58 | pub fn substitution_to_fresh_vars(term: T, kinded_var_ids: KindedVarIds) -> VarIdPairs { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `where_clauses_to_goals` is never used [INFO] [stderr] --> src/utils.rs:357:8 [INFO] [stderr] | [INFO] [stderr] 357 | pub fn where_clauses_to_goals(where_clauses: WhereClauses) -> Goals { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `a-mir-formality-rs` (bin "a-mir-formality-rs" test) generated 68 warnings (run `cargo fix --bin "a-mir-formality-rs" -p a-mir-formality-rs --tests` to apply 62 suggestions) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.05s [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/a_mir_formality_rs-9c7e3537092367a5) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "9ac4de398b29b2928de07117d8d11373efdde6f3ed14dcb91799ec3f8cf1af4e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9ac4de398b29b2928de07117d8d11373efdde6f3ed14dcb91799ec3f8cf1af4e", kill_on_drop: false }` [INFO] [stdout] 9ac4de398b29b2928de07117d8d11373efdde6f3ed14dcb91799ec3f8cf1af4e