[INFO] fetching crate protest-stateful-derive 1.1.0...
[INFO] testing protest-stateful-derive-1.1.0 against 1.95.0 for beta-1.96-2
[INFO] extracting crate protest-stateful-derive 1.1.0 into /workspace/builds/worker-1-tc1/source
[INFO] started tweaking crates.io crate protest-stateful-derive 1.1.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate protest-stateful-derive 1.1.0
[INFO] tweaked toml for crates.io crate protest-stateful-derive 1.1.0 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate protest-stateful-derive 1.1.0 on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate protest-stateful-derive 1.1.0 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" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] e877d37243b8e9b4b03a74df2f4f0fe65d298ab89d7cb5c52613fa9e99a882d7
[INFO] running `Command { std: "docker" "start" "-a" "e877d37243b8e9b4b03a74df2f4f0fe65d298ab89d7cb5c52613fa9e99a882d7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e877d37243b8e9b4b03a74df2f4f0fe65d298ab89d7cb5c52613fa9e99a882d7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e877d37243b8e9b4b03a74df2f4f0fe65d298ab89d7cb5c52613fa9e99a882d7", kill_on_drop: false }`
[INFO] [stdout] e877d37243b8e9b4b03a74df2f4f0fe65d298ab89d7cb5c52613fa9e99a882d7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+1.95.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c772f555fd161a715833d389bf116f9944ddb8a1565d4c2fa3787bd3b37c5594
[INFO] running `Command { std: "docker" "start" "-a" "c772f555fd161a715833d389bf116f9944ddb8a1565d4c2fa3787bd3b37c5594", kill_on_drop: false }`
[INFO] [stderr]    Compiling unicode-ident v1.0.19
[INFO] [stderr]    Compiling proc-macro2 v1.0.101
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling protest-stateful-derive v1.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 7.11s
[INFO] running `Command { std: "docker" "inspect" "c772f555fd161a715833d389bf116f9944ddb8a1565d4c2fa3787bd3b37c5594", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c772f555fd161a715833d389bf116f9944ddb8a1565d4c2fa3787bd3b37c5594", kill_on_drop: false }`
[INFO] [stdout] c772f555fd161a715833d389bf116f9944ddb8a1565d4c2fa3787bd3b37c5594
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+1.95.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1a1774ba53394c10be049a8b1020f182e7d979a7d0d865f238dcb8db6f65fb71
[INFO] running `Command { std: "docker" "start" "-a" "1a1774ba53394c10be049a8b1020f182e7d979a7d0d865f238dcb8db6f65fb71", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.101
[INFO] [stderr]    Compiling unicode-ident v1.0.19
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling protest-stateful-derive v1.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0433]: cannot find module or crate `protest_stateful` in this scope
[INFO] [stdout]  --> tests/derive_tests.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use protest_stateful::{
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `protest_stateful`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `protest_stateful`, use `cargo add protest_stateful` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `protest_stateful`
[INFO] [stdout]  --> tests/derive_tests.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use protest_stateful::{
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `protest_stateful`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `protest_stateful`, use `cargo add protest_stateful` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `operation` in this scope
[INFO] [stdout]   --> tests/derive_tests.rs:11:3
[INFO] [stdout]    |
[INFO] [stdout] 11 | #[operation(state = "i32")]
[INFO] [stdout]    |   ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: `operation` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]    |
[INFO] [stdout] 12 + #[derive(Operation)]
[INFO] [stdout] 13 | enum CounterOp {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `execute` in this scope
[INFO] [stdout]   --> tests/derive_tests.rs:13:7
[INFO] [stdout]    |
[INFO] [stdout] 13 |     #[execute("*state += 1")]
[INFO] [stdout]    |       ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: `execute` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]    |
[INFO] [stdout] 12 + #[derive(Operation)]
[INFO] [stdout] 13 | enum CounterOp {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `execute` in this scope
[INFO] [stdout]   --> tests/derive_tests.rs:16:7
[INFO] [stdout]    |
[INFO] [stdout] 16 |     #[execute("*state -= 1")]
[INFO] [stdout]    |       ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: `execute` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]    |
[INFO] [stdout] 12 + #[derive(Operation)]
[INFO] [stdout] 13 | enum CounterOp {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `precondition` in this scope
[INFO] [stdout]   --> tests/derive_tests.rs:17:7
[INFO] [stdout]    |
[INFO] [stdout] 17 |     #[precondition("*state > 0")]
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: `precondition` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]    |
[INFO] [stdout] 12 + #[derive(Operation)]
[INFO] [stdout] 13 | enum CounterOp {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `execute` in this scope
[INFO] [stdout]   --> tests/derive_tests.rs:20:7
[INFO] [stdout]    |
[INFO] [stdout] 20 |     #[execute("*state += *field_0")]
[INFO] [stdout]    |       ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: `execute` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]    |
[INFO] [stdout] 12 + #[derive(Operation)]
[INFO] [stdout] 13 | enum CounterOp {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `execute` in this scope
[INFO] [stdout]   --> tests/derive_tests.rs:23:7
[INFO] [stdout]    |
[INFO] [stdout] 23 |     #[execute("*state = 0")]
[INFO] [stdout]    |       ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: `execute` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]    |
[INFO] [stdout] 12 + #[derive(Operation)]
[INFO] [stdout] 13 | enum CounterOp {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `operation` in this scope
[INFO] [stdout]   --> tests/derive_tests.rs:54:3
[INFO] [stdout]    |
[INFO] [stdout] 54 | #[operation(state = "Vec<i32>")]
[INFO] [stdout]    |   ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: `operation` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]    |
[INFO] [stdout] 55 + #[derive(Operation)]
[INFO] [stdout] 56 | enum StackOp {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `execute` in this scope
[INFO] [stdout]   --> tests/derive_tests.rs:56:7
[INFO] [stdout]    |
[INFO] [stdout] 56 |     #[execute("state.push(*field_0)")]
[INFO] [stdout]    |       ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: `execute` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]    |
[INFO] [stdout] 55 + #[derive(Operation)]
[INFO] [stdout] 56 | enum StackOp {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `execute` in this scope
[INFO] [stdout]   --> tests/derive_tests.rs:59:7
[INFO] [stdout]    |
[INFO] [stdout] 59 |     #[execute("state.pop()")]
[INFO] [stdout]    |       ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: `execute` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]    |
[INFO] [stdout] 55 + #[derive(Operation)]
[INFO] [stdout] 56 | enum StackOp {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `precondition` in this scope
[INFO] [stdout]   --> tests/derive_tests.rs:60:7
[INFO] [stdout]    |
[INFO] [stdout] 60 |     #[precondition("!state.is_empty()")]
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: `precondition` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]    |
[INFO] [stdout] 55 + #[derive(Operation)]
[INFO] [stdout] 56 | enum StackOp {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `execute` in this scope
[INFO] [stdout]   --> tests/derive_tests.rs:63:7
[INFO] [stdout]    |
[INFO] [stdout] 63 |     #[execute("state.clear()")]
[INFO] [stdout]    |       ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: `execute` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]    |
[INFO] [stdout] 55 + #[derive(Operation)]
[INFO] [stdout] 56 | enum StackOp {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `operation` in this scope
[INFO] [stdout]   --> tests/derive_tests.rs:93:3
[INFO] [stdout]    |
[INFO] [stdout] 93 | #[operation(state = "std::collections::HashMap<String, i32>")]
[INFO] [stdout]    |   ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: `operation` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]    |
[INFO] [stdout] 94 + #[derive(Operation)]
[INFO] [stdout] 95 | enum MapOp {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `execute` in this scope
[INFO] [stdout]   --> tests/derive_tests.rs:95:7
[INFO] [stdout]    |
[INFO] [stdout] 95 |     #[execute("state.insert(key.clone(), *value)")]
[INFO] [stdout]    |       ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: `execute` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]    |
[INFO] [stdout] 94 + #[derive(Operation)]
[INFO] [stdout] 95 | enum MapOp {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `execute` in this scope
[INFO] [stdout]   --> tests/derive_tests.rs:98:7
[INFO] [stdout]    |
[INFO] [stdout] 98 |     #[execute("state.remove(key)")]
[INFO] [stdout]    |       ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: `execute` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]    |
[INFO] [stdout] 94 + #[derive(Operation)]
[INFO] [stdout] 95 | enum MapOp {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `precondition` in this scope
[INFO] [stdout]   --> tests/derive_tests.rs:99:7
[INFO] [stdout]    |
[INFO] [stdout] 99 |     #[precondition("state.contains_key(key)")]
[INFO] [stdout]    |       ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: `precondition` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]    |
[INFO] [stdout] 94 + #[derive(Operation)]
[INFO] [stdout] 95 | enum MapOp {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `execute` in this scope
[INFO] [stdout]    --> tests/derive_tests.rs:102:7
[INFO] [stdout]     |
[INFO] [stdout] 102 |     #[execute("state.clear()")]
[INFO] [stdout]     |       ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: `execute` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]     |
[INFO] [stdout]  94 + #[derive(Operation)]
[INFO] [stdout]  95 | enum MapOp {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `operation` in this scope
[INFO] [stdout]    --> tests/derive_tests.rs:165:3
[INFO] [stdout]     |
[INFO] [stdout] 165 | #[operation(state = "Vec<String>")]
[INFO] [stdout]     |   ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: `operation` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]     |
[INFO] [stdout] 166 + #[derive(Operation)]
[INFO] [stdout] 167 | enum ListOp {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `execute` in this scope
[INFO] [stdout]    --> tests/derive_tests.rs:167:7
[INFO] [stdout]     |
[INFO] [stdout] 167 |     #[execute("state.push(field_0.clone())")]
[INFO] [stdout]     |       ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: `execute` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]     |
[INFO] [stdout] 166 + #[derive(Operation)]
[INFO] [stdout] 167 | enum ListOp {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `description` in this scope
[INFO] [stdout]    --> tests/derive_tests.rs:168:7
[INFO] [stdout]     |
[INFO] [stdout] 168 |     #[description("Add item to list")]
[INFO] [stdout]     |       ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: `description` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]     |
[INFO] [stdout] 166 + #[derive(Operation)]
[INFO] [stdout] 167 | enum ListOp {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `execute` in this scope
[INFO] [stdout]    --> tests/derive_tests.rs:171:7
[INFO] [stdout]     |
[INFO] [stdout] 171 |     #[execute("state.pop()")]
[INFO] [stdout]     |       ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: `execute` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]     |
[INFO] [stdout] 166 + #[derive(Operation)]
[INFO] [stdout] 167 | enum ListOp {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `precondition` in this scope
[INFO] [stdout]    --> tests/derive_tests.rs:172:7
[INFO] [stdout]     |
[INFO] [stdout] 172 |     #[precondition("!state.is_empty()")]
[INFO] [stdout]     |       ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: `precondition` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]     |
[INFO] [stdout] 166 + #[derive(Operation)]
[INFO] [stdout] 167 | enum ListOp {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `description` in this scope
[INFO] [stdout]    --> tests/derive_tests.rs:173:7
[INFO] [stdout]     |
[INFO] [stdout] 173 |     #[description("Remove last item")]
[INFO] [stdout]     |       ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: `description` is an attribute that can be used by the derive macro `Operation`, you might be missing a `derive` attribute
[INFO] [stdout]     |
[INFO] [stdout] 166 + #[derive(Operation)]
[INFO] [stdout] 167 | enum ListOp {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `execute` found for enum `CounterOp` in the current scope
[INFO] [stdout]   --> tests/derive_tests.rs:32:26
[INFO] [stdout]    |
[INFO] [stdout] 12 | enum CounterOp {
[INFO] [stdout]    | -------------- method `execute` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 32 |     CounterOp::Increment.execute(&mut state);
[INFO] [stdout]    |                          ^^^^^^^ method not found in `CounterOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `execute` found for enum `CounterOp` in the current scope
[INFO] [stdout]   --> tests/derive_tests.rs:36:24
[INFO] [stdout]    |
[INFO] [stdout] 12 | enum CounterOp {
[INFO] [stdout]    | -------------- method `execute` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 36 |     CounterOp::Add(10).execute(&mut state);
[INFO] [stdout]    |                        ^^^^^^^ method not found in `CounterOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `precondition` found for enum `CounterOp` in the current scope
[INFO] [stdout]   --> tests/derive_tests.rs:40:34
[INFO] [stdout]    |
[INFO] [stdout] 12 | enum CounterOp {
[INFO] [stdout]    | -------------- method `precondition` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 40 |     assert!(CounterOp::Decrement.precondition(&state));
[INFO] [stdout]    |                                  ^^^^^^^^^^^^ method not found in `CounterOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `execute` found for enum `CounterOp` in the current scope
[INFO] [stdout]   --> tests/derive_tests.rs:41:26
[INFO] [stdout]    |
[INFO] [stdout] 12 | enum CounterOp {
[INFO] [stdout]    | -------------- method `execute` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 41 |     CounterOp::Decrement.execute(&mut state);
[INFO] [stdout]    |                          ^^^^^^^ method not found in `CounterOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `execute` found for enum `CounterOp` in the current scope
[INFO] [stdout]   --> tests/derive_tests.rs:45:22
[INFO] [stdout]    |
[INFO] [stdout] 12 | enum CounterOp {
[INFO] [stdout]    | -------------- method `execute` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 45 |     CounterOp::Reset.execute(&mut state);
[INFO] [stdout]    |                      ^^^^^^^ method not found in `CounterOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `precondition` found for enum `CounterOp` in the current scope
[INFO] [stdout]   --> tests/derive_tests.rs:49:35
[INFO] [stdout]    |
[INFO] [stdout] 12 | enum CounterOp {
[INFO] [stdout]    | -------------- method `precondition` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 49 |     assert!(!CounterOp::Decrement.precondition(&state));
[INFO] [stdout]    |                                   ^^^^^^^^^^^^ method not found in `CounterOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `execute` found for enum `StackOp` in the current scope
[INFO] [stdout]   --> tests/derive_tests.rs:72:23
[INFO] [stdout]    |
[INFO] [stdout] 55 | enum StackOp {
[INFO] [stdout]    | ------------ method `execute` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 72 |     StackOp::Push(10).execute(&mut state);
[INFO] [stdout]    |                       ^^^^^^^ method not found in `StackOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `execute` found for enum `StackOp` in the current scope
[INFO] [stdout]   --> tests/derive_tests.rs:75:23
[INFO] [stdout]    |
[INFO] [stdout] 55 | enum StackOp {
[INFO] [stdout]    | ------------ method `execute` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 75 |     StackOp::Push(20).execute(&mut state);
[INFO] [stdout]    |                       ^^^^^^^ method not found in `StackOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `precondition` found for enum `StackOp` in the current scope
[INFO] [stdout]   --> tests/derive_tests.rs:79:26
[INFO] [stdout]    |
[INFO] [stdout] 55 | enum StackOp {
[INFO] [stdout]    | ------------ method `precondition` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 79 |     assert!(StackOp::Pop.precondition(&state));
[INFO] [stdout]    |                          ^^^^^^^^^^^^ method not found in `StackOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `execute` found for enum `StackOp` in the current scope
[INFO] [stdout]   --> tests/derive_tests.rs:80:18
[INFO] [stdout]    |
[INFO] [stdout] 55 | enum StackOp {
[INFO] [stdout]    | ------------ method `execute` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 80 |     StackOp::Pop.execute(&mut state);
[INFO] [stdout]    |                  ^^^^^^^ method not found in `StackOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `execute` found for enum `StackOp` in the current scope
[INFO] [stdout]   --> tests/derive_tests.rs:84:20
[INFO] [stdout]    |
[INFO] [stdout] 55 | enum StackOp {
[INFO] [stdout]    | ------------ method `execute` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 84 |     StackOp::Clear.execute(&mut state);
[INFO] [stdout]    |                    ^^^^^^^ method not found in `StackOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `precondition` found for enum `StackOp` in the current scope
[INFO] [stdout]   --> tests/derive_tests.rs:88:27
[INFO] [stdout]    |
[INFO] [stdout] 55 | enum StackOp {
[INFO] [stdout]    | ------------ method `precondition` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 88 |     assert!(!StackOp::Pop.precondition(&state));
[INFO] [stdout]    |                           ^^^^^^^^^^^^ method not found in `StackOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `execute` found for enum `MapOp` in the current scope
[INFO] [stdout]    --> tests/derive_tests.rs:117:6
[INFO] [stdout]     |
[INFO] [stdout]  94 |   enum MapOp {
[INFO] [stdout]     |   ---------- method `execute` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 113 | /     MapOp::Insert {
[INFO] [stdout] 114 | |         key: "foo".to_string(),
[INFO] [stdout] 115 | |         value: 42,
[INFO] [stdout] 116 | |     }
[INFO] [stdout] 117 | |     .execute(&mut state);
[INFO] [stdout]     | |     -^^^^^^^ method not found in `MapOp`
[INFO] [stdout]     | |_____|
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `precondition` found for enum `MapOp` in the current scope
[INFO] [stdout]    --> tests/derive_tests.rs:125:10
[INFO] [stdout]     |
[INFO] [stdout]  94 |   enum MapOp {
[INFO] [stdout]     |   ---------- method `precondition` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 122 | /         MapOp::Remove {
[INFO] [stdout] 123 | |             key: "foo".to_string()
[INFO] [stdout] 124 | |         }
[INFO] [stdout] 125 | |         .precondition(&state)
[INFO] [stdout]     | |         -^^^^^^^^^^^^ method not found in `MapOp`
[INFO] [stdout]     | |_________|
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `execute` found for enum `MapOp` in the current scope
[INFO] [stdout]    --> tests/derive_tests.rs:131:6
[INFO] [stdout]     |
[INFO] [stdout]  94 |   enum MapOp {
[INFO] [stdout]     |   ---------- method `execute` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 128 | /     MapOp::Remove {
[INFO] [stdout] 129 | |         key: "foo".to_string(),
[INFO] [stdout] 130 | |     }
[INFO] [stdout] 131 | |     .execute(&mut state);
[INFO] [stdout]     | |     -^^^^^^^ method not found in `MapOp`
[INFO] [stdout]     | |_____|
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `precondition` found for enum `MapOp` in the current scope
[INFO] [stdout]    --> tests/derive_tests.rs:139:10
[INFO] [stdout]     |
[INFO] [stdout]  94 |   enum MapOp {
[INFO] [stdout]     |   ---------- method `precondition` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 136 |           !MapOp::Remove {
[INFO] [stdout]     |  __________-
[INFO] [stdout] 137 | |             key: "bar".to_string()
[INFO] [stdout] 138 | |         }
[INFO] [stdout] 139 | |         .precondition(&state)
[INFO] [stdout]     | |         -^^^^^^^^^^^^ method not found in `MapOp`
[INFO] [stdout]     | |_________|
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `description` found for enum `ListOp` in the current scope
[INFO] [stdout]    --> tests/derive_tests.rs:181:23
[INFO] [stdout]     |
[INFO] [stdout] 166 | enum ListOp {
[INFO] [stdout]     | ----------- method `description` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 181 |     assert_eq!(add_op.description(), "Add item to list");
[INFO] [stdout]     |                       ^^^^^^^^^^^ method not found in `ListOp`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stdout]     = note: the following trait defines an item `description`, perhaps you need to implement it:
[INFO] [stdout]             candidate #1: `std::error::Error`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `description` found for enum `ListOp` in the current scope
[INFO] [stdout]    --> tests/derive_tests.rs:185:26
[INFO] [stdout]     |
[INFO] [stdout] 166 | enum ListOp {
[INFO] [stdout]     | ----------- method `description` not found for this enum
[INFO] [stdout] ...
[INFO] [stdout] 185 |     assert_eq!(remove_op.description(), "Remove last item");
[INFO] [stdout]     |                          ^^^^^^^^^^^ method not found in `ListOp`
[INFO] [stdout]     |
[INFO] [stdout]     = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stdout]     = note: the following trait defines an item `description`, perhaps you need to implement it:
[INFO] [stdout]             candidate #1: `std::error::Error`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `protest-stateful-derive` (test "derive_tests") due to 42 previous errors
[INFO] running `Command { std: "docker" "inspect" "1a1774ba53394c10be049a8b1020f182e7d979a7d0d865f238dcb8db6f65fb71", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1a1774ba53394c10be049a8b1020f182e7d979a7d0d865f238dcb8db6f65fb71", kill_on_drop: false }`
[INFO] [stdout] 1a1774ba53394c10be049a8b1020f182e7d979a7d0d865f238dcb8db6f65fb71
