[INFO] cloning repository https://github.com/AnyVM/mini-move
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/AnyVM/mini-move" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAnyVM%2Fmini-move", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAnyVM%2Fmini-move'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 654d7e3d61dc6e9553783e13833f85eaff21edea
[INFO] checking AnyVM/mini-move against master#59fd4ef94daa991e6797b5aa6127e824f3067def for pr-145108-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAnyVM%2Fmini-move" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-0-tc1/source/.cargo/config
[INFO] removed /workspace/builds/worker-0-tc1/source/rust-toolchain
[INFO] started tweaking git repo https://github.com/AnyVM/mini-move
[INFO] finished tweaking git repo https://github.com/AnyVM/mini-move
[INFO] tweaked toml for git repo https://github.com/AnyVM/mini-move written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/AnyVM/mini-move on toolchain 59fd4ef94daa991e6797b5aa6127e824f3067def
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+59fd4ef94daa991e6797b5aa6127e824f3067def" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/AnyVM/mini-move 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" "+59fd4ef94daa991e6797b5aa6127e824f3067def" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: /workspace/builds/worker-0-tc1/source/language/move-prover/lab/Cargo.toml: `default_features` is deprecated in favor of `default-features` and will not work in the 2024 edition
[INFO] [stderr] (in the `plotters` dependency)
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Updating git repository `https://github.com/diem/diem-devtools`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded primitive-types v0.10.1
[INFO] [stderr]   Downloaded ref-cast v1.0.16
[INFO] [stderr]   Downloaded ouroboros v0.9.5
[INFO] [stderr]   Downloaded scale-info-derive v1.0.0
[INFO] [stderr]   Downloaded variant_count v1.1.0
[INFO] [stderr]   Downloaded scale-info v1.0.0
[INFO] [stderr]   Downloaded dirs v1.0.5
[INFO] [stderr]   Downloaded ethbloom v0.11.1
[INFO] [stderr]   Downloaded better_typeid_derive v0.1.1
[INFO] [stderr]   Downloaded codespan v0.11.1
[INFO] [stderr]   Downloaded simplelog v0.9.0
[INFO] [stderr]   Downloaded humansize v1.1.1
[INFO] [stderr]   Downloaded hash-db v0.15.2
[INFO] [stderr]   Downloaded better_any v0.1.1
[INFO] [stderr]   Downloaded ethereum-types v0.12.1
[INFO] [stderr]   Downloaded phf_codegen v0.11.1
[INFO] [stderr]   Downloaded chrono-tz-build v0.0.3
[INFO] [stderr]   Downloaded ed25519-dalek-fiat v0.1.0
[INFO] [stderr]   Downloaded serde-reflection v0.3.6
[INFO] [stderr]   Downloaded security-framework-sys v2.8.0
[INFO] [stderr]   Downloaded parse-zoneinfo v0.3.0
[INFO] [stderr]   Downloaded base64 v0.21.0
[INFO] [stderr]   Downloaded plotters-svg v0.3.3
[INFO] [stderr]   Downloaded guppy-workspace-hack v0.1.0
[INFO] [stderr]   Downloaded openssl-sys v0.9.85
[INFO] [stderr]   Downloaded ctrlc v3.2.5
[INFO] [stderr]   Downloaded colored-diff v0.2.3
[INFO] [stderr]   Downloaded cxx v1.0.94
[INFO] [stderr]   Downloaded duct v0.13.6
[INFO] [stderr]   Downloaded dissimilar v1.0.6
[INFO] [stderr]   Downloaded lsp-types v0.90.1
[INFO] [stderr]   Downloaded aes v0.6.0
[INFO] [stderr]   Downloaded guppy v0.12.6
[INFO] [stderr]   Downloaded aes-soft v0.6.4
[INFO] [stderr]   Downloaded quick-xml v0.22.0
[INFO] [stderr]   Downloaded bitvec v0.19.6
[INFO] [stderr]   Downloaded hyper v0.14.25
[INFO] [stderr]   Downloaded plotters v0.3.4
[INFO] [stderr]   Downloaded tui v0.17.0
[INFO] [stderr]   Downloaded lalrpop v0.19.9
[INFO] [stderr]   Downloaded petgraph v0.6.3
[INFO] [stderr]   Downloaded openssl v0.10.50
[INFO] [stderr]   Downloaded aes-gcm v0.8.0
[INFO] [stderr]   Downloaded file_diff v1.0.0
[INFO] [stderr]   Downloaded fiat-crypto v0.1.20
[INFO] [stderr]   Downloaded sha3 v0.8.2
[INFO] [stderr]   Downloaded curve25519-dalek-fiat v0.1.0
[INFO] [stderr]   Downloaded libfuzzer-sys v0.4.6
[INFO] [stderr]   Downloaded chrono-tz v0.6.3
[INFO] [stderr]   Downloaded bstr v1.4.0
[INFO] [stderr]   Downloaded dir-diff v0.3.2
[INFO] [stderr]   Downloaded libtest-mimic v0.5.2
[INFO] [stderr]   Downloaded tokio v1.27.0
[INFO] [stderr]   Downloaded crossterm v0.21.0
[INFO] [stderr]   Downloaded crossterm v0.22.1
[INFO] [stderr]   Downloaded toml_edit v0.14.4
[INFO] [stderr]   Downloaded lexical-core v0.7.6
[INFO] [stderr]   Downloaded h2 v0.3.16
[INFO] [stderr]   Downloaded aesni v0.10.0
[INFO] [stderr]   Downloaded criterion v0.3.6
[INFO] [stderr]   Downloaded num-bigint v0.3.3
[INFO] [stderr]   Downloaded rustix v0.37.11
[INFO] [stderr]   Downloaded x25519-dalek-fiat v0.1.0
[INFO] [stderr]   Downloaded linux-raw-sys v0.3.1
[INFO] [stderr]   Downloaded httpmock v0.6.7
[INFO] [stderr]   Downloaded similar v2.2.1
[INFO] [stderr]   Downloaded signal-hook v0.3.15
[INFO] [stderr]   Downloaded csv v1.2.1
[INFO] [stderr]   Downloaded tokio-util v0.7.7
[INFO] [stderr]   Downloaded determinator v0.7.0
[INFO] [stderr]   Downloaded camino v1.1.4
[INFO] [stderr]   Downloaded cfg-expr v0.9.1
[INFO] [stderr]   Downloaded half v1.8.2
[INFO] [stderr]   Downloaded serde_cbor v0.11.2
[INFO] [stderr]   Downloaded trybuild v1.0.53
[INFO] [stderr]   Downloaded num-complex v0.3.1
[INFO] [stderr]   Downloaded pomelo v0.1.5
[INFO] [stderr]   Downloaded smt2parser v0.1.0
[INFO] [stderr]   Downloaded config v0.11.0
[INFO] [stderr]   Downloaded ptree v0.4.0
[INFO] [stderr]   Downloaded vte v0.10.1
[INFO] [stderr]   Downloaded is_ci v1.1.1
[INFO] [stderr]   Downloaded target-lexicon v0.12.6
[INFO] [stderr]   Downloaded ctr v0.6.0
[INFO] [stderr]   Downloaded criterion-plot v0.4.5
[INFO] [stderr]   Downloaded oorandom v11.1.3
[INFO] [stderr]   Downloaded pomelo-impl v0.1.5
[INFO] [stderr]   Downloaded polling v2.7.0
[INFO] [stderr]   Downloaded serde v0.8.23
[INFO] [stderr]   Downloaded serde-hjson v0.9.1
[INFO] [stderr]   Downloaded tint v1.0.1
[INFO] [stderr]   Downloaded clap v3.2.23
[INFO] [stderr]   Downloaded bitvec v0.20.4
[INFO] [stderr]   Downloaded chrono v0.4.24
[INFO] [stderr]   Downloaded os_pipe v1.1.3
[INFO] [stderr]   Downloaded shared_child v1.0.0
[INFO] [stderr]   Downloaded supports-color v1.3.1
[INFO] [stderr]   Downloaded mirai-annotations v1.12.0
[INFO] [stderr]   Downloaded lalrpop-util v0.19.9
[INFO] [stderr]   Downloaded levenshtein v1.0.5
[INFO] [stderr]   Downloaded named-lock v0.2.0
[INFO] [stderr]   Downloaded winnow v0.4.1
[INFO] [stderr]   Downloaded indent_write v2.2.0
[INFO] [stderr]   Downloaded strip-ansi-escapes v0.1.1
[INFO] [stderr]   Downloaded cargo-platform v0.1.2
[INFO] [stderr]   Downloaded debug-ignore v1.0.5
[INFO] [stderr]   Downloaded diffus v0.10.0
[INFO] [stderr]   Downloaded guppy-summaries v0.6.1
[INFO] [stderr]   Downloaded fst v0.4.7
[INFO] [stderr]   Downloaded nested v0.1.1
[INFO] [stderr]   Downloaded target-spec v0.9.0
[INFO] [stderr]   Downloaded aead v0.3.2
[INFO] [stderr]   Downloaded cpuid-bool v0.2.0
[INFO] [stderr]   Downloaded polyval v0.4.5
[INFO] [stderr]   Downloaded ghash v0.3.1
[INFO] [stderr]   Downloaded radium v0.5.3
[INFO] [stderr]   Downloaded crypto-mac v0.10.1
[INFO] [stderr]   Downloaded hmac v0.10.1
[INFO] [stderr]   Downloaded hkdf v0.10.0
[INFO] [stderr]   Downloaded serde-name v0.1.2
[INFO] [stderr]   Downloaded dunce v1.0.3
[INFO] [stderr]   Downloaded plotters-backend v0.3.4
[INFO] [stderr]   Downloaded async-object-pool v0.1.4
[INFO] [stderr]   Downloaded reqwest v0.11.16
[INFO] [stderr]   Downloaded petgraph v0.5.1
[INFO] [stderr]   Downloaded proptest v1.1.0
[INFO] [stderr]   Downloaded criterion-cpu-time v0.1.0
[INFO] [stderr]   Downloaded lsp-server v0.5.2
[INFO] [stderr]   Downloaded async-global-executor v2.3.1
[INFO] [stderr]   Downloaded basic-cookies v0.1.4
[INFO] [stderr]   Downloaded crossterm_winapi v0.8.0
[INFO] [stderr]   Downloaded rust-ini v0.13.0
[INFO] [stderr]   Downloaded deunicode v0.4.3
[INFO] [stderr]   Downloaded num v0.3.1
[INFO] [stderr]   Downloaded crossterm_winapi v0.9.0
[INFO] [stderr]   Downloaded tera v1.17.1
[INFO] [stderr]   Downloaded toml_edit v0.19.8
[INFO] [stderr]   Downloaded security-framework v2.8.2
[INFO] [stderr]   Downloaded whoami v1.4.0
[INFO] [stderr]   Downloaded cxx-build v1.0.94
[INFO] [stderr]   Downloaded libm v0.2.6
[INFO] [stderr]   Downloaded term v0.5.2
[INFO] [stderr]   Downloaded prettydiff v0.4.0
[INFO] [stderr]   Downloaded parity-scale-codec v3.4.0
[INFO] [stderr]   Downloaded ethabi v17.2.0
[INFO] [stderr]   Downloaded ignore v0.4.20
[INFO] [stderr]   Downloaded rust-argon2 v0.8.3
[INFO] [stderr]   Downloaded cxxbridge-macro v1.0.94
[INFO] [stderr]   Downloaded ethnum v1.3.2
[INFO] [stderr]   Downloaded impl-serde v0.3.2
[INFO] [stderr]   Downloaded parity-scale-codec v2.3.1
[INFO] [stderr]   Downloaded globset v0.4.10
[INFO] [stderr]   Downloaded pest_meta v2.5.7
[INFO] [stderr]   Downloaded pest_generator v2.5.7
[INFO] [stderr]   Downloaded internment v0.5.6
[INFO] [stderr]   Downloaded blake2b_simd v0.5.11
[INFO] [stderr]   Downloaded arbitrary v1.3.0
[INFO] [stderr]   Downloaded bcs v0.1.5
[INFO] [stderr]   Downloaded auto_impl v0.5.0
[INFO] [stderr]   Downloaded evm v0.33.1
[INFO] [stderr]   Downloaded pest_derive v2.5.7
[INFO] [stderr]   Downloaded prettytable-rs v0.8.0
[INFO] [stderr]   Downloaded structopt v0.2.18
[INFO] [stderr]   Downloaded iana-time-zone v0.1.56
[INFO] [stderr]   Downloaded funty v1.1.0
[INFO] [stderr]   Downloaded clap_derive v3.2.18
[INFO] [stderr]   Downloaded proptest-derive v0.3.0
[INFO] [stderr]   Downloaded wyz v0.2.0
[INFO] [stderr]   Downloaded evm-gasometer v0.33.0
[INFO] [stderr]   Downloaded ansi_term v0.9.0
[INFO] [stderr]   Downloaded pretty v0.10.0
[INFO] [stderr]   Downloaded link-cplusplus v1.0.8
[INFO] [stderr]   Downloaded fail v0.4.0
[INFO] [stderr]   Downloaded ethbloom v0.12.1
[INFO] [stderr]   Downloaded parity-scale-codec-derive v3.1.4
[INFO] [stderr]   Downloaded ethereum-types v0.13.1
[INFO] [stderr]   Downloaded tokio-macros v2.0.0
[INFO] [stderr]   Downloaded triehash v0.8.4
[INFO] [stderr]   Downloaded ethereum v0.11.1
[INFO] [stderr]   Downloaded evm-runtime v0.33.0
[INFO] [stderr]   Downloaded primitive-types v0.11.1
[INFO] [stderr]   Downloaded slug v0.1.4
[INFO] [stderr]   Downloaded scratch v1.0.5
[INFO] [stderr]   Downloaded fixedbitset v0.2.0
[INFO] [stderr]   Downloaded os_str_bytes v6.5.0
[INFO] [stderr]   Downloaded parity-scale-codec-derive v2.3.1
[INFO] [stderr]   Downloaded evm-core v0.33.0
[INFO] [stderr]   Downloaded datatest-stable v0.1.3
[INFO] [stderr]   Downloaded redox_users v0.3.5
[INFO] [stderr]   Downloaded iana-time-zone-haiku v0.1.1
[INFO] [stderr]   Downloaded ouroboros_macro v0.9.5
[INFO] [stderr]   Downloaded derive_arbitrary v1.3.0
[INFO] [stderr]   Downloaded impl-codec v0.5.1
[INFO] [stderr]   Downloaded structopt-derive v0.2.18
[INFO] [stderr]   Downloaded cxxbridge-flags v1.0.94
[INFO] [stderr]   Downloaded ctor v0.1.26
[INFO] [stderr]   Downloaded fixed-hash v0.7.0
[INFO] [stderr]   Downloaded radium v0.6.2
[INFO] [stderr]   Downloaded ref-cast-impl v1.0.16
[INFO] [stderr]   Downloaded curl-sys v0.4.61+curl-8.0.1
[INFO] [stderr]   Downloaded libnghttp2-sys v0.1.7+1.45.0
[INFO] [stderr]   Downloaded z3tracer v0.8.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+59fd4ef94daa991e6797b5aa6127e824f3067def" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 4b5dc23e082fa96231365223bfe9b76cc3b32e8a7c5848f58cd2f562c72cd64d
[INFO] running `Command { std: "docker" "start" "-a" "4b5dc23e082fa96231365223bfe9b76cc3b32e8a7c5848f58cd2f562c72cd64d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4b5dc23e082fa96231365223bfe9b76cc3b32e8a7c5848f58cd2f562c72cd64d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4b5dc23e082fa96231365223bfe9b76cc3b32e8a7c5848f58cd2f562c72cd64d", kill_on_drop: false }`
[INFO] [stdout] 4b5dc23e082fa96231365223bfe9b76cc3b32e8a7c5848f58cd2f562c72cd64d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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=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:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+59fd4ef94daa991e6797b5aa6127e824f3067def" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8bb517f1165c6a06e8386c94431784866b9b7467a100a8df0ea2e6299b09284c
[INFO] running `Command { std: "docker" "start" "-a" "8bb517f1165c6a06e8386c94431784866b9b7467a100a8df0ea2e6299b09284c", kill_on_drop: false }`
[INFO] [stderr] warning: /opt/rustwide/workdir/language/move-prover/lab/Cargo.toml: `default_features` is deprecated in favor of `default-features` and will not work in the 2024 edition
[INFO] [stderr] (in the `plotters` dependency)
[INFO] [stderr]    Compiling proc-macro2 v1.0.56
[INFO] [stderr]    Compiling quote v1.0.26
[INFO] [stderr]    Compiling libc v0.2.141
[INFO] [stderr]    Compiling serde_derive v1.0.160
[INFO] [stderr]    Compiling serde v1.0.160
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking once_cell v1.17.1
[INFO] [stderr]    Compiling libm v0.2.6
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]     Checking regex-syntax v0.6.29
[INFO] [stderr]     Checking byteorder v1.4.3
[INFO] [stderr]    Compiling hashbrown v0.12.3
[INFO] [stderr]    Compiling winnow v0.4.1
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stdout] error[E0635]: unknown feature `proc_macro_span_shrink`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/proc-macro2-1.0.56/src/lib.rs:92:30
[INFO] [stdout]    |
[INFO] [stdout] 92 |     feature(proc_macro_span, proc_macro_span_shrink)
[INFO] [stdout]    |                              ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: there is a feature with a similar name: `proc_macro_span_file`
[INFO] [stdout]    |
[INFO] [stdout] 92 -     feature(proc_macro_span, proc_macro_span_shrink)
[INFO] [stdout] 92 +     feature(proc_macro_span, proc_macro_span_file)
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling toml_datetime v0.6.1
[INFO] [stderr]    Compiling thiserror v1.0.40
[INFO] [stdout] For more information about this error, try `rustc --explain E0635`.
[INFO] [stdout] 
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr] error: could not compile `proc-macro2` (lib) due to 1 previous error
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "8bb517f1165c6a06e8386c94431784866b9b7467a100a8df0ea2e6299b09284c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8bb517f1165c6a06e8386c94431784866b9b7467a100a8df0ea2e6299b09284c", kill_on_drop: false }`
[INFO] [stdout] 8bb517f1165c6a06e8386c94431784866b9b7467a100a8df0ea2e6299b09284c
