[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 against nightly-2024-02-05 for check-cfg
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHolgerGottChristensen%2Fhigher-order-unification" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/HolgerGottChristensen/higher-order-unification on toolchain nightly-2024-02-05
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2024-02-05" "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-tc1/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" "+nightly-2024-02-05" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded ena v0.14.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2024-02-05" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 988dddf868f604545c85bd47babb269c0684ddd723a64c8a4b76c160f594ff65
[INFO] running `Command { std: "docker" "start" "-a" "988dddf868f604545c85bd47babb269c0684ddd723a64c8a4b76c160f594ff65", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "988dddf868f604545c85bd47babb269c0684ddd723a64c8a4b76c160f594ff65", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "988dddf868f604545c85bd47babb269c0684ddd723a64c8a4b76c160f594ff65", kill_on_drop: false }`
[INFO] [stdout] 988dddf868f604545c85bd47babb269c0684ddd723a64c8a4b76c160f594ff65
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2024-02-05" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e7696a65200a87044ccaee13d1c438630f21474d1438c6643dad49e6b13d412d
[INFO] running `Command { std: "docker" "start" "-a" "e7696a65200a87044ccaee13d1c438630f21474d1438c6643dad49e6b13d412d", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.140
[INFO] [stderr]    Compiling parking_lot_core v0.9.7
[INFO] [stderr]    Compiling smallvec v1.10.0
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]    Compiling hashbrown v0.12.3
[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 indexmap v1.9.2
[INFO] [stderr]    Compiling log v0.4.17
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.4
[INFO] [stderr]    Compiling either v1.8.1
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling lock_api v0.4.9
[INFO] [stderr]    Compiling once_cell v1.17.1
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling phf_shared v0.10.0
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling ena v0.14.1
[INFO] [stderr]    Compiling pico-args v0.4.2
[INFO] [stderr]    Compiling unicode-xid v0.2.4
[INFO] [stderr]    Compiling bit-set v0.5.3
[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 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 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `crate::util`
[INFO] [stdout]   --> src/lib.rs:59:9
[INFO] [stdout]    |
[INFO] [stdout] 59 |     use crate::util;
[INFO] [stdout]    |         ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: consider adding a `#[cfg(test)]` to the containing module
[INFO] [stdout]   --> src/lib.rs:53:1
[INFO] [stdout]    |
[INFO] [stdout] 53 | mod tests {
[INFO] [stdout]    | ^^^^^^^^^
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `parse_constraint`, `parse_term`
[INFO] [stdout]   --> src/lib.rs:60:24
[INFO] [stdout]    |
[INFO] [stdout] 60 |     use crate::parse::{parse_constraint, parse_problem, parse_term, parse_type};
[INFO] [stdout]    |                        ^^^^^^^^^^^^^^^^                 ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: consider adding a `#[cfg(test)]` to the containing module
[INFO] [stdout]   --> src/lib.rs:53:1
[INFO] [stdout]    |
[INFO] [stdout] 53 | mod tests {
[INFO] [stdout]    | ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[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<Term>) {
[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<String, Type>) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 118 |     pub fn binding_index(&self, bindings: &Term) -> Option<usize> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 132 |     pub fn number_of_constants(&self, bounded: HashSet<String>) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 157 |     pub fn number_of_unique_params(&self, bounded: HashSet<String>) -> HashSet<String> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 184 |     pub fn number_of_params(&self, bounded: HashSet<String>) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 203 |     pub fn number_of_swaps(&self, bounded: HashSet<String>) -> Vec<usize> {
[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<String, Vec<String>>) -> Solution {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 277 |     pub fn name_map(self, name_map: &HashMap<String, Vec<String>>) -> 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<Problem> {
[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<Vec<Constraint>> {
[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<Substitution> {
[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<Substitution> {
[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 `new` is never used
[INFO] [stdout]    --> /opt/rustwide/target/debug/build/higher-order-unification-7436e5742915d018/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-7436e5742915d018/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-7436e5742915d018/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-7436e5742915d018/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-7436e5742915d018/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>) -> 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<Solution, SolutionSet> {
[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: 47 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 10.23s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: lalrpop v0.19.8
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1`
[INFO] running `Command { std: "docker" "inspect" "e7696a65200a87044ccaee13d1c438630f21474d1438c6643dad49e6b13d412d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e7696a65200a87044ccaee13d1c438630f21474d1438c6643dad49e6b13d412d", kill_on_drop: false }`
[INFO] [stdout] e7696a65200a87044ccaee13d1c438630f21474d1438c6643dad49e6b13d412d
[INFO] checking HolgerGottChristensen/higher-order-unification against nightly-2024-02-05+rustflags=-Dunexpected_cfgs+cargoflags=-Zcheck-cfg for check-cfg
[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 nightly-2024-02-05
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2024-02-05" "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" "+nightly-2024-02-05" "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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2024-02-05" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] e933b31e4e52a7c9dcee6e128f539e09d5f391b0bd60269253291e422b351ea1
[INFO] running `Command { std: "docker" "start" "-a" "e933b31e4e52a7c9dcee6e128f539e09d5f391b0bd60269253291e422b351ea1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e933b31e4e52a7c9dcee6e128f539e09d5f391b0bd60269253291e422b351ea1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e933b31e4e52a7c9dcee6e128f539e09d5f391b0bd60269253291e422b351ea1", kill_on_drop: false }`
[INFO] [stdout] e933b31e4e52a7c9dcee6e128f539e09d5f391b0bd60269253291e422b351ea1
[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 -Dunexpected_cfgs" "-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2024-02-05" "check" "--frozen" "--all" "--all-targets" "--message-format=json" "-Zcheck-cfg", kill_on_drop: false }`
[INFO] [stdout] 9ceed22fe72f798c5771df54cd73f256c849b943ed20538c6b92d2fd9a65e533
[INFO] running `Command { std: "docker" "start" "-a" "9ceed22fe72f798c5771df54cd73f256c849b943ed20538c6b92d2fd9a65e533", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.140
[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 regex-syntax v0.6.28
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling indexmap v1.9.2
[INFO] [stderr]    Compiling log v0.4.17
[INFO] [stderr]    Compiling hashbrown v0.12.3
[INFO] [stderr]    Compiling siphasher v0.3.10
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling either v1.8.1
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.4
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling lock_api v0.4.9
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling once_cell v1.17.1
[INFO] [stderr]    Compiling phf_shared v0.10.0
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling ena v0.14.1
[INFO] [stderr]    Compiling unicode-xid v0.2.4
[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 petgraph v0.6.3
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling atty v0.2.14
[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]    Compiling 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 (/opt/rustwide/workdir)
[INFO] [stdout] error: unexpected `cfg` condition name: `rustfmt`
[INFO] [stdout]   --> /opt/rustwide/target/debug/build/higher-order-unification-7436e5742915d018/out/parser.rs:11:12
[INFO] [stdout]    |
[INFO] [stdout] 11 | #[cfg_attr(rustfmt, rustfmt_skip)]
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: expected names are: `debug_assertions`, `doc`, `doctest`, `feature`, `miri`, `overflow_checks`, `panic`, `proc_macro`, `relocation_model`, `sanitize`, `sanitizer_cfi_generalize_pointers`, `sanitizer_cfi_normalize_integers`, `target_abi`, `target_arch`, `target_endian`, `target_env`, `target_family`, `target_feature`, `target_has_atomic`, `target_has_atomic_equal_alignment`, `target_has_atomic_load_store`, `target_os`, `target_pointer_width`, `target_thread_local`, `target_vendor`, `test`, `unix`, `windows`
[INFO] [stdout]    = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(rustfmt)");` to the top of a `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout]    = note: requested on the command line with `-D unexpected-cfgs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `rustfmt`
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/higher-order-unification-7436e5742915d018/out/parser.rs:1087:12
[INFO] [stdout]      |
[INFO] [stdout] 1087 | #[cfg_attr(rustfmt, rustfmt_skip)]
[INFO] [stdout]      |            ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(rustfmt)");` to the top of a `build.rs`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `rustfmt`
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/higher-order-unification-7436e5742915d018/out/parser.rs:2193:12
[INFO] [stdout]      |
[INFO] [stdout] 2193 | #[cfg_attr(rustfmt, rustfmt_skip)]
[INFO] [stdout]      |            ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(rustfmt)");` to the top of a `build.rs`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `rustfmt`
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/higher-order-unification-7436e5742915d018/out/parser.rs:3255:12
[INFO] [stdout]      |
[INFO] [stdout] 3255 | #[cfg_attr(rustfmt, rustfmt_skip)]
[INFO] [stdout]      |            ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(rustfmt)");` to the top of a `build.rs`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `rustfmt`
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/higher-order-unification-7436e5742915d018/out/parser.rs:4230:12
[INFO] [stdout]      |
[INFO] [stdout] 4230 | #[cfg_attr(rustfmt, rustfmt_skip)]
[INFO] [stdout]      |            ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(rustfmt)");` to the top of a `build.rs`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::util`
[INFO] [stdout]   --> src/lib.rs:59:9
[INFO] [stdout]    |
[INFO] [stdout] 59 |     use crate::util;
[INFO] [stdout]    |         ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: consider adding a `#[cfg(test)]` to the containing module
[INFO] [stdout]   --> src/lib.rs:53:1
[INFO] [stdout]    |
[INFO] [stdout] 53 | mod tests {
[INFO] [stdout]    | ^^^^^^^^^
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `parse_constraint`, `parse_term`
[INFO] [stdout]   --> src/lib.rs:60:24
[INFO] [stdout]    |
[INFO] [stdout] 60 |     use crate::parse::{parse_constraint, parse_problem, parse_term, parse_type};
[INFO] [stdout]    |                        ^^^^^^^^^^^^^^^^                 ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: consider adding a `#[cfg(test)]` to the containing module
[INFO] [stdout]   --> src/lib.rs:53:1
[INFO] [stdout]    |
[INFO] [stdout] 53 | mod tests {
[INFO] [stdout]    | ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `rustfmt`
[INFO] [stdout]   --> /opt/rustwide/target/debug/build/higher-order-unification-7436e5742915d018/out/parser.rs:11:12
[INFO] [stdout]    |
[INFO] [stdout] 11 | #[cfg_attr(rustfmt, rustfmt_skip)]
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: expected names are: `debug_assertions`, `doc`, `doctest`, `feature`, `miri`, `overflow_checks`, `panic`, `proc_macro`, `relocation_model`, `sanitize`, `sanitizer_cfi_generalize_pointers`, `sanitizer_cfi_normalize_integers`, `target_abi`, `target_arch`, `target_endian`, `target_env`, `target_family`, `target_feature`, `target_has_atomic`, `target_has_atomic_equal_alignment`, `target_has_atomic_load_store`, `target_os`, `target_pointer_width`, `target_thread_local`, `target_vendor`, `test`, `unix`, `windows`
[INFO] [stdout]    = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(rustfmt)");` to the top of a `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout]    = note: requested on the command line with `-D unexpected-cfgs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `rustfmt`
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/higher-order-unification-7436e5742915d018/out/parser.rs:1087:12
[INFO] [stdout]      |
[INFO] [stdout] 1087 | #[cfg_attr(rustfmt, rustfmt_skip)]
[INFO] [stdout]      |            ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(rustfmt)");` to the top of a `build.rs`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `rustfmt`
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/higher-order-unification-7436e5742915d018/out/parser.rs:2193:12
[INFO] [stdout]      |
[INFO] [stdout] 2193 | #[cfg_attr(rustfmt, rustfmt_skip)]
[INFO] [stdout]      |            ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(rustfmt)");` to the top of a `build.rs`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `rustfmt`
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/higher-order-unification-7436e5742915d018/out/parser.rs:3255:12
[INFO] [stdout]      |
[INFO] [stdout] 3255 | #[cfg_attr(rustfmt, rustfmt_skip)]
[INFO] [stdout]      |            ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(rustfmt)");` to the top of a `build.rs`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `rustfmt`
[INFO] [stdout]     --> /opt/rustwide/target/debug/build/higher-order-unification-7436e5742915d018/out/parser.rs:4230:12
[INFO] [stdout]      |
[INFO] [stdout] 4230 | #[cfg_attr(rustfmt, rustfmt_skip)]
[INFO] [stdout]      |            ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(rustfmt)");` to the top of a `build.rs`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[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<Term>) {
[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<String, Type>) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 118 |     pub fn binding_index(&self, bindings: &Term) -> Option<usize> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 132 |     pub fn number_of_constants(&self, bounded: HashSet<String>) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 157 |     pub fn number_of_unique_params(&self, bounded: HashSet<String>) -> HashSet<String> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 184 |     pub fn number_of_params(&self, bounded: HashSet<String>) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 203 |     pub fn number_of_swaps(&self, bounded: HashSet<String>) -> Vec<usize> {
[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<String, Vec<String>>) -> Solution {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 277 |     pub fn name_map(self, name_map: &HashMap<String, Vec<String>>) -> 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<Problem> {
[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<Vec<Constraint>> {
[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<Substitution> {
[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<Substitution> {
[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 `new` is never used
[INFO] [stdout]    --> /opt/rustwide/target/debug/build/higher-order-unification-7436e5742915d018/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-7436e5742915d018/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-7436e5742915d018/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-7436e5742915d018/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-7436e5742915d018/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>) -> 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<Solution, SolutionSet> {
[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] error: aborting due to 5 previous errors; 47 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `higher-order-unification` (lib) due to 6 previous errors; 47 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: aborting due to 5 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `higher-order-unification` (lib test) due to 6 previous errors
[INFO] running `Command { std: "docker" "inspect" "9ceed22fe72f798c5771df54cd73f256c849b943ed20538c6b92d2fd9a65e533", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9ceed22fe72f798c5771df54cd73f256c849b943ed20538c6b92d2fd9a65e533", kill_on_drop: false }`
[INFO] [stdout] 9ceed22fe72f798c5771df54cd73f256c849b943ed20538c6b92d2fd9a65e533
