[INFO] fetching crate aws-smt-ir 0.3.0... [INFO] checking aws-smt-ir-0.3.0 against try#a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d for pr-145342-1 [INFO] extracting crate aws-smt-ir 0.3.0 into /workspace/builds/worker-3-tc2/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-3-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate aws-smt-ir 0.3.0 on toolchain a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "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" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 153 packages to latest compatible versions [INFO] [stderr] Adding criterion v0.5.1 (available: v0.7.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.2) [INFO] [stderr] Adding thiserror v1.0.69 (available: v2.0.16) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 94bd9bd1060c978245cf0c7545005e40ea24df0690bbc7183ea77e8f018d29e9 [INFO] running `Command { std: "docker" "start" "-a" "94bd9bd1060c978245cf0c7545005e40ea24df0690bbc7183ea77e8f018d29e9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "94bd9bd1060c978245cf0c7545005e40ea24df0690bbc7183ea77e8f018d29e9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "94bd9bd1060c978245cf0c7545005e40ea24df0690bbc7183ea77e8f018d29e9", kill_on_drop: false }` [INFO] [stdout] 94bd9bd1060c978245cf0c7545005e40ea24df0690bbc7183ea77e8f018d29e9 [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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 2508ded4f5f13f55cf0e741653f682ae74469bfe32cbeb715f8a3937dfe3d25b [INFO] running `Command { std: "docker" "start" "-a" "2508ded4f5f13f55cf0e741653f682ae74469bfe32cbeb715f8a3937dfe3d25b", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.101 [INFO] [stderr] Compiling unicode-ident v1.0.18 [INFO] [stderr] Compiling autocfg v1.5.0 [INFO] [stderr] Checking cfg-if v1.0.3 [INFO] [stderr] Compiling libc v0.2.175 [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling zerocopy v0.8.26 [INFO] [stderr] Compiling anyhow v1.0.99 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling getrandom v0.1.16 [INFO] [stderr] Checking memchr v2.7.5 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Checking smallvec v1.15.1 [INFO] [stderr] Compiling hashbrown v0.15.5 [INFO] [stderr] Compiling cc v1.2.34 [INFO] [stderr] Checking once_cell v1.21.3 [INFO] [stderr] Compiling parking_lot_core v0.9.11 [INFO] [stderr] Compiling equivalent v1.0.2 [INFO] [stderr] Compiling arrayvec v0.4.12 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling rustversion v1.0.22 [INFO] [stderr] Compiling toml_datetime v0.6.11 [INFO] [stderr] Compiling serde_json v1.0.143 [INFO] [stderr] Compiling indexmap v2.11.0 [INFO] [stderr] Compiling winnow v0.5.40 [INFO] [stderr] Checking nodrop v0.1.14 [INFO] [stderr] Checking varisat-formula v0.2.2 [INFO] [stderr] Compiling rayon-core v1.13.0 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling lock_api v0.4.13 [INFO] [stderr] Checking scopeguard v1.2.0 [INFO] [stderr] Compiling regex-syntax v0.8.6 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Checking crossbeam-deque v0.8.6 [INFO] [stderr] Checking half v2.6.0 [INFO] [stderr] Checking allocator-api2 v0.2.21 [INFO] [stderr] Compiling heck v0.4.1 [INFO] [stderr] Checking anstyle v1.0.11 [INFO] [stderr] Checking ryu v1.0.20 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking clap_lex v0.7.5 [INFO] [stderr] Checking itoa v1.0.15 [INFO] [stderr] Compiling unicode-xid v0.2.6 [INFO] [stderr] Checking constant_time_eq v0.1.5 [INFO] [stderr] Compiling fst v0.4.7 [INFO] [stderr] Checking ciborium-io v0.2.2 [INFO] [stderr] Checking itoa v0.4.8 [INFO] [stderr] Checking plotters-backend v0.3.7 [INFO] [stderr] Checking ciborium-ll v0.2.2 [INFO] [stderr] Checking rand_core v0.5.1 [INFO] [stderr] Checking clap_builder v4.5.44 [INFO] [stderr] Checking num-iter v0.1.45 [INFO] [stderr] Checking blake2-rfc v0.2.18 [INFO] [stderr] Checking parking_lot v0.12.4 [INFO] [stderr] Compiling varisat v0.2.2 [INFO] [stderr] Checking varisat-internal-proof v0.2.2 [INFO] [stderr] Checking plotters-svg v0.3.7 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Checking cast v0.3.0 [INFO] [stderr] Checking rustc-hash v1.1.0 [INFO] [stderr] Checking same-file v1.0.6 [INFO] [stderr] Checking log v0.4.27 [INFO] [stderr] Checking rayon v1.11.0 [INFO] [stderr] Checking plotters v0.3.7 [INFO] [stderr] Checking walkdir v2.5.0 [INFO] [stderr] Checking is-terminal v0.4.16 [INFO] [stderr] Checking ordered-float v2.10.1 [INFO] [stderr] Checking itertools v0.11.0 [INFO] [stderr] Checking leb128 v0.2.5 [INFO] [stderr] Checking anes v0.1.6 [INFO] [stderr] Checking vec_mut_scan v0.3.0 [INFO] [stderr] Checking oorandom v11.1.5 [INFO] [stderr] Checking static_assertions v1.1.0 [INFO] [stderr] Compiling regex-automata v0.4.10 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Compiling toml_edit v0.19.15 [INFO] [stderr] Checking clap v4.5.45 [INFO] [stderr] Compiling psm v0.1.26 [INFO] [stderr] Compiling stacker v0.1.21 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Checking criterion-plot v0.5.0 [INFO] [stderr] Checking internment v0.7.5 [INFO] [stderr] Checking rand_chacha v0.2.2 [INFO] [stderr] Checking rand v0.7.3 [INFO] [stderr] Checking permutation_iterator v0.1.2 [INFO] [stderr] Compiling proc-macro-crate v1.3.1 [INFO] [stderr] Compiling regex v1.11.2 [INFO] [stderr] Compiling synstructure v0.12.6 [INFO] [stderr] Compiling partial_ref_derive v0.3.3 [INFO] [stderr] Compiling pomelo-impl v0.1.5 [INFO] [stderr] Compiling varisat-internal-macros v0.2.2 [INFO] [stderr] Checking partial_ref v0.3.3 [INFO] [stderr] Compiling synstructure v0.13.2 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling strum_macros v0.25.3 [INFO] [stderr] Compiling aws-smt-ir-derive v0.1.2 [INFO] [stderr] Checking pomelo v0.1.5 [INFO] [stderr] Checking strum v0.25.0 [INFO] [stderr] Checking varisat-dimacs v0.2.2 [INFO] [stderr] Checking varisat-checker v0.2.2 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking num-complex v0.4.6 [INFO] [stderr] Checking ciborium v0.2.2 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking criterion v0.5.1 [INFO] [stderr] Checking num-rational v0.4.2 [INFO] [stderr] Checking num v0.4.3 [INFO] [stderr] Checking aws-smt-ir v0.3.0 (/opt/rustwide/workdir) [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] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/term.rs:128:15 [INFO] [stdout] | [INFO] [stdout] 128 | pub fn op(&self) -> Option> { [INFO] [stdout] | ^^^^^ -------- the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 128 | pub fn op(&self) -> Option> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: eliding a lifetime that's named elsewhere is 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 same lifetime is elided here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is named here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: 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] [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] 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" "2508ded4f5f13f55cf0e741653f682ae74469bfe32cbeb715f8a3937dfe3d25b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2508ded4f5f13f55cf0e741653f682ae74469bfe32cbeb715f8a3937dfe3d25b", kill_on_drop: false }` [INFO] [stdout] 2508ded4f5f13f55cf0e741653f682ae74469bfe32cbeb715f8a3937dfe3d25b