[INFO] cloning repository https://github.com/drpreetyrai/Move-Lang
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/drpreetyrai/Move-Lang" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdrpreetyrai%2FMove-Lang", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdrpreetyrai%2FMove-Lang'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] dfef14a838c8dd6399e933b77426a03f40e69c4c
[INFO] checking drpreetyrai/Move-Lang against try#9b8307bcb9d1de8ffc7e1c81c48efffdb24ee840 for pr-149518
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdrpreetyrai%2FMove-Lang" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-0-tc2/source/.cargo/config
[INFO] removed /workspace/builds/worker-0-tc2/source/rust-toolchain
[INFO] started tweaking git repo https://github.com/drpreetyrai/Move-Lang
[INFO] finished tweaking git repo https://github.com/drpreetyrai/Move-Lang
[INFO] tweaked toml for git repo https://github.com/drpreetyrai/Move-Lang written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/drpreetyrai/Move-Lang on toolchain 9b8307bcb9d1de8ffc7e1c81c48efffdb24ee840
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+9b8307bcb9d1de8ffc7e1c81c48efffdb24ee840" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/drpreetyrai/Move-Lang 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" "+9b8307bcb9d1de8ffc7e1c81c48efffdb24ee840" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: /workspace/builds/worker-0-tc2/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]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Updating git repository `https://github.com/diem/diem-devtools`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded unicode-ident v1.0.3
[INFO] [stderr]   Downloaded serde_bytes v0.11.5
[INFO] [stderr]   Downloaded uint v0.9.4
[INFO] [stderr]   Downloaded itoa v1.0.1
[INFO] [stderr]   Downloaded impl-trait-for-tuples v0.2.2
[INFO] [stderr]   Downloaded arrayref v0.3.6
[INFO] [stderr]   Downloaded impl-codec v0.5.1
[INFO] [stderr]   Downloaded variant_count v1.1.0
[INFO] [stderr]   Downloaded encode_unicode v0.3.6
[INFO] [stderr]   Downloaded typed-arena v2.0.1
[INFO] [stderr]   Downloaded subtle v2.4.0
[INFO] [stderr]   Downloaded better_typeid_derive v0.1.1
[INFO] [stderr]   Downloaded dtoa v0.4.7
[INFO] [stderr]   Downloaded dirs-sys v0.3.6
[INFO] [stderr]   Downloaded plotters-backend v0.3.0
[INFO] [stderr]   Downloaded plotters-svg v0.3.0
[INFO] [stderr]   Downloaded ctr v0.6.0
[INFO] [stderr]   Downloaded ghash v0.3.1
[INFO] [stderr]   Downloaded cipher v0.2.5
[INFO] [stderr]   Downloaded serde-name v0.1.2
[INFO] [stderr]   Downloaded owo-colors v3.2.0
[INFO] [stderr]   Downloaded indent_write v2.2.0
[INFO] [stderr]   Downloaded humantime-serde v1.0.1
[INFO] [stderr]   Downloaded vte_generate_state_changes v0.1.1
[INFO] [stderr]   Downloaded cfg-expr v0.9.0
[INFO] [stderr]   Downloaded dir-diff v0.3.2
[INFO] [stderr]   Downloaded twox-hash v1.6.2
[INFO] [stderr]   Downloaded colored-diff v0.2.3
[INFO] [stderr]   Downloaded ctrlc v3.2.1
[INFO] [stderr]   Downloaded libfuzzer-sys v0.4.4
[INFO] [stderr]   Downloaded shared_child v0.3.5
[INFO] [stderr]   Downloaded file_diff v1.0.0
[INFO] [stderr]   Downloaded dissimilar v1.0.3
[INFO] [stderr]   Downloaded os_pipe v0.9.2
[INFO] [stderr]   Downloaded duct v0.13.5
[INFO] [stderr]   Downloaded debug-ignore v1.0.1
[INFO] [stderr]   Downloaded semver v1.0.4
[INFO] [stderr]   Downloaded determinator v0.7.0
[INFO] [stderr]   Downloaded diffus v0.10.0
[INFO] [stderr]   Downloaded nested v0.1.1
[INFO] [stderr]   Downloaded libz-sys v1.1.8
[INFO] [stderr]   Downloaded camino v1.0.5
[INFO] [stderr]   Downloaded target-spec v0.9.0
[INFO] [stderr]   Downloaded indoc v1.0.3
[INFO] [stderr]   Downloaded fst v0.4.5
[INFO] [stderr]   Downloaded criterion v0.3.4
[INFO] [stderr]   Downloaded aead v0.3.2
[INFO] [stderr]   Downloaded curl v0.4.44
[INFO] [stderr]   Downloaded utf8parse v0.2.0
[INFO] [stderr]   Downloaded is_ci v1.1.1
[INFO] [stderr]   Downloaded cargo-platform v0.1.2
[INFO] [stderr]   Downloaded guppy-summaries v0.6.1
[INFO] [stderr]   Downloaded bitvec v0.19.6
[INFO] [stderr]   Downloaded guppy-workspace-hack v0.1.0
[INFO] [stderr]   Downloaded unindent v0.1.7
[INFO] [stderr]   Downloaded criterion-cpu-time v0.1.0
[INFO] [stderr]   Downloaded vte v0.10.1
[INFO] [stderr]   Downloaded fixed-hash v0.7.0
[INFO] [stderr]   Downloaded x25519-dalek-fiat v0.1.0
[INFO] [stderr]   Downloaded curl-sys v0.4.56+curl-7.83.1
[INFO] [stderr]   Downloaded strip-ansi-escapes v0.1.1
[INFO] [stderr]   Downloaded aes v0.6.0
[INFO] [stderr]   Downloaded supports-color v1.3.0
[INFO] [stderr]   Downloaded cargo_metadata v0.14.1
[INFO] [stderr]   Downloaded target-lexicon v0.12.2
[INFO] [stderr]   Downloaded lalrpop v0.19.8
[INFO] [stderr]   Downloaded crossbeam v0.8.1
[INFO] [stderr]   Downloaded serde_repr v0.1.6
[INFO] [stderr]   Downloaded num-bigint v0.3.2
[INFO] [stderr]   Downloaded async-std v1.12.0
[INFO] [stderr]   Downloaded polyval v0.4.5
[INFO] [stderr]   Downloaded half v1.7.1
[INFO] [stderr]   Downloaded ripemd160 v0.9.1
[INFO] [stderr]   Downloaded lsp-types v0.90.1
[INFO] [stderr]   Downloaded isahc v1.7.2
[INFO] [stderr]   Downloaded curve25519-dalek-fiat v0.1.0
[INFO] [stderr]   Downloaded sha3 v0.8.2
[INFO] [stderr]   Downloaded tokio v1.19.2
[INFO] [stderr]   Downloaded radium v0.5.3
[INFO] [stderr]   Downloaded criterion-plot v0.4.3
[INFO] [stderr]   Downloaded crypto-mac v0.10.1
[INFO] [stderr]   Downloaded plotters v0.3.0
[INFO] [stderr]   Downloaded hmac v0.10.1
[INFO] [stderr]   Downloaded trybuild v1.0.53
[INFO] [stderr]   Downloaded dunce v1.0.2
[INFO] [stderr]   Downloaded lsp-server v0.5.2
[INFO] [stderr]   Downloaded crossterm v0.21.0
[INFO] [stderr]   Downloaded aes-soft v0.6.4
[INFO] [stderr]   Downloaded aesni v0.10.0
[INFO] [stderr]   Downloaded quick-xml v0.22.0
[INFO] [stderr]   Downloaded libnghttp2-sys v0.1.7+1.45.0
[INFO] [stderr]   Downloaded guppy v0.12.6
[INFO] [stderr]   Downloaded crossterm v0.22.1
[INFO] [stderr]   Downloaded tui v0.17.0
[INFO] [stderr]   Downloaded toml_edit v0.14.4
[INFO] [stderr]   Downloaded nom v5.1.2
[INFO] [stderr]   Downloaded bitvec v1.0.0
[INFO] [stderr]   Downloaded futures-util v0.3.16
[INFO] [stderr]   Downloaded hashbrown v0.9.1
[INFO] [stderr]   Downloaded csv v1.1.6
[INFO] [stderr]   Downloaded cpuid-bool v0.2.0
[INFO] [stderr]   Downloaded cast v0.2.3
[INFO] [stderr]   Downloaded oorandom v11.1.3
[INFO] [stderr]   Downloaded serde_cbor v0.11.1
[INFO] [stderr]   Downloaded hkdf v0.10.0
[INFO] [stderr]   Downloaded aes-gcm v0.8.0
[INFO] [stderr]   Downloaded mirai-annotations v1.12.0
[INFO] [stderr]   Downloaded crossbeam-queue v0.3.5
[INFO] [stderr]   Downloaded async-process v1.4.0
[INFO] [stderr]   Downloaded basic-cookies v0.1.4
[INFO] [stderr]   Downloaded lexical-core v0.7.6
[INFO] [stderr]   Downloaded h2 v0.3.14
[INFO] [stderr]   Downloaded http v0.2.8
[INFO] [stderr]   Downloaded hyper v0.14.20
[INFO] [stderr]   Downloaded sha3 v0.10.1
[INFO] [stderr]   Downloaded parse-zoneinfo v0.3.0
[INFO] [stderr]   Downloaded chrono-tz v0.6.1
[INFO] [stderr]   Downloaded bstr v0.2.15
[INFO] [stderr]   Downloaded num-complex v0.3.1
[INFO] [stderr]   Downloaded num v0.3.1
[INFO] [stderr]   Downloaded pomelo-impl v0.1.5
[INFO] [stderr]   Downloaded smt2parser v0.1.0
[INFO] [stderr]   Downloaded async-lock v2.5.0
[INFO] [stderr]   Downloaded async-io v1.7.0
[INFO] [stderr]   Downloaded async-task v4.3.0
[INFO] [stderr]   Downloaded atomic-waker v1.0.0
[INFO] [stderr]   Downloaded blocking v1.2.0
[INFO] [stderr]   Downloaded gloo-timers v0.2.4
[INFO] [stderr]   Downloaded async-object-pool v0.1.4
[INFO] [stderr]   Downloaded ena v0.14.0
[INFO] [stderr]   Downloaded pico-args v0.4.2
[INFO] [stderr]   Downloaded string_cache v0.8.4
[INFO] [stderr]   Downloaded rustversion v1.0.8
[INFO] [stderr]   Downloaded term v0.7.0
[INFO] [stderr]   Downloaded lalrpop-util v0.19.8
[INFO] [stderr]   Downloaded fastrand v1.8.0
[INFO] [stderr]   Downloaded wepoll-ffi v0.1.2
[INFO] [stderr]   Downloaded polling v2.2.0
[INFO] [stderr]   Downloaded z3tracer v0.8.0
[INFO] [stderr]   Downloaded sluice v0.5.5
[INFO] [stderr]   Downloaded pomelo v0.1.5
[INFO] [stderr]   Downloaded pin-project-internal v1.0.11
[INFO] [stderr]   Downloaded pin-project v1.0.11
[INFO] [stderr]   Downloaded tracing-futures v0.2.5
[INFO] [stderr]   Downloaded levenshtein v1.0.5
[INFO] [stderr]   Downloaded similar v2.1.0
[INFO] [stderr]   Downloaded httpmock v0.6.6
[INFO] [stderr]   Downloaded crossterm_winapi v0.8.0
[INFO] [stderr]   Downloaded signal-hook v0.3.13
[INFO] [stderr]   Downloaded petgraph v0.6.0
[INFO] [stderr]   Downloaded tokio-util v0.7.3
[INFO] [stderr]   Downloaded mio v0.8.4
[INFO] [stderr]   Downloaded memory-stats v1.0.0
[INFO] [stderr]   Downloaded assert-json-diff v2.0.2
[INFO] [stderr]   Downloaded async-global-executor v2.2.0
[INFO] [stderr]   Downloaded ascii-canvas v3.0.0
[INFO] [stderr]   Downloaded new_debug_unreachable v1.0.4
[INFO] [stderr]   Downloaded castaway v0.1.2
[INFO] [stderr]   Downloaded concurrent-queue v1.2.4
[INFO] [stderr]   Downloaded serde_regex v1.1.0
[INFO] [stderr]   Downloaded crossterm_winapi v0.9.0
[INFO] [stderr]   Downloaded signal-hook-mio v0.2.1
[INFO] [stderr]   Downloaded widestring v0.5.1
[INFO] [stderr]   Downloaded named-lock v0.2.0
[INFO] [stderr]   Downloaded rust-ini v0.13.0
[INFO] [stderr]   Downloaded serde v0.8.23
[INFO] [stderr]   Downloaded serde-hjson v0.9.1
[INFO] [stderr]   Downloaded config v0.11.0
[INFO] [stderr]   Downloaded fixedbitset v0.4.0
[INFO] [stderr]   Downloaded tint v1.0.1
[INFO] [stderr]   Downloaded ptree v0.4.0
[INFO] [stderr]   Downloaded openssl-macros v0.1.0
[INFO] [stderr]   Downloaded openssl v0.10.41
[INFO] [stderr]   Downloaded jobserver v0.1.25
[INFO] [stderr]   Downloaded cc v1.0.67
[INFO] [stderr]   Downloaded security-framework v2.6.1
[INFO] [stderr]   Downloaded security-framework-sys v2.6.1
[INFO] [stderr]   Downloaded tokio-native-tls v0.3.0
[INFO] [stderr]   Downloaded unicode-normalization v0.1.17
[INFO] [stderr]   Downloaded idna v0.2.2
[INFO] [stderr]   Downloaded reqwest v0.11.11
[INFO] [stderr]   Downloaded js-sys v0.3.48
[INFO] [stderr]   Downloaded bumpalo v3.6.1
[INFO] [stderr]   Downloaded wasm-bindgen-backend v0.2.71
[INFO] [stderr]   Downloaded wasm-bindgen v0.2.71
[INFO] [stderr]   Downloaded web-sys v0.3.48
[INFO] [stderr]   Downloaded synstructure v0.12.4
[INFO] [stderr]   Downloaded zeroize_derive v1.2.0
[INFO] [stderr]   Downloaded ed25519-dalek-fiat v0.1.0
[INFO] [stderr]   Downloaded triehash v0.8.4
[INFO] [stderr]   Downloaded evm-core v0.33.0
[INFO] [stderr]   Downloaded evm-runtime v0.33.0
[INFO] [stderr]   Downloaded ethereum-types v0.13.1
[INFO] [stderr]   Downloaded ethabi v17.0.0
[INFO] [stderr]   Downloaded futures-core v0.3.16
[INFO] [stderr]   Downloaded futures-macro v0.3.16
[INFO] [stderr]   Downloaded futures-sink v0.3.16
[INFO] [stderr]   Downloaded futures v0.3.12
[INFO] [stderr]   Downloaded chrono-tz-build v0.0.2
[INFO] [stderr]   Downloaded siphasher v0.3.10
[INFO] [stderr]   Downloaded uncased v0.9.7
[INFO] [stderr]   Downloaded globset v0.4.8
[INFO] [stderr]   Downloaded ignore v0.4.17
[INFO] [stderr]   Downloaded globwalk v0.8.1
[INFO] [stderr]   Downloaded block-buffer v0.7.3
[INFO] [stderr]   Downloaded digest v0.8.1
[INFO] [stderr]   Downloaded pest_meta v2.1.3
[INFO] [stderr]   Downloaded pest_generator v2.1.3
[INFO] [stderr]   Downloaded deunicode v0.4.3
[INFO] [stderr]   Downloaded unic-ucd-version v0.9.0
[INFO] [stderr]   Downloaded tera v1.16.0
[INFO] [stderr]   Downloaded parking_lot_core v0.9.3
[INFO] [stderr]   Downloaded socket2 v0.4.4
[INFO] [stderr]   Downloaded structopt-derive v0.4.18
[INFO] [stderr]   Downloaded datatest-stable v0.1.1
[INFO] [stderr]   Downloaded const-random-macro v0.1.13
[INFO] [stderr]   Downloaded ahash v0.3.8
[INFO] [stderr]   Downloaded itertools v0.10.1
[INFO] [stderr]   Downloaded ansi_term v0.9.0
[INFO] [stderr]   Downloaded csv-core v0.1.10
[INFO] [stderr]   Downloaded directories v4.0.1
[INFO] [stderr]   Downloaded ordered-float v2.1.1
[INFO] [stderr]   Downloaded httparse v1.7.1
[INFO] [stderr]   Downloaded ipnet v2.5.0
[INFO] [stderr]   Downloaded openssl-sys v0.9.75
[INFO] [stderr]   Downloaded schannel v0.1.20
[INFO] [stderr]   Downloaded native-tls v0.2.10
[INFO] [stderr]   Downloaded tinyvec v1.1.1
[INFO] [stderr]   Downloaded wasm-bindgen-futures v0.4.21
[INFO] [stderr]   Downloaded fiat-crypto v0.1.6
[INFO] [stderr]   Downloaded signature v1.3.0
[INFO] [stderr]   Downloaded auto_impl v0.5.0
[INFO] [stderr]   Downloaded ethbloom v0.11.1
[INFO] [stderr]   Downloaded rlp-derive v0.1.0
[INFO] [stderr]   Downloaded hash-db v0.15.2
[INFO] [stderr]   Downloaded ethereum v0.11.1
[INFO] [stderr]   Downloaded evm-gasometer v0.33.0
[INFO] [stderr]   Downloaded environmental v1.1.3
[INFO] [stderr]   Downloaded wyz v0.5.0
[INFO] [stderr]   Downloaded parity-scale-codec-derive v3.1.2
[INFO] [stderr]   Downloaded parity-scale-codec v3.1.2
[INFO] [stderr]   Downloaded primitive-types v0.11.1
[INFO] [stderr]   Downloaded block-buffer v0.10.2
[INFO] [stderr]   Downloaded crypto-common v0.1.3
[INFO] [stderr]   Downloaded digest v0.10.3
[INFO] [stderr]   Downloaded async-trait v0.1.48
[INFO] [stderr]   Downloaded futures-io v0.3.16
[INFO] [stderr]   Downloaded futures-task v0.3.16
[INFO] [stderr]   Downloaded humansize v1.1.0
[INFO] [stderr]   Downloaded block-padding v0.1.5
[INFO] [stderr]   Downloaded byte-tools v0.3.1
[INFO] [stderr]   Downloaded fake-simd v0.1.2
[INFO] [stderr]   Downloaded opaque-debug v0.2.3
[INFO] [stderr]   Downloaded pest_derive v2.1.0
[INFO] [stderr]   Downloaded slug v0.1.4
[INFO] [stderr]   Downloaded unic-char-property v0.9.0
[INFO] [stderr]   Downloaded unic-char-range v0.9.0
[INFO] [stderr]   Downloaded unic-ucd-segment v0.9.0
[INFO] [stderr]   Downloaded unic-segment v0.9.0
[INFO] [stderr]   Downloaded structopt v0.3.25
[INFO] [stderr]   Downloaded ahash v0.4.7
[INFO] [stderr]   Downloaded internment v0.5.0
[INFO] [stderr]   Downloaded rayon v1.5.1
[INFO] [stderr]   Downloaded petgraph v0.5.1
[INFO] [stderr]   Downloaded tracing-subscriber v0.3.15
[INFO] [stderr]   Downloaded clap v3.1.8
[INFO] [stderr]   Downloaded bitvec v0.20.4
[INFO] [stderr]   Downloaded proptest v1.0.0
[INFO] [stderr]   Downloaded regex v1.5.5
[INFO] [stderr]   Downloaded syn v1.0.99
[INFO] [stderr]   Downloaded linked-hash-map v0.5.4
[INFO] [stderr]   Downloaded serde_yaml v0.8.17
[INFO] [stderr]   Downloaded wasm-bindgen-shared v0.2.71
[INFO] [stderr]   Downloaded wasm-bindgen-macro-support v0.2.71
[INFO] [stderr]   Downloaded wasm-bindgen-macro v0.2.71
[INFO] [stderr]   Downloaded whoami v1.2.1
[INFO] [stderr]   Downloaded shell-words v1.0.0
[INFO] [stderr]   Downloaded serde-reflection v0.3.5
[INFO] [stderr]   Downloaded zeroize v1.2.0
[INFO] [stderr]   Downloaded evm v0.33.1
[INFO] [stderr]   Downloaded futures-executor v0.3.12
[INFO] [stderr]   Downloaded futures-channel v0.3.16
[INFO] [stderr]   Downloaded generic-array v0.12.4
[INFO] [stderr]   Downloaded sha-1 v0.8.2
[INFO] [stderr]   Downloaded const-random v0.1.13
[INFO] [stderr]   Downloaded dashmap v3.11.10
[INFO] [stderr]   Downloaded blake2b_simd v0.5.11
[INFO] [stderr]   Downloaded rust-argon2 v0.8.3
[INFO] [stderr]   Downloaded unicode-segmentation v1.7.1
[INFO] [stderr]   Downloaded heck v0.3.2
[INFO] [stderr]   Downloaded prettydiff v0.4.0
[INFO] [stderr]   Downloaded arrayvec v0.5.2
[INFO] [stderr]   Downloaded crossbeam-epoch v0.9.8
[INFO] [stderr]   Downloaded rayon-core v1.9.1
[INFO] [stderr]   Downloaded parking_lot v0.11.1
[INFO] [stderr]   Downloaded regex-automata v0.1.9
[INFO] [stderr]   Downloaded sharded-slab v0.1.1
[INFO] [stderr]   Downloaded tracing-attributes v0.1.15
[INFO] [stderr]   Downloaded tracing v0.1.26
[INFO] [stderr]   Downloaded tracing-core v0.1.28
[INFO] [stderr]   Downloaded textwrap v0.15.0
[INFO] [stderr]   Downloaded typenum v1.15.0
[INFO] [stderr]   Downloaded anyhow v1.0.52
[INFO] [stderr]   Downloaded num-bigint v0.4.0
[INFO] [stderr]   Downloaded impl-serde v0.3.2
[INFO] [stderr]   Downloaded parity-scale-codec v2.3.1
[INFO] [stderr]   Downloaded toml v0.5.8
[INFO] [stderr]   Downloaded scale-info v1.0.0
[INFO] [stderr]   Downloaded proptest-derive v0.3.0
[INFO] [stderr]   Downloaded rand_core v0.6.2
[INFO] [stderr]   Downloaded memchr v2.4.0
[INFO] [stderr]   Downloaded serde_derive v1.0.145
[INFO] [stderr]   Downloaded serde_json v1.0.73
[INFO] [stderr]   Downloaded better_any v0.1.1
[INFO] [stderr]   Downloaded ed25519 v1.0.3
[INFO] [stderr]   Downloaded ethereum-types v0.12.1
[INFO] [stderr]   Downloaded ethbloom v0.12.1
[INFO] [stderr]   Downloaded unic-common v0.9.0
[INFO] [stderr]   Downloaded tokio-macros v1.8.0
[INFO] [stderr]   Downloaded codespan v0.11.1
[INFO] [stderr]   Downloaded redox_syscall v0.1.57
[INFO] [stderr]   Downloaded redox_users v0.3.5
[INFO] [stderr]   Downloaded term v0.5.2
[INFO] [stderr]   Downloaded pretty v0.10.0
[INFO] [stderr]   Downloaded simplelog v0.9.0
[INFO] [stderr]   Downloaded crossbeam-deque v0.8.1
[INFO] [stderr]   Downloaded fail v0.4.0
[INFO] [stderr]   Downloaded fixedbitset v0.2.0
[INFO] [stderr]   Downloaded unicode-width v0.1.8
[INFO] [stderr]   Downloaded lock_api v0.4.6
[INFO] [stderr]   Downloaded instant v0.1.10
[INFO] [stderr]   Downloaded clap_derive v3.1.7
[INFO] [stderr]   Downloaded os_str_bytes v6.0.0
[INFO] [stderr]   Downloaded arbitrary v1.1.7
[INFO] [stderr]   Downloaded bcs v0.1.4
[INFO] [stderr]   Downloaded num-complex v0.4.0
[INFO] [stderr]   Downloaded num-rational v0.4.0
[INFO] [stderr]   Downloaded num v0.4.0
[INFO] [stderr]   Downloaded bytes v1.0.1
[INFO] [stderr]   Downloaded thiserror-impl v1.0.37
[INFO] [stderr]   Downloaded thiserror v1.0.37
[INFO] [stderr]   Downloaded getrandom v0.2.2
[INFO] [stderr]   Downloaded ref-cast v1.0.6
[INFO] [stderr]   Downloaded itoa v0.4.7
[INFO] [stderr]   Downloaded prettytable-rs v0.8.0
[INFO] [stderr]   Downloaded structopt-derive v0.2.18
[INFO] [stderr]   Downloaded structopt v0.2.18
[INFO] [stderr]   Downloaded hex-literal v0.3.4
[INFO] [stderr]   Downloaded ouroboros_macro v0.9.3
[INFO] [stderr]   Downloaded ouroboros v0.9.3
[INFO] [stderr]   Downloaded parking_lot_core v0.8.3
[INFO] [stderr]   Downloaded smallvec v1.7.0
[INFO] [stderr]   Downloaded ctor v0.1.22
[INFO] [stderr]   Downloaded value-bag v1.0.0-alpha.9
[INFO] [stderr]   Downloaded termcolor v1.1.2
[INFO] [stderr]   Downloaded cpuid-bool v0.1.2
[INFO] [stderr]   Downloaded version_check v0.9.2
[INFO] [stderr]   Downloaded sha2 v0.9.3
[INFO] [stderr]   Downloaded ethnum v1.0.4
[INFO] [stderr]   Downloaded rlp v0.5.1
[INFO] [stderr]   Downloaded funty v1.1.0
[INFO] [stderr]   Downloaded quick-error v2.0.0
[INFO] [stderr]   Downloaded ref-cast-impl v1.0.6
[INFO] [stderr]   Downloaded scale-info-derive v1.0.0
[INFO] [stderr]   Downloaded rand_chacha v0.3.0
[INFO] [stderr]   Downloaded rand_hc v0.3.0
[INFO] [stderr]   Downloaded proc-macro2 v1.0.43
[INFO] [stderr]   Downloaded dirs v1.0.5
[INFO] [stderr]   Downloaded dirs-next v2.0.0
[INFO] [stderr]   Downloaded num-iter v0.1.42
[INFO] [stderr]   Downloaded tempfile v3.2.0
[INFO] [stderr]   Downloaded radium v0.6.2
[INFO] [stderr]   Downloaded byte-slice-cast v1.2.0
[INFO] [stderr]   Downloaded proc-macro-crate v1.1.0
[INFO] [stderr]   Downloaded primitive-types v0.10.1
[INFO] [stderr]   Downloaded keccak v0.1.0
[INFO] [stderr]   Downloaded heck v0.4.0
[INFO] [stderr]   Downloaded redox_users v0.4.0
[INFO] [stderr]   Downloaded derive_arbitrary v1.1.6
[INFO] [stderr]   Downloaded wyz v0.2.0
[INFO] [stderr]   Downloaded wait-timeout v0.2.0
[INFO] [stderr]   Downloaded remove_dir_all v0.5.3
[INFO] [stderr]   Downloaded parity-scale-codec-derive v2.3.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:94a0c148923f5b2b52a63ef0eeb1882ad339ab61bce784c8077cbe41c61feb6c" "/opt/rustwide/cargo-home/bin/cargo" "+9b8307bcb9d1de8ffc7e1c81c48efffdb24ee840" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0e2540542491b6756a6563c03015794552ec38000a12247c05ef16d1dd5f4f3a
[INFO] running `Command { std: "docker" "start" "-a" "0e2540542491b6756a6563c03015794552ec38000a12247c05ef16d1dd5f4f3a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0e2540542491b6756a6563c03015794552ec38000a12247c05ef16d1dd5f4f3a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0e2540542491b6756a6563c03015794552ec38000a12247c05ef16d1dd5f4f3a", kill_on_drop: false }`
[INFO] [stdout] 0e2540542491b6756a6563c03015794552ec38000a12247c05ef16d1dd5f4f3a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:94a0c148923f5b2b52a63ef0eeb1882ad339ab61bce784c8077cbe41c61feb6c" "/opt/rustwide/cargo-home/bin/cargo" "+9b8307bcb9d1de8ffc7e1c81c48efffdb24ee840" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b2e0ac99fafcf0e081a2e94c8c554183eb7f46e02e8286e78df4778560e9e90f
[INFO] running `Command { std: "docker" "start" "-a" "b2e0ac99fafcf0e081a2e94c8c554183eb7f46e02e8286e78df4778560e9e90f", 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.43
[INFO] [stderr]    Compiling unicode-ident v1.0.3
[INFO] [stderr]    Compiling syn v1.0.99
[INFO] [stderr]    Compiling libc v0.2.126
[INFO] [stderr]    Compiling serde_derive v1.0.145
[INFO] [stderr]    Compiling serde v1.0.145
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling version_check v0.9.2
[INFO] [stderr]    Compiling getrandom v0.2.2
[INFO] [stderr]     Checking once_cell v1.12.0
[INFO] [stderr]     Checking byteorder v1.4.3
[INFO] [stderr]     Checking regex-syntax v0.6.25
[INFO] [stderr]     Checking bytes v1.0.1
[INFO] [stderr]    Compiling thiserror v1.0.37
[INFO] [stderr]     Checking ppv-lite86 v0.2.10
[INFO] [stderr]     Checking static_assertions v1.1.0
[INFO] [stderr]     Checking tap v1.0.1
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]     Checking hex v0.4.3
[INFO] [stderr]    Compiling typenum v1.15.0
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling num-integer v0.1.44
[INFO] [stderr]     Checking arrayvec v0.7.2
[INFO] [stderr]     Checking rustc-hex v2.1.0
[INFO] [stderr]    Compiling memchr v2.4.0
[INFO] [stderr]     Checking byte-slice-cast v1.2.0
[INFO] [stderr]     Checking rlp v0.5.1
[INFO] [stderr]     Checking funty v1.1.0
[INFO] [stderr]     Checking wyz v0.2.0
[INFO] [stderr]    Compiling radium v0.6.2
[INFO] [stderr]    Compiling anyhow v1.0.52
[INFO] [stderr]     Checking uint v0.9.4
[INFO] [stderr]    Compiling generic-array v0.14.4
[INFO] [stderr]    Compiling syn v0.15.44
[INFO] [stderr]    Compiling value-bag v1.0.0-alpha.9
[INFO] [stderr]    Compiling log v0.4.17
[INFO] [stderr]    Compiling num-iter v0.1.42
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]     Checking remove_dir_all v0.5.3
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]     Checking bit-set v0.5.2
[INFO] [stderr]    Compiling num-bigint v0.4.0
[INFO] [stderr]     Checking quick-error v2.0.0
[INFO] [stderr]     Checking impl-rlp v0.3.0
[INFO] [stderr]    Compiling indexmap v1.7.0
[INFO] [stderr]    Compiling num-rational v0.4.0
[INFO] [stderr]     Checking hashbrown v0.11.2
[INFO] [stderr]    Compiling ref-cast v1.0.6
[INFO] [stderr]     Checking ethnum v1.0.4
[INFO] [stderr]     Checking opaque-debug v0.3.0
[INFO] [stderr]     Checking bitvec v0.20.4
[INFO] [stderr]     Checking block-padding v0.2.1
[INFO] [stderr]     Checking walkdir v2.3.2
[INFO] [stderr]     Checking cpuid-bool v0.1.2
[INFO] [stderr]     Checking num-complex v0.4.0
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]     Checking fixedbitset v0.2.0
[INFO] [stderr]     Checking unicode-width v0.1.8
[INFO] [stderr]     Checking aho-corasick v0.7.18
[INFO] [stderr]     Checking termcolor v1.1.2
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]    Compiling getrandom v0.1.16
[INFO] [stderr]     Checking keccak v0.1.0
[INFO] [stderr]     Checking scopeguard v1.1.0
[INFO] [stderr]     Checking itoa v1.0.1
[INFO] [stderr]     Checking move-borrow-graph v0.0.1 (/opt/rustwide/workdir/language/move-borrow-graph)
[INFO] [stderr]     Checking smallvec v1.7.0
[INFO] [stderr]    Compiling heck v0.4.0
[INFO] [stderr]     Checking os_str_bytes v6.0.0
[INFO] [stderr]     Checking strsim v0.10.0
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> language/move-borrow-graph/src/references.rs:133:24
[INFO] [stdout]     |
[INFO] [stdout] 133 |     pub(crate) fn iter(&self) -> std::collections::btree_set::Iter<BorrowEdge<Loc, Lbl>> {
[INFO] [stdout]     |                        ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 133 |     pub(crate) fn iter(&self) -> std::collections::btree_set::Iter<'_, BorrowEdge<Loc, Lbl>> {
[INFO] [stdout]     |                                                                    +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking textwrap v0.15.0
[INFO] [stderr]    Compiling Inflector v0.11.4
[INFO] [stderr]    Compiling serde_json v1.0.73
[INFO] [stderr]     Checking stable_deref_trait v1.2.0
[INFO] [stderr]     Checking either v1.6.1
[INFO] [stderr]     Checking pin-project-lite v0.2.7
[INFO] [stderr]     Checking wait-timeout v0.2.0
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking petgraph v0.5.1
[INFO] [stderr]     Checking dirs-sys-next v0.1.2
[INFO] [stderr]     Checking num_cpus v1.13.0
[INFO] [stderr]     Checking itertools v0.10.1
[INFO] [stderr]     Checking dirs-next v2.0.0
[INFO] [stderr]     Checking colored v2.0.0
[INFO] [stderr]    Compiling proc-macro-hack v0.5.19
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/num-bigint-0.4.0/src/biguint/convert.rs:70:19
[INFO] [stdout]    |
[INFO] [stdout] 70 |         .div_ceil(&big_digit::BITS.into())
[INFO] [stdout]    |          -------- ^^^^^^^^^^^^^^^^^^^^^^^ expected `u64`, found `&_`
[INFO] [stdout]    |          |
[INFO] [stdout]    |          arguments to this method are incorrect
[INFO] [stdout]    |
[INFO] [stdout]    = note:   expected type `u64`
[INFO] [stdout]            found reference `&_`
[INFO] [stdout] note: method defined here
[INFO] [stdout]   --> /rustc/9b8307bcb9d1de8ffc7e1c81c48efffdb24ee840/library/core/src/num/mod.rs:1160:4
[INFO] [stdout]    = note: this error originates in the macro `uint_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider removing the borrow
[INFO] [stdout]    |
[INFO] [stdout] 70 -         .div_ceil(&big_digit::BITS.into())
[INFO] [stdout] 70 +         .div_ceil(big_digit::BITS.into())
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking rand_core v0.6.2
[INFO] [stderr]     Checking regex v1.5.5
[INFO] [stderr]     Checking lock_api v0.4.6
[INFO] [stderr]     Checking rand_core v0.5.1
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/num-bigint-0.4.0/src/biguint/convert.rs:585:19
[INFO] [stdout]     |
[INFO] [stdout] 585 |         .div_ceil(&u64::from(bits))
[INFO] [stdout]     |          -------- ^^^^^^^^^^^^^^^^ expected `u64`, found `&u64`
[INFO] [stdout]     |          |
[INFO] [stdout]     |          arguments to this method are incorrect
[INFO] [stdout]     |
[INFO] [stdout] note: method defined here
[INFO] [stdout]    --> /rustc/9b8307bcb9d1de8ffc7e1c81c48efffdb24ee840/library/core/src/num/mod.rs:1160:4
[INFO] [stdout]     = note: this error originates in the macro `uint_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider removing the borrow
[INFO] [stdout]     |
[INFO] [stdout] 585 -         .div_ceil(&u64::from(bits))
[INFO] [stdout] 585 +         .div_ceil(u64::from(bits))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/num-bigint-0.4.0/src/biguint/convert.rs:613:19
[INFO] [stdout]     |
[INFO] [stdout] 613 |         .div_ceil(&u64::from(bits))
[INFO] [stdout]     |          -------- ^^^^^^^^^^^^^^^^ expected `u64`, found `&u64`
[INFO] [stdout]     |          |
[INFO] [stdout]     |          arguments to this method are incorrect
[INFO] [stdout]     |
[INFO] [stdout] note: method defined here
[INFO] [stdout]    --> /rustc/9b8307bcb9d1de8ffc7e1c81c48efffdb24ee840/library/core/src/num/mod.rs:1160:4
[INFO] [stdout]     = note: this error originates in the macro `uint_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider removing the borrow
[INFO] [stdout]     |
[INFO] [stdout] 613 -         .div_ceil(&u64::from(bits))
[INFO] [stdout] 613 +         .div_ceil(u64::from(bits))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/num-bigint-0.4.0/src/biguint.rs:398:54
[INFO] [stdout]     |
[INFO] [stdout] 398 |                 let root_scale = extra_bits.div_ceil(&n64);
[INFO] [stdout]     |                                             -------- ^^^^ expected `u64`, found `&u64`
[INFO] [stdout]     |                                             |
[INFO] [stdout]     |                                             arguments to this method are incorrect
[INFO] [stdout]     |
[INFO] [stdout] note: method defined here
[INFO] [stdout]    --> /rustc/9b8307bcb9d1de8ffc7e1c81c48efffdb24ee840/library/core/src/num/mod.rs:1160:4
[INFO] [stdout]     = note: this error originates in the macro `uint_impl` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: consider removing the borrow
[INFO] [stdout]     |
[INFO] [stdout] 398 -                 let root_scale = extra_bits.div_ceil(&n64);
[INFO] [stdout] 398 +                 let root_scale = extra_bits.div_ceil(n64);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking rand_chacha v0.3.0
[INFO] [stderr]     Checking rand_xorshift v0.3.0
[INFO] [stderr]     Checking rand_chacha v0.2.2
[INFO] [stderr]    Compiling futures-core v0.3.16
[INFO] [stderr]     Checking rand v0.8.4
[INFO] [stderr]     Checking rand v0.7.3
[INFO] [stderr]    Compiling crossbeam-utils v0.8.8
[INFO] [stderr]     Checking signal-hook-registry v1.4.0
[INFO] [stdout] For more information about this error, try `rustc --explain E0308`.
[INFO] [stdout] 
[INFO] [stderr]    Compiling parking_lot_core v0.9.3
[INFO] [stderr] error: could not compile `num-bigint` (lib) due to 4 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "b2e0ac99fafcf0e081a2e94c8c554183eb7f46e02e8286e78df4778560e9e90f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b2e0ac99fafcf0e081a2e94c8c554183eb7f46e02e8286e78df4778560e9e90f", kill_on_drop: false }`
[INFO] [stdout] b2e0ac99fafcf0e081a2e94c8c554183eb7f46e02e8286e78df4778560e9e90f