[INFO] fetching crate concorde 0.3.0...
[INFO] testing concorde-0.3.0 against 1.44.0 for beta-1.45-1
[INFO] extracting crate concorde 0.3.0 into /workspace/builds/worker-13/source
[INFO] validating manifest of crates.io crate concorde 0.3.0 on toolchain 1.44.0
[INFO] running `"/workspace/cargo-home/bin/cargo" "+1.44.0" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started tweaking crates.io crate concorde 0.3.0
[INFO] finished tweaking crates.io crate concorde 0.3.0
[INFO] tweaked toml for crates.io crate concorde 0.3.0 written to /workspace/builds/worker-13/source/Cargo.toml
[INFO] running `"/workspace/cargo-home/bin/cargo" "+1.44.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/workspace/cargo-home/bin/cargo" "+1.44.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/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=warn" "-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" "+1.44.0" "build" "--frozen"`
[INFO] [stdout] 429065a35869198bfd7e103bda2479714a9b5943423396166125d15d42fae523
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `"docker" "start" "-a" "429065a35869198bfd7e103bda2479714a9b5943423396166125d15d42fae523"`
[INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted
[INFO] [stderr]    Compiling rand_core v0.5.1
[INFO] [stderr]    Compiling bit-vec v0.6.2
[INFO] [stderr]    Compiling im-rc v15.0.0
[INFO] [stderr]    Compiling im v15.0.0
[INFO] [stderr]    Compiling bitmaps v2.1.0
[INFO] [stderr]    Compiling rand_xoshiro v0.4.0
[INFO] [stderr]    Compiling bit-set v0.5.2
[INFO] [stderr]    Compiling sized-chunks v0.6.2
[INFO] [stderr]    Compiling pergola v0.6.0
[INFO] [stderr]    Compiling concorde v0.3.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 9.86s
[INFO] running `"docker" "inspect" "429065a35869198bfd7e103bda2479714a9b5943423396166125d15d42fae523"`
[INFO] running `"docker" "rm" "-f" "429065a35869198bfd7e103bda2479714a9b5943423396166125d15d42fae523"`
[INFO] [stdout] 429065a35869198bfd7e103bda2479714a9b5943423396166125d15d42fae523
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/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=warn" "-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" "+1.44.0" "test" "--frozen" "--no-run"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 4d45750b305001370f26fbf5e5bbbfac8f98114990a2c84aa91f6c4321dce486
[INFO] running `"docker" "start" "-a" "4d45750b305001370f26fbf5e5bbbfac8f98114990a2c84aa91f6c4321dce486"`
[INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted
[INFO] [stderr]    Compiling pin-project-internal v0.4.17
[INFO] [stderr]    Compiling futures-macro v0.3.5
[INFO] [stderr]    Compiling pretty_env_logger v0.4.0
[INFO] [stderr]    Compiling pin-project v0.4.17
[INFO] [stderr]    Compiling futures-util v0.3.5
[INFO] [stderr]    Compiling futures-executor v0.3.5
[INFO] [stderr]    Compiling futures v0.3.5
[INFO] [stderr]    Compiling concorde v0.3.0 (/opt/rustwide/workdir)
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `stateright`
[INFO] [stderr]  --> src/stateright_tests.rs:8:5
[INFO] [stderr]   |
[INFO] [stderr] 8 | use stateright::actor::system::*;
[INFO] [stderr]   |     ^^^^^^^^^^ use of undeclared type or module `stateright`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `stateright`
[INFO] [stderr]  --> src/stateright_tests.rs:9:5
[INFO] [stderr]   |
[INFO] [stderr] 9 | use stateright::actor::*;
[INFO] [stderr]   |     ^^^^^^^^^^ use of undeclared type or module `stateright`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `stateright`
[INFO] [stderr]   --> src/stateright_tests.rs:10:5
[INFO] [stderr]    |
[INFO] [stderr] 10 | use stateright::checker::*;
[INFO] [stderr]    |     ^^^^^^^^^^ use of undeclared type or module `stateright`
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved imports `pretty_env_logger`, `stateright`, `stateright::actor::system::*`, `stateright::actor::*`, `stateright::checker::*`
[INFO] [stderr]   --> src/stateright_tests.rs:6:5
[INFO] [stderr]    |
[INFO] [stderr] 6  | use pretty_env_logger;
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 7  | use stateright::*;
[INFO] [stderr]    |     ^^^^^^^^^^ use of undeclared type or module `stateright`
[INFO] [stderr] 8  | use stateright::actor::system::*;
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 9  | use stateright::actor::*;
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 10 | use stateright::checker::*;
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Event`
[INFO] [stderr]   --> src/stateright_tests.rs:88:13
[INFO] [stderr]    |
[INFO] [stderr] 88 |         let Event::Receive(_, msg) = i.event;
[INFO] [stderr]    |             ^^^^^ use of undeclared type or module `Event`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Id`
[INFO] [stderr]    --> src/stateright_tests.rs:102:15
[INFO] [stderr]     |
[INFO] [stderr] 102 |     let id0 = Id::from(0);
[INFO] [stderr]     |               ^^ use of undeclared type or module `Id`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Id`
[INFO] [stderr]    --> src/stateright_tests.rs:103:15
[INFO] [stderr]     |
[INFO] [stderr] 103 |     let id1 = Id::from(1);
[INFO] [stderr]     |               ^^ use of undeclared type or module `Id`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Id`
[INFO] [stderr]    --> src/stateright_tests.rs:104:15
[INFO] [stderr]     |
[INFO] [stderr] 104 |     let id2 = Id::from(2);
[INFO] [stderr]     |               ^^ use of undeclared type or module `Id`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `System`
[INFO] [stderr]    --> src/stateright_tests.rs:130:19
[INFO] [stderr]     |
[INFO] [stderr] 130 |     let mut sys = System::with_actors(actors);
[INFO] [stderr]     |                   ^^^^^^ use of undeclared type or module `System`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `DuplicatingNetwork`
[INFO] [stderr]    --> src/stateright_tests.rs:131:31
[INFO] [stderr]     |
[INFO] [stderr] 131 |     sys.duplicating_network = DuplicatingNetwork::No;
[INFO] [stderr]     |                               ^^^^^^^^^^^^^^^^^^ use of undeclared type or module `DuplicatingNetwork`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Property`
[INFO] [stderr]    --> src/stateright_tests.rs:255:13
[INFO] [stderr]     |
[INFO] [stderr] 255 |             Property::always("valid", lattice_agreement_validity),
[INFO] [stderr]     |             ^^^^^^^^ use of undeclared type or module `Property`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Property`
[INFO] [stderr]    --> src/stateright_tests.rs:256:13
[INFO] [stderr]     |
[INFO] [stderr] 256 |             Property::always("consistent", lattice_agreement_consistency),
[INFO] [stderr]     |             ^^^^^^^^ use of undeclared type or module `Property`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Property`
[INFO] [stderr]    --> src/stateright_tests.rs:257:13
[INFO] [stderr]     |
[INFO] [stderr] 257 |             Property::eventually("live", lattice_agreement_liveness),
[INFO] [stderr]     |             ^^^^^^^^ use of undeclared type or module `Property`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Property`
[INFO] [stderr]    --> src/stateright_tests.rs:258:13
[INFO] [stderr]     |
[INFO] [stderr] 258 |             Property::always("trivial", |_,_| true),
[INFO] [stderr]     |             ^^^^^^^^ use of undeclared type or module `Property`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `StateMachine`
[INFO] [stderr]    --> src/stateright_tests.rs:394:57
[INFO] [stderr]     |
[INFO] [stderr] 394 | fn print_system_state(state: &<System<ConcordeActor> as StateMachine>::State)
[INFO] [stderr]     |                                                         ^^^^^^^^^^^^ use of undeclared type or module `StateMachine`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `StateMachine`
[INFO] [stderr]    --> src/stateright_tests.rs:421:70
[INFO] [stderr]     |
[INFO] [stderr] 421 | fn print_system_action_opt(action: &Option<<System<ConcordeActor> as StateMachine>::Action>)
[INFO] [stderr]     |                                                                      ^^^^^^^^^^^^ use of undeclared type or module `StateMachine`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `SystemAction`
[INFO] [stderr]    --> src/stateright_tests.rs:427:14
[INFO] [stderr]     |
[INFO] [stderr] 427 |         Some(SystemAction::Drop(envelope)) =>
[INFO] [stderr]     |              ^^^^^^^^^^^^ use of undeclared type or module `SystemAction`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `SystemAction`
[INFO] [stderr]    --> src/stateright_tests.rs:432:14
[INFO] [stderr]     |
[INFO] [stderr] 432 |         Some(SystemAction::Act(dst, Event::Receive(src, msg))) =>
[INFO] [stderr]     |              ^^^^^^^^^^^^ use of undeclared type or module `SystemAction`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Event`
[INFO] [stderr]    --> src/stateright_tests.rs:432:37
[INFO] [stderr]     |
[INFO] [stderr] 432 |         Some(SystemAction::Act(dst, Event::Receive(src, msg))) =>
[INFO] [stderr]     |                                     ^^^^^ use of undeclared type or module `Event`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `StateMachine`
[INFO] [stderr]    --> src/stateright_tests.rs:440:52
[INFO] [stderr]     |
[INFO] [stderr] 440 | fn print_path(path: Path<<System<ConcordeActor> as StateMachine>::State,
[INFO] [stderr]     |                                                    ^^^^^^^^^^^^ use of undeclared type or module `StateMachine`
[INFO] [stderr] 
[INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `StateMachine`
[INFO] [stderr]    --> src/stateright_tests.rs:441:52
[INFO] [stderr]     |
[INFO] [stderr] 441 |                          <System<ConcordeActor> as StateMachine>::Action>)
[INFO] [stderr]     |                                                    ^^^^^^^^^^^^ use of undeclared type or module `StateMachine`
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Id` in this scope
[INFO] [stderr]   --> src/stateright_tests.rs:17:27
[INFO] [stderr]    |
[INFO] [stderr] 17 | type Msg = Message<ObjLD, Id>;
[INFO] [stderr]    |         -                 ^^ not found in this scope
[INFO] [stderr]    |         |
[INFO] [stderr]    |         help: you might be missing a type parameter: `<Id>`
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Id` in this scope
[INFO] [stderr]   --> src/stateright_tests.rs:18:32
[INFO] [stderr]    |
[INFO] [stderr] 18 | type Part = Participant<ObjLD, Id>;
[INFO] [stderr]    |          -                     ^^ not found in this scope
[INFO] [stderr]    |          |
[INFO] [stderr]    |          help: you might be missing a type parameter: `<Id>`
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Id` in this scope
[INFO] [stderr]   --> src/stateright_tests.rs:24:9
[INFO] [stderr]    |
[INFO] [stderr] 24 |     id: Id,
[INFO] [stderr]    |         ^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Id` in this scope
[INFO] [stderr]   --> src/stateright_tests.rs:25:43
[INFO] [stderr]    |
[INFO] [stderr] 20 | struct ConcordeActor {
[INFO] [stderr]    |                     - help: you might be missing a type parameter: `<Id>`
[INFO] [stderr] ...
[INFO] [stderr] 25 |     proposals_to_make: Vec<StateLE<ObjLD, Id>>,
[INFO] [stderr]    |                                           ^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Out` in this scope
[INFO] [stderr]   --> src/stateright_tests.rs:28:74
[INFO] [stderr]    |
[INFO] [stderr] 28 | fn step_participant(participant: &mut Part, incoming: &Vec<Msg>, o: &mut Out<ConcordeActor>) {
[INFO] [stderr]    |                                                                          ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Id` in this scope
[INFO] [stderr]   --> src/stateright_tests.rs:52:67
[INFO] [stderr]    |
[INFO] [stderr] 48 | impl ConcordeActor {
[INFO] [stderr]    |     - help: you might be missing a type parameter: `<Id>`
[INFO] [stderr] ...
[INFO] [stderr] 52 |     fn next_proposal(&self, part: &Part) -> Option<StateLE<ObjLD, Id>>
[INFO] [stderr]    |                                                                   ^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0405]: cannot find trait `Actor` in this scope
[INFO] [stderr]   --> src/stateright_tests.rs:67:6
[INFO] [stderr]    |
[INFO] [stderr] 67 | impl Actor for ConcordeActor {
[INFO] [stderr]    |      ^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `InitIn` in this scope
[INFO] [stderr]   --> src/stateright_tests.rs:71:16
[INFO] [stderr]    |
[INFO] [stderr] 71 |     fn init(i: InitIn<Self>, o: &mut Out<Self>) {
[INFO] [stderr]    |                ^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Out` in this scope
[INFO] [stderr]   --> src/stateright_tests.rs:71:38
[INFO] [stderr]    |
[INFO] [stderr] 71 |     fn init(i: InitIn<Self>, o: &mut Out<Self>) {
[INFO] [stderr]    |                                      ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `NextIn` in this scope
[INFO] [stderr]   --> src/stateright_tests.rs:87:16
[INFO] [stderr]    |
[INFO] [stderr] 87 |     fn next(i: NextIn<Self>, o: &mut Out<Self>) {
[INFO] [stderr]    |                ^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Out` in this scope
[INFO] [stderr]   --> src/stateright_tests.rs:87:38
[INFO] [stderr]    |
[INFO] [stderr] 87 |     fn next(i: NextIn<Self>, o: &mut Out<Self>) {
[INFO] [stderr]    |                                      ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `System` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:100:16
[INFO] [stderr]     |
[INFO] [stderr] 100 | fn system() -> System<ConcordeActor> {
[INFO] [stderr]     |                ^^^^^^ not found in this scope
[INFO] [stderr]     |
[INFO] [stderr] help: possible candidate is found in another module, you can import it into scope
[INFO] [stderr]     |
[INFO] [stderr] 4   | use std::alloc::System;
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `System` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:143:38
[INFO] [stderr]     |
[INFO] [stderr] 143 | fn lattice_agreement_validity(_sys: &System<ConcordeActor>,
[INFO] [stderr]     |                                      ^^^^^^ not found in this scope
[INFO] [stderr]     |
[INFO] [stderr] help: possible candidate is found in another module, you can import it into scope
[INFO] [stderr]     |
[INFO] [stderr] 4   | use std::alloc::System;
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `SystemState` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:144:39
[INFO] [stderr]     |
[INFO] [stderr] 144 | ...                   state: &SystemState<ConcordeActor>) -> bool
[INFO] [stderr]     |                               ^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `System` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:185:41
[INFO] [stderr]     |
[INFO] [stderr] 185 | fn lattice_agreement_consistency(_sys: &System<ConcordeActor>,
[INFO] [stderr]     |                                         ^^^^^^ not found in this scope
[INFO] [stderr]     |
[INFO] [stderr] help: possible candidate is found in another module, you can import it into scope
[INFO] [stderr]     |
[INFO] [stderr] 4   | use std::alloc::System;
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `SystemState` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:186:42
[INFO] [stderr]     |
[INFO] [stderr] 186 | ...                   state: &SystemState<ConcordeActor>) -> bool
[INFO] [stderr]     |                               ^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `System` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:207:37
[INFO] [stderr]     |
[INFO] [stderr] 207 | fn lattice_agreement_liveness(sys: &System<ConcordeActor>,
[INFO] [stderr]     |                                     ^^^^^^ not found in this scope
[INFO] [stderr]     |
[INFO] [stderr] help: possible candidate is found in another module, you can import it into scope
[INFO] [stderr]     |
[INFO] [stderr] 4   | use std::alloc::System;
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `SystemState` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:208:39
[INFO] [stderr]     |
[INFO] [stderr] 208 | ...                   state: &SystemState<ConcordeActor>) -> bool
[INFO] [stderr]     |                               ^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `System` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:226:37
[INFO] [stderr]     |
[INFO] [stderr] 226 | fn lattice_agreement_boundary(sys: &System<ConcordeActor>,
[INFO] [stderr]     |                                     ^^^^^^ not found in this scope
[INFO] [stderr]     |
[INFO] [stderr] help: possible candidate is found in another module, you can import it into scope
[INFO] [stderr]     |
[INFO] [stderr] 4   | use std::alloc::System;
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `SystemState` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:227:39
[INFO] [stderr]     |
[INFO] [stderr] 227 | ...                   state: &SystemState<ConcordeActor>) -> bool
[INFO] [stderr]     |                               ^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `System` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:251:15
[INFO] [stderr]     |
[INFO] [stderr] 251 | fn model(sys: System<ConcordeActor>) -> Model<'static, System<ConcordeActor>> {
[INFO] [stderr]     |               ^^^^^^ not found in this scope
[INFO] [stderr]     |
[INFO] [stderr] help: possible candidate is found in another module, you can import it into scope
[INFO] [stderr]     |
[INFO] [stderr] 4   | use std::alloc::System;
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Model` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:251:41
[INFO] [stderr]     |
[INFO] [stderr] 251 | fn model(sys: System<ConcordeActor>) -> Model<'static, System<ConcordeActor>> {
[INFO] [stderr]     |                                         ^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `System` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:251:56
[INFO] [stderr]     |
[INFO] [stderr] 251 | fn model(sys: System<ConcordeActor>) -> Model<'static, System<ConcordeActor>> {
[INFO] [stderr]     |                                                        ^^^^^^ not found in this scope
[INFO] [stderr]     |
[INFO] [stderr] help: possible candidate is found in another module, you can import it into scope
[INFO] [stderr]     |
[INFO] [stderr] 4   | use std::alloc::System;
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] error[E0422]: cannot find struct, variant or union type `Model` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:252:5
[INFO] [stderr]     |
[INFO] [stderr] 252 |     Model {
[INFO] [stderr]     |     ^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Id` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:308:41
[INFO] [stderr]     |
[INFO] [stderr] 308 | fn responses_to_string(resp: &ArcOrdSet<Id>) -> String
[INFO] [stderr]     |                       -                 ^^ not found in this scope
[INFO] [stderr]     |                       |
[INFO] [stderr]     |                       help: you might be missing a type parameter: `<Id>`
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Id` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:324:30
[INFO] [stderr]     |
[INFO] [stderr] 324 | fn cfg_to_string(cfg: &CfgLE<Id>) -> String
[INFO] [stderr]     |                 -            ^^ not found in this scope
[INFO] [stderr]     |                 |
[INFO] [stderr]     |                 help: you might be missing a type parameter: `<Id>`
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Id` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:340:42
[INFO] [stderr]     |
[INFO] [stderr] 340 | fn cfgs_to_string(cfgs: &ArcOrdSet<CfgLE<Id>>) -> String
[INFO] [stderr]     |                  -                       ^^ not found in this scope
[INFO] [stderr]     |                  |
[INFO] [stderr]     |                  help: you might be missing a type parameter: `<Id>`
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Id` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:356:43
[INFO] [stderr]     |
[INFO] [stderr] 356 | fn state_to_string(state: &StateLE<ObjLD, Id>) -> String
[INFO] [stderr]     |                   -                       ^^ not found in this scope
[INFO] [stderr]     |                   |
[INFO] [stderr]     |                   help: you might be missing a type parameter: `<Id>`
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Id` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:363:54
[INFO] [stderr]     |
[INFO] [stderr] 363 | fn state_opt_to_string(state: &Option<StateLE<ObjLD, Id>>) -> String
[INFO] [stderr]     |                       -                              ^^ not found in this scope
[INFO] [stderr]     |                       |
[INFO] [stderr]     |                       help: you might be missing a type parameter: `<Id>`
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Id` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:371:42
[INFO] [stderr]     |
[INFO] [stderr] 371 | fn opinion_to_string(op: &Opinion<ObjLD, Id>) -> String
[INFO] [stderr]     |                     -                    ^^ not found in this scope
[INFO] [stderr]     |                     |
[INFO] [stderr]     |                     help: you might be missing a type parameter: `<Id>`
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `System` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:394:32
[INFO] [stderr]     |
[INFO] [stderr] 394 | fn print_system_state(state: &<System<ConcordeActor> as StateMachine>::State)
[INFO] [stderr]     |                                ^^^^^^ not found in this scope
[INFO] [stderr]     |
[INFO] [stderr] help: possible candidate is found in another module, you can import it into scope
[INFO] [stderr]     |
[INFO] [stderr] 4   | use std::alloc::System;
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `System` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:421:45
[INFO] [stderr]     |
[INFO] [stderr] 421 | fn print_system_action_opt(action: &Option<<System<ConcordeActor> as StateMachine>::Action>)
[INFO] [stderr]     |                                             ^^^^^^ not found in this scope
[INFO] [stderr]     |
[INFO] [stderr] help: possible candidate is found in another module, you can import it into scope
[INFO] [stderr]     |
[INFO] [stderr] 4   | use std::alloc::System;
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `Path` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:440:21
[INFO] [stderr]     |
[INFO] [stderr] 440 | fn print_path(path: Path<<System<ConcordeActor> as StateMachine>::State,
[INFO] [stderr]     |                     ^^^^ not found in this scope
[INFO] [stderr]     |
[INFO] [stderr] help: possible candidate is found in another module, you can import it into scope
[INFO] [stderr]     |
[INFO] [stderr] 4   | use std::path::Path;
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `System` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:440:27
[INFO] [stderr]     |
[INFO] [stderr] 440 | fn print_path(path: Path<<System<ConcordeActor> as StateMachine>::State,
[INFO] [stderr]     |                           ^^^^^^ not found in this scope
[INFO] [stderr]     |
[INFO] [stderr] help: possible candidate is found in another module, you can import it into scope
[INFO] [stderr]     |
[INFO] [stderr] 4   | use std::alloc::System;
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `System` in this scope
[INFO] [stderr]    --> src/stateright_tests.rs:441:27
[INFO] [stderr]     |
[INFO] [stderr] 441 |                          <System<ConcordeActor> as StateMachine>::Action>)
[INFO] [stderr]     |                           ^^^^^^ not found in this scope
[INFO] [stderr]     |
[INFO] [stderr] help: possible candidate is found in another module, you can import it into scope
[INFO] [stderr]     |
[INFO] [stderr] 4   | use std::alloc::System;
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] error: aborting due to 56 previous errors
[INFO] [stderr] 
[INFO] [stderr] Some errors have detailed explanations: E0405, E0412, E0422, E0432, E0433.
[INFO] [stderr] For more information about an error, try `rustc --explain E0405`.
[INFO] [stderr] error: could not compile `concorde`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `"docker" "inspect" "4d45750b305001370f26fbf5e5bbbfac8f98114990a2c84aa91f6c4321dce486"`
[INFO] running `"docker" "rm" "-f" "4d45750b305001370f26fbf5e5bbbfac8f98114990a2c84aa91f6c4321dce486"`
[INFO] [stdout] 4d45750b305001370f26fbf5e5bbbfac8f98114990a2c84aa91f6c4321dce486