[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] 75844a4d49c1b7d29504bc6b2bc2544608e04961 [INFO] checking xldenis/creusot against try#54cf65b8d066c082e536455049b95943cf30378f for pr-151920 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fxldenis%2Fcreusot" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] removed /workspace/builds/worker-3-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-3-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/xldenis/creusot on toolchain 54cf65b8d066c082e536455049b95943cf30378f [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+54cf65b8d066c082e536455049b95943cf30378f" "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" "+54cf65b8d066c082e536455049b95943cf30378f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Updating git repository `https://github.com/xldenis/petgraph` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded cargo-platform v0.3.2 [INFO] [stderr] Downloaded once_map v0.4.23 [INFO] [stderr] Downloaded which v8.0.0 [INFO] [stderr] Downloaded cargo_metadata v0.23.1 [INFO] [stderr] Downloaded assert_cmd v2.1.2 [INFO] [stderr] Downloaded tempfile v3.25.0 [INFO] [stderr] Downloaded toml_edit v0.24.0+spec-1.1.0 [INFO] [stderr] Downloaded insta v1.46.3 [INFO] [stderr] Downloaded typed-path v0.12.2 [INFO] [stderr] Downloaded zip v7.4.0 [INFO] [stderr] Downloaded proptest v1.10.0 [INFO] [stderr] Downloaded git2 v0.20.4 [INFO] [stderr] Downloaded zlib-rs v0.6.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+54cf65b8d066c082e536455049b95943cf30378f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 95185deb0a2e6ed3386512fe0c6a7c0d1e7e4dc584793e67aec4933473bfc171 [INFO] running `Command { std: "docker" "start" "-a" "95185deb0a2e6ed3386512fe0c6a7c0d1e7e4dc584793e67aec4933473bfc171", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "95185deb0a2e6ed3386512fe0c6a7c0d1e7e4dc584793e67aec4933473bfc171", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "95185deb0a2e6ed3386512fe0c6a7c0d1e7e4dc584793e67aec4933473bfc171", kill_on_drop: false }` [INFO] [stdout] 95185deb0a2e6ed3386512fe0c6a7c0d1e7e4dc584793e67aec4933473bfc171 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+54cf65b8d066c082e536455049b95943cf30378f" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b0ed4d51c4c55ca80fab9d421fdb235f9ba6418413697794ca42eb4ffe1e160e [INFO] running `Command { std: "docker" "start" "-a" "b0ed4d51c4c55ca80fab9d421fdb235f9ba6418413697794ca42eb4ffe1e160e", kill_on_drop: false }` [INFO] [stderr] Compiling quote v1.0.44 [INFO] [stderr] Compiling proc-macro2 v1.0.106 [INFO] [stderr] Compiling libc v0.2.181 [INFO] [stderr] Compiling unicode-ident v1.0.23 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Checking cfg-if v1.0.4 [INFO] [stderr] Checking hashbrown v0.16.1 [INFO] [stderr] Checking equivalent v1.0.2 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Checking anstyle v1.0.13 [INFO] [stderr] Compiling rustix v1.1.3 [INFO] [stderr] Checking linux-raw-sys v0.11.0 [INFO] [stderr] Checking utf8parse v0.2.2 [INFO] [stderr] Checking bitflags v2.10.0 [INFO] [stderr] Checking memchr v2.8.0 [INFO] [stderr] Checking colorchoice v1.0.4 [INFO] [stderr] Checking anstyle-query v1.1.5 [INFO] [stderr] Checking is_terminal_polyfill v1.70.2 [INFO] [stderr] Checking clap_lex v0.7.7 [INFO] [stderr] Checking anstyle-parse v0.2.7 [INFO] [stderr] Checking strsim v0.11.1 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Checking winnow v0.7.14 [INFO] [stderr] Checking toml_writer v1.0.6+spec-1.1.0 [INFO] [stderr] Checking anstream v0.6.21 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling autocfg v1.5.0 [INFO] [stderr] Checking once_cell v1.21.3 [INFO] [stderr] Compiling anyhow v1.0.101 [INFO] [stderr] Checking clap_builder v4.5.57 [INFO] [stderr] Checking regex-syntax v0.8.9 [INFO] [stderr] Compiling getrandom v0.3.4 [INFO] [stderr] Checking option-ext v0.2.0 [INFO] [stderr] Checking env_home v0.1.0 [INFO] [stderr] Checking aho-corasick v1.1.4 [INFO] [stderr] Compiling zmij v1.0.20 [INFO] [stderr] Checking log v0.4.29 [INFO] [stderr] Compiling zerocopy v0.8.39 [INFO] [stderr] Compiling serde_json v1.0.149 [INFO] [stderr] Compiling getrandom v0.4.1 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking itoa v1.0.17 [INFO] [stderr] Checking fastrand v2.3.0 [INFO] [stderr] Compiling typenum v1.19.0 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling parking_lot_core v0.9.12 [INFO] [stderr] Checking foldhash v0.1.5 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Checking hashbrown v0.15.5 [INFO] [stderr] Checking similar v2.7.0 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Compiling syn v2.0.114 [INFO] [stderr] Checking dirs-sys v0.5.0 [INFO] [stderr] Checking smallvec v1.15.1 [INFO] [stderr] Checking directories v6.0.0 [INFO] [stderr] Checking arrayvec v0.5.2 [INFO] [stderr] Checking typed-arena v2.0.2 [INFO] [stderr] Checking unicode-width v0.2.2 [INFO] [stderr] Checking scopeguard v1.2.0 [INFO] [stderr] Checking itertools v0.14.0 [INFO] [stderr] Checking lock_api v0.4.14 [INFO] [stderr] Checking wait-timeout v0.2.1 [INFO] [stderr] Compiling crc32fast v1.5.0 [INFO] [stderr] Compiling ref-cast v1.0.25 [INFO] [stderr] Checking pretty v0.12.5 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking num-complex v0.4.6 [INFO] [stderr] Checking which v8.0.0 [INFO] [stderr] Checking regex-automata v0.4.14 [INFO] [stderr] Checking tempfile v3.25.0 [INFO] [stderr] Checking parking_lot v0.12.5 [INFO] [stderr] Checking rand_core v0.9.5 [INFO] [stderr] Checking toml_parser v1.0.6+spec-1.1.0 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking num-iter v0.1.45 [INFO] [stderr] Checking console v0.15.11 [INFO] [stderr] Checking stable_deref_trait v1.2.1 [INFO] [stderr] Checking predicates-core v1.0.9 [INFO] [stderr] Compiling camino v1.2.2 [INFO] [stderr] Checking jiff v0.2.19 [INFO] [stderr] Checking fixedbitset v0.4.2 [INFO] [stderr] Compiling thiserror v2.0.18 [INFO] [stderr] Checking insta v1.46.3 [INFO] [stderr] Compiling assert_cmd v2.1.2 [INFO] [stderr] Checking indexmap v2.13.0 [INFO] [stderr] Checking toml_datetime v0.7.5+spec-1.1.0 [INFO] [stderr] Checking serde_spanned v1.0.4 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking crypto-common v0.1.7 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking difflib v0.4.0 [INFO] [stderr] Checking zlib-rs v0.6.0 [INFO] [stderr] Checking pathdiff v0.2.3 [INFO] [stderr] Checking termtree v0.5.1 [INFO] [stderr] Checking simd-adler32 v0.3.8 [INFO] [stderr] Checking glob v0.3.3 [INFO] [stderr] Checking bumpalo v3.19.1 [INFO] [stderr] Checking predicates v3.1.3 [INFO] [stderr] Checking predicates-tree v1.0.12 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking toml v0.9.11+spec-1.1.0 [INFO] [stderr] Checking petgraph v0.6.5 (https://github.com/xldenis/petgraph?rev=04cecb7#04cecb7a) [INFO] [stderr] Checking creusot-metadata v0.10.0-dev (/opt/rustwide/workdir/creusot-metadata) [INFO] [stdout] error[E0463]: can't find crate for `rustc_data_structures` [INFO] [stdout] --> creusot-metadata/src/lib.rs:4:1 [INFO] [stdout] | [INFO] [stdout] 4 | extern crate rustc_data_structures; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_driver` [INFO] [stdout] --> creusot-metadata/src/lib.rs:5:1 [INFO] [stdout] | [INFO] [stdout] 5 | extern crate rustc_driver; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_hir` [INFO] [stdout] --> creusot-metadata/src/lib.rs:6:1 [INFO] [stdout] | [INFO] [stdout] 6 | extern crate rustc_hir; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_metadata` [INFO] [stdout] --> creusot-metadata/src/lib.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | extern crate rustc_metadata; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_middle` [INFO] [stdout] --> creusot-metadata/src/lib.rs:8:1 [INFO] [stdout] | [INFO] [stdout] 8 | extern crate rustc_middle; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_serialize` [INFO] [stdout] --> creusot-metadata/src/lib.rs:9:1 [INFO] [stdout] | [INFO] [stdout] 9 | extern crate rustc_serialize; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_session` [INFO] [stdout] --> creusot-metadata/src/lib.rs:10:1 [INFO] [stdout] | [INFO] [stdout] 10 | extern crate rustc_session; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_span` [INFO] [stdout] --> creusot-metadata/src/lib.rs:11:1 [INFO] [stdout] | [INFO] [stdout] 11 | extern crate rustc_span; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_macros` [INFO] [stdout] --> creusot-metadata/src/lib.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | extern crate rustc_macros; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking num-rational v0.4.2 [INFO] [stderr] Checking zopfli v0.8.3 [INFO] [stdout] error: cannot find derive macro `Encodable` in this scope [INFO] [stdout] --> creusot-metadata/src/lib.rs:34:10 [INFO] [stdout] | [INFO] [stdout] 34 | #[derive(Encodable, Decodable, Eq, PartialEq, Hash, Clone, Copy, Debug)] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find derive macro `Decodable` in this scope [INFO] [stdout] --> creusot-metadata/src/lib.rs:34:21 [INFO] [stdout] | [INFO] [stdout] 34 | #[derive(Encodable, Decodable, Eq, PartialEq, Hash, Clone, Copy, Debug)] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find derive macro `Encodable` in this scope [INFO] [stdout] --> creusot-metadata/src/lib.rs:37:10 [INFO] [stdout] | [INFO] [stdout] 37 | #[derive(Encodable, Decodable, Clone, Copy)] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find derive macro `Decodable` in this scope [INFO] [stdout] --> creusot-metadata/src/lib.rs:37:21 [INFO] [stdout] | [INFO] [stdout] 37 | #[derive(Encodable, Decodable, Clone, Copy)] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find derive macro `Encodable` in this scope [INFO] [stdout] --> creusot-metadata/src/lib.rs:55:10 [INFO] [stdout] | [INFO] [stdout] 55 | #[derive(Encodable, Decodable, Clone, Debug)] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find derive macro `Decodable` in this scope [INFO] [stdout] --> creusot-metadata/src/lib.rs:55:21 [INFO] [stdout] | [INFO] [stdout] 55 | #[derive(Encodable, Decodable, Clone, Debug)] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking semver v1.0.27 [INFO] [stdout] error: cannot find derive macro `Decodable` in this scope [INFO] [stdout] --> creusot-metadata/src/lib.rs:71:10 [INFO] [stdout] | [INFO] [stdout] 71 | #[derive(Decodable, Encodable)] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find derive macro `Encodable` in this scope [INFO] [stdout] --> creusot-metadata/src/lib.rs:71:21 [INFO] [stdout] | [INFO] [stdout] 71 | #[derive(Decodable, Encodable)] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking cargo-platform v0.3.2 [INFO] [stdout] For more information about this error, try `rustc --explain E0463`. [INFO] [stdout] [INFO] [stderr] Checking typed-path v0.12.2 [INFO] [stderr] error: could not compile `creusot-metadata` (lib) due to 17 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] running `Command { std: "docker" "inspect" "b0ed4d51c4c55ca80fab9d421fdb235f9ba6418413697794ca42eb4ffe1e160e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b0ed4d51c4c55ca80fab9d421fdb235f9ba6418413697794ca42eb4ffe1e160e", kill_on_drop: false }` [INFO] [stdout] b0ed4d51c4c55ca80fab9d421fdb235f9ba6418413697794ca42eb4ffe1e160e