[INFO] cloning repository https://github.com/xldenis/creusot [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/xldenis/creusot" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fxldenis%2Fcreusot", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fxldenis%2Fcreusot'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 852824408a14f04cf4754c55250f28919d9a55cb [INFO] checking xldenis/creusot against try#998b6603a58e47f42ccce7a67943234e96b6839e for pr-143170 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fxldenis%2Fcreusot" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] removed /workspace/builds/worker-4-tc2/source/rust-toolchain [INFO] started tweaking git repo https://github.com/xldenis/creusot [INFO] finished tweaking git repo https://github.com/xldenis/creusot [INFO] tweaked toml for git repo https://github.com/xldenis/creusot written to /workspace/builds/worker-4-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/xldenis/creusot on toolchain 998b6603a58e47f42ccce7a67943234e96b6839e [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+998b6603a58e47f42ccce7a67943234e96b6839e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/xldenis/creusot 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" "+998b6603a58e47f42ccce7a67943234e96b6839e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+998b6603a58e47f42ccce7a67943234e96b6839e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 1057bd0ead92539ae9c4516c2438f422bb0820dbaeb5b4633b1d05ea3d0df2b3 [INFO] running `Command { std: "docker" "start" "-a" "1057bd0ead92539ae9c4516c2438f422bb0820dbaeb5b4633b1d05ea3d0df2b3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1057bd0ead92539ae9c4516c2438f422bb0820dbaeb5b4633b1d05ea3d0df2b3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1057bd0ead92539ae9c4516c2438f422bb0820dbaeb5b4633b1d05ea3d0df2b3", kill_on_drop: false }` [INFO] [stdout] 1057bd0ead92539ae9c4516c2438f422bb0820dbaeb5b4633b1d05ea3d0df2b3 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+998b6603a58e47f42ccce7a67943234e96b6839e" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] f9e111de5dfbe3ec17577a9bbc09925aea58628d7d73f47c50d71e51832f901a [INFO] running `Command { std: "docker" "start" "-a" "f9e111de5dfbe3ec17577a9bbc09925aea58628d7d73f47c50d71e51832f901a", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.93 [INFO] [stderr] Compiling unicode-ident v1.0.16 [INFO] [stderr] Compiling libc v0.2.169 [INFO] [stderr] Compiling serde v1.0.217 [INFO] [stderr] Compiling autocfg v1.4.0 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Checking once_cell v1.20.2 [INFO] [stderr] Checking foldhash v0.1.5 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Checking equivalent v1.0.1 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Checking itoa v1.0.14 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling pkg-config v0.3.31 [INFO] [stderr] Checking bitflags v2.8.0 [INFO] [stderr] Checking stable_deref_trait v1.2.0 [INFO] [stderr] Checking anstyle v1.0.10 [INFO] [stderr] Checking log v0.4.25 [INFO] [stderr] Checking utf8parse v0.2.2 [INFO] [stderr] Checking hashbrown v0.15.2 [INFO] [stderr] Checking anstyle-parse v0.2.6 [INFO] [stderr] Checking anstyle-query v1.1.2 [INFO] [stderr] Checking either v1.13.0 [INFO] [stderr] Checking is_terminal_polyfill v1.70.1 [INFO] [stderr] Checking colorchoice v1.0.3 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Checking ryu v1.0.19 [INFO] [stderr] Compiling rustix v0.38.44 [INFO] [stderr] Checking clap_lex v0.7.4 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking anstream v0.6.18 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Checking linux-raw-sys v0.4.15 [INFO] [stderr] Compiling typenum v1.17.0 [INFO] [stderr] Checking strsim v0.11.1 [INFO] [stderr] Checking winnow v0.7.0 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking bytes v1.10.0 [INFO] [stderr] Checking regex-syntax v0.8.5 [INFO] [stderr] Checking clap_builder v4.5.27 [INFO] [stderr] Compiling serde_json v1.0.138 [INFO] [stderr] Checking pin-project-lite v0.2.16 [INFO] [stderr] Checking fnv v1.0.7 [INFO] [stderr] Checking futures-core v0.3.31 [INFO] [stderr] Compiling slab v0.4.9 [INFO] [stderr] Checking option-ext v0.2.0 [INFO] [stderr] Compiling anyhow v1.0.95 [INFO] [stderr] Checking futures-sink v0.3.31 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Compiling vcpkg v0.2.15 [INFO] [stderr] Compiling quote v1.0.38 [INFO] [stderr] Checking writeable v0.5.5 [INFO] [stderr] Checking env_home v0.1.0 [INFO] [stderr] Compiling syn v2.0.96 [INFO] [stderr] Checking litemap v0.7.4 [INFO] [stderr] Checking http v1.2.0 [INFO] [stderr] Checking futures-task v0.3.31 [INFO] [stderr] Checking pin-utils v0.1.0 [INFO] [stderr] Checking futures-io v0.3.31 [INFO] [stderr] Checking icu_locid_transform_data v1.5.0 [INFO] [stderr] Compiling lock_api v0.4.12 [INFO] [stderr] Checking tracing-core v0.1.33 [INFO] [stderr] Checking futures-util v0.3.31 [INFO] [stderr] Checking icu_properties_data v1.5.0 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking mio v1.0.3 [INFO] [stderr] Compiling jobserver v0.1.32 [INFO] [stderr] Checking dirs-sys v0.5.0 [INFO] [stderr] Checking socket2 v0.5.8 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking foreign-types-shared v0.1.1 [INFO] [stderr] Checking directories v6.0.0 [INFO] [stderr] Checking subtle v2.6.1 [INFO] [stderr] Compiling parking_lot_core v0.9.10 [INFO] [stderr] Compiling thiserror v2.0.11 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Compiling cc v1.2.11 [INFO] [stderr] Compiling httparse v1.10.0 [INFO] [stderr] Compiling openssl v0.10.71 [INFO] [stderr] Checking num-iter v0.1.45 [INFO] [stderr] Checking tokio v1.43.0 [INFO] [stderr] Checking foreign-types v0.3.2 [INFO] [stderr] Checking tracing v0.1.41 [INFO] [stderr] Checking num-complex v0.4.6 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Checking icu_normalizer_data v1.5.0 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking unicode-width v0.1.14 [INFO] [stderr] Checking http-body v1.0.1 [INFO] [stderr] Checking utf16_iter v1.0.5 [INFO] [stderr] Checking similar v2.7.0 [INFO] [stderr] Compiling native-tls v0.2.13 [INFO] [stderr] Checking scopeguard v1.2.0 [INFO] [stderr] Checking arrayvec v0.5.2 [INFO] [stderr] Checking atomic-waker v1.1.2 [INFO] [stderr] Checking try-lock v0.2.5 [INFO] [stderr] Checking utf8_iter v1.0.4 [INFO] [stderr] Checking write16 v1.0.0 [INFO] [stderr] Checking typed-arena v2.0.2 [INFO] [stderr] Checking want v0.3.1 [INFO] [stderr] Checking which v7.0.1 [INFO] [stderr] Checking pretty v0.12.3 [INFO] [stderr] Checking wait-timeout v0.2.0 [INFO] [stderr] Checking futures-channel v0.3.31 [INFO] [stderr] Checking itertools v0.14.0 [INFO] [stderr] Compiling ref-cast v1.0.23 [INFO] [stderr] Compiling getrandom v0.3.1 [INFO] [stderr] Checking cpufeatures v0.2.17 [INFO] [stderr] Checking openssl-probe v0.1.6 [INFO] [stderr] Compiling zstd-safe v7.2.1 [INFO] [stderr] Checking tower-service v0.3.3 [INFO] [stderr] Checking percent-encoding v2.3.1 [INFO] [stderr] Checking num-rational v0.4.2 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking form_urlencoded v1.2.1 [INFO] [stderr] Checking parking_lot v0.12.3 [INFO] [stderr] Checking inout v0.1.3 [INFO] [stderr] Checking console v0.15.10 [INFO] [stderr] Checking crc32fast v1.4.2 [INFO] [stderr] Checking adler2 v2.0.0 [INFO] [stderr] Checking fixedbitset v0.4.2 [INFO] [stderr] Compiling semver v1.0.25 [INFO] [stderr] Compiling doc-comment v0.3.3 [INFO] [stderr] Checking powerfmt v0.2.0 [INFO] [stderr] Checking crc-catalog v2.4.0 [INFO] [stderr] Checking predicates-core v1.0.9 [INFO] [stderr] Checking num v0.4.3 [INFO] [stderr] Checking humantime v2.1.0 [INFO] [stderr] Checking linked-hash-map v0.5.6 [INFO] [stderr] Compiling camino v1.1.9 [INFO] [stderr] Checking crc v3.2.1 [INFO] [stderr] Checking miniz_oxide v0.8.3 [INFO] [stderr] Checking cipher v0.4.4 [INFO] [stderr] Checking deranged v0.3.11 [INFO] [stderr] Checking hmac v0.12.1 [INFO] [stderr] Checking sync_wrapper v1.0.2 [INFO] [stderr] Compiling zip v2.2.2 [INFO] [stderr] Checking regex-automata v0.4.9 [INFO] [stderr] Checking time-core v0.1.2 [INFO] [stderr] Checking simd-adler32 v0.3.7 [INFO] [stderr] Checking termtree v0.5.1 [INFO] [stderr] Compiling assert_cmd v2.0.16 [INFO] [stderr] Checking lockfree-object-pool v0.1.6 [INFO] [stderr] Checking tower-layer v0.3.3 [INFO] [stderr] Checking rustls-pki-types v1.11.0 [INFO] [stderr] Checking bumpalo v3.17.0 [INFO] [stderr] Checking glob v0.3.2 [INFO] [stderr] Compiling escargot v0.5.13 [INFO] [stderr] Checking difflib v0.4.0 [INFO] [stderr] Checking num-conv v0.1.0 [INFO] [stderr] Checking fastrand v2.3.0 [INFO] [stderr] Checking pathdiff v0.2.3 [INFO] [stderr] Checking zopfli v0.8.1 [INFO] [stderr] Checking flate2 v1.0.35 [INFO] [stderr] Checking predicates-tree v1.0.12 [INFO] [stderr] Checking rustls-pemfile v2.2.0 [INFO] [stderr] Checking lzma-rs v0.3.0 [INFO] [stderr] Checking predicates v3.1.3 [INFO] [stderr] Checking aes v0.8.4 [INFO] [stderr] Checking tempfile v3.16.0 [INFO] [stderr] Checking pbkdf2 v0.12.2 [INFO] [stderr] Checking sha1 v0.10.6 [INFO] [stderr] Checking encoding_rs v0.8.35 [INFO] [stderr] Checking deflate64 v0.1.9 [INFO] [stderr] Checking time v0.3.37 [INFO] [stderr] Checking bit-vec v0.8.0 [INFO] [stderr] Compiling openssl-sys v0.9.106 [INFO] [stderr] Compiling zstd-sys v2.0.13+zstd.1.5.6 [INFO] [stderr] Compiling bzip2-sys v0.1.12+1.0.8 [INFO] [stderr] Checking base64 v0.22.1 [INFO] [stderr] Checking mime v0.3.17 [INFO] [stderr] Checking ipnet v2.11.0 [INFO] [stderr] Checking http-body-util v0.1.2 [INFO] [stderr] Checking constant_time_eq v0.3.1 [INFO] [stderr] Checking quick-error v1.2.3 [INFO] [stderr] Checking bit-set v0.8.0 [INFO] [stderr] Checking rusty-fork v0.3.0 [INFO] [stderr] Checking sha2 v0.10.8 [INFO] [stderr] Checking rand_xorshift v0.3.0 [INFO] [stderr] Checking unarray v0.1.4 [INFO] [stderr] Checking termcolor v1.4.1 [INFO] [stderr] Compiling indoc v2.0.5 [INFO] [stderr] Checking hex v0.4.3 [INFO] [stderr] Compiling synstructure v0.13.1 [INFO] [stderr] Checking bzip2 v0.4.4 [INFO] [stderr] Compiling serde_derive v1.0.217 [INFO] [stderr] Compiling zerofrom-derive v0.1.5 [INFO] [stderr] Compiling yoke-derive v0.7.5 [INFO] [stderr] Compiling clap_derive v4.5.24 [INFO] [stderr] Compiling zerocopy-derive v0.7.35 [INFO] [stderr] Compiling displaydoc v0.2.5 [INFO] [stderr] Compiling zerovec-derive v0.10.3 [INFO] [stderr] Compiling icu_provider_macros v1.5.0 [INFO] [stderr] Checking regex v1.11.1 [INFO] [stderr] Checking tokio-util v0.7.13 [INFO] [stderr] Compiling thiserror-impl v2.0.11 [INFO] [stderr] Compiling openssl-macros v0.1.1 [INFO] [stderr] Compiling pin-project-internal v1.1.8 [INFO] [stderr] Checking env_filter v0.1.3 [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Compiling ref-cast-impl v1.0.23 [INFO] [stderr] Compiling creusot-contracts-proc v0.6.0-dev (/opt/rustwide/workdir/creusot-contracts-proc) [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Checking env_logger v0.11.6 [INFO] [stdout] warning: struct `TraitItemSignature` is never constructed [INFO] [stdout] --> creusot-contracts-proc/src/common.rs:30:12 [INFO] [stdout] | [INFO] [stdout] 30 | pub struct TraitItemSignature { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking zerofrom v0.1.5 [INFO] [stderr] Checking pearlite-syn v0.6.0-dev (/opt/rustwide/workdir/pearlite-syn) [INFO] [stderr] Checking tower v0.5.2 [INFO] [stderr] Checking bstr v1.11.3 [INFO] [stderr] Checking yoke v0.7.5 [INFO] [stderr] Checking creusot-contracts v0.6.0-dev (/opt/rustwide/workdir/creusot-contracts) [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> creusot-contracts/src/lib.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | unsized_locals, [INFO] [stdout] | ^^^^^^^^^^^^^^ feature has been removed [INFO] [stdout] | [INFO] [stdout] = note: removed in CURRENT_RUSTC_VERSION [INFO] [stdout] = note: removed due to implementation concerns; see https://github.com/rust-lang/rust/issues/111942 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TraitItemSignature` is never constructed [INFO] [stdout] --> creusot-contracts-proc/src/common.rs:30:12 [INFO] [stdout] | [INFO] [stdout] 30 | pub struct TraitItemSignature { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TraitItemSignature` is never constructed [INFO] [stdout] --> creusot-contracts-proc/src/common.rs:30:12 [INFO] [stdout] | [INFO] [stdout] 30 | pub struct TraitItemSignature { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking zerovec v0.10.4 [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> creusot-contracts/src/lib.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | unsized_locals, [INFO] [stdout] | ^^^^^^^^^^^^^^ feature has been removed [INFO] [stdout] | [INFO] [stdout] = note: removed in CURRENT_RUSTC_VERSION [INFO] [stdout] = note: removed due to implementation concerns; see https://github.com/rust-lang/rust/issues/111942 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `slice_take` has been stable since 1.87.0 and no longer requires an attribute to enable [INFO] [stdout] --> creusot-contracts/src/lib.rs:31:9 [INFO] [stdout] | [INFO] [stdout] 31 | slice_take, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0557`. [INFO] [stdout] [INFO] [stderr] error: could not compile `creusot-contracts` (lib) due to 1 previous error; 1 warning emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] warning: the feature `slice_take` has been stable since 1.87.0 and no longer requires an attribute to enable [INFO] [stdout] --> creusot-contracts/src/lib.rs:31:9 [INFO] [stdout] | [INFO] [stdout] 31 | slice_take, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0557`. [INFO] [stdout] [INFO] [stderr] error: could not compile `creusot-contracts` (lib test) due to 1 previous error; 1 warning emitted [INFO] running `Command { std: "docker" "inspect" "f9e111de5dfbe3ec17577a9bbc09925aea58628d7d73f47c50d71e51832f901a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f9e111de5dfbe3ec17577a9bbc09925aea58628d7d73f47c50d71e51832f901a", kill_on_drop: false }` [INFO] [stdout] f9e111de5dfbe3ec17577a9bbc09925aea58628d7d73f47c50d71e51832f901a