[INFO] fetching crate tree-automata 0.1.2...
[INFO] testing tree-automata-0.1.2 against try#c2e32f1c9652b13ed99608599c1e855462f421f3 for pr-146098-8
[INFO] extracting crate tree-automata 0.1.2 into /workspace/builds/worker-0-tc2/source
[INFO] started tweaking crates.io crate tree-automata 0.1.2
[INFO] finished tweaking crates.io crate tree-automata 0.1.2
[INFO] tweaked toml for crates.io crate tree-automata 0.1.2 written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate tree-automata 0.1.2 on toolchain c2e32f1c9652b13ed99608599c1e855462f421f3
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate tree-automata 0.1.2 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" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 59367ae380456166d4f68a8fef999d29483bfe1325024b677d3949d575e71d06
[INFO] running `Command { std: "docker" "start" "-a" "59367ae380456166d4f68a8fef999d29483bfe1325024b677d3949d575e71d06", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "59367ae380456166d4f68a8fef999d29483bfe1325024b677d3949d575e71d06", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "59367ae380456166d4f68a8fef999d29483bfe1325024b677d3949d575e71d06", kill_on_drop: false }`
[INFO] [stdout] 59367ae380456166d4f68a8fef999d29483bfe1325024b677d3949d575e71d06
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b244e2cc9a103f3aebc73a1939e2c41cf5c1f433a5066159c4877a4ac5d8e8e3
[INFO] running `Command { std: "docker" "start" "-a" "b244e2cc9a103f3aebc73a1939e2c41cf5c1f433a5066159c4877a4ac5d8e8e3", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.76
[INFO] [stderr]    Compiling getrandom v0.1.14
[INFO] [stderr]    Compiling ppv-lite86 v0.2.9
[INFO] [stderr]    Compiling crossbeam-utils v0.7.2
[INFO] [stderr]    Compiling crossbeam-channel v0.4.3
[INFO] [stderr]    Compiling rand_core v0.5.1
[INFO] [stderr]    Compiling rand_chacha v0.2.2
[INFO] [stderr]    Compiling rand v0.7.3
[INFO] [stderr]    Compiling terms v0.1.2
[INFO] [stderr]    Compiling tree-automata v0.1.2 (/opt/rustwide/workdir)
[INFO] [stdout] warning: trait `Inter` is never used
[INFO] [stdout]  --> src/inter.rs:6:7
[INFO] [stdout]   |
[INFO] [stdout] 6 | trait Inter<F>: Language<F> {
[INFO] [stdout]   |       ^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `configurations` is never used
[INFO] [stdout]   --> src/inter.rs:39:8
[INFO] [stdout]    |
[INFO] [stdout] 32 | impl<Q: Clone> Product<Q> {
[INFO] [stdout]    | ------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 39 |     fn configurations<'a, F: Symbol, L: Label>(&'a self, automata: &'a [&'a Automaton<F, Q, L>]) -> ProductConfigurations<'a, F, Q, ...
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/bottom_up/mod.rs:160:19
[INFO] [stdout]     |
[INFO] [stdout] 160 |     pub fn states(&self) -> States<F, Q, L> {
[INFO] [stdout]     |                   ^^^^^     ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 160 |     pub fn states(&self) -> States<'_, F, Q, L> {
[INFO] [stdout]     |                                    +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/bottom_up/mod.rs:165:25
[INFO] [stdout]     |
[INFO] [stdout] 165 |     pub fn final_states(&self) -> hash_set::Iter<Q> {
[INFO] [stdout]     |                         ^^^^^     ^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 165 |     pub fn final_states(&self) -> hash_set::Iter<'_, Q> {
[INFO] [stdout]     |                                                  +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/bottom_up/mod.rs:182:24
[INFO] [stdout]     |
[INFO] [stdout] 182 |     pub fn transitions(&self) -> Transifions<F, Q, L> {
[INFO] [stdout]     |                        ^^^^^     ^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 182 |     pub fn transitions(&self) -> Transifions<'_, F, Q, L> {
[INFO] [stdout]     |                                              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/bottom_up/mod.rs:187:37
[INFO] [stdout]     |
[INFO] [stdout] 187 |     pub fn configurations_for_state(&self, q: &Q) -> Configurations<F, Q, L> {
[INFO] [stdout]     |                                     ^^^^^            ^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                     |
[INFO] [stdout]     |                                     the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 187 |     pub fn configurations_for_state(&self, q: &Q) -> Configurations<'_, F, Q, L> {
[INFO] [stdout]     |                                                                     +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/bottom_up/mod.rs:212:37
[INFO] [stdout]     |
[INFO] [stdout] 212 |     pub fn states_for_configuration(&self, conf: &Configuration<F, Q>) -> hash_set::Iter<Labeled<Q, L>> {
[INFO] [stdout]     |                                     ^^^^^ the lifetime is elided here     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 212 |     pub fn states_for_configuration(&self, conf: &Configuration<F, Q>) -> hash_set::Iter<'_, Labeled<Q, L>> {
[INFO] [stdout]     |                                                                                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/bottom_up/mod.rs:318:28
[INFO] [stdout]     |
[INFO] [stdout] 318 |     pub fn representatives(&self) -> Representatives<F, Q, L> {
[INFO] [stdout]     |                            ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                            |
[INFO] [stdout]     |                            the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 318 |     pub fn representatives(&self) -> Representatives<'_, F, Q, L> {
[INFO] [stdout]     |                                                      +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/alternating/mod.rs:32:19
[INFO] [stdout]    |
[INFO] [stdout] 32 |     pub fn states(&self) -> std::collections::hash_map::Keys<Q, HashMap<F, Clause<Q, I>>> {
[INFO] [stdout]    |                   ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                   |
[INFO] [stdout]    |                   the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 32 |     pub fn states(&self) -> std::collections::hash_map::Keys<'_, Q, HashMap<F, Clause<Q, I>>> {
[INFO] [stdout]    |                                                              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/alternating/mod.rs:36:30
[INFO] [stdout]    |
[INFO] [stdout] 36 |     pub fn clauses_for_state(&self, q: &Q) -> std::collections::hash_map::Iter<F, Clause<Q, I>> {
[INFO] [stdout]    |                              ^^^^^            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                              |
[INFO] [stdout]    |                              the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 36 |     pub fn clauses_for_state(&self, q: &Q) -> std::collections::hash_map::Iter<'_, F, Clause<Q, I>> {
[INFO] [stdout]    |                                                                                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 3.03s
[INFO] running `Command { std: "docker" "inspect" "b244e2cc9a103f3aebc73a1939e2c41cf5c1f433a5066159c4877a4ac5d8e8e3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b244e2cc9a103f3aebc73a1939e2c41cf5c1f433a5066159c4877a4ac5d8e8e3", kill_on_drop: false }`
[INFO] [stdout] b244e2cc9a103f3aebc73a1939e2c41cf5c1f433a5066159c4877a4ac5d8e8e3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ee476fc9293cd7c705aa497977c2de27178af060c4c2ac2e286213e05b9175eb
[INFO] running `Command { std: "docker" "start" "-a" "ee476fc9293cd7c705aa497977c2de27178af060c4c2ac2e286213e05b9175eb", kill_on_drop: false }`
[INFO] [stdout] warning: trait `Inter` is never used
[INFO] [stdout]  --> src/inter.rs:6:7
[INFO] [stdout]   |
[INFO] [stdout] 6 | trait Inter<F>: Language<F> {
[INFO] [stdout]   |       ^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `configurations` is never used
[INFO] [stdout]   --> src/inter.rs:39:8
[INFO] [stdout]    |
[INFO] [stdout] 32 | impl<Q: Clone> Product<Q> {
[INFO] [stdout]    | ------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 39 |     fn configurations<'a, F: Symbol, L: Label>(&'a self, automata: &'a [&'a Automaton<F, Q, L>]) -> ProductConfigurations<'a, F, Q, ...
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/bottom_up/mod.rs:160:19
[INFO] [stdout]     |
[INFO] [stdout] 160 |     pub fn states(&self) -> States<F, Q, L> {
[INFO] [stdout]     |                   ^^^^^     ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 160 |     pub fn states(&self) -> States<'_, F, Q, L> {
[INFO] [stdout]     |                                    +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/bottom_up/mod.rs:165:25
[INFO] [stdout]     |
[INFO] [stdout] 165 |     pub fn final_states(&self) -> hash_set::Iter<Q> {
[INFO] [stdout]     |                         ^^^^^     ^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 165 |     pub fn final_states(&self) -> hash_set::Iter<'_, Q> {
[INFO] [stdout]     |                                                  +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/bottom_up/mod.rs:182:24
[INFO] [stdout]     |
[INFO] [stdout] 182 |     pub fn transitions(&self) -> Transifions<F, Q, L> {
[INFO] [stdout]     |                        ^^^^^     ^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 182 |     pub fn transitions(&self) -> Transifions<'_, F, Q, L> {
[INFO] [stdout]     |                                              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/bottom_up/mod.rs:187:37
[INFO] [stdout]     |
[INFO] [stdout] 187 |     pub fn configurations_for_state(&self, q: &Q) -> Configurations<F, Q, L> {
[INFO] [stdout]     |                                     ^^^^^            ^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                     |
[INFO] [stdout]     |                                     the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 187 |     pub fn configurations_for_state(&self, q: &Q) -> Configurations<'_, F, Q, L> {
[INFO] [stdout]     |                                                                     +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/bottom_up/mod.rs:212:37
[INFO] [stdout]     |
[INFO] [stdout] 212 |     pub fn states_for_configuration(&self, conf: &Configuration<F, Q>) -> hash_set::Iter<Labeled<Q, L>> {
[INFO] [stdout]     |                                     ^^^^^ the lifetime is elided here     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 212 |     pub fn states_for_configuration(&self, conf: &Configuration<F, Q>) -> hash_set::Iter<'_, Labeled<Q, L>> {
[INFO] [stdout]     |                                                                                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling tree-automata v0.1.2 (/opt/rustwide/workdir)
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/bottom_up/mod.rs:318:28
[INFO] [stdout]     |
[INFO] [stdout] 318 |     pub fn representatives(&self) -> Representatives<F, Q, L> {
[INFO] [stdout]     |                            ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                            |
[INFO] [stdout]     |                            the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 318 |     pub fn representatives(&self) -> Representatives<'_, F, Q, L> {
[INFO] [stdout]     |                                                      +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/alternating/mod.rs:32:19
[INFO] [stdout]    |
[INFO] [stdout] 32 |     pub fn states(&self) -> std::collections::hash_map::Keys<Q, HashMap<F, Clause<Q, I>>> {
[INFO] [stdout]    |                   ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                   |
[INFO] [stdout]    |                   the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 32 |     pub fn states(&self) -> std::collections::hash_map::Keys<'_, Q, HashMap<F, Clause<Q, I>>> {
[INFO] [stdout]    |                                                              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/alternating/mod.rs:36:30
[INFO] [stdout]    |
[INFO] [stdout] 36 |     pub fn clauses_for_state(&self, q: &Q) -> std::collections::hash_map::Iter<F, Clause<Q, I>> {
[INFO] [stdout]    |                              ^^^^^            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                              |
[INFO] [stdout]    |                              the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 36 |     pub fn clauses_for_state(&self, q: &Q) -> std::collections::hash_map::Iter<'_, F, Clause<Q, I>> {
[INFO] [stdout]    |                                                                                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ta::Automaton`
[INFO] [stdout]  --> tests/search.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use ta::Automaton;
[INFO] [stdout]   |     ^^^^^^^^^^^^^ no `Automaton` in the root
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 5 - use ta::Automaton;
[INFO] [stdout] 5 + use ta::automaton;
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing one of these structs instead
[INFO] [stdout]   |
[INFO] [stdout] 5 - use ta::Automaton;
[INFO] [stdout] 5 + use crate::ta::alternating::Automaton;
[INFO] [stdout]   |
[INFO] [stdout] 5 - use ta::Automaton;
[INFO] [stdout] 5 + use crate::ta::bottom_up::Automaton;
[INFO] [stdout]   |
[INFO] [stdout] 5 - use ta::Automaton;
[INFO] [stdout] 5 + use tree_automata::alternating::Automaton;
[INFO] [stdout]   |
[INFO] [stdout] 5 - use ta::Automaton;
[INFO] [stdout] 5 + use tree_automata::bottom_up::Automaton;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Term`
[INFO] [stdout]  --> tests/search.rs:4:13
[INFO] [stdout]   |
[INFO] [stdout] 4 | use terms::{Term, Pattern};
[INFO] [stdout]   |             ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> tests/search.rs:11:34
[INFO] [stdout]    |
[INFO] [stdout] 11 |     let conf = Pattern::cons((), &[]);
[INFO] [stdout]    |                -------------     ^^^ expected `Vec<Pattern<(), _>>`, found `&[_; 0]`
[INFO] [stdout]    |                |
[INFO] [stdout]    |                arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<(), _>>`
[INFO] [stdout]            found reference `&[_; 0]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 11 |     let conf = Pattern::cons((), (&[]).to_vec());
[INFO] [stdout]    |                                  +   ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0308, E0432.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0308`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tree-automata` (test "search") due to 2 previous errors; 1 warning emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0432]: unresolved import `ta::Automaton`
[INFO] [stdout]  --> tests/construction.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use ta::Automaton;
[INFO] [stdout]   |     ^^^^^^^^^^^^^ no `Automaton` in the root
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 5 - use ta::Automaton;
[INFO] [stdout] 5 + use ta::automaton;
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing one of these structs instead
[INFO] [stdout]   |
[INFO] [stdout] 5 - use ta::Automaton;
[INFO] [stdout] 5 + use crate::ta::alternating::Automaton;
[INFO] [stdout]   |
[INFO] [stdout] 5 - use ta::Automaton;
[INFO] [stdout] 5 + use crate::ta::bottom_up::Automaton;
[INFO] [stdout]   |
[INFO] [stdout] 5 - use ta::Automaton;
[INFO] [stdout] 5 + use tree_automata::alternating::Automaton;
[INFO] [stdout]   |
[INFO] [stdout] 5 - use ta::Automaton;
[INFO] [stdout] 5 + use tree_automata::bottom_up::Automaton;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> tests/construction.rs:10:34
[INFO] [stdout]    |
[INFO] [stdout] 10 |     let conf = Pattern::cons((), &[]);
[INFO] [stdout]    |                -------------     ^^^ expected `Vec<Pattern<(), _>>`, found `&[_; 0]`
[INFO] [stdout]    |                |
[INFO] [stdout]    |                arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<(), _>>`
[INFO] [stdout]            found reference `&[_; 0]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 10 |     let conf = Pattern::cons((), (&[]).to_vec());
[INFO] [stdout]    |                                  +   ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> tests/construction.rs:22:28
[INFO] [stdout]    |
[INFO] [stdout] 22 |         Pattern::cons("f", &[]),
[INFO] [stdout]    |         -------------      ^^^ expected `Vec<Pattern<&str, _>>`, found `&[_; 0]`
[INFO] [stdout]    |         |
[INFO] [stdout]    |         arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<&str, _>>`
[INFO] [stdout]            found reference `&[_; 0]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 22 |         Pattern::cons("f", (&[]).to_vec()),
[INFO] [stdout]    |                            +   ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> tests/construction.rs:23:28
[INFO] [stdout]    |
[INFO] [stdout] 23 |         Pattern::cons("g", &[]),
[INFO] [stdout]    |         -------------      ^^^ expected `Vec<Pattern<&str, _>>`, found `&[_; 0]`
[INFO] [stdout]    |         |
[INFO] [stdout]    |         arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<&str, _>>`
[INFO] [stdout]            found reference `&[_; 0]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 23 |         Pattern::cons("g", (&[]).to_vec()),
[INFO] [stdout]    |                            +   ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> tests/construction.rs:24:28
[INFO] [stdout]    |
[INFO] [stdout] 24 |         Pattern::cons("h", &[]),
[INFO] [stdout]    |         -------------      ^^^ expected `Vec<Pattern<&str, _>>`, found `&[_; 0]`
[INFO] [stdout]    |         |
[INFO] [stdout]    |         arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<&str, _>>`
[INFO] [stdout]            found reference `&[_; 0]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 24 |         Pattern::cons("h", (&[]).to_vec()),
[INFO] [stdout]    |                            +   ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> tests/construction.rs:25:28
[INFO] [stdout]    |
[INFO] [stdout] 25 |         Pattern::cons("i", &[])
[INFO] [stdout]    |         -------------      ^^^ expected `Vec<Pattern<&str, _>>`, found `&[_; 0]`
[INFO] [stdout]    |         |
[INFO] [stdout]    |         arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<&str, _>>`
[INFO] [stdout]            found reference `&[_; 0]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 25 |         Pattern::cons("i", (&[]).to_vec())
[INFO] [stdout]    |                            +   ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0308, E0432.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0308`.
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ta::Automaton`
[INFO] [stdout]  --> examples/search.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use ta::Automaton;
[INFO] [stdout]   |     ^^^^^^^^^^^^^ no `Automaton` in the root
[INFO] [stdout]   |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]   |
[INFO] [stdout] 5 - use ta::Automaton;
[INFO] [stdout] 5 + use ta::automaton;
[INFO] [stdout]   |
[INFO] [stdout] help: consider importing one of these structs instead
[INFO] [stdout]   |
[INFO] [stdout] 5 - use ta::Automaton;
[INFO] [stdout] 5 + use crate::ta::alternating::Automaton;
[INFO] [stdout]   |
[INFO] [stdout] 5 - use ta::Automaton;
[INFO] [stdout] 5 + use crate::ta::bottom_up::Automaton;
[INFO] [stdout]   |
[INFO] [stdout] 5 - use ta::Automaton;
[INFO] [stdout] 5 + use tree_automata::alternating::Automaton;
[INFO] [stdout]   |
[INFO] [stdout] 5 - use ta::Automaton;
[INFO] [stdout] 5 + use tree_automata::bottom_up::Automaton;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tree-automata` (test "construction") due to 6 previous errors
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:10:30
[INFO] [stdout]    |
[INFO] [stdout] 10 |     a.add(Pattern::cons('a', &[]), (), "ab");
[INFO] [stdout]    |           -------------      ^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 0]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 0]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 10 |     a.add(Pattern::cons('a', (&[]).to_vec()), (), "ab");
[INFO] [stdout]    |                              +   ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:11:30
[INFO] [stdout]    |
[INFO] [stdout] 11 |     a.add(Pattern::cons('b', &[]), (), "ab");
[INFO] [stdout]    |           -------------      ^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 0]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 0]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 11 |     a.add(Pattern::cons('b', (&[]).to_vec()), (), "ab");
[INFO] [stdout]    |                              +   ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:12:30
[INFO] [stdout]    |
[INFO] [stdout] 12 |     a.add(Pattern::cons('b', &[]), (), "bc");
[INFO] [stdout]    |           -------------      ^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 0]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 0]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 12 |     a.add(Pattern::cons('b', (&[]).to_vec()), (), "bc");
[INFO] [stdout]    |                              +   ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:13:30
[INFO] [stdout]    |
[INFO] [stdout] 13 |     a.add(Pattern::cons('c', &[]), (), "bc");
[INFO] [stdout]    |           -------------      ^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 0]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 0]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 13 |     a.add(Pattern::cons('c', (&[]).to_vec()), (), "bc");
[INFO] [stdout]    |                              +   ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:15:54
[INFO] [stdout]    |
[INFO] [stdout] 15 |     assert!(a.configurations_for(&Pattern::cons('a', &[])).next().is_some());
[INFO] [stdout]    |                                   -------------      ^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 0]`
[INFO] [stdout]    |                                   |
[INFO] [stdout]    |                                   arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 0]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 15 |     assert!(a.configurations_for(&Pattern::cons('a', (&[]).to_vec())).next().is_some());
[INFO] [stdout]    |                                                      +   ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:16:54
[INFO] [stdout]    |
[INFO] [stdout] 16 |     assert!(a.configurations_for(&Pattern::cons('a', &[])).next().is_some());
[INFO] [stdout]    |                                   -------------      ^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 0]`
[INFO] [stdout]    |                                   |
[INFO] [stdout]    |                                   arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 0]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 16 |     assert!(a.configurations_for(&Pattern::cons('a', (&[]).to_vec())).next().is_some());
[INFO] [stdout]    |                                                      +   ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:17:54
[INFO] [stdout]    |
[INFO] [stdout] 17 |     assert!(a.configurations_for(&Pattern::cons('a', &[])).next().is_some());
[INFO] [stdout]    |                                   -------------      ^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 0]`
[INFO] [stdout]    |                                   |
[INFO] [stdout]    |                                   arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 0]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 17 |     assert!(a.configurations_for(&Pattern::cons('a', (&[]).to_vec())).next().is_some());
[INFO] [stdout]    |                                                      +   ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:18:54
[INFO] [stdout]    |
[INFO] [stdout] 18 |     assert!(a.configurations_for(&Pattern::cons('a', &[])).next().is_some());
[INFO] [stdout]    |                                   -------------      ^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 0]`
[INFO] [stdout]    |                                   |
[INFO] [stdout]    |                                   arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 0]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 18 |     assert!(a.configurations_for(&Pattern::cons('a', (&[]).to_vec())).next().is_some());
[INFO] [stdout]    |                                                      +   ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:20:30
[INFO] [stdout]    |
[INFO] [stdout] 20 |     a.add(Pattern::cons('i', &["ab".into()]), (), "i(ab)");
[INFO] [stdout]    |           -------------      ^^^^^^^^^^^^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 1]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 1]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 20 |     a.add(Pattern::cons('i', (&["ab".into()]).to_vec()), (), "i(ab)");
[INFO] [stdout]    |                              +              ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:21:30
[INFO] [stdout]    |
[INFO] [stdout] 21 |     a.add(Pattern::cons('j', &["ab".into()]), (), "j(ab)");
[INFO] [stdout]    |           -------------      ^^^^^^^^^^^^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 1]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 1]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 21 |     a.add(Pattern::cons('j', (&["ab".into()]).to_vec()), (), "j(ab)");
[INFO] [stdout]    |                              +              ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:22:30
[INFO] [stdout]    |
[INFO] [stdout] 22 |     a.add(Pattern::cons('k', &["ab".into()]), (), "k(ab)");
[INFO] [stdout]    |           -------------      ^^^^^^^^^^^^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 1]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 1]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 22 |     a.add(Pattern::cons('k', (&["ab".into()]).to_vec()), (), "k(ab)");
[INFO] [stdout]    |                              +              ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:23:30
[INFO] [stdout]    |
[INFO] [stdout] 23 |     a.add(Pattern::cons('l', &["ab".into()]), (), "l(ab)");
[INFO] [stdout]    |           -------------      ^^^^^^^^^^^^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 1]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 1]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 23 |     a.add(Pattern::cons('l', (&["ab".into()]).to_vec()), (), "l(ab)");
[INFO] [stdout]    |                              +              ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:24:30
[INFO] [stdout]    |
[INFO] [stdout] 24 |     a.add(Pattern::cons('l', &["bc".into()]), (), "l(bc)");
[INFO] [stdout]    |           -------------      ^^^^^^^^^^^^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 1]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 1]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 24 |     a.add(Pattern::cons('l', (&["bc".into()]).to_vec()), (), "l(bc)");
[INFO] [stdout]    |                              +              ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:25:30
[INFO] [stdout]    |
[INFO] [stdout] 25 |     a.add(Pattern::cons('m', &["bc".into()]), (), "m(bc)");
[INFO] [stdout]    |           -------------      ^^^^^^^^^^^^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 1]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 1]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 25 |     a.add(Pattern::cons('m', (&["bc".into()]).to_vec()), (), "m(bc)");
[INFO] [stdout]    |                              +              ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:26:30
[INFO] [stdout]    |
[INFO] [stdout] 26 |     a.add(Pattern::cons('n', &["bc".into()]), (), "n(bc)");
[INFO] [stdout]    |           -------------      ^^^^^^^^^^^^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 1]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 1]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 26 |     a.add(Pattern::cons('n', (&["bc".into()]).to_vec()), (), "n(bc)");
[INFO] [stdout]    |                              +              ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:27:30
[INFO] [stdout]    |
[INFO] [stdout] 27 |     a.add(Pattern::cons('o', &["bc".into()]), (), "o(bc)");
[INFO] [stdout]    |           -------------      ^^^^^^^^^^^^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 1]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 1]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 27 |     a.add(Pattern::cons('o', (&["bc".into()]).to_vec()), (), "o(bc)");
[INFO] [stdout]    |                              +              ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:29:30
[INFO] [stdout]    |
[INFO] [stdout] 29 |     a.add(Pattern::cons('f', &["i(ab)".into()]), (), "f(ij)|g(kl)");
[INFO] [stdout]    |           -------------      ^^^^^^^^^^^^^^^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 1]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 1]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 29 |     a.add(Pattern::cons('f', (&["i(ab)".into()]).to_vec()), (), "f(ij)|g(kl)");
[INFO] [stdout]    |                              +                 ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:30:30
[INFO] [stdout]    |
[INFO] [stdout] 30 |     a.add(Pattern::cons('f', &["j(ab)".into()]), (), "f(ij)|g(kl)");
[INFO] [stdout]    |           -------------      ^^^^^^^^^^^^^^^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 1]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 1]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 30 |     a.add(Pattern::cons('f', (&["j(ab)".into()]).to_vec()), (), "f(ij)|g(kl)");
[INFO] [stdout]    |                              +                 ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:31:30
[INFO] [stdout]    |
[INFO] [stdout] 31 |     a.add(Pattern::cons('g', &["k(ab)".into()]), (), "f(ij)|g(kl)");
[INFO] [stdout]    |           -------------      ^^^^^^^^^^^^^^^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 1]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 1]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 31 |     a.add(Pattern::cons('g', (&["k(ab)".into()]).to_vec()), (), "f(ij)|g(kl)");
[INFO] [stdout]    |                              +                 ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:32:30
[INFO] [stdout]    |
[INFO] [stdout] 32 |     a.add(Pattern::cons('g', &["l(ab)".into()]), (), "f(ij)|g(kl)");
[INFO] [stdout]    |           -------------      ^^^^^^^^^^^^^^^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 1]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 1]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 32 |     a.add(Pattern::cons('g', (&["l(ab)".into()]).to_vec()), (), "f(ij)|g(kl)");
[INFO] [stdout]    |                              +                 ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:33:30
[INFO] [stdout]    |
[INFO] [stdout] 33 |     a.add(Pattern::cons('g', &["l(bc)".into()]), (), "g(lm)|h(no)");
[INFO] [stdout]    |           -------------      ^^^^^^^^^^^^^^^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 1]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 1]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 33 |     a.add(Pattern::cons('g', (&["l(bc)".into()]).to_vec()), (), "g(lm)|h(no)");
[INFO] [stdout]    |                              +                 ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:34:30
[INFO] [stdout]    |
[INFO] [stdout] 34 |     a.add(Pattern::cons('g', &["m(bc)".into()]), (), "g(lm)|h(no)");
[INFO] [stdout]    |           -------------      ^^^^^^^^^^^^^^^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 1]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 1]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 34 |     a.add(Pattern::cons('g', (&["m(bc)".into()]).to_vec()), (), "g(lm)|h(no)");
[INFO] [stdout]    |                              +                 ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:35:30
[INFO] [stdout]    |
[INFO] [stdout] 35 |     a.add(Pattern::cons('h', &["n(bc)".into()]), (), "g(lm)|h(no)");
[INFO] [stdout]    |           -------------      ^^^^^^^^^^^^^^^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 1]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 1]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 35 |     a.add(Pattern::cons('h', (&["n(bc)".into()]).to_vec()), (), "g(lm)|h(no)");
[INFO] [stdout]    |                              +                 ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:36:30
[INFO] [stdout]    |
[INFO] [stdout] 36 |     a.add(Pattern::cons('h', &["o(bc)".into()]), (), "g(lm)|h(no)");
[INFO] [stdout]    |           -------------      ^^^^^^^^^^^^^^^^^ expected `Vec<Pattern<char, _>>`, found `&[_; 1]`
[INFO] [stdout]    |           |
[INFO] [stdout]    |           arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<terms::Pattern<char, _>>`
[INFO] [stdout]            found reference `&[_; 1]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/pattern.rs:98:9
[INFO] [stdout]    |
[INFO] [stdout] 98 |     pub fn cons(f: F, subs: Vec<Self>) -> Self where F: Clone, X: Clone {
[INFO] [stdout]    |            ^^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 36 |     a.add(Pattern::cons('h', (&["o(bc)".into()]).to_vec()), (), "g(lm)|h(no)");
[INFO] [stdout]    |                              +                 ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:44:65
[INFO] [stdout]    |
[INFO] [stdout] 44 |     let term = Term::new('g', &[Term::new('l', &[Term::new('b', &[])])]);
[INFO] [stdout]    |                                                  ---------      ^^^ expected `Vec<Term<char>>`, found `&[_; 0]`
[INFO] [stdout]    |                                                  |
[INFO] [stdout]    |                                                  arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<Term<char>>`
[INFO] [stdout]            found reference `&[_; 0]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/lib.rs:58:12
[INFO] [stdout]    |
[INFO] [stdout] 58 |     pub fn new(f: F, subs: Vec<Self>) -> Self where F: Clone {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 44 |     let term = Term::new('g', &[Term::new('l', &[Term::new('b', (&[]).to_vec())])]);
[INFO] [stdout]    |                                                                 +   ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:44:48
[INFO] [stdout]    |
[INFO] [stdout] 44 |     let term = Term::new('g', &[Term::new('l', &[Term::new('b', &[])])]);
[INFO] [stdout]    |                                 ---------      ^^^^^^^^^^^^^^^^^^^^^^ expected `Vec<Term<char>>`, found `&[Term<char>; 1]`
[INFO] [stdout]    |                                 |
[INFO] [stdout]    |                                 arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<Term<char>>`
[INFO] [stdout]            found reference `&[Term<char>; 1]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/lib.rs:58:12
[INFO] [stdout]    |
[INFO] [stdout] 58 |     pub fn new(f: F, subs: Vec<Self>) -> Self where F: Clone {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 44 |     let term = Term::new('g', &[Term::new('l', (&[Term::new('b', &[])]).to_vec())]);
[INFO] [stdout]    |                                                +                      ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> examples/search.rs:44:31
[INFO] [stdout]    |
[INFO] [stdout] 44 |     let term = Term::new('g', &[Term::new('l', &[Term::new('b', &[])])]);
[INFO] [stdout]    |                ---------      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Vec<Term<char>>`, found `&[Term<char>; 1]`
[INFO] [stdout]    |                |
[INFO] [stdout]    |                arguments to this function are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<Term<char>>`
[INFO] [stdout]            found reference `&[Term<char>; 1]`
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/terms-0.1.2/src/lib.rs:58:12
[INFO] [stdout]    |
[INFO] [stdout] 58 |     pub fn new(f: F, subs: Vec<Self>) -> Self where F: Clone {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] help: try using a conversion method
[INFO] [stdout]    |
[INFO] [stdout] 44 |     let term = Term::new('g', (&[Term::new('l', &[Term::new('b', &[])])]).to_vec());
[INFO] [stdout]    |                               +                                         ++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> examples/search.rs:57:17
[INFO] [stdout]    |
[INFO] [stdout] 57 |         let t = run.first().unwrap();
[INFO] [stdout]    |                 ^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0282, E0308, E0432.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0282`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tree-automata` (example "search") due to 29 previous errors
[INFO] [stdout] warning: trait `Inter` is never used
[INFO] [stdout]  --> src/inter.rs:6:7
[INFO] [stdout]   |
[INFO] [stdout] 6 | trait Inter<F>: Language<F> {
[INFO] [stdout]   |       ^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `configurations` is never used
[INFO] [stdout]   --> src/inter.rs:39:8
[INFO] [stdout]    |
[INFO] [stdout] 32 | impl<Q: Clone> Product<Q> {
[INFO] [stdout]    | ------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 39 |     fn configurations<'a, F: Symbol, L: Label>(&'a self, automata: &'a [&'a Automaton<F, Q, L>]) -> ProductConfigurations<'a, F, Q, ...
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/bottom_up/mod.rs:160:19
[INFO] [stdout]     |
[INFO] [stdout] 160 |     pub fn states(&self) -> States<F, Q, L> {
[INFO] [stdout]     |                   ^^^^^     ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 160 |     pub fn states(&self) -> States<'_, F, Q, L> {
[INFO] [stdout]     |                                    +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/bottom_up/mod.rs:165:25
[INFO] [stdout]     |
[INFO] [stdout] 165 |     pub fn final_states(&self) -> hash_set::Iter<Q> {
[INFO] [stdout]     |                         ^^^^^     ^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 165 |     pub fn final_states(&self) -> hash_set::Iter<'_, Q> {
[INFO] [stdout]     |                                                  +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/bottom_up/mod.rs:182:24
[INFO] [stdout]     |
[INFO] [stdout] 182 |     pub fn transitions(&self) -> Transifions<F, Q, L> {
[INFO] [stdout]     |                        ^^^^^     ^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 182 |     pub fn transitions(&self) -> Transifions<'_, F, Q, L> {
[INFO] [stdout]     |                                              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/bottom_up/mod.rs:187:37
[INFO] [stdout]     |
[INFO] [stdout] 187 |     pub fn configurations_for_state(&self, q: &Q) -> Configurations<F, Q, L> {
[INFO] [stdout]     |                                     ^^^^^            ^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                     |
[INFO] [stdout]     |                                     the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 187 |     pub fn configurations_for_state(&self, q: &Q) -> Configurations<'_, F, Q, L> {
[INFO] [stdout]     |                                                                     +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/bottom_up/mod.rs:212:37
[INFO] [stdout]     |
[INFO] [stdout] 212 |     pub fn states_for_configuration(&self, conf: &Configuration<F, Q>) -> hash_set::Iter<Labeled<Q, L>> {
[INFO] [stdout]     |                                     ^^^^^ the lifetime is elided here     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 212 |     pub fn states_for_configuration(&self, conf: &Configuration<F, Q>) -> hash_set::Iter<'_, Labeled<Q, L>> {
[INFO] [stdout]     |                                                                                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/bottom_up/mod.rs:318:28
[INFO] [stdout]     |
[INFO] [stdout] 318 |     pub fn representatives(&self) -> Representatives<F, Q, L> {
[INFO] [stdout]     |                            ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                            |
[INFO] [stdout]     |                            the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 318 |     pub fn representatives(&self) -> Representatives<'_, F, Q, L> {
[INFO] [stdout]     |                                                      +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/alternating/mod.rs:32:19
[INFO] [stdout]    |
[INFO] [stdout] 32 |     pub fn states(&self) -> std::collections::hash_map::Keys<Q, HashMap<F, Clause<Q, I>>> {
[INFO] [stdout]    |                   ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                   |
[INFO] [stdout]    |                   the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 32 |     pub fn states(&self) -> std::collections::hash_map::Keys<'_, Q, HashMap<F, Clause<Q, I>>> {
[INFO] [stdout]    |                                                              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/alternating/mod.rs:36:30
[INFO] [stdout]    |
[INFO] [stdout] 36 |     pub fn clauses_for_state(&self, q: &Q) -> std::collections::hash_map::Iter<F, Clause<Q, I>> {
[INFO] [stdout]    |                              ^^^^^            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                              |
[INFO] [stdout]    |                              the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 36 |     pub fn clauses_for_state(&self, q: &Q) -> std::collections::hash_map::Iter<'_, F, Clause<Q, I>> {
[INFO] [stdout]    |                                                                                +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "ee476fc9293cd7c705aa497977c2de27178af060c4c2ac2e286213e05b9175eb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ee476fc9293cd7c705aa497977c2de27178af060c4c2ac2e286213e05b9175eb", kill_on_drop: false }`
[INFO] [stdout] ee476fc9293cd7c705aa497977c2de27178af060c4c2ac2e286213e05b9175eb
