[INFO] cloning repository https://github.com/Brandhoej/hoper
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Brandhoej/hoper" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBrandhoej%2Fhoper", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBrandhoej%2Fhoper'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 31ee51a0aa2529f7a23131b414b657a35d8ae667
[INFO] checking Brandhoej/hoper against try#0611f7de057c584b8771102fde7aed6c70c71d3b for pr-146440
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBrandhoej%2Fhoper" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/Brandhoej/hoper
[INFO] finished tweaking git repo https://github.com/Brandhoej/hoper
[INFO] tweaked toml for git repo https://github.com/Brandhoej/hoper written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/Brandhoej/hoper on toolchain 0611f7de057c584b8771102fde7aed6c70c71d3b
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0611f7de057c584b8771102fde7aed6c70c71d3b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/Brandhoej/hoper 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" "+0611f7de057c584b8771102fde7aed6c70c71d3b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0611f7de057c584b8771102fde7aed6c70c71d3b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] eaeb58b62697c4c8b1b862ab6da1ea283c5c6aedb34136fb1e27d27d0f9c3667
[INFO] running `Command { std: "docker" "start" "-a" "eaeb58b62697c4c8b1b862ab6da1ea283c5c6aedb34136fb1e27d27d0f9c3667", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "eaeb58b62697c4c8b1b862ab6da1ea283c5c6aedb34136fb1e27d27d0f9c3667", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "eaeb58b62697c4c8b1b862ab6da1ea283c5c6aedb34136fb1e27d27d0f9c3667", kill_on_drop: false }`
[INFO] [stdout] eaeb58b62697c4c8b1b862ab6da1ea283c5c6aedb34136fb1e27d27d0f9c3667
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0611f7de057c584b8771102fde7aed6c70c71d3b" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ae21e65d0c0e1c083401b963700b34955f21a1769e3fdf0753d7abd4d8be38e4
[INFO] running `Command { std: "docker" "start" "-a" "ae21e65d0c0e1c083401b963700b34955f21a1769e3fdf0753d7abd4d8be38e4", kill_on_drop: false }`
[INFO] [stderr]     Checking smallvec v1.14.0
[INFO] [stderr]     Checking foldhash v0.1.4
[INFO] [stderr]     Checking once_cell v1.20.3
[INFO] [stderr]     Checking indexmap v2.5.0
[INFO] [stderr]     Checking fixedbitset v0.5.7
[INFO] [stderr]     Checking itertools v0.14.0
[INFO] [stderr]     Checking bitset v0.1.2
[INFO] [stderr]     Checking dyn-clone v1.0.18
[INFO] [stderr]    Compiling syn v2.0.90
[INFO] [stderr]     Checking hashbrown v0.15.2
[INFO] [stderr]     Checking parking_lot_core v0.9.10
[INFO] [stderr]     Checking dashmap v6.1.0
[INFO] [stderr]     Checking petgraph v0.7.1
[INFO] [stderr]     Checking symbol_table v0.4.0
[INFO] [stderr]    Compiling zerocopy-derive v0.7.35
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]     Checking ppv-lite86 v0.2.20
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking hoper v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `expressions::Expression`
[INFO] [stdout]  --> src/automata/action.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     expressions::Expression,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `self`
[INFO] [stdout]  --> src/automata/tiots.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 |     self,
[INFO] [stdout]   |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::delay::Delay`
[INFO] [stdout]   --> src/zones/constraint.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 | use super::delay::Delay;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `self`
[INFO] [stdout]   --> src/zones/dbm.rs:11:14
[INFO] [stdout]    |
[INFO] [stdout] 11 |     window::{self, Window},
[INFO] [stdout]    |              ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `expressions::Expression`
[INFO] [stdout]  --> src/automata/action.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     expressions::Expression,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashMap`
[INFO] [stdout]   --> src/automata/channel.rs:73:28
[INFO] [stdout]    |
[INFO] [stdout] 73 |     use std::collections::{HashMap, HashSet};
[INFO] [stdout]    |                            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `LocationTree` and `TIOA`
[INFO] [stdout]   --> src/automata/ecdar_university_test.rs:20:16
[INFO] [stdout]    |
[INFO] [stdout] 20 |         tioa::{LocationTree, TIOA},
[INFO] [stdout]    |                ^^^^^^^^^^^^  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `self`
[INFO] [stdout]  --> src/automata/tiots.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 |     self,
[INFO] [stdout]   |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::delay::Delay`
[INFO] [stdout]   --> src/zones/constraint.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 | use super::delay::Delay;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `self`
[INFO] [stdout]   --> src/zones/dbm.rs:11:14
[INFO] [stdout]    |
[INFO] [stdout] 11 |     window::{self, Window},
[INFO] [stdout]    |              ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `itertools::Itertools`
[INFO] [stdout]  --> src/automata/automaton.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use itertools::Itertools;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `destination`
[INFO] [stdout]   --> src/automata/computation_tree.rs:71:28
[INFO] [stdout]    |
[INFO] [stdout] 71 |     pub fn trace_to(&self, destination: NodeIndex) -> ComputationTrace {
[INFO] [stdout]    |                            ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_destination`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `source`
[INFO] [stdout]   --> src/automata/computation_tree.rs:75:29
[INFO] [stdout]    |
[INFO] [stdout] 75 |     pub fn tree_from(&self, source: NodeIndex) -> ComputationTree {
[INFO] [stdout]    |                             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_source`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `graph`
[INFO] [stdout]    --> src/automata/computation_tree.rs:169:24
[INFO] [stdout]     |
[INFO] [stdout] 169 |         let binding = |graph, (node, location)| {
[INFO] [stdout]     |                        ^^^^^ help: if this is intentional, prefix it with an underscore: `_graph`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `graph`
[INFO] [stdout]    --> src/automata/computation_tree.rs:201:57
[INFO] [stdout]     |
[INFO] [stdout] 201 |         let dot = Dot::with_attr_getters(&graph, &[], &|graph, edge| "".to_string(), &binding);
[INFO] [stdout]     |                                                         ^^^^^ help: if this is intentional, prefix it with an underscore: `_graph`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `edge`
[INFO] [stdout]    --> src/automata/computation_tree.rs:201:64
[INFO] [stdout]     |
[INFO] [stdout] 201 |         let dot = Dot::with_attr_getters(&graph, &[], &|graph, edge| "".to_string(), &binding);
[INFO] [stdout]     |                                                                ^^^^ help: if this is intentional, prefix it with an underscore: `_edge`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]   --> src/automata/hyper_state_set.rs:61:29
[INFO] [stdout]    |
[INFO] [stdout] 61 |     pub fn uncovered(&self, state: &HyperState) -> Vec<HyperState> {
[INFO] [stdout]    |                             ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clocks`
[INFO] [stdout]   --> src/zones/federation.rs:39:18
[INFO] [stdout]    |
[INFO] [stdout] 39 |     pub fn empty(clocks: Clock) -> Federation {
[INFO] [stdout]    |                  ^^^^^^ help: if this is intentional, prefix it with an underscore: `_clocks`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `lhs_outgoing_traversals` and `rhs_outgoing_traversals` are never used
[INFO] [stdout]    --> src/automata/composition.rs:133:8
[INFO] [stdout]     |
[INFO] [stdout]  65 | impl Composition {
[INFO] [stdout]     | ---------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 133 |     fn lhs_outgoing_traversals(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 144 |     fn rhs_outgoing_traversals(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `Implementation` is never constructed
[INFO] [stdout]  --> src/automata/implementation.rs:6:12
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub struct Implementation(Specification);
[INFO] [stdout]   |            ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout]   = note: `#[deny(unused_unconstructable_pub_struct)]` (part of `#[deny(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]  --> src/automata/implementation.rs:6:27
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub struct Implementation(Specification);
[INFO] [stdout]   |            -------------- ^^^^^^^^^^^^^
[INFO] [stdout]   |            |
[INFO] [stdout]   |            field in this struct
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider removing this field
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/automata/automaton.rs:107:22
[INFO] [stdout]     |
[INFO] [stdout] 107 |     pub fn all_edges(&self) -> impl Iterator<Item = EdgeReference<Edge>> {
[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] 107 |     pub fn all_edges(&self) -> impl Iterator<Item = EdgeReference<'_, Edge>> {
[INFO] [stdout]     |                                                                   +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/automata/automaton.rs:111:20
[INFO] [stdout]     |
[INFO] [stdout] 111 |     pub fn ingoing(&self, node: NodeIndex) -> impl Iterator<Item = EdgeReference<Edge>> {
[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] 111 |     pub fn ingoing(&self, node: NodeIndex) -> impl Iterator<Item = EdgeReference<'_, Edge>> {
[INFO] [stdout]     |                                                                                  +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `itertools::Itertools`
[INFO] [stdout]  --> src/automata/automaton.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use itertools::Itertools;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/automata/automaton.rs:115:21
[INFO] [stdout]     |
[INFO] [stdout] 115 |     pub fn outgoing(&self, node: NodeIndex) -> impl Iterator<Item = EdgeReference<Edge>> {
[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] 115 |     pub fn outgoing(&self, node: NodeIndex) -> impl Iterator<Item = EdgeReference<'_, Edge>> {
[INFO] [stdout]     |                                                                                   +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/automata/automaton.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |         &self,
[INFO] [stdout]     |         ^^^^^ the lifetime is elided here
[INFO] [stdout] ...
[INFO] [stdout] 173 |     ) -> impl Iterator<Item = EdgeReference<Edge>> {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^ 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] 173 |     ) -> impl Iterator<Item = EdgeReference<'_, Edge>> {
[INFO] [stdout]     |                                             +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/automata/htiots.rs:53:17
[INFO] [stdout]    |
[INFO] [stdout] 53 |     pub fn iter(&self) -> slice::Iter<State> {
[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] 53 |     pub fn iter(&self) -> slice::Iter<'_, State> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `hoper` (lib) due to 1 previous error; 19 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: unused variable: `destination`
[INFO] [stdout]   --> src/automata/computation_tree.rs:71:28
[INFO] [stdout]    |
[INFO] [stdout] 71 |     pub fn trace_to(&self, destination: NodeIndex) -> ComputationTrace {
[INFO] [stdout]    |                            ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_destination`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `source`
[INFO] [stdout]   --> src/automata/computation_tree.rs:75:29
[INFO] [stdout]    |
[INFO] [stdout] 75 |     pub fn tree_from(&self, source: NodeIndex) -> ComputationTree {
[INFO] [stdout]    |                             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_source`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `graph`
[INFO] [stdout]    --> src/automata/computation_tree.rs:169:24
[INFO] [stdout]     |
[INFO] [stdout] 169 |         let binding = |graph, (node, location)| {
[INFO] [stdout]     |                        ^^^^^ help: if this is intentional, prefix it with an underscore: `_graph`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `graph`
[INFO] [stdout]    --> src/automata/computation_tree.rs:201:57
[INFO] [stdout]     |
[INFO] [stdout] 201 |         let dot = Dot::with_attr_getters(&graph, &[], &|graph, edge| "".to_string(), &binding);
[INFO] [stdout]     |                                                         ^^^^^ help: if this is intentional, prefix it with an underscore: `_graph`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `edge`
[INFO] [stdout]    --> src/automata/computation_tree.rs:201:64
[INFO] [stdout]     |
[INFO] [stdout] 201 |         let dot = Dot::with_attr_getters(&graph, &[], &|graph, edge| "".to_string(), &binding);
[INFO] [stdout]     |                                                                ^^^^ help: if this is intentional, prefix it with an underscore: `_edge`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `state`
[INFO] [stdout]   --> src/automata/hyper_state_set.rs:61:29
[INFO] [stdout]    |
[INFO] [stdout] 61 |     pub fn uncovered(&self, state: &HyperState) -> Vec<HyperState> {
[INFO] [stdout]    |                             ^^^^^ help: if this is intentional, prefix it with an underscore: `_state`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `specification`
[INFO] [stdout]    --> src/automata/specification.rs:110:13
[INFO] [stdout]     |
[INFO] [stdout] 110 |         let specification = tioa.is_input_enabled().unwrap();
[INFO] [stdout]     |             ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_specification`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `clocks`
[INFO] [stdout]   --> src/zones/federation.rs:39:18
[INFO] [stdout]    |
[INFO] [stdout] 39 |     pub fn empty(clocks: Clock) -> Federation {
[INFO] [stdout]    |                  ^^^^^^ help: if this is intentional, prefix it with an underscore: `_clocks`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `lhs_outgoing_traversals` and `rhs_outgoing_traversals` are never used
[INFO] [stdout]    --> src/automata/composition.rs:133:8
[INFO] [stdout]     |
[INFO] [stdout]  65 | impl Composition {
[INFO] [stdout]     | ---------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 133 |     fn lhs_outgoing_traversals(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 144 |     fn rhs_outgoing_traversals(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `Implementation` is never constructed
[INFO] [stdout]  --> src/automata/implementation.rs:6:12
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub struct Implementation(Specification);
[INFO] [stdout]   |            ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout]   = note: `#[deny(unused_unconstructable_pub_struct)]` (part of `#[deny(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]  --> src/automata/implementation.rs:6:27
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub struct Implementation(Specification);
[INFO] [stdout]   |            -------------- ^^^^^^^^^^^^^
[INFO] [stdout]   |            |
[INFO] [stdout]   |            field in this struct
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider removing this field
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/automata/automaton.rs:107:22
[INFO] [stdout]     |
[INFO] [stdout] 107 |     pub fn all_edges(&self) -> impl Iterator<Item = EdgeReference<Edge>> {
[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] 107 |     pub fn all_edges(&self) -> impl Iterator<Item = EdgeReference<'_, Edge>> {
[INFO] [stdout]     |                                                                   +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/automata/automaton.rs:111:20
[INFO] [stdout]     |
[INFO] [stdout] 111 |     pub fn ingoing(&self, node: NodeIndex) -> impl Iterator<Item = EdgeReference<Edge>> {
[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] 111 |     pub fn ingoing(&self, node: NodeIndex) -> impl Iterator<Item = EdgeReference<'_, Edge>> {
[INFO] [stdout]     |                                                                                  +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/automata/automaton.rs:115:21
[INFO] [stdout]     |
[INFO] [stdout] 115 |     pub fn outgoing(&self, node: NodeIndex) -> impl Iterator<Item = EdgeReference<Edge>> {
[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] 115 |     pub fn outgoing(&self, node: NodeIndex) -> impl Iterator<Item = EdgeReference<'_, Edge>> {
[INFO] [stdout]     |                                                                                   +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/automata/automaton.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |         &self,
[INFO] [stdout]     |         ^^^^^ the lifetime is elided here
[INFO] [stdout] ...
[INFO] [stdout] 173 |     ) -> impl Iterator<Item = EdgeReference<Edge>> {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^ 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] 173 |     ) -> impl Iterator<Item = EdgeReference<'_, Edge>> {
[INFO] [stdout]     |                                             +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/automata/htiots.rs:53:17
[INFO] [stdout]    |
[INFO] [stdout] 53 |     pub fn iter(&self) -> slice::Iter<State> {
[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] 53 |     pub fn iter(&self) -> slice::Iter<'_, State> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `hoper` (lib test) due to 1 previous error; 22 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "ae21e65d0c0e1c083401b963700b34955f21a1769e3fdf0753d7abd4d8be38e4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ae21e65d0c0e1c083401b963700b34955f21a1769e3fdf0753d7abd4d8be38e4", kill_on_drop: false }`
[INFO] [stdout] ae21e65d0c0e1c083401b963700b34955f21a1769e3fdf0753d7abd4d8be38e4
