[INFO] fetching crate protest-stateful-derive 1.1.0... [INFO] testing protest-stateful-derive-1.1.0 against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210-2 [INFO] extracting crate protest-stateful-derive 1.1.0 into /workspace/builds/worker-1-tc2/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-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate protest-stateful-derive 1.1.0 on toolchain dec9417b8611e34e787a3e4c37686b5131f9e5c5 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 61a818ed78d7bd11b34bde08eb79fef9ed9a42596c94a4735598da7bc9f80429 [INFO] running `Command { std: "docker" "start" "-a" "61a818ed78d7bd11b34bde08eb79fef9ed9a42596c94a4735598da7bc9f80429", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "61a818ed78d7bd11b34bde08eb79fef9ed9a42596c94a4735598da7bc9f80429", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "61a818ed78d7bd11b34bde08eb79fef9ed9a42596c94a4735598da7bc9f80429", kill_on_drop: false }` [INFO] [stdout] 61a818ed78d7bd11b34bde08eb79fef9ed9a42596c94a4735598da7bc9f80429 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] cbea7f0308d372eb8351f1fa15ddfe7e82091461e1668c3fabea19676ef64263 [INFO] running `Command { std: "docker" "start" "-a" "cbea7f0308d372eb8351f1fa15ddfe7e82091461e1668c3fabea19676ef64263", kill_on_drop: false }` [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 6.39s [INFO] running `Command { std: "docker" "inspect" "cbea7f0308d372eb8351f1fa15ddfe7e82091461e1668c3fabea19676ef64263", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cbea7f0308d372eb8351f1fa15ddfe7e82091461e1668c3fabea19676ef64263", kill_on_drop: false }` [INFO] [stdout] cbea7f0308d372eb8351f1fa15ddfe7e82091461e1668c3fabea19676ef64263 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 6ac26896f5b680793f6b45a0c181a781c462fb56d23f8bc56fdf8b44741e6beb [INFO] running `Command { std: "docker" "start" "-a" "6ac26896f5b680793f6b45a0c181a781c462fb56d23f8bc56fdf8b44741e6beb", 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")] [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")] [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")] [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" "6ac26896f5b680793f6b45a0c181a781c462fb56d23f8bc56fdf8b44741e6beb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6ac26896f5b680793f6b45a0c181a781c462fb56d23f8bc56fdf8b44741e6beb", kill_on_drop: false }` [INFO] [stdout] 6ac26896f5b680793f6b45a0c181a781c462fb56d23f8bc56fdf8b44741e6beb