[INFO] fetching crate aws-smt-ir 0.3.0... [INFO] testing aws-smt-ir-0.3.0 against try#8de4c7234dd9b97c9d76b58671343fdbbc9a433e+target=x86_64-unknown-linux-musl for musl_upgrade_1_2_5_with_libc_patch_0 [INFO] extracting crate aws-smt-ir 0.3.0 into /workspace/builds/worker-6-tc1/source [INFO] started tweaking crates.io crate aws-smt-ir 0.3.0 [INFO] finished tweaking crates.io crate aws-smt-ir 0.3.0 [INFO] tweaked toml for crates.io crate aws-smt-ir 0.3.0 written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate aws-smt-ir 0.3.0 on toolchain 8de4c7234dd9b97c9d76b58671343fdbbc9a433e [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 142 packages to latest compatible versions [INFO] [stderr] Adding criterion v0.5.1 (available: v0.6.0) [INFO] [stderr] Adding internment v0.7.5 (available: v0.8.6) [INFO] [stderr] Adding itertools v0.11.0 (available: v0.14.0) [INFO] [stderr] Adding pomelo v0.1.5 (available: v0.2.1) [INFO] [stderr] Adding strum v0.25.0 (available: v0.27.1) [INFO] [stderr] Adding thiserror v1.0.69 (available: v2.0.12) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded aws-smt-ir-derive v0.1.2 [INFO] [stderr] Downloaded internment v0.7.5 [INFO] [stderr] Downloaded partial_ref_derive v0.3.3 [INFO] [stderr] Downloaded pomelo v0.1.5 [INFO] [stderr] Downloaded permutation_iterator v0.1.2 [INFO] [stderr] Downloaded partial_ref v0.3.3 [INFO] [stderr] Downloaded pomelo-impl v0.1.5 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 275aad5bd657e404c5e21b99337ee8dee23c8f8cd89d25fb5d161fbadca1e8ad [INFO] running `Command { std: "docker" "start" "-a" "275aad5bd657e404c5e21b99337ee8dee23c8f8cd89d25fb5d161fbadca1e8ad", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "275aad5bd657e404c5e21b99337ee8dee23c8f8cd89d25fb5d161fbadca1e8ad", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "275aad5bd657e404c5e21b99337ee8dee23c8f8cd89d25fb5d161fbadca1e8ad", kill_on_drop: false }` [INFO] [stdout] 275aad5bd657e404c5e21b99337ee8dee23c8f8cd89d25fb5d161fbadca1e8ad [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "build" "--frozen" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }` [INFO] [stdout] 56fc3812739882efba9704ae55a88ff325b44337969e0c4e4c83c0b626d8346c [INFO] running `Command { std: "docker" "start" "-a" "56fc3812739882efba9704ae55a88ff325b44337969e0c4e4c83c0b626d8346c", kill_on_drop: false }` [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Compiling arrayvec v0.4.12 [INFO] [stderr] Compiling parking_lot_core v0.9.11 [INFO] [stderr] Compiling rustversion v1.0.21 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling cc v1.2.27 [INFO] [stderr] Compiling lock_api v0.4.13 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling nodrop v0.1.14 [INFO] [stderr] Compiling smallvec v1.15.1 [INFO] [stderr] Compiling syn v2.0.104 [INFO] [stderr] Compiling getrandom v0.1.16 [INFO] [stderr] Compiling constant_time_eq v0.1.5 [INFO] [stderr] Compiling fst v0.4.7 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling rand_core v0.5.1 [INFO] [stderr] Compiling itertools v0.11.0 [INFO] [stderr] Compiling rand_chacha v0.2.2 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling parking_lot v0.12.4 [INFO] [stderr] Compiling rand v0.7.3 [INFO] [stderr] Compiling blake2-rfc v0.2.18 [INFO] [stderr] Compiling internment v0.7.5 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling permutation_iterator v0.1.2 [INFO] [stderr] Compiling num-iter v0.1.45 [INFO] [stderr] Compiling psm v0.1.26 [INFO] [stderr] Compiling stacker v0.1.21 [INFO] [stderr] Compiling synstructure v0.13.2 [INFO] [stderr] Compiling pomelo-impl v0.1.5 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Compiling strum_macros v0.25.3 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling aws-smt-ir-derive v0.1.2 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling strum v0.25.0 [INFO] [stderr] Compiling pomelo v0.1.5 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling num-complex v0.4.6 [INFO] [stderr] Compiling num-rational v0.4.2 [INFO] [stderr] Compiling num v0.4.3 [INFO] [stderr] Compiling aws-smt-ir v0.3.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> src/term.rs:128:15 [INFO] [stdout] | [INFO] [stdout] 128 | pub fn op(&self) -> Option> { [INFO] [stdout] | ^^^^^ -------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 128 | pub fn op(&self) -> Option> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> src/types.rs:115:37 [INFO] [stdout] | [INFO] [stdout] 115 | pub fn sym_str<'a, Symbol: 'a>(&'a self) -> &str [INFO] [stdout] | ^^ ---- the lifetime gets resolved as `'a` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to consistently use `'a` [INFO] [stdout] | [INFO] [stdout] 115 | pub fn sym_str<'a, Symbol: 'a>(&'a self) -> &'a str [INFO] [stdout] | ++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 35.74s [INFO] running `Command { std: "docker" "inspect" "56fc3812739882efba9704ae55a88ff325b44337969e0c4e4c83c0b626d8346c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "56fc3812739882efba9704ae55a88ff325b44337969e0c4e4c83c0b626d8346c", kill_on_drop: false }` [INFO] [stdout] 56fc3812739882efba9704ae55a88ff325b44337969e0c4e4c83c0b626d8346c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "test" "--frozen" "--no-run" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }` [INFO] [stdout] 57153ef8f5fa5bf5f3cfa97cd252ea484bc519381eab71d9b37ee2d4822b3443 [INFO] running `Command { std: "docker" "start" "-a" "57153ef8f5fa5bf5f3cfa97cd252ea484bc519381eab71d9b37ee2d4822b3443", kill_on_drop: false }` [INFO] [stderr] Compiling anyhow v1.0.98 [INFO] [stderr] Compiling memchr v2.7.5 [INFO] [stderr] Compiling crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling serde_json v1.0.140 [INFO] [stderr] Compiling varisat-formula v0.2.2 [INFO] [stderr] Compiling partial_ref_derive v0.3.3 [INFO] [stderr] Compiling half v2.6.0 [INFO] [stderr] Compiling plotters-backend v0.3.7 [INFO] [stderr] Compiling itoa v1.0.15 [INFO] [stderr] Compiling itoa v0.4.8 [INFO] [stderr] Compiling ryu v1.0.20 [INFO] [stderr] Compiling clap_lex v0.7.5 [INFO] [stderr] Compiling unicode-xid v0.2.6 [INFO] [stderr] Compiling ciborium-io v0.2.2 [INFO] [stderr] Compiling anstyle v1.0.11 [INFO] [stderr] Compiling synstructure v0.12.6 [INFO] [stderr] Compiling ciborium-ll v0.2.2 [INFO] [stderr] Compiling plotters-svg v0.3.7 [INFO] [stderr] Compiling varisat v0.2.2 [INFO] [stderr] Compiling itertools v0.10.5 [INFO] [stderr] Compiling rustc-hash v1.1.0 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Compiling varisat-dimacs v0.2.2 [INFO] [stderr] Compiling varisat-internal-proof v0.2.2 [INFO] [stderr] Compiling cast v0.3.0 [INFO] [stderr] Compiling log v0.4.27 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling clap_builder v4.5.40 [INFO] [stderr] Compiling plotters v0.3.7 [INFO] [stderr] Compiling ciborium v0.2.2 [INFO] [stderr] Compiling ordered-float v2.10.1 [INFO] [stderr] Compiling is-terminal v0.4.16 [INFO] [stderr] Compiling crossbeam-deque v0.8.6 [INFO] [stderr] Compiling oorandom v11.1.5 [INFO] [stderr] Compiling anes v0.1.6 [INFO] [stderr] Compiling vec_mut_scan v0.3.0 [INFO] [stderr] Compiling leb128 v0.2.5 [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> src/term.rs:128:15 [INFO] [stdout] | [INFO] [stdout] 128 | pub fn op(&self) -> Option> { [INFO] [stdout] | ^^^^^ -------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 128 | pub fn op(&self) -> Option> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> src/types.rs:115:37 [INFO] [stdout] | [INFO] [stdout] 115 | pub fn sym_str<'a, Symbol: 'a>(&'a self) -> &str [INFO] [stdout] | ^^ ---- the lifetime gets resolved as `'a` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to consistently use `'a` [INFO] [stdout] | [INFO] [stdout] 115 | pub fn sym_str<'a, Symbol: 'a>(&'a self) -> &'a str [INFO] [stdout] | ++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling partial_ref v0.3.3 [INFO] [stderr] Compiling varisat-checker v0.2.2 [INFO] [stderr] Compiling rayon v1.10.0 [INFO] [stderr] Compiling tinytemplate v1.2.1 [INFO] [stderr] Compiling criterion-plot v0.5.0 [INFO] [stderr] Compiling clap v4.5.40 [INFO] [stderr] Compiling regex-automata v0.4.9 [INFO] [stderr] Compiling criterion v0.5.1 [INFO] [stderr] Compiling regex v1.11.1 [INFO] [stderr] Compiling varisat-internal-macros v0.2.2 [INFO] [stderr] Compiling aws-smt-ir v0.3.0 (/opt/rustwide/workdir) [INFO] [stdout] error: couldn't read `tests/../../benches/set_types.cvc5.smt2`: No such file or directory (os error 2) [INFO] [stdout] --> tests/sets.rs:60:21 [INFO] [stdout] | [INFO] [stdout] 60 | let smt: &str = include_str!("../../benches/set_types.cvc5.smt2"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: couldn't read `tests/../../benches/mathsat/FISCHER11-16-fair.smt2`: No such file or directory (os error 2) [INFO] [stdout] --> tests/deep_nesting.rs:5:15 [INFO] [stdout] | [INFO] [stdout] 5 | let smt = include_str!("../../benches/mathsat/FISCHER11-16-fair.smt2"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `aws-smt-ir` (test "deep_nesting") due to 1 previous error [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `aws-smt-ir` (test "sets") due to 1 previous error [INFO] [stdout] error[E0512]: cannot transmute between types of different sizes, or dependently-sized types [INFO] [stdout] --> src/term.rs:278:1 [INFO] [stdout] | [INFO] [stdout] 278 | static_assertions::assert_eq_size!(CoreOp>, [*const (); 7]); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: source type: `term::CoreOp` (384 bits) [INFO] [stdout] = note: target type: `[*const (); 7]` (448 bits) [INFO] [stdout] = note: this error originates in the macro `static_assertions::assert_eq_size` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0512`. [INFO] [stdout] [INFO] [stderr] error: could not compile `aws-smt-ir` (lib test) due to 1 previous error [INFO] running `Command { std: "docker" "inspect" "57153ef8f5fa5bf5f3cfa97cd252ea484bc519381eab71d9b37ee2d4822b3443", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "57153ef8f5fa5bf5f3cfa97cd252ea484bc519381eab71d9b37ee2d4822b3443", kill_on_drop: false }` [INFO] [stdout] 57153ef8f5fa5bf5f3cfa97cd252ea484bc519381eab71d9b37ee2d4822b3443