[INFO] cloning repository https://github.com/HolgerGottChristensen/higher-order-unification [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/HolgerGottChristensen/higher-order-unification" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHolgerGottChristensen%2Fhigher-order-unification", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHolgerGottChristensen%2Fhigher-order-unification'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 1dd25f91b5170367b72e3b988924e32e8fc4b24c [INFO] checking HolgerGottChristensen/higher-order-unification/1dd25f91b5170367b72e3b988924e32e8fc4b24c against try#ccf408f4326a858c00dd845a64a86b16f360a801 for pr-129466-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHolgerGottChristensen%2Fhigher-order-unification" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/HolgerGottChristensen/higher-order-unification on toolchain ccf408f4326a858c00dd845a64a86b16f360a801 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/HolgerGottChristensen/higher-order-unification [INFO] finished tweaking git repo https://github.com/HolgerGottChristensen/higher-order-unification [INFO] tweaked toml for git repo https://github.com/HolgerGottChristensen/higher-order-unification written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/HolgerGottChristensen/higher-order-unification 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" "+ccf408f4326a858c00dd845a64a86b16f360a801" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] c2dfecdbb358110fe8d0e5885991553bd469504e4a91825628ff4401b868eba9 [INFO] running `Command { std: "docker" "start" "-a" "c2dfecdbb358110fe8d0e5885991553bd469504e4a91825628ff4401b868eba9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "c2dfecdbb358110fe8d0e5885991553bd469504e4a91825628ff4401b868eba9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c2dfecdbb358110fe8d0e5885991553bd469504e4a91825628ff4401b868eba9", kill_on_drop: false }` [INFO] [stdout] c2dfecdbb358110fe8d0e5885991553bd469504e4a91825628ff4401b868eba9 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 6feccb7284d15b2ab15478e9f3854ed18975f747a8eacde83518ccf5d4103126 [INFO] running `Command { std: "docker" "start" "-a" "6feccb7284d15b2ab15478e9f3854ed18975f747a8eacde83518ccf5d4103126", kill_on_drop: false }` [INFO] [stderr] Copying to /tmp/fixit [INFO] [stderr] Running `cargo fix --edition` [INFO] [stderr] Migrating Cargo.toml from 2021 edition to 2024 [INFO] [stderr] Compiling libc v0.2.140 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling parking_lot_core v0.9.7 [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Compiling smallvec v1.10.0 [INFO] [stderr] Compiling log v0.4.17 [INFO] [stderr] Compiling scopeguard v1.1.0 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Compiling regex-syntax v0.6.28 [INFO] [stderr] Compiling siphasher v0.3.10 [INFO] [stderr] Compiling hashbrown v0.12.3 [INFO] [stderr] Compiling either v1.8.1 [INFO] [stderr] Compiling bit-vec v0.6.3 [INFO] [stderr] Compiling fixedbitset v0.4.2 [INFO] [stderr] Compiling lock_api v0.4.9 [INFO] [stderr] Compiling memchr v2.5.0 [INFO] [stderr] Compiling indexmap v1.9.2 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Compiling new_debug_unreachable v1.0.4 [INFO] [stderr] Compiling once_cell v1.17.1 [INFO] [stderr] Compiling itertools v0.10.5 [INFO] [stderr] Compiling unicode-xid v0.2.4 [INFO] [stderr] Compiling phf_shared v0.10.0 [INFO] [stderr] Compiling bit-set v0.5.3 [INFO] [stderr] Compiling pico-args v0.4.2 [INFO] [stderr] Compiling diff v0.1.13 [INFO] [stderr] Checking aho-corasick v0.7.20 [INFO] [stderr] Checking paris v1.5.13 [INFO] [stderr] Compiling ena v0.14.1 [INFO] [stderr] Compiling dirs-sys-next v0.1.2 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling petgraph v0.6.3 [INFO] [stderr] Compiling dirs-next v2.0.0 [INFO] [stderr] Compiling term v0.7.0 [INFO] [stderr] Compiling parking_lot v0.12.1 [INFO] [stderr] Compiling string_cache v0.8.7 [INFO] [stderr] Compiling ascii-canvas v3.0.0 [INFO] [stderr] Checking regex v1.7.1 [INFO] [stderr] Checking lalrpop-util v0.19.8 [INFO] [stderr] Compiling lalrpop v0.19.8 [INFO] [stderr] Compiling higher-order-unification v0.1.0 (/tmp/fixit) [INFO] [stderr] Migrating build.rs from 2021 edition to 2024 [INFO] [stderr] Migrating src/lib.rs from 2021 edition to 2024 [INFO] [stderr] Fixed src/lib.rs (2 fixes) [INFO] [stdout] warning: function `main_huet` is never used [INFO] [stdout] --> src/lib.rs:18:4 [INFO] [stdout] | [INFO] [stdout] 18 | fn main_huet(context: &mut Context, problem: Problem) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `PLACEHOLDER` is never used [INFO] [stdout] --> src/datatype.rs:13:7 [INFO] [stdout] | [INFO] [stdout] 13 | const PLACEHOLDER: &'static str = "placeholder"; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple methods are never used [INFO] [stdout] --> src/datatype.rs:60:12 [INFO] [stdout] | [INFO] [stdout] 59 | impl Term { [INFO] [stdout] | --------- methods in this implementation [INFO] [stdout] 60 | pub fn is_rigid(&self) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 64 | pub fn split(&self) -> (Term, Term, Vec) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 97 | pub fn combine(&self, bindings: Term) -> Term { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 102 | pub fn get_name(&self) -> String { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 109 | pub fn equal_in_context(&self, other: &Term, context: &HashMap) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 118 | pub fn binding_index(&self, bindings: &Term) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 132 | pub fn number_of_constants(&self, bounded: HashSet) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 157 | pub fn number_of_unique_params(&self, bounded: HashSet) -> HashSet { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 184 | pub fn number_of_params(&self, bounded: HashSet) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 203 | pub fn number_of_swaps(&self, bounded: HashSet) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_rigid_rigid` is never used [INFO] [stdout] --> src/datatype.rs:232:12 [INFO] [stdout] | [INFO] [stdout] 231 | impl Constraint { [INFO] [stdout] | --------------- method in this implementation [INFO] [stdout] 232 | pub fn is_rigid_rigid(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `generate_fresh_var` is never used [INFO] [stdout] --> src/datatype.rs:240:8 [INFO] [stdout] | [INFO] [stdout] 240 | pub fn generate_fresh_var() -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `minimize`, `name_map`, `number_of_constants`, `number_of_unique_params`, `number_of_params`, and `number_of_swaps` are never used [INFO] [stdout] --> src/datatype.rs:246:12 [INFO] [stdout] | [INFO] [stdout] 245 | impl Solution { [INFO] [stdout] | ------------- methods in this implementation [INFO] [stdout] 246 | pub fn minimize(self, name_map: &HashMap>) -> Solution { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 277 | pub fn name_map(self, name_map: &HashMap>) -> Solution { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 302 | pub fn number_of_constants(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 306 | pub fn number_of_unique_params(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 310 | pub fn number_of_params(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 314 | pub fn number_of_swaps(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `number_of_unique_params`, `number_of_params`, `number_of_constants`, and `number_of_swaps` are never used [INFO] [stdout] --> src/datatype.rs:320:12 [INFO] [stdout] | [INFO] [stdout] 319 | impl Substitution { [INFO] [stdout] | ----------------- methods in this implementation [INFO] [stdout] 320 | pub fn number_of_unique_params(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 324 | pub fn number_of_params(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 328 | pub fn number_of_constants(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 332 | pub fn number_of_swaps(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `minimal_solutions` and `minimal_solutions_without_name_map` are never used [INFO] [stdout] --> src/datatype.rs:339:12 [INFO] [stdout] | [INFO] [stdout] 338 | impl Context { [INFO] [stdout] | ------------ methods in this implementation [INFO] [stdout] 339 | pub fn minimal_solutions(&self) -> SolutionSet { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 343 | pub fn minimal_solutions_without_name_map(&self) -> SolutionSet { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `term_substitution` is never used [INFO] [stdout] --> src/substs.rs:3:8 [INFO] [stdout] | [INFO] [stdout] 3 | pub fn term_substitution(term: Term, sub: Substitution) -> Term { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `beta_reduce` is never used [INFO] [stdout] --> src/substs.rs:19:8 [INFO] [stdout] | [INFO] [stdout] 19 | pub fn beta_reduce(term: Term) -> Term { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `constraint_substitution` is never used [INFO] [stdout] --> src/substs.rs:33:8 [INFO] [stdout] | [INFO] [stdout] 33 | pub fn constraint_substitution(constraint: Constraint, sub: Substitution) -> Constraint { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `problem_substitution` is never used [INFO] [stdout] --> src/substs.rs:40:8 [INFO] [stdout] | [INFO] [stdout] 40 | pub fn problem_substitution(problem: Problem, sub: Substitution) -> Problem { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `simpl` is never used [INFO] [stdout] --> src/simpl.rs:3:8 [INFO] [stdout] | [INFO] [stdout] 3 | pub fn simpl(context: Context, problem: Problem) -> Option { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `simplify_constraint` is never used [INFO] [stdout] --> src/simpl.rs:18:4 [INFO] [stdout] | [INFO] [stdout] 18 | fn simplify_constraint(context: Context, constraint: Constraint) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `match_` is never used [INFO] [stdout] --> src/match.rs:3:8 [INFO] [stdout] | [INFO] [stdout] 3 | pub fn match_(context: Context, constraint: Constraint) -> Vec { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `imitation` is never used [INFO] [stdout] --> src/match.rs:10:8 [INFO] [stdout] | [INFO] [stdout] 10 | pub fn imitation(_context: &Context, constraint: &Constraint) -> Substitution { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `construct_imitation_function` is never used [INFO] [stdout] --> src/match.rs:29:4 [INFO] [stdout] | [INFO] [stdout] 29 | fn construct_imitation_function(x_argument_count: usize, h_argument_count: usize, h: Term) -> Term { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `projection` is never used [INFO] [stdout] --> src/match.rs:53:8 [INFO] [stdout] | [INFO] [stdout] 53 | pub fn projection(_context: &Context, constraint: &Constraint) -> Vec { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `construct_projection_function` is never used [INFO] [stdout] --> src/match.rs:78:4 [INFO] [stdout] | [INFO] [stdout] 78 | fn construct_projection_function(index: usize, length: usize) -> Term { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_problem` is never used [INFO] [stdout] --> src/parse.rs:6:8 [INFO] [stdout] | [INFO] [stdout] 6 | pub fn parse_problem(s: &str) -> Problem { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_constraint` is never used [INFO] [stdout] --> src/parse.rs:10:8 [INFO] [stdout] | [INFO] [stdout] 10 | pub fn parse_constraint(s: &str) -> Constraint { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_term` is never used [INFO] [stdout] --> src/parse.rs:14:8 [INFO] [stdout] | [INFO] [stdout] 14 | pub fn parse_term(s: &str) -> Term { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_type` is never used [INFO] [stdout] --> src/parse.rs:18:8 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn parse_type(s: &str) -> Type { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `to_triple` is never used [INFO] [stdout] --> /opt/rustwide/target/debug/build/higher-order-unification-89218f41b88d8077/out/parser.rs:4765:8 [INFO] [stdout] | [INFO] [stdout] 4763 | pub trait __ToTriple<'input, > [INFO] [stdout] | ---------- associated function in this trait [INFO] [stdout] 4764 | { [INFO] [stdout] 4765 | fn to_triple(value: Self) -> Result<(usize,Token<'input>,usize), __lalrpop_util::ParseError, &'static str>>; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> /opt/rustwide/target/debug/build/higher-order-unification-89218f41b88d8077/out/parser.rs:335:16 [INFO] [stdout] | [INFO] [stdout] 334 | impl ConstraintParser { [INFO] [stdout] | --------------------- associated function in this implementation [INFO] [stdout] 335 | pub fn new() -> ConstraintParser { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> /opt/rustwide/target/debug/build/higher-order-unification-89218f41b88d8077/out/parser.rs:1441:16 [INFO] [stdout] | [INFO] [stdout] 1440 | impl ProblemParser { [INFO] [stdout] | ------------------ associated function in this implementation [INFO] [stdout] 1441 | pub fn new() -> ProblemParser { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> /opt/rustwide/target/debug/build/higher-order-unification-89218f41b88d8077/out/parser.rs:2503:16 [INFO] [stdout] | [INFO] [stdout] 2502 | impl TermParser { [INFO] [stdout] | --------------- associated function in this implementation [INFO] [stdout] 2503 | pub fn new() -> TermParser { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> /opt/rustwide/target/debug/build/higher-order-unification-89218f41b88d8077/out/parser.rs:3479:16 [INFO] [stdout] | [INFO] [stdout] 3478 | impl TypeParser { [INFO] [stdout] | --------------- associated function in this implementation [INFO] [stdout] 3479 | pub fn new() -> TypeParser { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `new_builder` is never used [INFO] [stdout] --> /opt/rustwide/target/debug/build/higher-order-unification-89218f41b88d8077/out/parser.rs:4240:12 [INFO] [stdout] | [INFO] [stdout] 4240 | pub fn new_builder() -> __lalrpop_util::lexer::MatcherBuilder { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `amount_of_swaps_to_sort` is never used [INFO] [stdout] --> src/util.rs:2:8 [INFO] [stdout] | [INFO] [stdout] 2 | pub fn amount_of_swaps_to_sort(list: Vec) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_solution_from_solution_set` is never used [INFO] [stdout] --> src/prioritization.rs:3:8 [INFO] [stdout] | [INFO] [stdout] 3 | pub fn get_solution_from_solution_set(solutions: SolutionSet) -> Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_solution_from_solution_set_by_priorities` is never used [INFO] [stdout] --> src/prioritization.rs:17:8 [INFO] [stdout] | [INFO] [stdout] 17 | pub fn get_solution_from_solution_set_by_priorities(solutions: SolutionSet, fs: &[fn(SolutionSet) -> SolutionSet]) -> SolutionSet { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `existence` is never used [INFO] [stdout] --> src/prioritization.rs:25:8 [INFO] [stdout] | [INFO] [stdout] 25 | pub fn existence(mut solutions: SolutionSet) -> SolutionSet { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `generality` is never used [INFO] [stdout] --> src/prioritization.rs:40:8 [INFO] [stdout] | [INFO] [stdout] 40 | pub fn generality(mut solutions: SolutionSet) -> SolutionSet { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `exhaustiveness` is never used [INFO] [stdout] --> src/prioritization.rs:59:8 [INFO] [stdout] | [INFO] [stdout] 59 | pub fn exhaustiveness(mut solutions: SolutionSet) -> SolutionSet { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `ordering` is never used [INFO] [stdout] --> src/prioritization.rs:78:8 [INFO] [stdout] | [INFO] [stdout] 78 | pub fn ordering(mut solutions: SolutionSet) -> SolutionSet { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `simplicity` is never used [INFO] [stdout] --> src/prioritization.rs:98:8 [INFO] [stdout] | [INFO] [stdout] 98 | pub fn simplicity(mut solutions: SolutionSet) -> SolutionSet { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `WITHOUT_SIMPLICITY` is never used [INFO] [stdout] --> src/lib.rs:63:11 [INFO] [stdout] | [INFO] [stdout] 63 | const WITHOUT_SIMPLICITY: &[fn(SolutionSet) -> SolutionSet] = &[existence, generality, exhaustiveness, ordering]; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `REVERSE_ORDER` is never used [INFO] [stdout] --> src/lib.rs:64:11 [INFO] [stdout] | [INFO] [stdout] 64 | const REVERSE_ORDER: &[fn(SolutionSet) -> SolutionSet] = &[simplicity, ordering, exhaustiveness, generality, existence]; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `NORMAL_ORDER` is never used [INFO] [stdout] --> src/lib.rs:65:11 [INFO] [stdout] | [INFO] [stdout] 65 | const NORMAL_ORDER: &[fn(SolutionSet) -> SolutionSet] = &[existence, generality, exhaustiveness, ordering, simplicity]; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `MIXED_ORDER` is never used [INFO] [stdout] --> src/lib.rs:66:11 [INFO] [stdout] | [INFO] [stdout] 66 | const MIXED_ORDER: &[fn(SolutionSet) -> SolutionSet] = &[existence, ordering, exhaustiveness, simplicity, generality]; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `run` is never used [INFO] [stdout] --> src/lib.rs:68:8 [INFO] [stdout] | [INFO] [stdout] 68 | fn run(input: &str) -> SolutionSet { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `run_with_all_priorities` is never used [INFO] [stdout] --> src/lib.rs:86:8 [INFO] [stdout] | [INFO] [stdout] 86 | fn run_with_all_priorities(input: &str) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `run_with_priority` is never used [INFO] [stdout] --> src/lib.rs:109:8 [INFO] [stdout] | [INFO] [stdout] 109 | fn run_with_priority(input: &str, filter: fn(SolutionSet) -> SolutionSet) -> SolutionSet { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `run_with_priorities` is never used [INFO] [stdout] --> src/lib.rs:113:8 [INFO] [stdout] | [INFO] [stdout] 113 | fn run_with_priorities(input: &str, filters: &[fn(SolutionSet) -> SolutionSet]) -> SolutionSet { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `generate_context` is never used [INFO] [stdout] --> src/lib.rs:136:8 [INFO] [stdout] | [INFO] [stdout] 136 | fn generate_context() -> Context { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/datatype.rs:71:15 [INFO] [stdout] | [INFO] [stdout] 71 | while let Term::Abs(s, typ, term) = current { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/datatype.rs:74:9 [INFO] [stdout] | [INFO] [stdout] 74 | } [INFO] [stdout] | ^ [INFO] [stdout] = note: `--force-warn if-let-rescope` implied by `--force-warn rust-2024-compatibility` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/datatype.rs:76:15 [INFO] [stdout] | [INFO] [stdout] 76 | while let Term::Abs(s, typ, term) = external_abstractors_builder { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^---------------------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/datatype.rs:79:9 [INFO] [stdout] | [INFO] [stdout] 79 | } [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/datatype.rs:83:15 [INFO] [stdout] | [INFO] [stdout] 83 | while let Term::App(t1, t2) = current { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/datatype.rs:86:9 [INFO] [stdout] | [INFO] [stdout] 86 | } [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/simpl.rs:7:11 [INFO] [stdout] | [INFO] [stdout] 7 | while let Some(constraint) = queue.pop() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^----------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/simpl.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | } [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/prioritization.rs:31:15 [INFO] [stdout] | [INFO] [stdout] 31 | while let Some(elem) = solutions.0.pop() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/prioritization.rs:35:9 [INFO] [stdout] | [INFO] [stdout] 35 | } [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/prioritization.rs:49:15 [INFO] [stdout] | [INFO] [stdout] 49 | while let Some(elem) = solutions.0.pop() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/prioritization.rs:53:9 [INFO] [stdout] | [INFO] [stdout] 53 | } [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/prioritization.rs:68:15 [INFO] [stdout] | [INFO] [stdout] 68 | while let Some(elem) = solutions.0.pop() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/prioritization.rs:72:9 [INFO] [stdout] | [INFO] [stdout] 72 | } [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/prioritization.rs:88:15 [INFO] [stdout] | [INFO] [stdout] 88 | while let Some(elem) = solutions.0.pop() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/prioritization.rs:92:9 [INFO] [stdout] | [INFO] [stdout] 92 | } [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024 [INFO] [stdout] --> src/prioritization.rs:108:15 [INFO] [stdout] | [INFO] [stdout] 108 | while let Some(elem) = solutions.0.pop() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^----------------- [INFO] [stdout] | | [INFO] [stdout] | this value has a significant drop implementation which may observe a major change in drop order and requires your discretion [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #124085 [INFO] [stdout] help: the value is now dropped here in Edition 2024 [INFO] [stdout] --> src/prioritization.rs:112:9 [INFO] [stdout] | [INFO] [stdout] 112 | } [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 55 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `parse_term` in this scope [INFO] [stdout] --> src/lib.rs:484:27 [INFO] [stdout] | [INFO] [stdout] 484 | println!("{} ", parse_term("λx:*. λy:*. N")); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/parse.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn parse_type(s: &str) -> Type { [INFO] [stdout] | ---------------------------------- similarly named function `parse_type` defined here [INFO] [stdout] | [INFO] [stdout] help: a function with a similar name exists [INFO] [stdout] | [INFO] [stdout] 484 | println!("{} ", parse_type("λx:*. λy:*. N")); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 54 + use crate::parse::parse_term; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `parse_term` in this scope [INFO] [stdout] --> src/lib.rs:485:27 [INFO] [stdout] | [INFO] [stdout] 485 | println!("{:#?}", parse_term("λx:*. λy:*. N")); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/parse.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn parse_type(s: &str) -> Type { [INFO] [stdout] | ---------------------------------- similarly named function `parse_type` defined here [INFO] [stdout] | [INFO] [stdout] help: a function with a similar name exists [INFO] [stdout] | [INFO] [stdout] 485 | println!("{:#?}", parse_type("λx:*. λy:*. N")); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 54 + use crate::parse::parse_term; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `parse_term` in this scope [INFO] [stdout] --> src/lib.rs:486:27 [INFO] [stdout] | [INFO] [stdout] 486 | println!("{} ", parse_term("N O P E")); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/parse.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn parse_type(s: &str) -> Type { [INFO] [stdout] | ---------------------------------- similarly named function `parse_type` defined here [INFO] [stdout] | [INFO] [stdout] help: a function with a similar name exists [INFO] [stdout] | [INFO] [stdout] 486 | println!("{} ", parse_type("N O P E")); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 54 + use crate::parse::parse_term; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `parse_term` in this scope [INFO] [stdout] --> src/lib.rs:487:27 [INFO] [stdout] | [INFO] [stdout] 487 | println!("{:#?}", parse_term("N O P E")); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/parse.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn parse_type(s: &str) -> Type { [INFO] [stdout] | ---------------------------------- similarly named function `parse_type` defined here [INFO] [stdout] | [INFO] [stdout] help: a function with a similar name exists [INFO] [stdout] | [INFO] [stdout] 487 | println!("{:#?}", parse_type("N O P E")); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 54 + use crate::parse::parse_term; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `parse_term` in this scope [INFO] [stdout] --> src/lib.rs:488:27 [INFO] [stdout] | [INFO] [stdout] 488 | println!("{} ", parse_term("N O (P E)")); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/parse.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn parse_type(s: &str) -> Type { [INFO] [stdout] | ---------------------------------- similarly named function `parse_type` defined here [INFO] [stdout] | [INFO] [stdout] help: a function with a similar name exists [INFO] [stdout] | [INFO] [stdout] 488 | println!("{} ", parse_type("N O (P E)")); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 54 + use crate::parse::parse_term; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `parse_term` in this scope [INFO] [stdout] --> src/lib.rs:489:27 [INFO] [stdout] | [INFO] [stdout] 489 | println!("{:#?}", parse_term("N O (P E)")); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/parse.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn parse_type(s: &str) -> Type { [INFO] [stdout] | ---------------------------------- similarly named function `parse_type` defined here [INFO] [stdout] | [INFO] [stdout] help: a function with a similar name exists [INFO] [stdout] | [INFO] [stdout] 489 | println!("{:#?}", parse_type("N O (P E)")); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 54 + use crate::parse::parse_term; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `parse_term` in this scope [INFO] [stdout] --> src/lib.rs:490:27 [INFO] [stdout] | [INFO] [stdout] 490 | println!("{} ", parse_term("N (O P E)")); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/parse.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn parse_type(s: &str) -> Type { [INFO] [stdout] | ---------------------------------- similarly named function `parse_type` defined here [INFO] [stdout] | [INFO] [stdout] help: a function with a similar name exists [INFO] [stdout] | [INFO] [stdout] 490 | println!("{} ", parse_type("N (O P E)")); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 54 + use crate::parse::parse_term; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `parse_term` in this scope [INFO] [stdout] --> src/lib.rs:491:27 [INFO] [stdout] | [INFO] [stdout] 491 | println!("{:#?}", parse_term("N (O P E)")); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/parse.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn parse_type(s: &str) -> Type { [INFO] [stdout] | ---------------------------------- similarly named function `parse_type` defined here [INFO] [stdout] | [INFO] [stdout] help: a function with a similar name exists [INFO] [stdout] | [INFO] [stdout] 491 | println!("{:#?}", parse_type("N (O P E)")); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 54 + use crate::parse::parse_term; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `parse_term` in this scope [INFO] [stdout] --> src/lib.rs:492:27 [INFO] [stdout] | [INFO] [stdout] 492 | println!("{} ", parse_term("N (λx:*. n)")); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/parse.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn parse_type(s: &str) -> Type { [INFO] [stdout] | ---------------------------------- similarly named function `parse_type` defined here [INFO] [stdout] | [INFO] [stdout] help: a function with a similar name exists [INFO] [stdout] | [INFO] [stdout] 492 | println!("{} ", parse_type("N (λx:*. n)")); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 54 + use crate::parse::parse_term; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `higher-order-unification` (lib test) due to 19 previous errors [INFO] [stdout] error[E0425]: cannot find function `parse_term` in this scope [INFO] [stdout] --> src/lib.rs:493:27 [INFO] [stdout] | [INFO] [stdout] 493 | println!("{:#?}", parse_term("N (λx:*. n)")); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/parse.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn parse_type(s: &str) -> Type { [INFO] [stdout] | ---------------------------------- similarly named function `parse_type` defined here [INFO] [stdout] | [INFO] [stdout] help: a function with a similar name exists [INFO] [stdout] | [INFO] [stdout] 493 | println!("{:#?}", parse_type("N (λx:*. n)")); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 54 + use crate::parse::parse_term; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `parse_term` in this scope [INFO] [stdout] --> src/lib.rs:494:27 [INFO] [stdout] | [INFO] [stdout] 494 | println!("{} ", parse_term("(λx:*. λy:*. n h) N")); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/parse.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn parse_type(s: &str) -> Type { [INFO] [stdout] | ---------------------------------- similarly named function `parse_type` defined here [INFO] [stdout] | [INFO] [stdout] help: a function with a similar name exists [INFO] [stdout] | [INFO] [stdout] 494 | println!("{} ", parse_type("(λx:*. λy:*. n h) N")); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 54 + use crate::parse::parse_term; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `parse_term` in this scope [INFO] [stdout] --> src/lib.rs:495:27 [INFO] [stdout] | [INFO] [stdout] 495 | println!("{:#?}", parse_term("(λx:*. λy:*. n h) N")); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/parse.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn parse_type(s: &str) -> Type { [INFO] [stdout] | ---------------------------------- similarly named function `parse_type` defined here [INFO] [stdout] | [INFO] [stdout] help: a function with a similar name exists [INFO] [stdout] | [INFO] [stdout] 495 | println!("{:#?}", parse_type("(λx:*. λy:*. n h) N")); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 54 + use crate::parse::parse_term; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `parse_term` in this scope [INFO] [stdout] --> src/lib.rs:496:27 [INFO] [stdout] | [INFO] [stdout] 496 | println!("{} ", parse_term("(λx:*. (λy:*. n) h) N")); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/parse.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn parse_type(s: &str) -> Type { [INFO] [stdout] | ---------------------------------- similarly named function `parse_type` defined here [INFO] [stdout] | [INFO] [stdout] help: a function with a similar name exists [INFO] [stdout] | [INFO] [stdout] 496 | println!("{} ", parse_type("(λx:*. (λy:*. n) h) N")); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 54 + use crate::parse::parse_term; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `parse_term` in this scope [INFO] [stdout] --> src/lib.rs:497:27 [INFO] [stdout] | [INFO] [stdout] 497 | println!("{:#?}", parse_term("(λx:*. (λy:*. n) h) N")); [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/parse.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn parse_type(s: &str) -> Type { [INFO] [stdout] | ---------------------------------- similarly named function `parse_type` defined here [INFO] [stdout] | [INFO] [stdout] help: a function with a similar name exists [INFO] [stdout] | [INFO] [stdout] 497 | println!("{:#?}", parse_type("(λx:*. (λy:*. n) h) N")); [INFO] [stdout] | ~~~~~~~~~~ [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 54 + use crate::parse::parse_term; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `parse_constraint` in this scope [INFO] [stdout] --> src/lib.rs:498:27 [INFO] [stdout] | [INFO] [stdout] 498 | println!("{} ", parse_constraint("I u32 =? option (option u32)")); [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 54 + use crate::parse::parse_constraint; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `parse_constraint` in this scope [INFO] [stdout] --> src/lib.rs:499:27 [INFO] [stdout] | [INFO] [stdout] 499 | println!("{:#?}", parse_constraint("I u32 =? option (option u32)")); [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 54 + use crate::parse::parse_constraint; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `util` [INFO] [stdout] --> src/lib.rs:508:20 [INFO] [stdout] | [INFO] [stdout] 508 | let res1 = util::amount_of_swaps_to_sort(list1); [INFO] [stdout] | ^^^^ use of undeclared crate or module `util` [INFO] [stdout] | [INFO] [stdout] help: consider importing this module [INFO] [stdout] | [INFO] [stdout] 54 + use crate::util; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `util` [INFO] [stdout] --> src/lib.rs:509:20 [INFO] [stdout] | [INFO] [stdout] 509 | let res2 = util::amount_of_swaps_to_sort(list2); [INFO] [stdout] | ^^^^ use of undeclared crate or module `util` [INFO] [stdout] | [INFO] [stdout] help: consider importing this module [INFO] [stdout] | [INFO] [stdout] 54 + use crate::util; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 18 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0425, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0425`. [INFO] [stdout] [INFO] [stderr] error: failed to migrate to next edition [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `cargo fix --edition --allow-no-vcs --allow-dirty --frozen --all --all-targets --message-format=json` (exit status: 101) [INFO] running `Command { std: "docker" "inspect" "6feccb7284d15b2ab15478e9f3854ed18975f747a8eacde83518ccf5d4103126", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6feccb7284d15b2ab15478e9f3854ed18975f747a8eacde83518ccf5d4103126", kill_on_drop: false }` [INFO] [stdout] 6feccb7284d15b2ab15478e9f3854ed18975f747a8eacde83518ccf5d4103126