[INFO] crate tree-automata 0.1.0 is already in cache
[INFO] checking tree-automata-0.1.0 against master#45d050cde277b22a755847338f2acc2c7b834141 for pr-71393
[INFO] extracting crate tree-automata 0.1.0 into /workspace/builds/worker-1/source
[INFO] validating manifest of crates.io crate tree-automata 0.1.0 on toolchain 45d050cde277b22a755847338f2acc2c7b834141
[INFO] running `"/workspace/cargo-home/bin/cargo" "+45d050cde277b22a755847338f2acc2c7b834141" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started tweaking crates.io crate tree-automata 0.1.0
[INFO] finished tweaking crates.io crate tree-automata 0.1.0
[INFO] tweaked toml for crates.io crate tree-automata 0.1.0 written to /workspace/builds/worker-1/source/Cargo.toml
[INFO] crate crates.io crate tree-automata 0.1.0 already has a lockfile, it will not be regenerated
[INFO] running `"/workspace/cargo-home/bin/cargo" "+45d050cde277b22a755847338f2acc2c7b834141" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+45d050cde277b22a755847338f2acc2c7b834141" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 43612ae062aa911088db2e796dc61a5bce81d598b49d822e58a2a84b803ef76f
[INFO] running `"docker" "start" "-a" "43612ae062aa911088db2e796dc61a5bce81d598b49d822e58a2a84b803ef76f"`
[INFO] [stderr]    Compiling libc v0.2.62
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]     Checking ppv-lite86 v0.2.5
[INFO] [stderr]     Checking crossbeam-utils v0.6.6
[INFO] [stderr]     Checking crossbeam-channel v0.3.9
[INFO] [stderr]     Checking c2-chacha v0.2.2
[INFO] [stderr]     Checking getrandom v0.1.11
[INFO] [stderr]     Checking rand_core v0.5.0
[INFO] [stderr]     Checking rand_chacha v0.2.1
[INFO] [stderr]     Checking rand v0.7.0
[INFO] [stderr]     Checking terms v0.1.1
[INFO] [stderr]     Checking tree-automata v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr] error[E0432]: unresolved import `ta::Automaton`
[INFO] [stderr]  --> tests/search.rs:5:5
[INFO] [stderr]   |
[INFO] [stderr] 5 | use ta::Automaton;
[INFO] [stderr]   |     ^^^^---------
[INFO] [stderr]   |     |   |
[INFO] [stderr]   |     |   help: a similar name exists in the module: `automaton`
[INFO] [stderr]   |     no `Automaton` in the root
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `Term`
[INFO] [stderr]  --> tests/search.rs:4:13
[INFO] [stderr]   |
[INFO] [stderr] 4 | use terms::{Term, Pattern};
[INFO] [stderr]   |             ^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved import `ta::Automaton`
[INFO] [stderr]  --> tests/construction.rs:5:5
[INFO] [stderr]   |
[INFO] [stderr] 5 | use ta::Automaton;
[INFO] [stderr]   |     ^^^^---------
[INFO] [stderr]   |     |   |
[INFO] [stderr]   |     |   help: a similar name exists in the module: `automaton`
[INFO] [stderr]   |     no `Automaton` in the root
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved import `ta::Automaton`
[INFO] [stderr]  --> examples/search.rs:5:5
[INFO] [stderr]   |
[INFO] [stderr] 5 | use ta::Automaton;
[INFO] [stderr]   |     ^^^^---------
[INFO] [stderr]   |     |   |
[INFO] [stderr]   |     |   help: a similar name exists in the module: `automaton`
[INFO] [stderr]   |     no `Automaton` in the root
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> tests/search.rs:11:34
[INFO] [stderr]    |
[INFO] [stderr] 11 |     let conf = Pattern::cons((), &[]);
[INFO] [stderr]    |                                  ^^^
[INFO] [stderr]    |                                  |
[INFO] [stderr]    |                                  expected struct `std::vec::Vec`, found `&[_; 0]`
[INFO] [stderr]    |                                  help: try using a conversion method: `(&[]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<(), _>>`
[INFO] [stderr]            found reference `&[_; 0]`
[INFO] [stderr] 
[INFO] [stderr] error: aborting due to 2 previous errors; 1 warning emitted
[INFO] [stderr] 
[INFO] [stderr] Some errors have detailed explanations: E0308, E0432.
[INFO] [stderr] For more information about an error, try `rustc --explain E0308`.
[INFO] [stderr] error: could not compile `tree-automata`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> tests/construction.rs:10:34
[INFO] [stderr]    |
[INFO] [stderr] 10 |     let conf = Pattern::cons((), &[]);
[INFO] [stderr]    |                                  ^^^
[INFO] [stderr]    |                                  |
[INFO] [stderr]    |                                  expected struct `std::vec::Vec`, found `&[_; 0]`
[INFO] [stderr]    |                                  help: try using a conversion method: `(&[]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<(), _>>`
[INFO] [stderr]            found reference `&[_; 0]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:10:30
[INFO] [stderr]    |
[INFO] [stderr] 10 |     a.add(Pattern::cons('a', &[]), (), "ab");
[INFO] [stderr]    |                              ^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 0]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&[]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 0]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:11:30
[INFO] [stderr]    |
[INFO] [stderr] 11 |     a.add(Pattern::cons('b', &[]), (), "ab");
[INFO] [stderr]    |                              ^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 0]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&[]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 0]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> tests/construction.rs:22:28
[INFO] [stderr]    |
[INFO] [stderr] 22 |         Pattern::cons("f", &[]),
[INFO] [stderr]    |                            ^^^
[INFO] [stderr]    |                            |
[INFO] [stderr]    |                            expected struct `std::vec::Vec`, found `&[_; 0]`
[INFO] [stderr]    |                            help: try using a conversion method: `(&[]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<&str, _>>`
[INFO] [stderr]            found reference `&[_; 0]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:12:30
[INFO] [stderr]    |
[INFO] [stderr] 12 |     a.add(Pattern::cons('b', &[]), (), "bc");
[INFO] [stderr]    |                              ^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 0]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&[]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 0]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> tests/construction.rs:23:28
[INFO] [stderr]    |
[INFO] [stderr] 23 |         Pattern::cons("g", &[]),
[INFO] [stderr]    |                            ^^^
[INFO] [stderr]    |                            |
[INFO] [stderr]    |                            expected struct `std::vec::Vec`, found `&[_; 0]`
[INFO] [stderr]    |                            help: try using a conversion method: `(&[]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<&str, _>>`
[INFO] [stderr]            found reference `&[_; 0]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:13:30
[INFO] [stderr]    |
[INFO] [stderr] 13 |     a.add(Pattern::cons('c', &[]), (), "bc");
[INFO] [stderr]    |                              ^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 0]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&[]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 0]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> tests/construction.rs:24:28
[INFO] [stderr]    |
[INFO] [stderr] 24 |         Pattern::cons("h", &[]),
[INFO] [stderr]    |                            ^^^
[INFO] [stderr]    |                            |
[INFO] [stderr]    |                            expected struct `std::vec::Vec`, found `&[_; 0]`
[INFO] [stderr]    |                            help: try using a conversion method: `(&[]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<&str, _>>`
[INFO] [stderr]            found reference `&[_; 0]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:15:54
[INFO] [stderr]    |
[INFO] [stderr] 15 |     assert!(a.configurations_for(&Pattern::cons('a', &[])).next().is_some());
[INFO] [stderr]    |                                                      ^^^
[INFO] [stderr]    |                                                      |
[INFO] [stderr]    |                                                      expected struct `std::vec::Vec`, found `&[_; 0]`
[INFO] [stderr]    |                                                      help: try using a conversion method: `(&[]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 0]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:16:54
[INFO] [stderr]    |
[INFO] [stderr] 16 |     assert!(a.configurations_for(&Pattern::cons('a', &[])).next().is_some());
[INFO] [stderr]    |                                                      ^^^
[INFO] [stderr]    |                                                      |
[INFO] [stderr]    |                                                      expected struct `std::vec::Vec`, found `&[_; 0]`
[INFO] [stderr]    |                                                      help: try using a conversion method: `(&[]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 0]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> tests/construction.rs:25:28
[INFO] [stderr]    |
[INFO] [stderr] 25 |         Pattern::cons("i", &[])
[INFO] [stderr]    |                            ^^^
[INFO] [stderr]    |                            |
[INFO] [stderr]    |                            expected struct `std::vec::Vec`, found `&[_; 0]`
[INFO] [stderr]    |                            help: try using a conversion method: `(&[]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<&str, _>>`
[INFO] [stderr]            found reference `&[_; 0]`
[INFO] [stderr] 
[INFO] [stderr] error: aborting due to 6 previous errors
[INFO] [stderr] 
[INFO] [stderr] Some errors have detailed explanations: E0308, E0432.
[INFO] [stderr] For more information about an error, try `rustc --explain E0308`.
[INFO] [stderr] error: could not compile `tree-automata`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:17:54
[INFO] [stderr]    |
[INFO] [stderr] 17 |     assert!(a.configurations_for(&Pattern::cons('a', &[])).next().is_some());
[INFO] [stderr]    |                                                      ^^^
[INFO] [stderr]    |                                                      |
[INFO] [stderr]    |                                                      expected struct `std::vec::Vec`, found `&[_; 0]`
[INFO] [stderr]    |                                                      help: try using a conversion method: `(&[]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 0]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:18:54
[INFO] [stderr]    |
[INFO] [stderr] 18 |     assert!(a.configurations_for(&Pattern::cons('a', &[])).next().is_some());
[INFO] [stderr]    |                                                      ^^^
[INFO] [stderr]    |                                                      |
[INFO] [stderr]    |                                                      expected struct `std::vec::Vec`, found `&[_; 0]`
[INFO] [stderr]    |                                                      help: try using a conversion method: `(&[]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 0]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:20:30
[INFO] [stderr]    |
[INFO] [stderr] 20 |     a.add(Pattern::cons('i', &["ab".into()]), (), "i(ab)");
[INFO] [stderr]    |                              ^^^^^^^^^^^^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 1]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&["ab".into()]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 1]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:21:30
[INFO] [stderr]    |
[INFO] [stderr] 21 |     a.add(Pattern::cons('j', &["ab".into()]), (), "j(ab)");
[INFO] [stderr]    |                              ^^^^^^^^^^^^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 1]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&["ab".into()]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 1]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:22:30
[INFO] [stderr]    |
[INFO] [stderr] 22 |     a.add(Pattern::cons('k', &["ab".into()]), (), "k(ab)");
[INFO] [stderr]    |                              ^^^^^^^^^^^^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 1]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&["ab".into()]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 1]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:23:30
[INFO] [stderr]    |
[INFO] [stderr] 23 |     a.add(Pattern::cons('l', &["ab".into()]), (), "l(ab)");
[INFO] [stderr]    |                              ^^^^^^^^^^^^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 1]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&["ab".into()]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 1]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:24:30
[INFO] [stderr]    |
[INFO] [stderr] 24 |     a.add(Pattern::cons('l', &["bc".into()]), (), "l(bc)");
[INFO] [stderr]    |                              ^^^^^^^^^^^^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 1]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&["bc".into()]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 1]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:25:30
[INFO] [stderr]    |
[INFO] [stderr] 25 |     a.add(Pattern::cons('m', &["bc".into()]), (), "m(bc)");
[INFO] [stderr]    |                              ^^^^^^^^^^^^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 1]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&["bc".into()]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 1]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:26:30
[INFO] [stderr]    |
[INFO] [stderr] 26 |     a.add(Pattern::cons('n', &["bc".into()]), (), "n(bc)");
[INFO] [stderr]    |                              ^^^^^^^^^^^^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 1]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&["bc".into()]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 1]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:27:30
[INFO] [stderr]    |
[INFO] [stderr] 27 |     a.add(Pattern::cons('o', &["bc".into()]), (), "o(bc)");
[INFO] [stderr]    |                              ^^^^^^^^^^^^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 1]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&["bc".into()]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 1]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:29:30
[INFO] [stderr]    |
[INFO] [stderr] 29 |     a.add(Pattern::cons('f', &["i(ab)".into()]), (), "f(ij)|g(kl)");
[INFO] [stderr]    |                              ^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 1]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&["i(ab)".into()]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 1]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:30:30
[INFO] [stderr]    |
[INFO] [stderr] 30 |     a.add(Pattern::cons('f', &["j(ab)".into()]), (), "f(ij)|g(kl)");
[INFO] [stderr]    |                              ^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 1]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&["j(ab)".into()]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 1]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:31:30
[INFO] [stderr]    |
[INFO] [stderr] 31 |     a.add(Pattern::cons('g', &["k(ab)".into()]), (), "f(ij)|g(kl)");
[INFO] [stderr]    |                              ^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 1]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&["k(ab)".into()]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 1]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:32:30
[INFO] [stderr]    |
[INFO] [stderr] 32 |     a.add(Pattern::cons('g', &["l(ab)".into()]), (), "f(ij)|g(kl)");
[INFO] [stderr]    |                              ^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 1]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&["l(ab)".into()]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 1]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:33:30
[INFO] [stderr]    |
[INFO] [stderr] 33 |     a.add(Pattern::cons('g', &["l(bc)".into()]), (), "g(lm)|h(no)");
[INFO] [stderr]    |                              ^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 1]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&["l(bc)".into()]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 1]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:34:30
[INFO] [stderr]    |
[INFO] [stderr] 34 |     a.add(Pattern::cons('g', &["m(bc)".into()]), (), "g(lm)|h(no)");
[INFO] [stderr]    |                              ^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 1]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&["m(bc)".into()]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 1]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:35:30
[INFO] [stderr]    |
[INFO] [stderr] 35 |     a.add(Pattern::cons('h', &["n(bc)".into()]), (), "g(lm)|h(no)");
[INFO] [stderr]    |                              ^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 1]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&["n(bc)".into()]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 1]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:36:30
[INFO] [stderr]    |
[INFO] [stderr] 36 |     a.add(Pattern::cons('h', &["o(bc)".into()]), (), "g(lm)|h(no)");
[INFO] [stderr]    |                              ^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |                              |
[INFO] [stderr]    |                              expected struct `std::vec::Vec`, found `&[_; 1]`
[INFO] [stderr]    |                              help: try using a conversion method: `(&["o(bc)".into()]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Pattern<char, _>>`
[INFO] [stderr]            found reference `&[_; 1]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:44:65
[INFO] [stderr]    |
[INFO] [stderr] 44 |     let term = Term::new('g', &[Term::new('l', &[Term::new('b', &[])])]);
[INFO] [stderr]    |                                                                 ^^^
[INFO] [stderr]    |                                                                 |
[INFO] [stderr]    |                                                                 expected struct `std::vec::Vec`, found `&[_; 0]`
[INFO] [stderr]    |                                                                 help: try using a conversion method: `(&[]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Term<char>>`
[INFO] [stderr]            found reference `&[_; 0]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:44:48
[INFO] [stderr]    |
[INFO] [stderr] 44 |     let term = Term::new('g', &[Term::new('l', &[Term::new('b', &[])])]);
[INFO] [stderr]    |                                                ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |                                                |
[INFO] [stderr]    |                                                expected struct `std::vec::Vec`, found reference
[INFO] [stderr]    |                                                help: try using a conversion method: `(&[Term::new('b', &[])]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Term<char>>`
[INFO] [stderr]            found reference `&[terms::Term<char>; 1]`
[INFO] [stderr] 
[INFO] [stderr] error[E0308]: mismatched types
[INFO] [stderr]   --> examples/search.rs:44:31
[INFO] [stderr]    |
[INFO] [stderr] 44 |     let term = Term::new('g', &[Term::new('l', &[Term::new('b', &[])])]);
[INFO] [stderr]    |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |                               |
[INFO] [stderr]    |                               expected struct `std::vec::Vec`, found reference
[INFO] [stderr]    |                               help: try using a conversion method: `(&[Term::new('l', &[Term::new('b', &[])])]).to_vec()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: expected struct `std::vec::Vec<terms::Term<char>>`
[INFO] [stderr]            found reference `&[terms::Term<char>; 1]`
[INFO] [stderr] 
[INFO] [stderr] error: aborting due to 28 previous errors
[INFO] [stderr] 
[INFO] [stderr] Some errors have detailed explanations: E0308, E0432.
[INFO] [stderr] For more information about an error, try `rustc --explain E0308`.
[INFO] [stderr] error: could not compile `tree-automata`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `"docker" "inspect" "43612ae062aa911088db2e796dc61a5bce81d598b49d822e58a2a84b803ef76f"`
[INFO] running `"docker" "rm" "-f" "43612ae062aa911088db2e796dc61a5bce81d598b49d822e58a2a84b803ef76f"`
[INFO] [stdout] 43612ae062aa911088db2e796dc61a5bce81d598b49d822e58a2a84b803ef76f