[INFO] cloning repository https://github.com/10yihang/Proof
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/10yihang/Proof" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F10yihang%2FProof", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F10yihang%2FProof'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] cf0d5466fa3b7e766cedbb958ac4f976210f24e4
[INFO] checking 10yihang/Proof against 3154cc1a3e6424e44f438a95007d043ed5ceaaf6 for pr-133502-30
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F10yihang%2FProof" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/10yihang/Proof
[INFO] finished tweaking git repo https://github.com/10yihang/Proof
[INFO] tweaked toml for git repo https://github.com/10yihang/Proof written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/10yihang/Proof on toolchain 3154cc1a3e6424e44f438a95007d043ed5ceaaf6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/10yihang/Proof 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" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 7c9452679be2633f761b61c297f87553cc2606c9ae269ea917f6cdc7087f6174
[INFO] running `Command { std: "docker" "start" "7c9452679be2633f761b61c297f87553cc2606c9ae269ea917f6cdc7087f6174", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7c9452679be2633f761b61c297f87553cc2606c9ae269ea917f6cdc7087f6174", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "7c9452679be2633f761b61c297f87553cc2606c9ae269ea917f6cdc7087f6174" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7c9452679be2633f761b61c297f87553cc2606c9ae269ea917f6cdc7087f6174", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "7c9452679be2633f761b61c297f87553cc2606c9ae269ea917f6cdc7087f6174" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.189
[INFO] [stderr]    Compiling smallvec v1.16.1
[INFO] [stderr]    Compiling indexmap v2.14.2
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]    Compiling find-msvc-tools v0.1.12
[INFO] [stderr]    Compiling syn v3.0.5
[INFO] [stderr]     Checking bitflags v2.13.2
[INFO] [stderr]     Checking base64 v0.23.1
[INFO] [stderr]     Checking quick-xml v0.42.0
[INFO] [stderr]     Checking hashbrown v0.15.5
[INFO] [stderr]     Checking crypto-common v0.1.7
[INFO] [stderr]     Checking fastrand v2.5.0
[INFO] [stderr]     Checking fallible-iterator v0.3.0
[INFO] [stderr]     Checking fallible-streaming-iterator v0.1.9
[INFO] [stderr]    Compiling cfg-expr v0.15.8
[INFO] [stderr]     Checking rustix v1.1.4
[INFO] [stderr]    Compiling cc v1.4.5
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking futures-channel v0.3.34
[INFO] [stderr]    Compiling alloc-no-stdlib v2.0.4
[INFO] [stderr]    Compiling toml v1.1.6+spec-1.1.0
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]    Compiling cssparser v0.36.0
[INFO] [stderr]    Compiling alloc-stdlib v0.2.4
[INFO] [stderr]    Compiling brotli-decompressor v5.0.3
[INFO] [stderr]    Compiling x11 v2.21.0
[INFO] [stderr]    Compiling crossbeam-utils v0.8.23
[INFO] [stderr]    Compiling miniz_oxide v0.9.1
[INFO] [stderr]    Compiling x11-dl v2.21.0
[INFO] [stderr]    Compiling libdbus-sys v0.2.7
[INFO] [stderr]    Compiling selectors v0.36.1
[INFO] [stderr]     Checking semver v1.0.28
[INFO] [stderr]     Checking hashlink v0.10.0
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling dirs-sys v0.5.0
[INFO] [stderr]     Checking crossbeam-channel v0.5.17
[INFO] [stderr]    Compiling uuid v1.26.1
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling dirs v6.0.0
[INFO] [stderr]    Compiling flate2 v1.1.10
[INFO] [stderr]    Compiling cfb v0.7.3
[INFO] [stderr]    Compiling rustls v0.23.45
[INFO] [stderr]    Compiling string_cache v0.9.0
[INFO] [stderr]    Compiling brotli v8.0.4
[INFO] [stderr]    Compiling wry v0.55.1
[INFO] [stderr]    Compiling embed-resource v3.0.11
[INFO] [stderr]    Compiling web_atoms v0.2.6
[INFO] [stderr]    Compiling png v0.17.16
[INFO] [stderr]    Compiling tauri-runtime-wry v2.11.4
[INFO] [stderr]    Compiling libsqlite3-sys v0.35.0
[INFO] [stderr]    Compiling ring v0.17.14
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]     Checking sync_wrapper v1.0.2
[INFO] [stderr]    Compiling tauri-winres v0.3.6
[INFO] [stderr]     Checking ipnet v2.12.2
[INFO] [stderr]    Compiling crc32fast v1.5.1
[INFO] [stderr]    Compiling inotify-sys v0.1.8
[INFO] [stderr]    Compiling infer v0.19.0
[INFO] [stderr]     Checking openssl-probe v0.2.1
[INFO] [stderr]    Compiling nix v0.28.0
[INFO] [stderr]     Checking rustls-native-certs v0.8.4
[INFO] [stderr]     Checking futures-sink v0.3.34
[INFO] [stderr]     Checking adler2 v2.0.1
[INFO] [stderr]     Checking simd-adler32 v0.3.10
[INFO] [stderr]     Checking xattr v1.6.1
[INFO] [stderr]     Checking notify-types v2.1.0
[INFO] [stderr]     Checking shell-words v1.1.1
[INFO] [stderr]     Checking downcast-rs v1.2.1
[INFO] [stderr]     Checking minisign-verify v0.2.5
[INFO] [stderr]     Checking wait-timeout v0.2.1
[INFO] [stderr]     Checking mio v1.2.3
[INFO] [stderr]     Checking socket2 v0.6.5
[INFO] [stderr]     Checking getrandom v0.2.17
[INFO] [stderr]     Checking tempfile v3.27.0
[INFO] [stderr]    Compiling ico v0.5.0
[INFO] [stderr]    Compiling markup5ever v0.38.0
[INFO] [stderr]     Checking tokio v1.53.1
[INFO] [stderr]     Checking dbus v0.9.12
[INFO] [stderr]     Checking dlopen2 v0.8.2
[INFO] [stderr]     Checking getrandom v0.3.4
[INFO] [stderr]     Checking filetime v0.2.29
[INFO] [stderr]     Checking inotify v0.11.5
[INFO] [stderr]     Checking serial2 v0.2.38
[INFO] [stderr]    Compiling html5ever v0.38.0
[INFO] [stderr]     Checking tar v0.4.46
[INFO] [stderr]     Checking filedescriptor v0.8.3
[INFO] [stderr]     Checking notify v8.2.0
[INFO] [stderr]    Compiling dom_query v0.27.0
[INFO] [stderr]    Compiling darling_core v0.24.1
[INFO] [stderr]     Checking portable-pty v0.9.0
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling thiserror-impl v2.0.20
[INFO] [stderr]    Compiling zerovec-derive v0.11.6
[INFO] [stderr]    Compiling displaydoc v0.2.7
[INFO] [stderr]    Compiling futures-macro v0.3.34
[INFO] [stderr]    Compiling serde_repr v0.1.21
[INFO] [stderr]     Checking futures-util v0.3.34
[INFO] [stderr]    Compiling zerotrie v0.2.5
[INFO] [stderr]     Checking thiserror v2.0.20
[INFO] [stderr]    Compiling zerovec v0.11.8
[INFO] [stderr]    Compiling tinystr v0.8.4
[INFO] [stderr]    Compiling potential_utf v0.1.6
[INFO] [stderr]    Compiling icu_collections v2.3.0
[INFO] [stderr]    Compiling icu_locale_core v2.3.0
[INFO] [stderr]     Checking rustls-webpki v0.103.15
[INFO] [stderr]    Compiling darling_macro v0.24.1
[INFO] [stderr]    Compiling darling v0.24.1
[INFO] [stderr]     Checking icu_provider v2.3.1
[INFO] [stderr]    Compiling serde_with_macros v3.23.0
[INFO] [stderr]     Checking futures-executor v0.3.34
[INFO] [stderr]    Compiling icu_properties v2.3.0
[INFO] [stderr]    Compiling icu_normalizer v2.3.0
[INFO] [stderr]     Checking hyper v1.11.1
[INFO] [stderr]     Checking tower v0.5.3
[INFO] [stderr]     Checking tokio-util v0.7.19
[INFO] [stderr]    Compiling serde_with v3.23.0
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]    Compiling toml_datetime v0.6.3
[INFO] [stderr]    Compiling serde_spanned v0.6.9
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling cargo-platform v0.1.9
[INFO] [stderr]    Compiling jsonptr v0.6.3
[INFO] [stderr]    Compiling plist v1.10.1
[INFO] [stderr]    Compiling cargo_toml v0.22.3
[INFO] [stderr]    Compiling toml_edit v0.20.2
[INFO] [stderr]    Compiling toml_edit v0.19.15
[INFO] [stderr]    Compiling cargo_metadata v0.19.2
[INFO] [stderr]    Compiling json-patch v3.0.1
[INFO] [stderr]     Checking hyper-util v0.1.20
[INFO] [stderr]    Compiling idna_adapter v1.2.2
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]     Checking jsonc-parser v0.33.2
[INFO] [stderr]     Checking dpi v0.1.2
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]     Checking keyboard-types v0.7.0
[INFO] [stderr]     Checking serialize-to-javascript v0.1.2
[INFO] [stderr]    Compiling urlpattern v0.3.0
[INFO] [stderr]    Compiling schemars v0.8.22
[INFO] [stderr]     Checking tower-http v0.6.11
[INFO] [stderr]     Checking tokio-rustls v0.26.5
[INFO] [stderr]     Checking rustls-platform-verifier v0.7.0
[INFO] [stderr]     Checking tauri-utils v2.9.3
[INFO] [stderr]     Checking hyper-rustls v0.27.9
[INFO] [stderr]    Compiling proc-macro-crate v1.3.1
[INFO] [stderr]     Checking reqwest v0.13.5
[INFO] [stderr]    Compiling toml v0.8.2
[INFO] [stderr]    Compiling proc-macro-crate v2.0.2
[INFO] [stderr]    Compiling gtk3-macros v0.18.2
[INFO] [stderr]    Compiling glib-macros v0.18.5
[INFO] [stderr]    Compiling system-deps v6.2.2
[INFO] [stderr]     Checking rusqlite v0.37.0
[INFO] [stderr]    Compiling glib-sys v0.18.1
[INFO] [stderr]    Compiling gobject-sys v0.18.0
[INFO] [stderr]    Compiling gio-sys v0.18.1
[INFO] [stderr]    Compiling gdk-sys v0.18.2
[INFO] [stderr]    Compiling atk-sys v0.18.2
[INFO] [stderr]    Compiling pango-sys v0.18.0
[INFO] [stderr]    Compiling cairo-sys-rs v0.18.2
[INFO] [stderr]    Compiling gdk-pixbuf-sys v0.18.0
[INFO] [stderr]    Compiling gtk-sys v0.18.2
[INFO] [stderr]    Compiling javascriptcore-rs-sys v1.1.1
[INFO] [stderr]    Compiling soup3-sys v0.5.0
[INFO] [stderr]    Compiling webkit2gtk-sys v2.0.2
[INFO] [stderr]    Compiling gdkx11-sys v0.18.2
[INFO] [stderr]    Compiling gtk v0.18.2
[INFO] [stderr]    Compiling rfd v0.16.0
[INFO] [stderr]     Checking proof-core v0.1.16 (/opt/rustwide/workdir/crates/proof-core)
[INFO] [stdout] warning: unused imports: `fingerprint` and `program_identity`
[INFO] [stdout]  --> crates/proof-core/src/editor.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     fingerprint,
[INFO] [stdout]   |     ^^^^^^^^^^^
[INFO] [stdout] 5 |     program::{program_identity, resolve_program_path, trusted_program_workspace},
[INFO] [stdout]   |               ^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `process::Command` and `time::Duration`
[INFO] [stdout]   --> crates/proof-core/src/editor.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 |     process::Command,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 16 |     time::Duration,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `fingerprint` and `program_identity`
[INFO] [stdout]  --> crates/proof-core/src/editor.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     fingerprint,
[INFO] [stdout]   |     ^^^^^^^^^^^
[INFO] [stdout] 5 |     program::{program_identity, resolve_program_path, trusted_program_workspace},
[INFO] [stdout]   |               ^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `process::Command` and `time::Duration`
[INFO] [stdout]   --> crates/proof-core/src/editor.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 |     process::Command,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 16 |     time::Duration,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking glib v0.18.5
[INFO] [stderr]     Checking gdkwayland-sys v0.18.2
[INFO] [stdout] error[E0282]: type annotations needed for `&_`
[INFO] [stdout]    --> crates/proof-core/src/editor.rs:699:22
[INFO] [stdout]     |
[INFO] [stdout] 699 |         .filter_map(|path| {
[INFO] [stdout]     |                      ^^^^
[INFO] [stdout] 700 |             path.to_str()
[INFO] [stdout]     |             ---- type must be known at this point
[INFO] [stdout]     |
[INFO] [stdout] help: consider giving this closure parameter an explicit type, where the type for type parameter `T` is specified
[INFO] [stdout]     |
[INFO] [stdout] 699 |         .filter_map(|path: &T| {
[INFO] [stdout]     |                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed for `&_`
[INFO] [stdout]    --> crates/proof-core/src/editor.rs:699:22
[INFO] [stdout]     |
[INFO] [stdout] 699 |         .filter_map(|path| {
[INFO] [stdout]     |                      ^^^^
[INFO] [stdout] 700 |             path.to_str()
[INFO] [stdout]     |             ---- type must be known at this point
[INFO] [stdout]     |
[INFO] [stdout] help: consider giving this closure parameter an explicit type, where the type for type parameter `T` is specified
[INFO] [stdout]     |
[INFO] [stdout] 699 |         .filter_map(|path: &T| {
[INFO] [stdout]     |                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> crates/proof-core/src/editor.rs:387:16
[INFO] [stdout]     |
[INFO] [stdout] 387 |     let (path, mut origins) = resolve_program_path(requested).map_err(|error| {
[INFO] [stdout]     |                ----^^^^^^^
[INFO] [stdout]     |                |
[INFO] [stdout]     |                help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> crates/proof-core/src/editor.rs:387:16
[INFO] [stdout]     |
[INFO] [stdout] 387 |     let (path, mut origins) = resolve_program_path(requested).map_err(|error| {
[INFO] [stdout]     |                ----^^^^^^^
[INFO] [stdout]     |                |
[INFO] [stdout]     |                help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `metadata_source`
[INFO] [stdout]    --> crates/proof-core/src/guarded_file.rs:231:13
[INFO] [stdout]     |
[INFO] [stdout] 231 |             metadata_source: Option<&Path>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_metadata_source`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `metadata_source`
[INFO] [stdout]    --> crates/proof-core/src/guarded_file.rs:231:13
[INFO] [stdout]     |
[INFO] [stdout] 231 |             metadata_source: Option<&Path>,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_metadata_source`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0282`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `proof-core` (lib test) due to 1 previous error; 4 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] For more information about this error, try `rustc --explain E0282`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `proof-core` (lib) due to 1 previous error; 4 warnings emitted
[INFO] [stderr] warning: unused dependency `plist`
[INFO] [stderr]   --> crates/proof-core/Cargo.toml:18:1
[INFO] [stderr]    |
[INFO] [stderr] 18 | plist = { version = "=1.10.1", features = ["enable_unstable_features_that_may_break_with_minor_version_bumps"] }
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `plist`
[INFO] [stderr] warning: `proof-core` (manifest) generated 1 warning
[INFO] running `Command { std: "docker" "inspect" "7c9452679be2633f761b61c297f87553cc2606c9ae269ea917f6cdc7087f6174", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7c9452679be2633f761b61c297f87553cc2606c9ae269ea917f6cdc7087f6174", kill_on_drop: false }`
[INFO] [stdout] 7c9452679be2633f761b61c297f87553cc2606c9ae269ea917f6cdc7087f6174
