[INFO] cloning repository https://github.com/naso-lang/naso
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/naso-lang/naso" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnaso-lang%2Fnaso", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnaso-lang%2Fnaso'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] e8780cfe81b06509791468b307ee763cfe1c6980
[INFO] checking naso-lang/naso against 3154cc1a3e6424e44f438a95007d043ed5ceaaf6+rustflags=-Znext-solver=coherence for pr-133502-30
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnaso-lang%2Fnaso" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-5-tc1/source/.cargo/config.toml
[INFO] removed /workspace/builds/worker-5-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/naso-lang/naso
[INFO] finished tweaking git repo https://github.com/naso-lang/naso
[INFO] tweaked toml for git repo https://github.com/naso-lang/naso written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/naso-lang/naso 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/naso-lang/naso 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] warning: unused workspace dependency `naso-verify`
[INFO] [stderr]   --> Cargo.toml:41:25
[INFO] [stderr]    |
[INFO] [stderr] 41 | [workspace.dependencies.naso-verify]
[INFO] [stderr]    |                         ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_workspace_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the workspace dependency `naso-verify`
[INFO] [stderr] warning: unused workspace dependency `z3`
[INFO] [stderr]   --> Cargo.toml:63:25
[INFO] [stderr]    |
[INFO] [stderr] 63 | [workspace.dependencies.z3]
[INFO] [stderr]    |                         ^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the workspace dependency `z3`
[INFO] [stderr] warning: unused field `edition` in `workspace.package`
[INFO] [stderr]   --> Cargo.toml:68:1
[INFO] [stderr]    |
[INFO] [stderr] 68 | edition = "2024"
[INFO] [stderr]    | ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_workspace_package_fields` is set to `warn` by default
[INFO] [stderr] help: consider removing the field `workspace.package.edition`
[INFO] [stderr] warning: unused field `license` in `workspace.package`
[INFO] [stderr]   --> Cargo.toml:69:1
[INFO] [stderr]    |
[INFO] [stderr] 69 | license = "MIT OR Apache-2.0"
[INFO] [stderr]    | ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the field `workspace.package.license`
[INFO] [stderr] warning: unused field `repository` in `workspace.package`
[INFO] [stderr]   --> Cargo.toml:70:1
[INFO] [stderr]    |
[INFO] [stderr] 70 | repository = "https://github.com/naso-lang/naso"
[INFO] [stderr]    | ^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the field `workspace.package.repository`
[INFO] [stderr] warning: unused field `version` in `workspace.package`
[INFO] [stderr]   --> Cargo.toml:71:1
[INFO] [stderr]    |
[INFO] [stderr] 71 | version = "0.1.0"
[INFO] [stderr]    | ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the field `workspace.package.version`
[INFO] [stderr] warning: workspace (manifest) generated 6 warnings
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded wasm-bindgen-test-shared v0.2.128
[INFO] [stderr]   Downloaded wasm-bindgen-test-macro v0.3.78
[INFO] [stderr]   Downloaded wasm-bindgen-test v0.3.78
[INFO] [stderr]   Downloaded cranelift-bitset v0.115.1
[INFO] [stderr]   Downloaded wasmtime-jit-icache-coherence v28.0.1
[INFO] [stderr]   Downloaded cranelift v0.115.1
[INFO] [stderr]   Downloaded cranelift-codegen-shared v0.115.1
[INFO] [stderr]   Downloaded cranelift-control v0.115.1
[INFO] [stderr]   Downloaded inkwell_internals v0.15.0
[INFO] [stderr]   Downloaded cranelift-native v0.115.1
[INFO] [stderr]   Downloaded cranelift-bforest v0.115.1
[INFO] [stderr]   Downloaded cranelift-entity v0.115.1
[INFO] [stderr]   Downloaded cranelift-jit v0.115.1
[INFO] [stderr]   Downloaded cranelift-module v0.115.1
[INFO] [stderr]   Downloaded llvm-sys v170.4.0
[INFO] [stderr]   Downloaded ppmd-rust v1.5.0
[INFO] [stderr]   Downloaded cranelift-frontend v0.115.1
[INFO] [stderr]   Downloaded cranelift-isle v0.115.1
[INFO] [stderr]   Downloaded cranelift-codegen-meta v0.115.1
[INFO] [stderr]   Downloaded z3-sys v0.10.9
[INFO] [stderr]   Downloaded inkwell v0.10.0
[INFO] [stderr]   Downloaded cranelift-codegen v0.115.1
[INFO] [stderr]   Downloaded z3 v0.19.15
[INFO] [stderr]   Downloaded tower-lsp-macros v0.9.0
[INFO] [stderr]   Downloaded lsp-types v0.94.1
[INFO] [stderr]   Downloaded tower-lsp v0.20.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] b3c9c519de214ddaae2a09d596c7479ecc742029bc4335d32694ef0b48d55af1
[INFO] running `Command { std: "docker" "start" "b3c9c519de214ddaae2a09d596c7479ecc742029bc4335d32694ef0b48d55af1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b3c9c519de214ddaae2a09d596c7479ecc742029bc4335d32694ef0b48d55af1", 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" "b3c9c519de214ddaae2a09d596c7479ecc742029bc4335d32694ef0b48d55af1" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b3c9c519de214ddaae2a09d596c7479ecc742029bc4335d32694ef0b48d55af1", 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 -Znext-solver=coherence" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "b3c9c519de214ddaae2a09d596c7479ecc742029bc4335d32694ef0b48d55af1" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: unused workspace dependency `naso-verify`
[INFO] [stderr]   --> Cargo.toml:41:25
[INFO] [stderr]    |
[INFO] [stderr] 41 | [workspace.dependencies.naso-verify]
[INFO] [stderr]    |                         ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_workspace_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the workspace dependency `naso-verify`
[INFO] [stderr] warning: unused workspace dependency `z3`
[INFO] [stderr]   --> Cargo.toml:63:25
[INFO] [stderr]    |
[INFO] [stderr] 63 | [workspace.dependencies.z3]
[INFO] [stderr]    |                         ^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the workspace dependency `z3`
[INFO] [stderr] warning: unused field `edition` in `workspace.package`
[INFO] [stderr]   --> Cargo.toml:68:1
[INFO] [stderr]    |
[INFO] [stderr] 68 | edition = "2024"
[INFO] [stderr]    | ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_workspace_package_fields` is set to `warn` by default
[INFO] [stderr] help: consider removing the field `workspace.package.edition`
[INFO] [stderr] warning: unused field `license` in `workspace.package`
[INFO] [stderr]   --> Cargo.toml:69:1
[INFO] [stderr]    |
[INFO] [stderr] 69 | license = "MIT OR Apache-2.0"
[INFO] [stderr]    | ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the field `workspace.package.license`
[INFO] [stderr] warning: unused field `repository` in `workspace.package`
[INFO] [stderr]   --> Cargo.toml:70:1
[INFO] [stderr]    |
[INFO] [stderr] 70 | repository = "https://github.com/naso-lang/naso"
[INFO] [stderr]    | ^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the field `workspace.package.repository`
[INFO] [stderr] warning: unused field `version` in `workspace.package`
[INFO] [stderr]   --> Cargo.toml:71:1
[INFO] [stderr]    |
[INFO] [stderr] 71 | version = "0.1.0"
[INFO] [stderr]    | ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the field `workspace.package.version`
[INFO] [stderr] warning: workspace (manifest) generated 6 warnings
[INFO] [stderr]     Checking cfg-if v1.0.4
[INFO] [stderr]     Checking smallvec v1.16.1
[INFO] [stderr]     Checking once_cell v1.21.4
[INFO] [stderr]     Checking memchr v2.8.3
[INFO] [stderr]    Compiling zerocopy v0.8.57
[INFO] [stderr]    Compiling libc v0.2.189
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling libm v0.2.16
[INFO] [stderr]    Compiling serde_core v1.0.229
[INFO] [stderr]    Compiling zmij v1.0.23
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]    Compiling serde_json v1.0.151
[INFO] [stderr]     Checking itoa v1.0.18
[INFO] [stderr]     Checking utf8parse v0.2.2
[INFO] [stderr]    Compiling syn v3.0.5
[INFO] [stderr]    Compiling zerocopy-derive v0.8.57
[INFO] [stderr]     Checking is_terminal_polyfill v1.70.2
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]     Checking colorchoice v1.0.5
[INFO] [stderr]     Checking naso-gates v0.1.0 (/opt/rustwide/workdir/crates/naso-gates)
[INFO] [stderr]     Checking anstyle-parse v1.0.0
[INFO] [stderr]     Checking anstyle v1.0.14
[INFO] [stderr]     Checking anstyle-query v1.1.5
[INFO] [stderr]    Compiling beef v0.5.2
[INFO] [stderr]    Compiling thiserror v2.0.20
[INFO] [stderr]     Checking equivalent v1.0.2
[INFO] [stderr]     Checking hashbrown v0.17.1
[INFO] [stderr]     Checking clap_lex v1.1.0
[INFO] [stderr]     Checking strsim v0.11.1
[INFO] [stderr]    Compiling target-lexicon v0.12.16
[INFO] [stderr]    Compiling anyhow v1.0.104
[INFO] [stderr]     Checking anstream v1.0.0
[INFO] [stderr]     Checking same-file v1.0.6
[INFO] [stderr]     Checking unicode-ident v1.0.24
[INFO] [stderr]     Checking log v0.4.34
[INFO] [stderr]     Checking walkdir v2.5.0
[INFO] [stderr]     Checking bitflags v2.13.2
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]     Checking clap_builder v4.6.6
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]     Checking linux-raw-sys v0.12.1
[INFO] [stderr]     Checking arrayvec v0.7.8
[INFO] [stderr]     Checking fastrand v2.5.0
[INFO] [stderr]     Checking bit-vec v0.8.0
[INFO] [stderr]    Compiling naga v25.0.1
[INFO] [stderr]    Compiling strum_macros v0.26.4
[INFO] [stderr]     Checking foldhash v0.1.5
[INFO] [stderr]     Checking termcolor v1.4.1
[INFO] [stderr]     Checking indexmap v2.14.2
[INFO] [stderr]     Checking unicode-width v0.2.2
[INFO] [stderr]     Checking hashbrown v0.15.5
[INFO] [stderr]     Checking bit-set v0.8.0
[INFO] [stderr]     Checking hexf-parse v0.2.1
[INFO] [stderr]     Checking rustc-hash v1.1.0
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]     Checking regex-syntax v0.8.11
[INFO] [stderr]     Checking fnv v1.0.7
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]     Checking unarray v0.1.4
[INFO] [stderr]    Compiling jobserver v0.1.35
[INFO] [stderr]    Compiling find-msvc-tools v0.1.12
[INFO] [stderr]    Compiling zerofrom v0.1.8
[INFO] [stderr]     Checking codespan-reporting v0.12.0
[INFO] [stderr]    Compiling zeroize v1.9.0
[INFO] [stderr]    Compiling cc v1.4.5
[INFO] [stderr]    Compiling yoke v0.8.3
[INFO] [stderr]     Checking pin-project-lite v0.2.17
[INFO] [stderr]    Compiling bumpalo v3.20.3
[INFO] [stderr]    Compiling typenum v1.20.1
[INFO] [stderr]    Compiling futures-core v0.3.34
[INFO] [stderr]    Compiling litemap v0.8.3
[INFO] [stderr]     Checking getrandom v0.2.17
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking rand_core v0.9.5
[INFO] [stderr]     Checking wait-timeout v0.2.1
[INFO] [stderr]    Compiling writeable v0.6.4
[INFO] [stderr]    Compiling mio v1.2.3
[INFO] [stderr]    Compiling socket2 v0.6.5
[INFO] [stderr]     Checking rand v0.9.5
[INFO] [stderr]     Checking rand_xorshift v0.4.0
[INFO] [stderr]    Compiling cmov v0.5.4
[INFO] [stderr]    Compiling futures-sink v0.3.34
[INFO] [stderr]    Compiling http v1.5.0
[INFO] [stderr]    Compiling logos-codegen v0.13.0
[INFO] [stderr]     Checking num-complex v0.4.6
[INFO] [stderr]    Compiling ctutils v0.4.2
[INFO] [stderr]     Checking strum v0.26.3
[INFO] [stderr]    Compiling tokio v1.53.1
[INFO] [stderr]    Compiling icu_normalizer_data v2.3.0
[INFO] [stderr]    Compiling icu_properties_data v2.3.0
[INFO] [stderr]    Compiling const-oid v0.10.2
[INFO] [stderr]    Compiling rustls-pki-types v1.15.1
[INFO] [stderr]    Compiling futures-task v0.3.34
[INFO] [stderr]    Compiling futures-io v0.3.34
[INFO] [stderr]    Compiling httparse v1.10.1
[INFO] [stderr]    Compiling rustls v0.23.45
[INFO] [stderr]    Compiling futures-util v0.3.34
[INFO] [stderr]     Checking tempfile v3.27.0
[INFO] [stderr]    Compiling glob v0.3.4
[INFO] [stderr]    Compiling try-lock v0.2.5
[INFO] [stderr]    Compiling tower-service v0.3.3
[INFO] [stderr]    Compiling cpufeatures v0.3.1
[INFO] [stderr]    Compiling crossbeam-utils v0.8.23
[INFO] [stderr]    Compiling hybrid-array v0.4.15
[INFO] [stderr]    Compiling want v0.3.1
[INFO] [stderr]     Checking rusty-fork v0.3.1
[INFO] [stderr]    Compiling futures-channel v0.3.34
[INFO] [stderr]    Compiling atomic-waker v1.1.2
[INFO] [stderr]    Compiling zstd-safe v7.3.0
[INFO] [stderr]    Compiling subtle v2.6.1
[INFO] [stderr]    Compiling crc32fast v1.5.2
[INFO] [stderr]    Compiling clang-sys v1.9.1
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling sync_wrapper v1.0.2
[INFO] [stderr]    Compiling http-body v1.1.0
[INFO] [stderr]    Compiling base64 v0.23.1
[INFO] [stderr]    Compiling tower-layer v0.3.3
[INFO] [stderr]    Compiling ring v0.17.14
[INFO] [stderr]    Compiling zstd-sys v2.1.0+zstd.1.5.7
[INFO] [stderr]    Compiling crypto-common v0.2.2
[INFO] [stderr]    Compiling block-buffer v0.12.1
[INFO] [stderr]    Compiling inout v0.2.2
[INFO] [stderr]    Compiling ipnet v2.12.2
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling regex-automata v0.4.18
[INFO] [stderr]    Compiling webpki-roots v1.0.9
[INFO] [stderr]     Checking tracing-core v0.1.36
[INFO] [stderr]    Compiling zlib-rs v0.6.8
[INFO] [stderr]    Compiling simd-adler32 v0.3.10
[INFO] [stderr]    Compiling libbz2-rs-sys v0.2.5
[INFO] [stderr]    Compiling logos-derive v0.13.0
[INFO] [stderr]    Compiling cpubits v0.1.1
[INFO] [stderr]    Compiling either v1.18.0
[INFO] [stderr]     Checking logos v0.13.0
[INFO] [stderr]    Compiling bindgen v0.72.1
[INFO] [stderr]    Compiling time v0.3.55
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling zopfli v0.8.3
[INFO] [stderr]    Compiling bzip2 v0.6.1
[INFO] [stderr]    Compiling serde_urlencoded v0.7.1
[INFO] [stderr]    Compiling digest v0.11.3
[INFO] [stderr]    Compiling cipher v0.5.2
[INFO] [stderr]    Compiling hmac v0.13.0
[INFO] [stderr]    Compiling sha2 v0.11.0
[INFO] [stderr]    Compiling aes v0.9.3
[INFO] [stderr]    Compiling sha1 v0.11.0
[INFO] [stderr]    Compiling pbkdf2 v0.13.0
[INFO] [stderr]    Compiling http-body-util v0.1.5
[INFO] [stderr]     Checking num-integer v0.1.47
[INFO] [stderr]    Compiling deflate64 v0.1.12
[INFO] [stderr]     Checking lazy_static v1.5.0
[INFO] [stderr]    Compiling regex v1.13.1
[INFO] [stderr]    Compiling constant_time_eq v0.4.2
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling ppmd-rust v1.5.0
[INFO] [stderr]    Compiling typed-path v0.12.3
[INFO] [stderr]     Checking stable_deref_trait v1.2.1
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.21
[INFO] [stderr]    Compiling lzma-rust2 v0.16.5
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling thiserror-impl v2.0.20
[INFO] [stderr]    Compiling clap_derive v4.6.4
[INFO] [stderr]    Compiling zerovec-derive v0.11.6
[INFO] [stderr]    Compiling displaydoc v0.2.7
[INFO] [stderr]    Compiling wasm-bindgen-shared v0.2.128
[INFO] [stderr]    Compiling crossbeam-deque v0.8.8
[INFO] [stderr]     Checking num-bigint v0.4.8
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking half v2.7.1
[INFO] [stderr]    Compiling zerotrie v0.2.5
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand_chacha v0.9.0
[INFO] [stderr]     Checking rand v0.8.8
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]     Checking proptest v1.11.0
[INFO] [stderr]    Compiling zerovec v0.11.8
[INFO] [stderr]     Checking num-iter v0.1.46
[INFO] [stderr]    Compiling blake3 v1.8.7
[INFO] [stderr]     Checking option-ext v0.2.0
[INFO] [stderr]     Checking dirs-sys v0.5.0
[INFO] [stderr]    Compiling hyper v1.11.1
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]    Compiling tinystr v0.8.4
[INFO] [stderr]    Compiling potential_utf v0.1.6
[INFO] [stderr]     Checking clap v4.6.6
[INFO] [stderr]    Compiling icu_collections v2.3.0
[INFO] [stderr]    Compiling flate2 v1.1.10
[INFO] [stderr]     Checking num v0.4.3
[INFO] [stderr]    Compiling futures-macro v0.3.34
[INFO] [stderr]    Compiling icu_locale_core v2.3.0
[INFO] [stderr]     Checking slab v0.4.12
[INFO] [stderr]    Compiling hyper-util v0.1.21
[INFO] [stderr]     Checking rayon v1.12.0
[INFO] [stderr]     Checking dirs v6.0.0
[INFO] [stderr]     Checking colored v2.2.0
[INFO] [stderr]    Compiling rustls-webpki v0.103.15
[INFO] [stderr]    Compiling icu_provider v2.3.1
[INFO] [stderr]    Compiling wasm-bindgen-macro-support v0.2.128
[INFO] [stderr]    Compiling wasm-bindgen v0.2.128
[INFO] [stderr]     Checking utf8_iter v1.0.4
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling icu_normalizer v2.3.0
[INFO] [stderr]    Compiling icu_properties v2.3.0
[INFO] [stderr]     Checking scopeguard v1.2.0
[INFO] [stderr]     Checking lock_api v0.4.14
[INFO] [stderr]    Compiling async-trait v0.1.92
[INFO] [stderr]     Checking errno v0.3.14
[INFO] [stderr]     Checking percent-encoding v2.3.2
[INFO] [stderr]     Checking nu-ansi-term v0.50.3
[INFO] [stderr]     Checking form_urlencoded v1.2.2
[INFO] [stderr]     Checking parking_lot v0.12.5
[INFO] [stderr]     Checking signal-hook-registry v1.4.8
[INFO] [stderr]    Compiling tokio-macros v2.7.2
[INFO] [stderr]    Compiling pin-project-internal v1.1.13
[INFO] [stderr]     Checking naso-compiler v0.1.0 (/opt/rustwide/workdir/compiler)
[INFO] [stderr]     Checking bytes v1.12.1
[INFO] [stderr]     Checking hashbrown v0.14.5
[INFO] [stderr]    Compiling serde_repr v0.1.21
[INFO] [stderr]     Checking bitflags v1.3.2
[INFO] [stderr]    Compiling idna_adapter v1.2.2
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]     Checking dashmap v5.5.3
[INFO] [stderr]    Compiling wasm-bindgen-test-macro v0.3.78
[INFO] [stderr]     Checking sharded-slab v0.1.7
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]     Checking thread_local v1.1.10
[INFO] [stderr]     Checking pin-project v1.1.13
[INFO] [stderr]    Compiling tower-lsp-macros v0.9.0
[INFO] [stderr]    Compiling auto_impl v1.3.0
[INFO] [stderr]     Checking oorandom v11.1.5
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]     Checking cast v0.3.0
[INFO] [stderr]     Checking wasm-bindgen-test-shared v0.2.128
[INFO] [stderr]     Checking dashmap v6.2.1
[INFO] [stderr]     Checking tower v0.4.13
[INFO] [stderr]     Checking futures v0.3.34
[INFO] [stderr]    Compiling tower-http v0.6.11
[INFO] [stderr]    Compiling zstd v0.13.3
[INFO] [stderr]     Checking lsp-types v0.94.1
[INFO] [stderr]    Compiling zip v8.6.0
[INFO] [stderr]     Checking matchers v0.2.0
[INFO] [stderr]     Checking tracing-subscriber v0.3.23
[INFO] [stderr]    Compiling wasm-bindgen-macro v0.2.128
[INFO] [stderr]     Checking naso_std v0.1.0 (/opt/rustwide/workdir/stdlib)
[INFO] [stderr]    Compiling tokio-rustls v0.26.6
[INFO] [stderr]    Compiling hyper-rustls v0.27.10
[INFO] [stderr]    Compiling reqwest v0.12.28
[INFO] [stderr]     Checking js-sys v0.3.105
[INFO] [stderr]     Checking console_error_panic_hook v0.1.7
[INFO] [stderr]     Checking tokio-util v0.7.19
[INFO] [stderr]    Compiling z3-sys v0.10.9
[INFO] [stderr] error: failed to run custom build command for `z3-sys v0.10.9`
[INFO] [stderr] note: To improve backtraces for build dependencies, set the CARGO_PROFILE_DEV_BUILD_OVERRIDE_DEBUG=true environment variable to enable debug information generation.
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/build/z3-sys/72adc7ad2030c072/out/build_script_build` (exit status: 101)
[INFO] [stderr]   --- stdout
[INFO] [stderr]   cargo:rerun-if-changed=build.rs
[INFO] [stderr]   cargo:rerun-if-env-changed=Z3_SYS_Z3_VERSION
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr] 
[INFO] [stderr]   thread 'main' (3358) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/z3-sys-0.10.9/build.rs:198:13:
[INFO] [stderr]   Could not find release for z3-4.16.0
[INFO] [stderr]   stack backtrace:
[INFO] [stderr]      0:     0x61f3430a88b1 - std[3164a59e47d3bde]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stderr]      1:     0x61f3430a88b1 - std[3164a59e47d3bde]::backtrace_rs::backtrace::trace_unsynchronized::<std[3164a59e47d3bde]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stderr]      2:     0x61f3430a88b1 - std[3164a59e47d3bde]::sys::backtrace::_print_fmt
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/sys/backtrace.rs:74:9
[INFO] [stderr]      3:     0x61f3430a88b1 - <<std[3164a59e47d3bde]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[934024a1e6126fb4]::fmt::Display>::fmt
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/sys/backtrace.rs:44:26
[INFO] [stderr]      4:     0x61f3430bfb2a - <core[934024a1e6126fb4]::fmt::rt::Argument>::fmt
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/core/src/fmt/rt.rs:152:76
[INFO] [stderr]      5:     0x61f3430bfb2a - core[934024a1e6126fb4]::fmt::write
[INFO] [stderr]      6:     0x61f3430adedc - core[934024a1e6126fb4]::io::write::default_write_fmt::<std[3164a59e47d3bde]::sys::stdio::unix::Stderr>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/core/src/io/write.rs:402:11
[INFO] [stderr]      7:     0x61f3430adedc - <std[3164a59e47d3bde]::sys::stdio::unix::Stderr as core[934024a1e6126fb4]::io::write::Write>::write_fmt
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/core/src/io/write.rs:335:13
[INFO] [stderr]      8:     0x61f343082036 - <std[3164a59e47d3bde]::sys::backtrace::BacktraceLock>::print
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/sys/backtrace.rs:47:9
[INFO] [stderr]      9:     0x61f343082036 - std[3164a59e47d3bde]::panicking::default_hook::{closure#0}
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:289:27
[INFO] [stderr]     10:     0x61f34309fed1 - std[3164a59e47d3bde]::panicking::default_hook
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:316:9
[INFO] [stderr]     11:     0x61f3430a01fb - std[3164a59e47d3bde]::panicking::panic_with_hook
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:811:13
[INFO] [stderr]     12:     0x61f3430820e2 - std[3164a59e47d3bde]::panicking::panic_handler::{closure#0}
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:685:13
[INFO] [stderr]     13:     0x61f34307ab29 - std[3164a59e47d3bde]::sys::backtrace::__rust_end_short_backtrace::<std[3164a59e47d3bde]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/sys/backtrace.rs:182:18
[INFO] [stderr]     14:     0x61f34308307d - __rustc[2e7b49d4226056d3]::rust_begin_unwind
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:676:5
[INFO] [stderr]     15:     0x61f3430c03cc - core[934024a1e6126fb4]::panicking::panic_fmt
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/core/src/panicking.rs:80:14
[INFO] [stderr]     16:     0x61f3426688fd - build_script_build[f3e11727c83de25b]::gh_release::get_release_asset_url
[INFO] [stderr]     17:     0x61f342669057 - build_script_build[f3e11727c83de25b]::gh_release::retrieve_gh_release_z3
[INFO] [stderr]     18:     0x61f342669a91 - build_script_build[f3e11727c83de25b]::gh_release::install_from_gh_release
[INFO] [stderr]     19:     0x61f342686c54 - build_script_build[f3e11727c83de25b]::main
[INFO] [stderr]     20:     0x61f34267a79b - <fn() as core[934024a1e6126fb4]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]     21:     0x61f3426747de - std[3164a59e47d3bde]::sys::backtrace::__rust_begin_short_backtrace::<fn(), ()>
[INFO] [stderr]     22:     0x61f342674989 - std[3164a59e47d3bde]::rt::lang_start::<()>::{closure#0}
[INFO] [stderr]     23:     0x61f34309eea8 - <&dyn core[934024a1e6126fb4]::ops::function::Fn<(), Output = i32> + core[934024a1e6126fb4]::marker::Sync + core[934024a1e6126fb4]::panic::unwind_safe::RefUnwindSafe as core[934024a1e6126fb4]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/core/src/ops/function.rs:287:21
[INFO] [stderr]     24:     0x61f34309eea8 - std[3164a59e47d3bde]::panicking::catch_unwind::do_call::<&dyn core[934024a1e6126fb4]::ops::function::Fn<(), Output = i32> + core[934024a1e6126fb4]::marker::Sync + core[934024a1e6126fb4]::panic::unwind_safe::RefUnwindSafe, i32>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:573:43
[INFO] [stderr]     25:     0x61f34309eea8 - std[3164a59e47d3bde]::panicking::catch_unwind::<i32, &dyn core[934024a1e6126fb4]::ops::function::Fn<(), Output = i32> + core[934024a1e6126fb4]::marker::Sync + core[934024a1e6126fb4]::panic::unwind_safe::RefUnwindSafe>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:541:19
[INFO] [stderr]     26:     0x61f34309eea8 - std[3164a59e47d3bde]::panic::catch_unwind::<&dyn core[934024a1e6126fb4]::ops::function::Fn<(), Output = i32> + core[934024a1e6126fb4]::marker::Sync + core[934024a1e6126fb4]::panic::unwind_safe::RefUnwindSafe, i32>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panic.rs:359:14
[INFO] [stderr]     27:     0x61f34309eea8 - std[3164a59e47d3bde]::rt::lang_start_internal::{closure#0}
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/rt.rs:175:24
[INFO] [stderr]     28:     0x61f34309eea8 - std[3164a59e47d3bde]::panicking::catch_unwind::do_call::<std[3164a59e47d3bde]::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:573:43
[INFO] [stderr]     29:     0x61f34309eea8 - std[3164a59e47d3bde]::panicking::catch_unwind::<isize, std[3164a59e47d3bde]::rt::lang_start_internal::{closure#0}>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:541:19
[INFO] [stderr]     30:     0x61f34309eea8 - std[3164a59e47d3bde]::panic::catch_unwind::<std[3164a59e47d3bde]::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panic.rs:359:14
[INFO] [stderr]     31:     0x61f34309eea8 - std[3164a59e47d3bde]::rt::lang_start_internal
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/rt.rs:171:5
[INFO] [stderr]     32:     0x61f3426747d1 - std[3164a59e47d3bde]::rt::lang_start::<()>
[INFO] [stderr]     33:     0x61f34268c875 - main
[INFO] [stderr]     34:     0x7a53e5237601 - <unknown>
[INFO] [stderr]     35:     0x7a53e5237718 - __libc_start_main
[INFO] [stderr]     36:     0x61f3426583a5 - _start
[INFO] [stderr]     37:                0x0 - <unknown>
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] warning: unused dependency `anyhow`
[INFO] [stderr]   --> compiler/Cargo.toml:30:1
[INFO] [stderr]    |
[INFO] [stderr] 30 | anyhow = { workspace = true }
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `anyhow`
[INFO] [stderr] warning: unused dependency `clap`
[INFO] [stderr]   --> compiler/Cargo.toml:39:1
[INFO] [stderr]    |
[INFO] [stderr] 39 | clap = { version = "4.5", default-features = false, features = ["derive", "std", "help", "usage", "suggestions", "error-context"] }
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `clap`
[INFO] [stderr] warning: unused dependency `smallvec`
[INFO] [stderr]   --> compiler/Cargo.toml:29:1
[INFO] [stderr]    |
[INFO] [stderr] 29 | smallvec = { workspace = true }
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `smallvec`
[INFO] [stderr] warning: unused dependency `target-lexicon`
[INFO] [stderr]   --> compiler/Cargo.toml:38:1
[INFO] [stderr]    |
[INFO] [stderr] 38 | target-lexicon = "0.12"
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `target-lexicon`
[INFO] [stderr] warning: unused dependency `walkdir`
[INFO] [stderr]   --> compiler/Cargo.toml:42:1
[INFO] [stderr]    |
[INFO] [stderr] 42 | walkdir = "2.5"
[INFO] [stderr]    | ^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: consider removing the dependency on `walkdir`
[INFO] [stderr] warning: `naso-compiler` (manifest) generated 5 warnings
[INFO] [stderr] warning: unused dependency `naso-compiler`
[INFO] [stderr]  --> stdlib/Cargo.toml:7:1
[INFO] [stderr]   |
[INFO] [stderr] 7 | naso-compiler = { workspace = true }
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `naso-compiler`
[INFO] [stderr] warning: `naso_std` (manifest) generated 1 warning
[INFO] running `Command { std: "docker" "inspect" "b3c9c519de214ddaae2a09d596c7479ecc742029bc4335d32694ef0b48d55af1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b3c9c519de214ddaae2a09d596c7479ecc742029bc4335d32694ef0b48d55af1", kill_on_drop: false }`
[INFO] [stdout] b3c9c519de214ddaae2a09d596c7479ecc742029bc4335d32694ef0b48d55af1
