[INFO] cloning repository https://github.com/philzook58/microeggpy
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/philzook58/microeggpy" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fphilzook58%2Fmicroeggpy", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fphilzook58%2Fmicroeggpy'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 40c3adb1970a712745382b4a4856df871d28fabb
[INFO] checking philzook58/microeggpy against 895980e0290783bb09b1ccf1b11f14eb09b10430 for pr-160186
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fphilzook58%2Fmicroeggpy" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/philzook58/microeggpy
[INFO] finished tweaking git repo https://github.com/philzook58/microeggpy
[INFO] tweaked toml for git repo https://github.com/philzook58/microeggpy written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/philzook58/microeggpy on toolchain 895980e0290783bb09b1ccf1b11f14eb09b10430
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+895980e0290783bb09b1ccf1b11f14eb09b10430" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/philzook58/microeggpy 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" "+895980e0290783bb09b1ccf1b11f14eb09b10430" "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/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 5fb42a5700ef36946dd32da57d70e759bcf981099a1a7275f178aa0fa75269ee
[INFO] running `Command { std: "docker" "start" "5fb42a5700ef36946dd32da57d70e759bcf981099a1a7275f178aa0fa75269ee", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5fb42a5700ef36946dd32da57d70e759bcf981099a1a7275f178aa0fa75269ee", 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" "5fb42a5700ef36946dd32da57d70e759bcf981099a1a7275f178aa0fa75269ee" "/opt/rustwide/cargo-home/bin/cargo" "+895980e0290783bb09b1ccf1b11f14eb09b10430" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5fb42a5700ef36946dd32da57d70e759bcf981099a1a7275f178aa0fa75269ee", 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" "5fb42a5700ef36946dd32da57d70e759bcf981099a1a7275f178aa0fa75269ee" "/opt/rustwide/cargo-home/bin/cargo" "+895980e0290783bb09b1ccf1b11f14eb09b10430" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]    Compiling unicode-ident v1.0.23
[INFO] [stderr]    Compiling target-lexicon v0.13.4
[INFO] [stderr]    Compiling libc v0.2.182
[INFO] [stderr]    Compiling zerocopy v0.8.48
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]     Checking memchr v2.8.0
[INFO] [stderr]     Checking plotters-backend v0.3.7
[INFO] [stderr]     Checking ciborium-io v0.2.2
[INFO] [stderr]     Checking tap v1.0.1
[INFO] [stderr]     Checking clap_builder v4.6.0
[INFO] [stderr]     Checking regex-automata v0.4.14
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking cast v0.3.0
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]     Checking wyz v0.5.1
[INFO] [stderr]     Checking funty v2.0.0
[INFO] [stderr]     Checking unindent v0.2.4
[INFO] [stderr]     Checking serde_json v1.0.149
[INFO] [stderr]     Checking indexmap v2.14.0
[INFO] [stderr]     Checking oorandom v11.1.5
[INFO] [stderr]     Checking anes v0.1.6
[INFO] [stderr]     Checking plotters-svg v0.3.7
[INFO] [stderr]     Checking plotters v0.3.7
[INFO] [stderr]    Compiling pyo3-build-config v0.27.2
[INFO] [stderr]    Compiling syn v2.0.115
[INFO] [stderr]     Checking bitvec v1.0.1
[INFO] [stderr]     Checking rayon v1.12.0
[INFO] [stderr]     Checking page_size v0.6.0
[INFO] [stderr]     Checking criterion-plot v0.8.2
[INFO] [stderr]     Checking clap v4.6.1
[INFO] [stderr]     Checking regex v1.12.3
[INFO] [stderr]    Compiling pyo3-ffi v0.27.2
[INFO] [stderr]    Compiling pyo3-macros-backend v0.27.2
[INFO] [stderr]    Compiling pyo3 v0.27.2
[INFO] [stderr]    Compiling zerocopy-derive v0.8.48
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]     Checking tinytemplate v1.2.1
[INFO] [stderr]    Compiling pyo3-macros v0.27.2
[INFO] [stderr]     Checking half v2.7.1
[INFO] [stderr]     Checking ciborium-ll v0.2.2
[INFO] [stderr]     Checking ciborium v0.2.2
[INFO] [stderr]     Checking microegg v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking criterion v0.8.2
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/coegraph.rs:195:32
[INFO] [stdout]     |
[INFO] [stdout] 195 |                 Node::FixVar { body } => panic!(
[INFO] [stdout]     |                                ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/coegraph.rs:309:36
[INFO] [stdout]     |
[INFO] [stdout] 309 |                     Node::FixVar { body } => panic!("unpimplemed"),
[INFO] [stdout]     |                                    ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `f`
[INFO] [stdout]    --> src/thin.rs:401:28
[INFO] [stdout]     |
[INFO] [stdout] 401 |                 (Term::App(f, x), Node::App(f1, x1)) => {}
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_f`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/thin.rs:401:31
[INFO] [stdout]     |
[INFO] [stdout] 401 |                 (Term::App(f, x), Node::App(f1, x1)) => {}
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `f1`
[INFO] [stdout]    --> src/thin.rs:401:45
[INFO] [stdout]     |
[INFO] [stdout] 401 |                 (Term::App(f, x), Node::App(f1, x1)) => {}
[INFO] [stdout]     |                                             ^^ help: if this is intentional, prefix it with an underscore: `_f1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x1`
[INFO] [stdout]    --> src/thin.rs:401:49
[INFO] [stdout]     |
[INFO] [stdout] 401 |                 (Term::App(f, x), Node::App(f1, x1)) => {}
[INFO] [stdout]     |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_x1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `l`
[INFO] [stdout]    --> src/thin.rs:403:28
[INFO] [stdout]     |
[INFO] [stdout] 403 |                 (Term::Lit(l), Node::Lit(l1)) => {}
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `l1`
[INFO] [stdout]    --> src/thin.rs:403:42
[INFO] [stdout]     |
[INFO] [stdout] 403 |                 (Term::Lit(l), Node::Lit(l1)) => {}
[INFO] [stdout]     |                                          ^^ help: if this is intentional, prefix it with an underscore: `_l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/thin.rs:404:28
[INFO] [stdout]     |
[INFO] [stdout] 404 |                 (Term::Var(v), Node::Var) => {}
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Id` is never used
[INFO] [stdout]  --> src/coegraph.rs:2:10
[INFO] [stdout]   |
[INFO] [stdout] 2 | pub type Id = usize;
[INFO] [stdout]   |          ^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Name` is never used
[INFO] [stdout]  --> src/coegraph.rs:4:6
[INFO] [stdout]   |
[INFO] [stdout] 4 | type Name = String;
[INFO] [stdout]   |      ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Node` is never used
[INFO] [stdout]  --> src/coegraph.rs:6:10
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub enum Node {
[INFO] [stdout]   |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `EGraph` is never constructed
[INFO] [stdout]   --> src/coegraph.rs:18:12
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub struct EGraph {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Term` is never used
[INFO] [stdout]   --> src/coegraph.rs:28:10
[INFO] [stdout]    |
[INFO] [stdout] 28 | pub enum Term {
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Subst` is never used
[INFO] [stdout]   --> src/coegraph.rs:34:10
[INFO] [stdout]    |
[INFO] [stdout] 34 | pub type Subst = HashMap<Name, Id>;
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple methods are never used
[INFO] [stdout]    --> src/coegraph.rs:37:12
[INFO] [stdout]     |
[INFO] [stdout]  36 | impl EGraph {
[INFO] [stdout]     | ----------- methods in this implementation
[INFO] [stdout]  37 |     pub fn nodes_in_class(&self, class: Id) -> impl Iterator<Item = &Node> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  49 |     pub fn add_term(&mut self, term: &Term, subst: &Subst) -> Id {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  59 |     pub fn add_node(&mut self, node: Node) -> Id {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  74 |     fn fix(&mut self, name: Name, body: &Term) -> Id {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout]  89 |     pub fn app(&mut self, f: &str, args: Vec<Id>) -> Id {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout]  97 |     pub fn union(&mut self, a: Id, b: Id) {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 111 |     pub fn find(&self, mut a: Id) -> Id {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 118 |     pub fn is_eq(&self, a: Id, b: Id) -> bool {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 122 |     pub fn canonicalize_node(&self, node: &Node) -> Node {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 134 |     pub fn num_classes(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 168 |     pub fn rebuild(&mut self) {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 186 |     fn compact(&self) -> Self {
[INFO] [stdout]     |        ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 210 |     pub fn ematch(&self, pat: &Term, class: Id) -> Vec<Subst> {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 213 |     pub fn ematch_rec(&self, depth: usize, pat: &Term, class: Id, mut subst: Subst) -> Vec<Subst> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 260 |     pub fn apply_rules(&mut self, eclass: Id, rules: &[(Term, Term)]) {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 271 |     pub fn run(&mut self, rules: &[(Term, Term)], n: usize) {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 282 |     pub fn extract(&self, class: Id) -> (usize, Term) {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Id` is never used
[INFO] [stdout]  --> src/prolog.rs:4:6
[INFO] [stdout]   |
[INFO] [stdout] 4 | type Id = usize;
[INFO] [stdout]   |      ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Node` is never used
[INFO] [stdout]  --> src/prolog.rs:9:6
[INFO] [stdout]   |
[INFO] [stdout] 9 | enum Node {
[INFO] [stdout]   |      ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Branch` is never constructed
[INFO] [stdout]   --> src/prolog.rs:19:8
[INFO] [stdout]    |
[INFO] [stdout] 19 | struct Branch {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `State` is never constructed
[INFO] [stdout]   --> src/prolog.rs:29:8
[INFO] [stdout]    |
[INFO] [stdout] 29 | struct State {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `app`, `lit`, and `run` are never used
[INFO] [stdout]   --> src/prolog.rs:36:12
[INFO] [stdout]    |
[INFO] [stdout] 35 | impl State {
[INFO] [stdout]    | ---------- methods in this implementation
[INFO] [stdout] 36 |     pub fn app(&mut self, f: Id, x: Id) -> Id {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 39 |     pub fn lit(&mut self, name: impl AsRef<str>) -> Id {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 47 |     fn run(&mut self) {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `union` is never used
[INFO] [stdout]    --> src/pthin.rs:293:8
[INFO] [stdout]     |
[INFO] [stdout] 221 | impl EGraph {
[INFO] [stdout]     | ----------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 293 |     fn union(&mut self, a: &Id, b: &Id) -> bool {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `is_ge` and `all_comm_triangles` are never used
[INFO] [stdout]    --> src/thin.rs:106:8
[INFO] [stdout]     |
[INFO] [stdout]  10 | impl Thin {
[INFO] [stdout]     | --------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 106 |     fn is_ge(&self, other: &Thin) -> bool {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 113 |     fn all_comm_triangles(&self, other: &Thin) -> Vec<Thin> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `all_liftable_node_ids` and `ematch` are never used
[INFO] [stdout]    --> src/thin.rs:365:8
[INFO] [stdout]     |
[INFO] [stdout] 233 | impl EGraph {
[INFO] [stdout]     | ----------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 365 |     fn all_liftable_node_ids(&self, id0: &Id) -> Vec<Id> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 396 |     fn ematch(&self, pat: &Term, id: &Id) -> Vec<()> {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_subseq` is never used
[INFO] [stdout]    --> src/thin.rs:662:12
[INFO] [stdout]     |
[INFO] [stdout] 662 |     pub fn is_subseq<T: Eq>(big: &[T], small: &[T]) -> Option<Thin> {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `apply_thin` is never used
[INFO] [stdout]    --> src/thin.rs:681:12
[INFO] [stdout]     |
[INFO] [stdout] 681 |     pub fn apply_thin<T: Clone>(thin: &Thin, big: &[T]) -> Vec<T> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `common_minctx` is never used
[INFO] [stdout]    --> src/thin.rs:691:12
[INFO] [stdout]     |
[INFO] [stdout] 691 |     pub fn common_minctx<T: Eq + Clone + Debug>(
[INFO] [stdout]     |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/coegraph.rs:195:32
[INFO] [stdout]     |
[INFO] [stdout] 195 |                 Node::FixVar { body } => panic!(
[INFO] [stdout]     |                                ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/coegraph.rs:309:36
[INFO] [stdout]     |
[INFO] [stdout] 309 |                     Node::FixVar { body } => panic!("unpimplemed"),
[INFO] [stdout]     |                                    ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `f`
[INFO] [stdout]    --> src/thin.rs:401:28
[INFO] [stdout]     |
[INFO] [stdout] 401 |                 (Term::App(f, x), Node::App(f1, x1)) => {}
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_f`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/thin.rs:401:31
[INFO] [stdout]     |
[INFO] [stdout] 401 |                 (Term::App(f, x), Node::App(f1, x1)) => {}
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `f1`
[INFO] [stdout]    --> src/thin.rs:401:45
[INFO] [stdout]     |
[INFO] [stdout] 401 |                 (Term::App(f, x), Node::App(f1, x1)) => {}
[INFO] [stdout]     |                                             ^^ help: if this is intentional, prefix it with an underscore: `_f1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x1`
[INFO] [stdout]    --> src/thin.rs:401:49
[INFO] [stdout]     |
[INFO] [stdout] 401 |                 (Term::App(f, x), Node::App(f1, x1)) => {}
[INFO] [stdout]     |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_x1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `l`
[INFO] [stdout]    --> src/thin.rs:403:28
[INFO] [stdout]     |
[INFO] [stdout] 403 |                 (Term::Lit(l), Node::Lit(l1)) => {}
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `l1`
[INFO] [stdout]    --> src/thin.rs:403:42
[INFO] [stdout]     |
[INFO] [stdout] 403 |                 (Term::Lit(l), Node::Lit(l1)) => {}
[INFO] [stdout]     |                                          ^^ help: if this is intentional, prefix it with an underscore: `_l1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/thin.rs:404:28
[INFO] [stdout]     |
[INFO] [stdout] 404 |                 (Term::Var(v), Node::Var) => {}
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x1`
[INFO] [stdout]    --> src/thin.rs:488:13
[INFO] [stdout]     |
[INFO] [stdout] 488 |         let x1 = g.add_term(&["x".to_string()], &Term::Var("x".to_string()));
[INFO] [stdout]     |             ^^ help: if this is intentional, prefix it with an underscore: `_x1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `FixVar` is never constructed
[INFO] [stdout]  --> src/coegraph.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub enum Node {
[INFO] [stdout]   |          ---- variant in this enum
[INFO] [stdout] 7 |     App { f: Name, args: Vec<Id> }, // is_constr / is_guard / is_productive : bool
[INFO] [stdout] 8 |     FixVar { body: Id },
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Node` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Var` is never constructed
[INFO] [stdout]   --> src/coegraph.rs:29:5
[INFO] [stdout]    |
[INFO] [stdout] 28 | pub enum Term {
[INFO] [stdout]    |          ---- variant in this enum
[INFO] [stdout] 29 |     Var(Name),
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple methods are never used
[INFO] [stdout]    --> src/coegraph.rs:37:12
[INFO] [stdout]     |
[INFO] [stdout]  36 | impl EGraph {
[INFO] [stdout]     | ----------- methods in this implementation
[INFO] [stdout]  37 |     pub fn nodes_in_class(&self, class: Id) -> impl Iterator<Item = &Node> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  74 |     fn fix(&mut self, name: Name, body: &Term) -> Id {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout]  89 |     pub fn app(&mut self, f: &str, args: Vec<Id>) -> Id {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout]  97 |     pub fn union(&mut self, a: Id, b: Id) {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 118 |     pub fn is_eq(&self, a: Id, b: Id) -> bool {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 134 |     pub fn num_classes(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 168 |     pub fn rebuild(&mut self) {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 186 |     fn compact(&self) -> Self {
[INFO] [stdout]     |        ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 210 |     pub fn ematch(&self, pat: &Term, class: Id) -> Vec<Subst> {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 213 |     pub fn ematch_rec(&self, depth: usize, pat: &Term, class: Id, mut subst: Subst) -> Vec<Subst> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 260 |     pub fn apply_rules(&mut self, eclass: Id, rules: &[(Term, Term)]) {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 271 |     pub fn run(&mut self, rules: &[(Term, Term)], n: usize) {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 282 |     pub fn extract(&self, class: Id) -> (usize, Term) {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Id` is never used
[INFO] [stdout]  --> src/prolog.rs:4:6
[INFO] [stdout]   |
[INFO] [stdout] 4 | type Id = usize;
[INFO] [stdout]   |      ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Node` is never used
[INFO] [stdout]  --> src/prolog.rs:9:6
[INFO] [stdout]   |
[INFO] [stdout] 9 | enum Node {
[INFO] [stdout]   |      ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Branch` is never constructed
[INFO] [stdout]   --> src/prolog.rs:19:8
[INFO] [stdout]    |
[INFO] [stdout] 19 | struct Branch {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `State` is never constructed
[INFO] [stdout]   --> src/prolog.rs:29:8
[INFO] [stdout]    |
[INFO] [stdout] 29 | struct State {
[INFO] [stdout]    |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `app`, `lit`, and `run` are never used
[INFO] [stdout]   --> src/prolog.rs:36:12
[INFO] [stdout]    |
[INFO] [stdout] 35 | impl State {
[INFO] [stdout]    | ---------- methods in this implementation
[INFO] [stdout] 36 |     pub fn app(&mut self, f: Id, x: Id) -> Id {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 39 |     pub fn lit(&mut self, name: impl AsRef<str>) -> Id {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 47 |     fn run(&mut self) {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `is_ge` is never used
[INFO] [stdout]    --> src/thin.rs:106:8
[INFO] [stdout]     |
[INFO] [stdout]  10 | impl Thin {
[INFO] [stdout]     | --------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 106 |     fn is_ge(&self, other: &Thin) -> bool {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `ematch` is never used
[INFO] [stdout]    --> src/thin.rs:396:8
[INFO] [stdout]     |
[INFO] [stdout] 233 | impl EGraph {
[INFO] [stdout]     | ----------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 396 |     fn ematch(&self, pat: &Term, id: &Id) -> Vec<()> {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_subseq` is never used
[INFO] [stdout]    --> src/thin.rs:662:12
[INFO] [stdout]     |
[INFO] [stdout] 662 |     pub fn is_subseq<T: Eq>(big: &[T], small: &[T]) -> Option<Thin> {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `apply_thin` is never used
[INFO] [stdout]    --> src/thin.rs:681:12
[INFO] [stdout]     |
[INFO] [stdout] 681 |     pub fn apply_thin<T: Clone>(thin: &Thin, big: &[T]) -> Vec<T> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `common_minctx` is never used
[INFO] [stdout]    --> src/thin.rs:691:12
[INFO] [stdout]     |
[INFO] [stdout] 691 |     pub fn common_minctx<T: Eq + Clone + Debug>(
[INFO] [stdout]     |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: unused dependency `bitvec`
[INFO] [stderr]  --> Cargo.toml:6:1
[INFO] [stderr]   |
[INFO] [stderr] 6 | bitvec = "1.0.1"
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `bitvec`
[INFO] [stderr] warning: `microegg` (manifest) generated 1 warning
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 33.91s
[INFO] running `Command { std: "docker" "inspect" "5fb42a5700ef36946dd32da57d70e759bcf981099a1a7275f178aa0fa75269ee", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5fb42a5700ef36946dd32da57d70e759bcf981099a1a7275f178aa0fa75269ee", kill_on_drop: false }`
[INFO] [stdout] 5fb42a5700ef36946dd32da57d70e759bcf981099a1a7275f178aa0fa75269ee
