[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 master#485ec3fbcc12fa14ef6596dabb125ad710499c9e for pr-157710
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHolgerGottChristensen%2Fhigher-order-unification" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[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-7-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/HolgerGottChristensen/higher-order-unification on toolchain 485ec3fbcc12fa14ef6596dabb125ad710499c9e
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+485ec3fbcc12fa14ef6596dabb125ad710499c9e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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" "+485ec3fbcc12fa14ef6596dabb125ad710499c9e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded getrandom v0.2.8
[INFO] [stderr]   Downloaded once_cell v1.17.1
[INFO] [stderr]   Downloaded regex v1.7.1
[INFO] [stderr]   Downloaded lalrpop-util v0.19.8
[INFO] [stderr]   Downloaded unicode-ident v1.0.8
[INFO] [stderr]   Downloaded paris v1.5.13
[INFO] [stderr]   Downloaded quote v1.0.26
[INFO] [stderr]   Downloaded thiserror-impl v1.0.39
[INFO] [stderr]   Downloaded aho-corasick v0.7.20
[INFO] [stderr]   Downloaded petgraph v0.6.3
[INFO] [stderr]   Downloaded lalrpop v0.19.8
[INFO] [stderr]   Downloaded redox_users v0.4.3
[INFO] [stderr]   Downloaded parking_lot_core v0.9.7
[INFO] [stderr]   Downloaded proc-macro2 v1.0.52
[INFO] [stderr]   Downloaded lock_api v0.4.9
[INFO] [stderr]   Downloaded rustversion v1.0.12
[INFO] [stderr]   Downloaded regex-syntax v0.6.28
[INFO] [stderr]   Downloaded thiserror v1.0.39
[INFO] [stderr]   Downloaded ena v0.14.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3a6becf2bc8dde7f3fa57ede90e4f284e72d296796fc446bbb1e2c7cc0530151" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] dbe0298968615d231dd04e2a73714cc61270fb9bfe3847f7d793b9335f3abbda
[INFO] running `Command { std: "docker" "start" "dbe0298968615d231dd04e2a73714cc61270fb9bfe3847f7d793b9335f3abbda", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "dbe0298968615d231dd04e2a73714cc61270fb9bfe3847f7d793b9335f3abbda" "/opt/rustwide/cargo-home/bin/cargo" "+485ec3fbcc12fa14ef6596dabb125ad710499c9e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "dbe0298968615d231dd04e2a73714cc61270fb9bfe3847f7d793b9335f3abbda", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "dbe0298968615d231dd04e2a73714cc61270fb9bfe3847f7d793b9335f3abbda" "/opt/rustwide/cargo-home/bin/cargo" "+485ec3fbcc12fa14ef6596dabb125ad710499c9e" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.140
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling parking_lot_core v0.9.7
[INFO] [stderr]    Compiling smallvec v1.10.0
[INFO] [stderr]    Compiling log v0.4.17
[INFO] [stderr]    Compiling scopeguard v1.1.0
[INFO] [stderr]    Compiling hashbrown v0.12.3
[INFO] [stderr]    Compiling siphasher v0.3.10
[INFO] [stderr]    Compiling regex-syntax v0.6.28
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling either v1.8.1
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling lock_api v0.4.9
[INFO] [stderr]    Compiling indexmap v1.9.2
[INFO] [stderr]    Compiling once_cell v1.17.1
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.4
[INFO] [stderr]    Compiling diff v0.1.13
[INFO] [stderr]    Compiling pico-args v0.4.2
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling phf_shared v0.10.0
[INFO] [stderr]    Compiling unicode-xid v0.2.4
[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]     Checking aho-corasick v0.7.20
[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 petgraph v0.6.3
[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]    Compiling 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: if this is a test module, 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)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `parse_constraint` and `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: if this is a test module, 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)]` (part of `#[warn(unused)]`) 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: struct `Context` is never constructed
[INFO] [stdout]   --> src/datatype.rs:30:12
[INFO] [stdout]    |
[INFO] [stdout] 30 | pub struct Context {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Substitution` is never constructed
[INFO] [stdout]   --> src/datatype.rs:44:12
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub struct Substitution {
[INFO] [stdout]    |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Solution` is never constructed
[INFO] [stdout]   --> src/datatype.rs:53:12
[INFO] [stdout]    |
[INFO] [stdout] 53 | pub struct Solution(pub Vec<Substitution>);
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `SolutionSet` is never constructed
[INFO] [stdout]   --> src/datatype.rs:56:12
[INFO] [stdout]    |
[INFO] [stdout] 56 | pub struct SolutionSet(pub Vec<Solution>);
[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-59fbec151f79a6dd/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-59fbec151f79a6dd/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-59fbec151f79a6dd/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-59fbec151f79a6dd/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-59fbec151f79a6dd/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: method `print` is never used
[INFO] [stdout]   --> src/print.rs:60:12
[INFO] [stdout]    |
[INFO] [stdout] 59 | impl Substitution {
[INFO] [stdout]    | ----------------- method in this implementation
[INFO] [stdout] 60 |     pub fn print(&self) -> String {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `PrintHelper` is never constructed
[INFO] [stdout]   --> src/print.rs:98:8
[INFO] [stdout]    |
[INFO] [stdout] 98 | struct PrintHelper(String);
[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] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 20.74s
[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 8`
[INFO] running `Command { std: "docker" "inspect" "dbe0298968615d231dd04e2a73714cc61270fb9bfe3847f7d793b9335f3abbda", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dbe0298968615d231dd04e2a73714cc61270fb9bfe3847f7d793b9335f3abbda", kill_on_drop: false }`
[INFO] [stdout] dbe0298968615d231dd04e2a73714cc61270fb9bfe3847f7d793b9335f3abbda
