[INFO] fetching crate tree-automata 0.1.2...
[INFO] checking tree-automata-0.1.2 against master#f609b7e0586f81fefb3523e3e17adf779ac416be for pr-129466-2
[INFO] extracting crate tree-automata 0.1.2 into /workspace/builds/worker-5-tc1/source
[INFO] validating manifest of crates.io crate tree-automata 0.1.2 on toolchain f609b7e0586f81fefb3523e3e17adf779ac416be
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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-5-tc1/source/Cargo.toml
[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" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded terms v0.1.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 673255da8fb514d0d7fa56ba6e4768e5398eedf1be4e40c9b2fd6e6647afd050
[INFO] running `Command { std: "docker" "start" "-a" "673255da8fb514d0d7fa56ba6e4768e5398eedf1be4e40c9b2fd6e6647afd050", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "673255da8fb514d0d7fa56ba6e4768e5398eedf1be4e40c9b2fd6e6647afd050", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "673255da8fb514d0d7fa56ba6e4768e5398eedf1be4e40c9b2fd6e6647afd050", kill_on_drop: false }`
[INFO] [stdout] 673255da8fb514d0d7fa56ba6e4768e5398eedf1be4e40c9b2fd6e6647afd050
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a59152dfaeb258124ece5488d06046a836c261453a4053e765e6b6957afe4a73
[INFO] running `Command { std: "docker" "start" "-a" "a59152dfaeb258124ece5488d06046a836c261453a4053e765e6b6957afe4a73", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.76
[INFO] [stderr]     Checking cfg-if v0.1.10
[INFO] [stderr]    Compiling getrandom v0.1.14
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]     Checking ppv-lite86 v0.2.9
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]    Compiling crossbeam-utils v0.7.2
[INFO] [stderr]     Checking rand_core v0.5.1
[INFO] [stderr]     Checking crossbeam-channel v0.4.3
[INFO] [stderr]     Checking rand_chacha v0.2.2
[INFO] [stderr]     Checking rand v0.7.3
[INFO] [stderr]     Checking terms v0.1.2
[INFO] [stderr]     Checking 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)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[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)]` 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, L> wh...
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[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, L> wh...
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[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]   |         ~~~~~~~~~
[INFO] [stdout] help: consider importing one of these structs instead
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::ta::alternating::Automaton;
[INFO] [stdout]   |     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 5 | use crate::ta::bottom_up::Automaton;
[INFO] [stdout]   |     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 5 | use tree_automata::alternating::Automaton;
[INFO] [stdout]   |     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 5 | use tree_automata::bottom_up::Automaton;
[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]   |         ~~~~~~~~~
[INFO] [stdout] help: consider importing one of these structs instead
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::ta::alternating::Automaton;
[INFO] [stdout]   |     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 5 | use crate::ta::bottom_up::Automaton;
[INFO] [stdout]   |     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 5 | use tree_automata::alternating::Automaton;
[INFO] [stdout]   |     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 5 | use tree_automata::bottom_up::Automaton;
[INFO] [stdout]   |     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[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]   |         ~~~~~~~~~
[INFO] [stdout] help: consider importing one of these structs instead
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::ta::alternating::Automaton;
[INFO] [stdout]   |     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 5 | use crate::ta::bottom_up::Automaton;
[INFO] [stdout]   |     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 5 | use tree_automata::alternating::Automaton;
[INFO] [stdout]   |     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[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)]` 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-6f17d22bba15001f/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] 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-6f17d22bba15001f/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-6f17d22bba15001f/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-6f17d22bba15001f/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: aborting due to 2 previous errors; 1 warning emitted
[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-6f17d22bba15001f/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] 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[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-6f17d22bba15001f/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]   --> 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-6f17d22bba15001f/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]   --> 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-6f17d22bba15001f/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-6f17d22bba15001f/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]   --> 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-6f17d22bba15001f/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]   --> 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-6f17d22bba15001f/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]   --> 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-6f17d22bba15001f/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-6f17d22bba15001f/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]   --> 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-6f17d22bba15001f/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-6f17d22bba15001f/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]   --> 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-6f17d22bba15001f/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] 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-6f17d22bba15001f/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-6f17d22bba15001f/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-6f17d22bba15001f/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] [stderr] error: could not compile `tree-automata` (test "search") due to 3 previous errors; 1 warning emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[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-6f17d22bba15001f/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: aborting due to 6 previous errors
[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[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-6f17d22bba15001f/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-6f17d22bba15001f/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-6f17d22bba15001f/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-6f17d22bba15001f/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-6f17d22bba15001f/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-6f17d22bba15001f/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-6f17d22bba15001f/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-6f17d22bba15001f/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] [stderr] error: could not compile `tree-automata` (test "construction") due to 7 previous errors
[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-6f17d22bba15001f/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-6f17d22bba15001f/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-6f17d22bba15001f/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-6f17d22bba15001f/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-6f17d22bba15001f/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: aborting due to 28 previous errors
[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` (example "search") due to 29 previous errors
[INFO] running `Command { std: "docker" "inspect" "a59152dfaeb258124ece5488d06046a836c261453a4053e765e6b6957afe4a73", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a59152dfaeb258124ece5488d06046a836c261453a4053e765e6b6957afe4a73", kill_on_drop: false }`
[INFO] [stdout] a59152dfaeb258124ece5488d06046a836c261453a4053e765e6b6957afe4a73