[INFO] crate contracts 0.3.0 is already in cache
[INFO] checking contracts-0.3.0 against try#f149601db42efe10ece8b284ab681fd4a6fcb89c for pr-68766
[INFO] extracting crate contracts 0.3.0 into /workspace/builds/worker-6/source
[INFO] validating manifest of crates.io crate contracts 0.3.0 on toolchain f149601db42efe10ece8b284ab681fd4a6fcb89c
[INFO] running `"/workspace/cargo-home/bin/cargo" "+f149601db42efe10ece8b284ab681fd4a6fcb89c" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started tweaking crates.io crate contracts 0.3.0
[INFO] finished tweaking crates.io crate contracts 0.3.0
[INFO] tweaked toml for crates.io crate contracts 0.3.0 written to /workspace/builds/worker-6/source/Cargo.toml
[INFO] running `"/workspace/cargo-home/bin/cargo" "+f149601db42efe10ece8b284ab681fd4a6fcb89c" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/workspace/cargo-home/bin/cargo" "+f149601db42efe10ece8b284ab681fd4a6fcb89c" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/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" "+f149601db42efe10ece8b284ab681fd4a6fcb89c" "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] 7c0f76a7d2e825aeea1d664b6274ba391be3e3bcc50f7ef602051fd1d5fea5d8
[INFO] running `"docker" "start" "-a" "7c0f76a7d2e825aeea1d664b6274ba391be3e3bcc50f7ef602051fd1d5fea5d8"`
[INFO] [stderr]    Compiling syn v0.15.44
[INFO] [stderr]     Checking env_logger v0.6.2
[INFO] [stderr]     Checking quickcheck v0.8.5
[INFO] [stderr]     Checking contracts v0.3.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling quickcheck_macros v0.8.0
[INFO] [stderr] error[E0424]: expected value, found module `self`
[INFO] [stderr]   --> tests/traits.rs:11:5
[INFO] [stderr]    |
[INFO] [stderr] 11 |     #[contract_trait]
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |     |
[INFO] [stderr]    |     `self` value is a keyword only available in methods with a `self` parameter
[INFO] [stderr]    |     this function doesn't have a `self` parameter
[INFO] [stderr] 
[INFO] [stderr] error[E0424]: expected value, found module `self`
[INFO] [stderr]   --> tests/traits.rs:11:5
[INFO] [stderr]    |
[INFO] [stderr] 11 |     #[contract_trait]
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^ `self` value is a keyword only available in methods with a `self` parameter
[INFO] [stderr] ...
[INFO] [stderr] 15 |         #[pre((self.tell() + val) < 20)]
[INFO] [stderr]    |         -------------------------------- this function doesn't have a `self` parameter
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `ret` in this scope
[INFO] [stderr]   --> tests/traits.rs:49:23
[INFO] [stderr]    |
[INFO] [stderr] 49 |         #[post(min <= ret, ret <= max)]
[INFO] [stderr]    |                       ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `ret` in this scope
[INFO] [stderr]   --> tests/traits.rs:49:28
[INFO] [stderr]    |
[INFO] [stderr] 49 |         #[post(min <= ret, ret <= max)]
[INFO] [stderr]    |                            ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `ret` in this scope
[INFO] [stderr]   --> tests/ranged_int.rs:22:12
[INFO] [stderr]    |
[INFO] [stderr] 22 |     #[post(ret.min == self.min.min(other.min))]
[INFO] [stderr]    |            ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `ret` in this scope
[INFO] [stderr]   --> tests/ranged_int.rs:23:12
[INFO] [stderr]    |
[INFO] [stderr] 23 |     #[post(ret.max == self.max.max(other.max))]
[INFO] [stderr]    |            ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `ret` in this scope
[INFO] [stderr]   --> tests/ranged_int.rs:57:12
[INFO] [stderr]    |
[INFO] [stderr] 57 |     #[post(ret.range.contains(ret.value))]
[INFO] [stderr]    |            ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `ret` in this scope
[INFO] [stderr]   --> tests/ranged_int.rs:57:31
[INFO] [stderr]    |
[INFO] [stderr] 57 |     #[post(ret.range.contains(ret.value))]
[INFO] [stderr]    |                               ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `ret` in this scope
[INFO] [stderr]   --> tests/ranged_int.rs:69:12
[INFO] [stderr]    |
[INFO] [stderr] 69 |     #[post(ret.range.contains(ret.value))]
[INFO] [stderr]    |            ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `ret` in this scope
[INFO] [stderr]   --> tests/ranged_int.rs:69:31
[INFO] [stderr]    |
[INFO] [stderr] 69 |     #[post(ret.range.contains(ret.value))]
[INFO] [stderr]    |                               ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `ret` in this scope
[INFO] [stderr]   --> tests/ranged_int.rs:70:12
[INFO] [stderr]    |
[INFO] [stderr] 70 |     #[post(ret.value == self.value + rhs.value)]
[INFO] [stderr]    |            ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `ret` in this scope
[INFO] [stderr]   --> tests/ranged_int.rs:84:12
[INFO] [stderr]    |
[INFO] [stderr] 84 |     #[post(ret.value == self.value + rhs)]
[INFO] [stderr]    |            ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error: aborting due to 4 previous errors
[INFO] [stderr] 
[INFO] [stderr] Some errors have detailed explanations: E0424, E0425.
[INFO] [stderr] For more information about an error, try `rustc --explain E0424`.
[INFO] [stderr] error: could not compile `contracts`.
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: aborting due to 8 previous errors
[INFO] [stderr] 
[INFO] [stderr] For more information about this error, try `rustc --explain E0425`.
[INFO] [stderr] error: could not compile `contracts`.
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error[E0425]: cannot find value `ret` in this scope
[INFO] [stderr]   --> tests/functions.rs:13:12
[INFO] [stderr]    |
[INFO] [stderr] 13 |     #[post(ret > x, "result will be bigger than input")]
[INFO] [stderr]    |            ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `ret` in this scope
[INFO] [stderr]   --> tests/functions.rs:37:12
[INFO] [stderr]    |
[INFO] [stderr] 37 |     #[post(ret.len() == input.len())]
[INFO] [stderr]    |            ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `ret` in this scope
[INFO] [stderr]   --> tests/functions.rs:38:28
[INFO] [stderr]    |
[INFO] [stderr] 38 |     #[test_post(is_sorted(&ret))]
[INFO] [stderr]    |                            ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `ret` in this scope
[INFO] [stderr]   --> tests/functions.rs:74:12
[INFO] [stderr]    |
[INFO] [stderr] 74 |     #[post(ret >= 0)]
[INFO] [stderr]    |            ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `ret` in this scope
[INFO] [stderr]   --> tests/functions.rs:75:12
[INFO] [stderr]    |
[INFO] [stderr] 75 |     #[post(ret == x || ret == -x)]
[INFO] [stderr]    |            ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `ret` in this scope
[INFO] [stderr]   --> tests/functions.rs:75:24
[INFO] [stderr]    |
[INFO] [stderr] 75 |     #[post(ret == x || ret == -x)]
[INFO] [stderr]    |                        ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `ret` in this scope
[INFO] [stderr]   --> tests/functions.rs:76:12
[INFO] [stderr]    |
[INFO] [stderr] 76 |     #[post(ret * ret == x * x)]
[INFO] [stderr]    |            ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `ret` in this scope
[INFO] [stderr]   --> tests/functions.rs:76:18
[INFO] [stderr]    |
[INFO] [stderr] 76 |     #[post(ret * ret == x * x)]
[INFO] [stderr]    |                  ^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error: aborting due to 8 previous errors
[INFO] [stderr] 
[INFO] [stderr] For more information about this error, try `rustc --explain E0425`.
[INFO] [stderr] error: could not compile `contracts`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `"docker" "inspect" "7c0f76a7d2e825aeea1d664b6274ba391be3e3bcc50f7ef602051fd1d5fea5d8"`
[INFO] running `"docker" "rm" "-f" "7c0f76a7d2e825aeea1d664b6274ba391be3e3bcc50f7ef602051fd1d5fea5d8"`
[INFO] [stdout] 7c0f76a7d2e825aeea1d664b6274ba391be3e3bcc50f7ef602051fd1d5fea5d8