[INFO] fetching crate verified 0.1.0... [INFO] checking verified-0.1.0 against master#450abe80f193ccefbfcd48214d70520f2d507f0e for pr-73084 [INFO] extracting crate verified 0.1.0 into /workspace/builds/worker-5/source [INFO] validating manifest of crates.io crate verified 0.1.0 on toolchain 450abe80f193ccefbfcd48214d70520f2d507f0e [INFO] running `"/workspace/cargo-home/bin/cargo" "+450abe80f193ccefbfcd48214d70520f2d507f0e" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking crates.io crate verified 0.1.0 [INFO] finished tweaking crates.io crate verified 0.1.0 [INFO] tweaked toml for crates.io crate verified 0.1.0 written to /workspace/builds/worker-5/source/Cargo.toml [INFO] running `"/workspace/cargo-home/bin/cargo" "+450abe80f193ccefbfcd48214d70520f2d507f0e" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/workspace/cargo-home/bin/cargo" "+450abe80f193ccefbfcd48214d70520f2d507f0e" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+450abe80f193ccefbfcd48214d70520f2d507f0e" "check" "--frozen" "--all" "--all-targets"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] ffa25a462eb4cb3f06daaba5ac86866f3edc259872442e112528427bee701b27 [INFO] running `"docker" "start" "-a" "ffa25a462eb4cb3f06daaba5ac86866f3edc259872442e112528427bee701b27"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] Compiling proc-macro2 v1.0.18 [INFO] [stderr] Compiling unicode-xid v0.2.0 [INFO] [stderr] Compiling syn v1.0.30 [INFO] [stderr] Compiling getrandom v0.1.14 [INFO] [stderr] Compiling serde v1.0.111 [INFO] [stderr] Checking cfg-if v0.1.10 [INFO] [stderr] Checking ppv-lite86 v0.2.8 [INFO] [stderr] Checking itoa v0.4.5 [INFO] [stderr] Checking glob v0.3.0 [INFO] [stderr] Checking remove_dir_all v0.5.2 [INFO] [stderr] Checking termcolor v1.1.0 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking rand_core v0.5.1 [INFO] [stderr] Checking rand_chacha v0.2.2 [INFO] [stderr] Compiling quote v1.0.7 [INFO] [stderr] Checking rand v0.7.3 [INFO] [stderr] Checking tempfile v3.1.0 [INFO] [stderr] Compiling serde_derive v1.0.111 [INFO] [stderr] Compiling verify_macro v0.1.1 [INFO] [stderr] Checking verified v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Checking toml v0.5.6 [INFO] [stderr] Checking serde_json v1.0.53 [INFO] [stderr] Checking trybuild v1.0.28 [INFO] [stderr] error[E0220]: associated type `Output` not found for `verified::Same` [INFO] [stderr] --> tests/macro.rs:7:5 [INFO] [stderr] | [INFO] [stderr] 7 | #[verify] [INFO] [stderr] | ^^^^^^^^^ associated type `Output` not found [INFO] [stderr] | [INFO] [stderr] = note: this error originates in an attribute macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] error[E0220]: associated type `Output` not found for `verified::Same` [INFO] [stderr] --> tests/macro.rs:18:5 [INFO] [stderr] | [INFO] [stderr] 18 | #[verify] [INFO] [stderr] | ^^^^^^^^^ associated type `Output` not found [INFO] [stderr] | [INFO] [stderr] = note: this error originates in an attribute macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] error[E0220]: associated type `Output` not found for `verified::Same` [INFO] [stderr] --> tests/macro.rs:29:5 [INFO] [stderr] | [INFO] [stderr] 29 | #[verify] [INFO] [stderr] | ^^^^^^^^^ associated type `Output` not found [INFO] [stderr] | [INFO] [stderr] = note: this error originates in an attribute macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] error[E0107]: wrong number of type arguments: expected 0, found 1 [INFO] [stderr] --> tests/macro.rs:43:26 [INFO] [stderr] | [INFO] [stderr] 43 | _: Verify<{ A && B }, { A & B }>, [INFO] [stderr] | ^ unexpected type argument [INFO] [stderr] [INFO] [stderr] error[E0220]: associated type `Output` not found for `verified::bool::And` [INFO] [stderr] --> tests/macro.rs:40:5 [INFO] [stderr] | [INFO] [stderr] 40 | #[verify] [INFO] [stderr] | ^^^^^^^^^ associated type `Output` not found [INFO] [stderr] | [INFO] [stderr] = note: this error originates in an attribute macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] error[E0107]: wrong number of type arguments: expected 0, found 1 [INFO] [stderr] --> tests/macro.rs:43:37 [INFO] [stderr] | [INFO] [stderr] 43 | _: Verify<{ A && B }, { A & B }>, [INFO] [stderr] | ^ unexpected type argument [INFO] [stderr] [INFO] [stderr] error[E0107]: wrong number of type arguments: expected 0, found 1 [INFO] [stderr] --> tests/macro.rs:54:26 [INFO] [stderr] | [INFO] [stderr] 54 | _: Verify<{ A || B }, { A | B }>, [INFO] [stderr] | ^ unexpected type argument [INFO] [stderr] [INFO] [stderr] error[E0220]: associated type `Output` not found for `verified::bool::Or` [INFO] [stderr] --> tests/macro.rs:51:5 [INFO] [stderr] | [INFO] [stderr] 51 | #[verify] [INFO] [stderr] | ^^^^^^^^^ associated type `Output` not found [INFO] [stderr] | [INFO] [stderr] = note: this error originates in an attribute macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] error[E0107]: wrong number of type arguments: expected 0, found 1 [INFO] [stderr] --> tests/macro.rs:54:37 [INFO] [stderr] | [INFO] [stderr] 54 | _: Verify<{ A || B }, { A | B }>, [INFO] [stderr] | ^ unexpected type argument [INFO] [stderr] [INFO] [stderr] error[E0107]: wrong number of type arguments: expected 0, found 1 [INFO] [stderr] --> tests/macro.rs:67:25 [INFO] [stderr] | [INFO] [stderr] 67 | _: Verify<{ A ^ B }>, [INFO] [stderr] | ^ unexpected type argument [INFO] [stderr] [INFO] [stderr] error[E0220]: associated type `Output` not found for `verified::bool::Xor` [INFO] [stderr] --> tests/macro.rs:64:5 [INFO] [stderr] | [INFO] [stderr] 64 | #[verify] [INFO] [stderr] | ^^^^^^^^^ associated type `Output` not found [INFO] [stderr] | [INFO] [stderr] = note: this error originates in an attribute macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] error: aborting due to 11 previous errors [INFO] [stderr] [INFO] [stderr] Some errors have detailed explanations: E0107, E0220. [INFO] [stderr] For more information about an error, try `rustc --explain E0107`. [INFO] [stderr] error: could not compile `verified`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: build failed [INFO] running `"docker" "inspect" "ffa25a462eb4cb3f06daaba5ac86866f3edc259872442e112528427bee701b27"` [INFO] running `"docker" "rm" "-f" "ffa25a462eb4cb3f06daaba5ac86866f3edc259872442e112528427bee701b27"` [INFO] [stdout] ffa25a462eb4cb3f06daaba5ac86866f3edc259872442e112528427bee701b27