[INFO] fetching crate peace 0.0.2... [INFO] checking peace-0.0.2 against try#8ea250bdb76176ecb0225baa34aa634b024ae0e2 for pr-101692 [INFO] extracting crate peace 0.0.2 into /workspace/builds/worker-7/source [INFO] validating manifest of crates.io crate peace 0.0.2 on toolchain 8ea250bdb76176ecb0225baa34aa634b024ae0e2 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8ea250bdb76176ecb0225baa34aa634b024ae0e2" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] removed /workspace/builds/worker-7/source/.cargo/config.toml [INFO] started tweaking crates.io crate peace 0.0.2 [INFO] finished tweaking crates.io crate peace 0.0.2 [INFO] tweaked toml for crates.io crate peace 0.0.2 written to /workspace/builds/worker-7/source/Cargo.toml [INFO] crate crates.io crate peace 0.0.2 already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8ea250bdb76176ecb0225baa34aa634b024ae0e2" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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:824c28ce115f6b999260af6986f3384c158e782489540e41c0b698ca1d9fd927" "/opt/rustwide/cargo-home/bin/cargo" "+8ea250bdb76176ecb0225baa34aa634b024ae0e2" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 15e279946952fc9570480b749377e811b4045c1f3f36c0079f113236e3ab1a3b [INFO] running `Command { std: "docker" "start" "-a" "15e279946952fc9570480b749377e811b4045c1f3f36c0079f113236e3ab1a3b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "15e279946952fc9570480b749377e811b4045c1f3f36c0079f113236e3ab1a3b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "15e279946952fc9570480b749377e811b4045c1f3f36c0079f113236e3ab1a3b", kill_on_drop: false }` [INFO] [stdout] 15e279946952fc9570480b749377e811b4045c1f3f36c0079f113236e3ab1a3b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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:824c28ce115f6b999260af6986f3384c158e782489540e41c0b698ca1d9fd927" "/opt/rustwide/cargo-home/bin/cargo" "+8ea250bdb76176ecb0225baa34aa634b024ae0e2" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 701916bc668bfe89a8144ab616e5f272784e7c6c0ecaf22666c041c115f53685 [INFO] running `Command { std: "docker" "start" "-a" "701916bc668bfe89a8144ab616e5f272784e7c6c0ecaf22666c041c115f53685", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.42 [INFO] [stderr] Compiling unicode-ident v1.0.2 [INFO] [stderr] Compiling quote v1.0.20 [INFO] [stderr] Compiling syn v1.0.98 [INFO] [stderr] Compiling autocfg v1.1.0 [INFO] [stderr] Compiling serde_derive v1.0.141 [INFO] [stderr] Compiling serde v1.0.141 [INFO] [stderr] Compiling libc v0.2.126 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Checking once_cell v1.13.0 [INFO] [stderr] Compiling log v0.4.17 [INFO] [stderr] Checking pin-project-lite v0.2.9 [INFO] [stderr] Compiling memchr v2.5.0 [INFO] [stderr] Compiling futures-core v0.3.21 [INFO] [stderr] Checking hashbrown v0.12.3 [INFO] [stderr] Checking futures-sink v0.3.21 [INFO] [stderr] Checking bytes v1.2.1 [INFO] [stderr] Compiling futures-task v0.3.21 [INFO] [stderr] Compiling futures-channel v0.3.21 [INFO] [stderr] Compiling futures-util v0.3.21 [INFO] [stderr] Checking futures-io v0.3.21 [INFO] [stderr] Checking pin-utils v0.1.0 [INFO] [stderr] Compiling pkg-config v0.3.25 [INFO] [stderr] Compiling cc v1.0.73 [INFO] [stderr] Checking fixedbitset v0.4.2 [INFO] [stderr] Compiling resman v0.15.0 [INFO] [stderr] Compiling erased-serde v0.3.21 [INFO] [stderr] Checking downcast-rs v1.2.0 [INFO] [stderr] Checking rt_ref v0.2.0 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Checking smallvec v1.9.0 [INFO] [stderr] Checking itoa v1.0.2 [INFO] [stderr] Compiling openssl v0.10.41 [INFO] [stderr] Compiling async-trait v0.1.57 [INFO] [stderr] Compiling macro_rules_attribute-proc_macro v0.1.2 [INFO] [stderr] Compiling paste v1.0.7 [INFO] [stderr] Checking foreign-types-shared v0.1.1 [INFO] [stderr] Checking fnv v1.0.7 [INFO] [stderr] Checking bitflags v1.3.2 [INFO] [stderr] Checking dyn-clone v1.0.8 [INFO] [stderr] Checking matches v0.1.9 [INFO] [stderr] Compiling httparse v1.7.1 [INFO] [stderr] Compiling native-tls v0.2.10 [INFO] [stderr] Checking tinyvec_macros v0.1.0 [INFO] [stderr] Checking percent-encoding v2.1.0 [INFO] [stderr] Checking unicode-width v0.1.9 [INFO] [stderr] Checking openssl-probe v0.1.5 [INFO] [stderr] Checking try-lock v0.2.3 [INFO] [stderr] Checking ryu v1.0.10 [INFO] [stderr] Checking unicode-bidi v0.3.8 [INFO] [stderr] Checking tower-service v0.3.2 [INFO] [stderr] Checking httpdate v1.0.2 [INFO] [stderr] Compiling encoding_rs v0.8.31 [INFO] [stderr] Checking linked-hash-map v0.5.6 [INFO] [stderr] Checking os_str_bytes v6.2.0 [INFO] [stderr] Compiling heck v0.4.0 [INFO] [stderr] Checking base64 v0.13.0 [INFO] [stderr] Checking textwrap v0.15.0 [INFO] [stderr] Checking ipnet v2.5.0 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Checking strsim v0.10.0 [INFO] [stderr] Checking mime v0.3.16 [INFO] [stderr] Checking termcolor v1.1.3 [INFO] [stderr] Checking tracing-core v0.1.29 [INFO] [stderr] Compiling indexmap v1.9.1 [INFO] [stderr] Compiling slab v0.4.7 [INFO] [stderr] Compiling tokio v1.20.1 [INFO] [stderr] Checking rt_map v0.5.2 [INFO] [stderr] Checking foreign-types v0.3.2 [INFO] [stderr] Checking http v0.2.8 [INFO] [stderr] Checking tinyvec v1.6.0 [INFO] [stderr] Checking form_urlencoded v1.0.1 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Checking macro_rules_attribute v0.1.2 [INFO] [stderr] Compiling openssl-sys v0.9.75 [INFO] [stderr] Checking tracing v0.1.36 [INFO] [stderr] Checking clap_lex v0.2.4 [INFO] [stderr] Checking yaml-rust v0.4.5 [INFO] [stderr] Checking http-body v0.4.5 [INFO] [stderr] Checking unicode-normalization v0.1.21 [INFO] [stderr] Checking want v0.3.0 [INFO] [stderr] Checking socket2 v0.4.4 [INFO] [stderr] Checking mio v0.8.4 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking idna v0.2.3 [INFO] [stderr] Checking url v2.2.2 [INFO] [stderr] Checking tokio-util v0.7.3 [INFO] [stderr] Compiling futures-macro v0.3.21 [INFO] [stderr] Compiling peace_data_derive v0.0.2 [INFO] [stderr] Compiling openssl-macros v0.1.0 [INFO] [stderr] Compiling nougat-proc_macros v0.2.1 [INFO] [stderr] Compiling thiserror-impl v1.0.31 [INFO] [stderr] Compiling peace_full_spec_id_macro v0.0.2 [INFO] [stderr] Compiling miette-derive v5.2.0 [INFO] [stderr] Compiling clap_derive v3.2.15 [INFO] [stderr] Checking nougat v0.2.1 [INFO] [stderr] Checking thiserror v1.0.31 [INFO] [stderr] Checking miette v5.2.0 [INFO] [stderr] Checking futures-executor v0.3.21 [INFO] [stderr] Checking tokio-native-tls v0.3.0 [INFO] [stderr] Checking futures v0.3.21 [INFO] [stderr] Checking peace_core v0.0.2 [INFO] [stderr] Checking peace_diff v0.0.2 [INFO] [stderr] Checking serde_urlencoded v0.7.1 [INFO] [stderr] Checking petgraph v0.6.2 [INFO] [stderr] Checking h2 v0.3.13 [INFO] [stderr] Checking clap v3.2.16 [INFO] [stderr] Checking serde_yaml v0.8.26 [INFO] [stderr] Checking serde_tagged v0.2.0 [INFO] [stderr] Checking daggy v0.8.0 [INFO] [stderr] Checking type_reg v0.3.0 [INFO] [stderr] Checking hyper v0.14.20 [INFO] [stderr] Checking fn_graph v0.5.4 [INFO] [stderr] Checking peace_data v0.0.2 [INFO] [stderr] Checking peace_resources v0.0.2 [INFO] [stderr] Checking hyper-tls v0.5.0 [INFO] [stderr] Checking peace_cfg v0.0.2 [INFO] [stderr] Checking reqwest v0.11.11 [INFO] [stderr] Checking peace_rt_model v0.0.2 [INFO] [stdout] error[E0391]: cycle detected when type-checking `full_spec_wrapper::::state_current_fn_exec` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:434:5 [INFO] [stdout] | [INFO] [stdout] 434 | async fn state_current_fn_exec( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: ...which requires generator glue MIR for `full_spec_wrapper::::state_current_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:437:39 [INFO] [stdout] | [INFO] [stdout] 437 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 438 | | let state: State = { [INFO] [stdout] 439 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 440 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 445 | | Ok(Box::new(state)) [INFO] [stdout] 446 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires elaborating drops for `full_spec_wrapper::::state_current_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:437:39 [INFO] [stdout] | [INFO] [stdout] 437 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 438 | | let state: State = { [INFO] [stdout] 439 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 440 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 445 | | Ok(Box::new(state)) [INFO] [stdout] 446 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires borrow-checking `full_spec_wrapper::::state_current_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:437:39 [INFO] [stdout] | [INFO] [stdout] 437 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 438 | | let state: State = { [INFO] [stdout] 439 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 440 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 445 | | Ok(Box::new(state)) [INFO] [stdout] 446 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires processing `full_spec_wrapper::::state_current_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:437:39 [INFO] [stdout] | [INFO] [stdout] 437 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 438 | | let state: State = { [INFO] [stdout] 439 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 440 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 445 | | Ok(Box::new(state)) [INFO] [stdout] 446 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires processing MIR for `full_spec_wrapper::::state_current_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:437:39 [INFO] [stdout] | [INFO] [stdout] 437 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 438 | | let state: State = { [INFO] [stdout] 439 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 440 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 445 | | Ok(Box::new(state)) [INFO] [stdout] 446 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires unsafety-checking `full_spec_wrapper::::state_current_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:437:39 [INFO] [stdout] | [INFO] [stdout] 437 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 438 | | let state: State = { [INFO] [stdout] 439 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 440 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 445 | | Ok(Box::new(state)) [INFO] [stdout] 446 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires building MIR for `full_spec_wrapper::::state_current_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:437:39 [INFO] [stdout] | [INFO] [stdout] 437 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 438 | | let state: State = { [INFO] [stdout] 439 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 440 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 445 | | Ok(Box::new(state)) [INFO] [stdout] 446 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires type-checking `full_spec_wrapper::::state_current_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:437:39 [INFO] [stdout] | [INFO] [stdout] 437 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 438 | | let state: State = { [INFO] [stdout] 439 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 440 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 445 | | Ok(Box::new(state)) [INFO] [stdout] 446 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] = note: ...which again requires type-checking `full_spec_wrapper::::state_current_fn_exec`, completing the cycle [INFO] [stdout] = note: cycle used when type-checking all item bodies [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0391]: cycle detected when type-checking `full_spec_wrapper::::state_ensured_fn_exec` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:448:5 [INFO] [stdout] | [INFO] [stdout] 448 | async fn state_ensured_fn_exec( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: ...which requires generator glue MIR for `full_spec_wrapper::::state_ensured_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:451:39 [INFO] [stdout] | [INFO] [stdout] 451 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 452 | | let state: State = { [INFO] [stdout] 453 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 454 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 459 | | Ok(Box::new(state)) [INFO] [stdout] 460 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires elaborating drops for `full_spec_wrapper::::state_ensured_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:451:39 [INFO] [stdout] | [INFO] [stdout] 451 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 452 | | let state: State = { [INFO] [stdout] 453 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 454 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 459 | | Ok(Box::new(state)) [INFO] [stdout] 460 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires borrow-checking `full_spec_wrapper::::state_ensured_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:451:39 [INFO] [stdout] | [INFO] [stdout] 451 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 452 | | let state: State = { [INFO] [stdout] 453 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 454 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 459 | | Ok(Box::new(state)) [INFO] [stdout] 460 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires processing `full_spec_wrapper::::state_ensured_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:451:39 [INFO] [stdout] | [INFO] [stdout] 451 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 452 | | let state: State = { [INFO] [stdout] 453 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 454 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 459 | | Ok(Box::new(state)) [INFO] [stdout] 460 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires processing MIR for `full_spec_wrapper::::state_ensured_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:451:39 [INFO] [stdout] | [INFO] [stdout] 451 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 452 | | let state: State = { [INFO] [stdout] 453 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 454 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 459 | | Ok(Box::new(state)) [INFO] [stdout] 460 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires unsafety-checking `full_spec_wrapper::::state_ensured_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:451:39 [INFO] [stdout] | [INFO] [stdout] 451 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 452 | | let state: State = { [INFO] [stdout] 453 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 454 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 459 | | Ok(Box::new(state)) [INFO] [stdout] 460 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires building MIR for `full_spec_wrapper::::state_ensured_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:451:39 [INFO] [stdout] | [INFO] [stdout] 451 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 452 | | let state: State = { [INFO] [stdout] 453 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 454 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 459 | | Ok(Box::new(state)) [INFO] [stdout] 460 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires type-checking `full_spec_wrapper::::state_ensured_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:451:39 [INFO] [stdout] | [INFO] [stdout] 451 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 452 | | let state: State = { [INFO] [stdout] 453 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 454 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 459 | | Ok(Box::new(state)) [INFO] [stdout] 460 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] = note: ...which again requires type-checking `full_spec_wrapper::::state_ensured_fn_exec`, completing the cycle [INFO] [stdout] = note: cycle used when type-checking all item bodies [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0391]: cycle detected when type-checking `full_spec_wrapper::::state_desired_fn_exec` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:462:5 [INFO] [stdout] | [INFO] [stdout] 462 | async fn state_desired_fn_exec( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: ...which requires generator glue MIR for `full_spec_wrapper::::state_desired_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:465:39 [INFO] [stdout] | [INFO] [stdout] 465 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 466 | | let state_desired = { [INFO] [stdout] 467 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 468 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 473 | | Ok(Box::new(state_desired)) [INFO] [stdout] 474 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires elaborating drops for `full_spec_wrapper::::state_desired_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:465:39 [INFO] [stdout] | [INFO] [stdout] 465 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 466 | | let state_desired = { [INFO] [stdout] 467 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 468 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 473 | | Ok(Box::new(state_desired)) [INFO] [stdout] 474 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires borrow-checking `full_spec_wrapper::::state_desired_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:465:39 [INFO] [stdout] | [INFO] [stdout] 465 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 466 | | let state_desired = { [INFO] [stdout] 467 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 468 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 473 | | Ok(Box::new(state_desired)) [INFO] [stdout] 474 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires processing `full_spec_wrapper::::state_desired_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:465:39 [INFO] [stdout] | [INFO] [stdout] 465 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 466 | | let state_desired = { [INFO] [stdout] 467 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 468 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 473 | | Ok(Box::new(state_desired)) [INFO] [stdout] 474 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires processing MIR for `full_spec_wrapper::::state_desired_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:465:39 [INFO] [stdout] | [INFO] [stdout] 465 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 466 | | let state_desired = { [INFO] [stdout] 467 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 468 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 473 | | Ok(Box::new(state_desired)) [INFO] [stdout] 474 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires unsafety-checking `full_spec_wrapper::::state_desired_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:465:39 [INFO] [stdout] | [INFO] [stdout] 465 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 466 | | let state_desired = { [INFO] [stdout] 467 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 468 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 473 | | Ok(Box::new(state_desired)) [INFO] [stdout] 474 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires building MIR for `full_spec_wrapper::::state_desired_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:465:39 [INFO] [stdout] | [INFO] [stdout] 465 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 466 | | let state_desired = { [INFO] [stdout] 467 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 468 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 473 | | Ok(Box::new(state_desired)) [INFO] [stdout] 474 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires type-checking `full_spec_wrapper::::state_desired_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:465:39 [INFO] [stdout] | [INFO] [stdout] 465 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 466 | | let state_desired = { [INFO] [stdout] 467 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 468 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 473 | | Ok(Box::new(state_desired)) [INFO] [stdout] 474 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] = note: ...which again requires type-checking `full_spec_wrapper::::state_desired_fn_exec`, completing the cycle [INFO] [stdout] = note: cycle used when type-checking all item bodies [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0391]: cycle detected when type-checking `full_spec_wrapper::::state_diff_fn_exec` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:476:5 [INFO] [stdout] | [INFO] [stdout] 476 | async fn state_diff_fn_exec( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: ...which requires generator glue MIR for `full_spec_wrapper::::state_diff_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:479:39 [INFO] [stdout] | [INFO] [stdout] 479 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 480 | | let state_diff: StateDiff = { [INFO] [stdout] 481 | | let data = [INFO] [stdout] 482 | | ::Data<'_>) as Data>::borrow( [INFO] [stdout] ... | [INFO] [stdout] 502 | | Ok(Box::new(state_diff)) [INFO] [stdout] 503 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires elaborating drops for `full_spec_wrapper::::state_diff_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:479:39 [INFO] [stdout] | [INFO] [stdout] 479 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 480 | | let state_diff: StateDiff = { [INFO] [stdout] 481 | | let data = [INFO] [stdout] 482 | | ::Data<'_>) as Data>::borrow( [INFO] [stdout] ... | [INFO] [stdout] 502 | | Ok(Box::new(state_diff)) [INFO] [stdout] 503 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires borrow-checking `full_spec_wrapper::::state_diff_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:479:39 [INFO] [stdout] | [INFO] [stdout] 479 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 480 | | let state_diff: StateDiff = { [INFO] [stdout] 481 | | let data = [INFO] [stdout] 482 | | ::Data<'_>) as Data>::borrow( [INFO] [stdout] ... | [INFO] [stdout] 502 | | Ok(Box::new(state_diff)) [INFO] [stdout] 503 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires processing `full_spec_wrapper::::state_diff_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:479:39 [INFO] [stdout] | [INFO] [stdout] 479 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 480 | | let state_diff: StateDiff = { [INFO] [stdout] 481 | | let data = [INFO] [stdout] 482 | | ::Data<'_>) as Data>::borrow( [INFO] [stdout] ... | [INFO] [stdout] 502 | | Ok(Box::new(state_diff)) [INFO] [stdout] 503 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires processing MIR for `full_spec_wrapper::::state_diff_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:479:39 [INFO] [stdout] | [INFO] [stdout] 479 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 480 | | let state_diff: StateDiff = { [INFO] [stdout] 481 | | let data = [INFO] [stdout] 482 | | ::Data<'_>) as Data>::borrow( [INFO] [stdout] ... | [INFO] [stdout] 502 | | Ok(Box::new(state_diff)) [INFO] [stdout] 503 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires unsafety-checking `full_spec_wrapper::::state_diff_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:479:39 [INFO] [stdout] | [INFO] [stdout] 479 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 480 | | let state_diff: StateDiff = { [INFO] [stdout] 481 | | let data = [INFO] [stdout] 482 | | ::Data<'_>) as Data>::borrow( [INFO] [stdout] ... | [INFO] [stdout] 502 | | Ok(Box::new(state_diff)) [INFO] [stdout] 503 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires building MIR for `full_spec_wrapper::::state_diff_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:479:39 [INFO] [stdout] | [INFO] [stdout] 479 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 480 | | let state_diff: StateDiff = { [INFO] [stdout] 481 | | let data = [INFO] [stdout] 482 | | ::Data<'_>) as Data>::borrow( [INFO] [stdout] ... | [INFO] [stdout] 502 | | Ok(Box::new(state_diff)) [INFO] [stdout] 503 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires type-checking `full_spec_wrapper::::state_diff_fn_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:479:39 [INFO] [stdout] | [INFO] [stdout] 479 | ) -> Result, E> { [INFO] [stdout] | _______________________________________^ [INFO] [stdout] 480 | | let state_diff: StateDiff = { [INFO] [stdout] 481 | | let data = [INFO] [stdout] 482 | | ::Data<'_>) as Data>::borrow( [INFO] [stdout] ... | [INFO] [stdout] 502 | | Ok(Box::new(state_diff)) [INFO] [stdout] 503 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] = note: ...which again requires type-checking `full_spec_wrapper::::state_diff_fn_exec`, completing the cycle [INFO] [stdout] = note: cycle used when type-checking all item bodies [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0391]: cycle detected when type-checking `full_spec_wrapper::::ensure_op_check` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:505:5 [INFO] [stdout] | [INFO] [stdout] 505 | async fn ensure_op_check( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: ...which requires generator glue MIR for `full_spec_wrapper::::ensure_op_check::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:508:35 [INFO] [stdout] | [INFO] [stdout] 508 | ) -> Result { [INFO] [stdout] | ___________________________________^ [INFO] [stdout] 509 | | let op_check_status = { [INFO] [stdout] 510 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 511 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 539 | | Ok(op_check_status) [INFO] [stdout] 540 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires elaborating drops for `full_spec_wrapper::::ensure_op_check::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:508:35 [INFO] [stdout] | [INFO] [stdout] 508 | ) -> Result { [INFO] [stdout] | ___________________________________^ [INFO] [stdout] 509 | | let op_check_status = { [INFO] [stdout] 510 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 511 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 539 | | Ok(op_check_status) [INFO] [stdout] 540 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires borrow-checking `full_spec_wrapper::::ensure_op_check::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:508:35 [INFO] [stdout] | [INFO] [stdout] 508 | ) -> Result { [INFO] [stdout] | ___________________________________^ [INFO] [stdout] 509 | | let op_check_status = { [INFO] [stdout] 510 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 511 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 539 | | Ok(op_check_status) [INFO] [stdout] 540 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires processing `full_spec_wrapper::::ensure_op_check::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:508:35 [INFO] [stdout] | [INFO] [stdout] 508 | ) -> Result { [INFO] [stdout] | ___________________________________^ [INFO] [stdout] 509 | | let op_check_status = { [INFO] [stdout] 510 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 511 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 539 | | Ok(op_check_status) [INFO] [stdout] 540 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires processing MIR for `full_spec_wrapper::::ensure_op_check::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:508:35 [INFO] [stdout] | [INFO] [stdout] 508 | ) -> Result { [INFO] [stdout] | ___________________________________^ [INFO] [stdout] 509 | | let op_check_status = { [INFO] [stdout] 510 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 511 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 539 | | Ok(op_check_status) [INFO] [stdout] 540 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires unsafety-checking `full_spec_wrapper::::ensure_op_check::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:508:35 [INFO] [stdout] | [INFO] [stdout] 508 | ) -> Result { [INFO] [stdout] | ___________________________________^ [INFO] [stdout] 509 | | let op_check_status = { [INFO] [stdout] 510 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 511 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 539 | | Ok(op_check_status) [INFO] [stdout] 540 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires building MIR for `full_spec_wrapper::::ensure_op_check::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:508:35 [INFO] [stdout] | [INFO] [stdout] 508 | ) -> Result { [INFO] [stdout] | ___________________________________^ [INFO] [stdout] 509 | | let op_check_status = { [INFO] [stdout] 510 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 511 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 539 | | Ok(op_check_status) [INFO] [stdout] 540 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires type-checking `full_spec_wrapper::::ensure_op_check::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:508:35 [INFO] [stdout] | [INFO] [stdout] 508 | ) -> Result { [INFO] [stdout] | ___________________________________^ [INFO] [stdout] 509 | | let op_check_status = { [INFO] [stdout] 510 | | let data = ::Data<'_>) as Data>::borrow( [INFO] [stdout] 511 | | resources, [INFO] [stdout] ... | [INFO] [stdout] 539 | | Ok(op_check_status) [INFO] [stdout] 540 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] = note: ...which again requires type-checking `full_spec_wrapper::::ensure_op_check`, completing the cycle [INFO] [stdout] = note: cycle used when type-checking all item bodies [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0391]: cycle detected when type-checking `full_spec_wrapper::::ensure_op_exec_dry` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:542:5 [INFO] [stdout] | [INFO] [stdout] 542 | async fn ensure_op_exec_dry(&self, resources: &Resources) -> Result<(), E> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: ...which requires generator glue MIR for `full_spec_wrapper::::ensure_op_exec_dry::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:542:96 [INFO] [stdout] | [INFO] [stdout] 542 | async fn ensure_op_exec_dry(&self, resources: &Resources) -> Result<(), E> { [INFO] [stdout] | ________________________________________________________________________________________________^ [INFO] [stdout] 543 | | let data = [INFO] [stdout] 544 | | ::Data<'_>) as Data>::borrow(resources); [INFO] [stdout] 545 | | let full_spec_id = ::id(self); [INFO] [stdout] ... | [INFO] [stdout] 570 | | Ok(()) [INFO] [stdout] 571 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires elaborating drops for `full_spec_wrapper::::ensure_op_exec_dry::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:542:96 [INFO] [stdout] | [INFO] [stdout] 542 | async fn ensure_op_exec_dry(&self, resources: &Resources) -> Result<(), E> { [INFO] [stdout] | ________________________________________________________________________________________________^ [INFO] [stdout] 543 | | let data = [INFO] [stdout] 544 | | ::Data<'_>) as Data>::borrow(resources); [INFO] [stdout] 545 | | let full_spec_id = ::id(self); [INFO] [stdout] ... | [INFO] [stdout] 570 | | Ok(()) [INFO] [stdout] 571 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires borrow-checking `full_spec_wrapper::::ensure_op_exec_dry::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:542:96 [INFO] [stdout] | [INFO] [stdout] 542 | async fn ensure_op_exec_dry(&self, resources: &Resources) -> Result<(), E> { [INFO] [stdout] | ________________________________________________________________________________________________^ [INFO] [stdout] 543 | | let data = [INFO] [stdout] 544 | | ::Data<'_>) as Data>::borrow(resources); [INFO] [stdout] 545 | | let full_spec_id = ::id(self); [INFO] [stdout] ... | [INFO] [stdout] 570 | | Ok(()) [INFO] [stdout] 571 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires processing `full_spec_wrapper::::ensure_op_exec_dry::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:542:96 [INFO] [stdout] | [INFO] [stdout] 542 | async fn ensure_op_exec_dry(&self, resources: &Resources) -> Result<(), E> { [INFO] [stdout] | ________________________________________________________________________________________________^ [INFO] [stdout] 543 | | let data = [INFO] [stdout] 544 | | ::Data<'_>) as Data>::borrow(resources); [INFO] [stdout] 545 | | let full_spec_id = ::id(self); [INFO] [stdout] ... | [INFO] [stdout] 570 | | Ok(()) [INFO] [stdout] 571 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires processing MIR for `full_spec_wrapper::::ensure_op_exec_dry::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:542:96 [INFO] [stdout] | [INFO] [stdout] 542 | async fn ensure_op_exec_dry(&self, resources: &Resources) -> Result<(), E> { [INFO] [stdout] | ________________________________________________________________________________________________^ [INFO] [stdout] 543 | | let data = [INFO] [stdout] 544 | | ::Data<'_>) as Data>::borrow(resources); [INFO] [stdout] 545 | | let full_spec_id = ::id(self); [INFO] [stdout] ... | [INFO] [stdout] 570 | | Ok(()) [INFO] [stdout] 571 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires unsafety-checking `full_spec_wrapper::::ensure_op_exec_dry::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:542:96 [INFO] [stdout] | [INFO] [stdout] 542 | async fn ensure_op_exec_dry(&self, resources: &Resources) -> Result<(), E> { [INFO] [stdout] | ________________________________________________________________________________________________^ [INFO] [stdout] 543 | | let data = [INFO] [stdout] 544 | | ::Data<'_>) as Data>::borrow(resources); [INFO] [stdout] 545 | | let full_spec_id = ::id(self); [INFO] [stdout] ... | [INFO] [stdout] 570 | | Ok(()) [INFO] [stdout] 571 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires building MIR for `full_spec_wrapper::::ensure_op_exec_dry::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:542:96 [INFO] [stdout] | [INFO] [stdout] 542 | async fn ensure_op_exec_dry(&self, resources: &Resources) -> Result<(), E> { [INFO] [stdout] | ________________________________________________________________________________________________^ [INFO] [stdout] 543 | | let data = [INFO] [stdout] 544 | | ::Data<'_>) as Data>::borrow(resources); [INFO] [stdout] 545 | | let full_spec_id = ::id(self); [INFO] [stdout] ... | [INFO] [stdout] 570 | | Ok(()) [INFO] [stdout] 571 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires type-checking `full_spec_wrapper::::ensure_op_exec_dry::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:542:96 [INFO] [stdout] | [INFO] [stdout] 542 | async fn ensure_op_exec_dry(&self, resources: &Resources) -> Result<(), E> { [INFO] [stdout] | ________________________________________________________________________________________________^ [INFO] [stdout] 543 | | let data = [INFO] [stdout] 544 | | ::Data<'_>) as Data>::borrow(resources); [INFO] [stdout] 545 | | let full_spec_id = ::id(self); [INFO] [stdout] ... | [INFO] [stdout] 570 | | Ok(()) [INFO] [stdout] 571 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] = note: ...which again requires type-checking `full_spec_wrapper::::ensure_op_exec_dry`, completing the cycle [INFO] [stdout] = note: cycle used when type-checking all item bodies [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0391]: cycle detected when type-checking `full_spec_wrapper::::ensure_op_exec` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:573:5 [INFO] [stdout] | [INFO] [stdout] 573 | async fn ensure_op_exec(&self, resources: &Resources) -> Result<(), E> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] note: ...which requires generator glue MIR for `full_spec_wrapper::::ensure_op_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:573:92 [INFO] [stdout] | [INFO] [stdout] 573 | async fn ensure_op_exec(&self, resources: &Resources) -> Result<(), E> { [INFO] [stdout] | ____________________________________________________________________________________________^ [INFO] [stdout] 574 | | let data = [INFO] [stdout] 575 | | ::Data<'_>) as Data>::borrow(resources); [INFO] [stdout] 576 | | let full_spec_id = ::id(self); [INFO] [stdout] ... | [INFO] [stdout] 596 | | Ok(()) [INFO] [stdout] 597 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires elaborating drops for `full_spec_wrapper::::ensure_op_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:573:92 [INFO] [stdout] | [INFO] [stdout] 573 | async fn ensure_op_exec(&self, resources: &Resources) -> Result<(), E> { [INFO] [stdout] | ____________________________________________________________________________________________^ [INFO] [stdout] 574 | | let data = [INFO] [stdout] 575 | | ::Data<'_>) as Data>::borrow(resources); [INFO] [stdout] 576 | | let full_spec_id = ::id(self); [INFO] [stdout] ... | [INFO] [stdout] 596 | | Ok(()) [INFO] [stdout] 597 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires borrow-checking `full_spec_wrapper::::ensure_op_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:573:92 [INFO] [stdout] | [INFO] [stdout] 573 | async fn ensure_op_exec(&self, resources: &Resources) -> Result<(), E> { [INFO] [stdout] | ____________________________________________________________________________________________^ [INFO] [stdout] 574 | | let data = [INFO] [stdout] 575 | | ::Data<'_>) as Data>::borrow(resources); [INFO] [stdout] 576 | | let full_spec_id = ::id(self); [INFO] [stdout] ... | [INFO] [stdout] 596 | | Ok(()) [INFO] [stdout] 597 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires processing `full_spec_wrapper::::ensure_op_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:573:92 [INFO] [stdout] | [INFO] [stdout] 573 | async fn ensure_op_exec(&self, resources: &Resources) -> Result<(), E> { [INFO] [stdout] | ____________________________________________________________________________________________^ [INFO] [stdout] 574 | | let data = [INFO] [stdout] 575 | | ::Data<'_>) as Data>::borrow(resources); [INFO] [stdout] 576 | | let full_spec_id = ::id(self); [INFO] [stdout] ... | [INFO] [stdout] 596 | | Ok(()) [INFO] [stdout] 597 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires processing MIR for `full_spec_wrapper::::ensure_op_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:573:92 [INFO] [stdout] | [INFO] [stdout] 573 | async fn ensure_op_exec(&self, resources: &Resources) -> Result<(), E> { [INFO] [stdout] | ____________________________________________________________________________________________^ [INFO] [stdout] 574 | | let data = [INFO] [stdout] 575 | | ::Data<'_>) as Data>::borrow(resources); [INFO] [stdout] 576 | | let full_spec_id = ::id(self); [INFO] [stdout] ... | [INFO] [stdout] 596 | | Ok(()) [INFO] [stdout] 597 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires unsafety-checking `full_spec_wrapper::::ensure_op_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:573:92 [INFO] [stdout] | [INFO] [stdout] 573 | async fn ensure_op_exec(&self, resources: &Resources) -> Result<(), E> { [INFO] [stdout] | ____________________________________________________________________________________________^ [INFO] [stdout] 574 | | let data = [INFO] [stdout] 575 | | ::Data<'_>) as Data>::borrow(resources); [INFO] [stdout] 576 | | let full_spec_id = ::id(self); [INFO] [stdout] ... | [INFO] [stdout] 596 | | Ok(()) [INFO] [stdout] 597 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires building MIR for `full_spec_wrapper::::ensure_op_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:573:92 [INFO] [stdout] | [INFO] [stdout] 573 | async fn ensure_op_exec(&self, resources: &Resources) -> Result<(), E> { [INFO] [stdout] | ____________________________________________________________________________________________^ [INFO] [stdout] 574 | | let data = [INFO] [stdout] 575 | | ::Data<'_>) as Data>::borrow(resources); [INFO] [stdout] 576 | | let full_spec_id = ::id(self); [INFO] [stdout] ... | [INFO] [stdout] 596 | | Ok(()) [INFO] [stdout] 597 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] note: ...which requires type-checking `full_spec_wrapper::::ensure_op_exec::{closure#0}`... [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/peace_rt_model-0.0.2/src/full_spec_wrapper.rs:573:92 [INFO] [stdout] | [INFO] [stdout] 573 | async fn ensure_op_exec(&self, resources: &Resources) -> Result<(), E> { [INFO] [stdout] | ____________________________________________________________________________________________^ [INFO] [stdout] 574 | | let data = [INFO] [stdout] 575 | | ::Data<'_>) as Data>::borrow(resources); [INFO] [stdout] 576 | | let full_spec_id = ::id(self); [INFO] [stdout] ... | [INFO] [stdout] 596 | | Ok(()) [INFO] [stdout] 597 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] = note: ...which again requires type-checking `full_spec_wrapper::::ensure_op_exec`, completing the cycle [INFO] [stdout] = note: cycle used when type-checking all item bodies [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 7 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0391`. [INFO] [stdout] [INFO] [stderr] error: could not compile `peace_rt_model` due to 8 previous errors [INFO] running `Command { std: "docker" "inspect" "701916bc668bfe89a8144ab616e5f272784e7c6c0ecaf22666c041c115f53685", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "701916bc668bfe89a8144ab616e5f272784e7c6c0ecaf22666c041c115f53685", kill_on_drop: false }` [INFO] [stdout] 701916bc668bfe89a8144ab616e5f272784e7c6c0ecaf22666c041c115f53685