[INFO] cloning repository https://github.com/olmox001/nexs-rust-sel4
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/olmox001/nexs-rust-sel4" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Folmox001%2Fnexs-rust-sel4", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Folmox001%2Fnexs-rust-sel4'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] cfb101dd3bb69dc1c97bc329e4c9dbe5adc54588
[INFO] checking olmox001/nexs-rust-sel4 against dfbea5bc945a9d7ff017d3d4bfbd1af9295fe5b8 for pr-133502-27
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Folmox001%2Fnexs-rust-sel4" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-4-tc1/source/.cargo/config.toml
[INFO] removed /workspace/builds/worker-4-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/olmox001/nexs-rust-sel4
[INFO] finished tweaking git repo https://github.com/olmox001/nexs-rust-sel4
[INFO] tweaked toml for git repo https://github.com/olmox001/nexs-rust-sel4 written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/olmox001/nexs-rust-sel4 on toolchain dfbea5bc945a9d7ff017d3d4bfbd1af9295fe5b8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dfbea5bc945a9d7ff017d3d4bfbd1af9295fe5b8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/olmox001/nexs-rust-sel4 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" "+dfbea5bc945a9d7ff017d3d4bfbd1af9295fe5b8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating git repository `https://github.com/coliasgroup/ring.git`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Updating git repository `https://github.com/coliasgroup/rust-embedded-fat.git`
[INFO] [stderr]     Updating git repository `https://github.com/coliasgroup/offset-allocator.git`
[INFO] [stderr]     Updating git repository `https://github.com/coliasgroup/dafny.git`
[INFO] [stderr]     Updating git submodule `https://github.com/dafny-lang/libraries.git`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded verus_builtin v0.0.0-2026-03-17-2326
[INFO] [stderr]   Downloaded bitfield v0.19.4
[INFO] [stderr]   Downloaded smccc v0.2.2
[INFO] [stderr]   Downloaded ptr_meta_derive v0.3.1
[INFO] [stderr]   Downloaded heapless v0.9.1
[INFO] [stderr]   Downloaded bitfield-macros v0.19.4
[INFO] [stderr]   Downloaded ucs2 v0.3.3
[INFO] [stderr]   Downloaded rancor v0.1.1
[INFO] [stderr]   Downloaded bytecheck v0.8.2
[INFO] [stderr]   Downloaded defmt v0.3.100
[INFO] [stderr]   Downloaded ruzstd v0.8.2
[INFO] [stderr]   Downloaded rand_core v0.10.0
[INFO] [stderr]   Downloaded embedded-io v0.7.1
[INFO] [stderr]   Downloaded env_filter v1.0.0
[INFO] [stderr]   Downloaded bytecheck_derive v0.8.2
[INFO] [stderr]   Downloaded xmltree v0.12.0
[INFO] [stderr]   Downloaded riscv-types v0.1.0
[INFO] [stderr]   Downloaded rtcc v0.4.0
[INFO] [stderr]   Downloaded munge v0.4.7
[INFO] [stderr]   Downloaded ptr_meta v0.3.1
[INFO] [stderr]   Downloaded munge_macro v0.4.7
[INFO] [stderr]   Downloaded rend v0.5.3
[INFO] [stderr]   Downloaded unwinding v0.2.8
[INFO] [stderr]   Downloaded embedded-io-async v0.7.0
[INFO] [stderr]   Downloaded miniz_oxide v0.9.1
[INFO] [stderr]   Downloaded riscv-macros v0.4.0
[INFO] [stderr]   Downloaded embedded-hal-nb v1.0.0
[INFO] [stderr]   Downloaded defmt v1.0.1
[INFO] [stderr]   Downloaded async-unsync v0.3.0
[INFO] [stderr]   Downloaded fdt v0.1.5
[INFO] [stderr]   Downloaded uguid v2.2.1
[INFO] [stderr]   Downloaded safe-mmio v0.3.0
[INFO] [stderr]   Downloaded sbi v0.3.0
[INFO] [stderr]   Downloaded gpt_disk_types v0.16.1
[INFO] [stderr]   Downloaded riscv v0.16.0
[INFO] [stderr]   Downloaded tock-registers v0.10.1
[INFO] [stderr]   Downloaded dlmalloc v0.2.13
[INFO] [stderr]   Downloaded rkyv_derive v0.8.15
[INFO] [stderr]   Downloaded defmt-macros v1.0.1
[INFO] [stderr]   Downloaded env_logger v0.11.9
[INFO] [stderr]   Downloaded rcgen v0.14.5
[INFO] [stderr]   Downloaded addr2line v0.26.0
[INFO] [stderr]   Downloaded verus_prettyplease v0.0.0-2026-03-15-0111
[INFO] [stderr]   Downloaded aarch64-cpu v11.2.0
[INFO] [stderr]   Downloaded xml v1.2.1
[INFO] [stderr]   Downloaded syscalls v0.8.1
[INFO] [stderr]   Downloaded verus_state_machines_macros v0.0.0-2026-03-15-0111
[INFO] [stderr]   Downloaded verus_builtin_macros v0.0.0-2026-03-17-2326
[INFO] [stderr]   Downloaded cpp_demangle v0.5.1
[INFO] [stderr]   Downloaded rand v0.10.0
[INFO] [stderr]   Downloaded virtio-drivers v0.13.0
[INFO] [stderr]   Downloaded wasmparser v0.243.0
[INFO] [stderr]   Downloaded rkyv v0.8.15
[INFO] [stderr]   Downloaded vstd v0.0.0-2026-03-17-2326
[INFO] [stderr]   Downloaded gimli v0.33.0
[INFO] [stderr]   Downloaded smoltcp v0.13.0
[INFO] [stderr]   Downloaded verus_syn v0.0.0-2026-03-15-0111
[INFO] [stderr]   Downloaded one-shot-mutex v0.2.1
[INFO] [stderr]   Downloaded object v0.38.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/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:c36f533e8924a726b63f9d01e781fa8c8c28c96d1d595403829afb31452ee0f5" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 45044b89922536e467ee216f277c0a06fc9243f726d802ddd205b399109d8d97
[INFO] running `Command { std: "docker" "start" "45044b89922536e467ee216f277c0a06fc9243f726d802ddd205b399109d8d97", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "45044b89922536e467ee216f277c0a06fc9243f726d802ddd205b399109d8d97", 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" "45044b89922536e467ee216f277c0a06fc9243f726d802ddd205b399109d8d97" "/opt/rustwide/cargo-home/bin/cargo" "+dfbea5bc945a9d7ff017d3d4bfbd1af9295fe5b8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "45044b89922536e467ee216f277c0a06fc9243f726d802ddd205b399109d8d97", 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" "45044b89922536e467ee216f277c0a06fc9243f726d802ddd205b399109d8d97" "/opt/rustwide/cargo-home/bin/cargo" "+dfbea5bc945a9d7ff017d3d4bfbd1af9295fe5b8" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling libc v0.2.183
[INFO] [stderr]    Compiling prettyplease v0.2.37
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling sel4-build-env v0.1.0 (/opt/rustwide/workdir/crates/sel4/build-env)
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling libloading v0.8.9
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling bindgen v0.72.1
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[INFO] [stderr]    Compiling bitflags v2.11.0
[INFO] [stderr]    Compiling fallible-iterator v0.3.0
[INFO] [stderr]    Compiling sel4-bitfield-ops v0.1.0 (/opt/rustwide/workdir/crates/sel4/bitfield-ops)
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling xml v1.2.1
[INFO] [stderr]     Checking sel4-panicking-env v0.1.0 (/opt/rustwide/workdir/crates/sel4-panicking/env)
[INFO] [stderr]     Checking gimli v0.32.3
[INFO] [stderr]     Checking sel4-immediate-sync-once-cell v0.1.0 (/opt/rustwide/workdir/crates/sel4-immediate-sync-once-cell)
[INFO] [stderr]     Checking sel4-stack v0.1.0 (/opt/rustwide/workdir/crates/sel4-stack)
[INFO] [stderr]     Checking sel4-alloca v0.1.0 (/opt/rustwide/workdir/crates/sel4-alloca)
[INFO] [stderr]     Checking sel4-elf-header v0.1.0 (/opt/rustwide/workdir/crates/sel4-elf-header)
[INFO] [stderr]     Checking sel4-ctors-dtors v0.1.0 (/opt/rustwide/workdir/crates/sel4-ctors-dtors)
[INFO] [stderr]     Checking sel4-initialize-tls v0.1.0 (/opt/rustwide/workdir/crates/sel4-initialize-tls)
[INFO] [stderr]     Checking num-traits v0.2.19
[INFO] [stderr]    Compiling zerocopy v0.8.47
[INFO] [stderr]    Compiling heapless v0.9.1
[INFO] [stderr]    Compiling cc v1.2.57
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]     Checking one-shot-mutex v0.2.1
[INFO] [stderr]     Checking sel4-immutable-cell v0.1.0 (/opt/rustwide/workdir/crates/sel4-immutable-cell)
[INFO] [stderr]     Checking memchr v2.8.0
[INFO] [stderr]     Checking hash32 v0.3.1
[INFO] [stderr]     Checking as-slice v0.2.1
[INFO] [stderr]    Compiling sel4-shared-memory v0.1.0 (/opt/rustwide/workdir/crates/sel4-shared-memory)
[INFO] [stderr]     Checking embedded-hal v1.0.0
[INFO] [stderr]     Checking aligned v0.4.3
[INFO] [stderr]    Compiling smoltcp v0.13.0
[INFO] [stderr]     Checking bitflags v1.3.2
[INFO] [stderr]     Checking managed v0.8.0
[INFO] [stderr]     Checking embedded-hal-nb v1.0.0
[INFO] [stderr]     Checking sel4-abstract-allocator v0.1.0 (/opt/rustwide/workdir/crates/experimental/sel4-abstract-allocator)
[INFO] [stderr]     Checking simd-adler32 v0.3.8
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling cpp_demangle v0.5.1
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]    Compiling wasmparser v0.243.0
[INFO] [stderr]     Checking miniz_oxide v0.8.9
[INFO] [stderr]    Compiling xmltree v0.12.0
[INFO] [stderr]     Checking indexmap v2.13.0
[INFO] [stderr]    Compiling object v0.38.1
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]     Checking twox-hash v2.1.2
[INFO] [stderr]     Checking dlmalloc v0.2.13
[INFO] [stderr]     Checking ruzstd v0.8.2
[INFO] [stderr]     Checking gimli v0.33.0
[INFO] [stderr]     Checking flate2 v1.1.9
[INFO] [stderr]     Checking sel4-dlmalloc v0.1.0 (/opt/rustwide/workdir/crates/sel4-dlmalloc)
[INFO] [stderr]     Checking rustc-demangle v0.1.27
[INFO] [stdout] warning: use of deprecated method `core::sync::atomic::Atomic::<usize>::fetch_update`: renamed to `try_update` for consistency
[INFO] [stdout]    --> crates/sel4-dlmalloc/src/lib.rs:153:14
[INFO] [stdout]     |
[INFO] [stdout] 153 |             .fetch_update(Ordering::SeqCst, Ordering::SeqCst, |old_watermark| {
[INFO] [stdout]     |              ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] help: replace the use of the deprecated method
[INFO] [stdout]     |
[INFO] [stdout] 153 -             .fetch_update(Ordering::SeqCst, Ordering::SeqCst, |old_watermark| {
[INFO] [stdout] 153 +             .try_update(Ordering::SeqCst, Ordering::SeqCst, |old_watermark| {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking num-iter v0.1.45
[INFO] [stderr]     Checking spin v0.9.8
[INFO] [stderr]     Checking anstyle v1.0.14
[INFO] [stderr]     Checking colorchoice v1.0.5
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking num-complex v0.4.6
[INFO] [stderr]     Checking anstyle-parse v1.0.0
[INFO] [stderr]     Checking unwinding v0.2.8
[INFO] [stderr]     Checking futures-core v0.3.32
[INFO] [stderr]     Checking futures-sink v0.3.32
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/unwinding-0.2.8/src/panicking.rs:42:95
[INFO] [stdout]    |
[INFO] [stdout] 42 |         return if core::intrinsics::catch_unwind(do_call::<F, R>, data_ptr, do_catch::<E>) == 0 {
[INFO] [stdout]    |                   ------------------------------------------------------------------------    ^ expected `bool`, found integer
[INFO] [stdout]    |                   |
[INFO] [stdout]    |                   expected because this is `bool`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0308`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `unwinding` (lib) due to 1 previous error
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "45044b89922536e467ee216f277c0a06fc9243f726d802ddd205b399109d8d97", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "45044b89922536e467ee216f277c0a06fc9243f726d802ddd205b399109d8d97", kill_on_drop: false }`
[INFO] [stdout] 45044b89922536e467ee216f277c0a06fc9243f726d802ddd205b399109d8d97
