[INFO] fetching crate aws-smt-ir 0.3.0... [INFO] testing aws-smt-ir-0.3.0 against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1 [INFO] extracting crate aws-smt-ir 0.3.0 into /workspace/builds/worker-1-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-1-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate aws-smt-ir 0.3.0 on toolchain cdb45c87e2cd43495379f7e867e3cc15dcee9f93 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded vec_mut_scan v0.3.0 [INFO] [stderr] Downloaded varisat-formula v0.2.2 [INFO] [stderr] Downloaded varisat-checker v0.2.2 [INFO] [stderr] Downloaded varisat-internal-macros v0.2.2 [INFO] [stderr] Downloaded partial_ref_derive v0.3.3 [INFO] [stderr] Downloaded varisat-dimacs v0.2.2 [INFO] [stderr] Downloaded partial_ref v0.3.3 [INFO] [stderr] Downloaded aws-smt-ir-derive v0.1.2 [INFO] [stderr] Downloaded varisat-internal-proof v0.2.2 [INFO] [stderr] Downloaded varisat v0.2.2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 302075ec70574a3635b4837cc02fc4fcdac92298839d7111f52bf740d35b00c3 [INFO] running `Command { std: "docker" "start" "-a" "302075ec70574a3635b4837cc02fc4fcdac92298839d7111f52bf740d35b00c3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "302075ec70574a3635b4837cc02fc4fcdac92298839d7111f52bf740d35b00c3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "302075ec70574a3635b4837cc02fc4fcdac92298839d7111f52bf740d35b00c3", kill_on_drop: false }` [INFO] [stdout] 302075ec70574a3635b4837cc02fc4fcdac92298839d7111f52bf740d35b00c3 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 70519c9e071fe9edbab650de97a12b62b5cf8379f15bd20f71b848d540b37482 [INFO] running `Command { std: "docker" "start" "-a" "70519c9e071fe9edbab650de97a12b62b5cf8379f15bd20f71b848d540b37482", kill_on_drop: false }` [INFO] [stderr] Compiling getrandom v0.1.16 [INFO] [stderr] Compiling arrayvec v0.4.12 [INFO] [stderr] Compiling equivalent v1.0.2 [INFO] [stderr] Compiling hashbrown v0.15.5 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling nodrop v0.1.14 [INFO] [stderr] Compiling psm v0.1.26 [INFO] [stderr] Compiling toml_datetime v0.6.11 [INFO] [stderr] Compiling smallvec v1.15.1 [INFO] [stderr] Compiling winnow v0.5.40 [INFO] [stderr] Compiling stacker v0.1.21 [INFO] [stderr] Compiling constant_time_eq v0.1.5 [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Compiling fst v0.4.7 [INFO] [stderr] Compiling strum_macros v0.25.3 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling parking_lot_core v0.9.11 [INFO] [stderr] Compiling itertools v0.11.0 [INFO] [stderr] Compiling rand_core v0.5.1 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling blake2-rfc v0.2.18 [INFO] [stderr] Compiling rand_chacha v0.2.2 [INFO] [stderr] Compiling parking_lot v0.12.4 [INFO] [stderr] Compiling indexmap v2.11.0 [INFO] [stderr] Compiling rand v0.7.3 [INFO] [stderr] Compiling internment v0.7.5 [INFO] [stderr] Compiling permutation_iterator v0.1.2 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling strum v0.25.0 [INFO] [stderr] Compiling num-iter v0.1.45 [INFO] [stderr] Compiling toml_edit v0.19.15 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling num-complex v0.4.6 [INFO] [stderr] Compiling proc-macro-crate v1.3.1 [INFO] [stderr] Compiling aws-smt-ir-derive v0.1.2 [INFO] [stderr] Compiling pomelo-impl v0.1.5 [INFO] [stderr] Compiling num-rational v0.4.2 [INFO] [stderr] Compiling num v0.4.3 [INFO] [stderr] Compiling pomelo v0.1.5 [INFO] [stderr] Compiling aws-smt-ir v0.3.0 (/opt/rustwide/workdir) [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:49 [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] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 21.37s [INFO] running `Command { std: "docker" "inspect" "70519c9e071fe9edbab650de97a12b62b5cf8379f15bd20f71b848d540b37482", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "70519c9e071fe9edbab650de97a12b62b5cf8379f15bd20f71b848d540b37482", kill_on_drop: false }` [INFO] [stdout] 70519c9e071fe9edbab650de97a12b62b5cf8379f15bd20f71b848d540b37482 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c6f5a0ea6d636cfc28c0e335b5f2e550ca67cb6d48f7cbd29ceea9209485ef50 [INFO] running `Command { std: "docker" "start" "-a" "c6f5a0ea6d636cfc28c0e335b5f2e550ca67cb6d48f7cbd29ceea9209485ef50", kill_on_drop: false }` [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling varisat-formula v0.2.2 [INFO] [stderr] Compiling partial_ref_derive v0.3.3 [INFO] [stderr] Compiling itoa v0.4.8 [INFO] [stderr] Compiling unicode-xid v0.2.6 [INFO] [stderr] Compiling serde_json v1.0.143 [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 ciborium v0.2.2 [INFO] [stderr] Compiling rayon v1.11.0 [INFO] [stderr] Compiling plotters v0.3.7 [INFO] [stderr] Compiling ordered-float v2.10.1 [INFO] [stderr] Compiling vec_mut_scan v0.3.0 [INFO] [stderr] Compiling leb128 v0.2.5 [INFO] [stderr] Compiling synstructure v0.12.6 [INFO] [stderr] Compiling static_assertions v1.1.0 [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:49 [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] [stderr] Compiling varisat-internal-proof v0.2.2 [INFO] [stderr] Compiling varisat-dimacs v0.2.2 [INFO] [stderr] Compiling partial_ref v0.3.3 [INFO] [stderr] Compiling varisat-checker v0.2.2 [INFO] [stderr] Compiling tinytemplate v1.2.1 [INFO] [stderr] Compiling regex-automata v0.4.10 [INFO] [stderr] Compiling criterion-plot v0.5.0 [INFO] [stderr] Compiling regex v1.11.2 [INFO] [stderr] Compiling criterion v0.5.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 "sets") 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 "deep_nesting") 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" "c6f5a0ea6d636cfc28c0e335b5f2e550ca67cb6d48f7cbd29ceea9209485ef50", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c6f5a0ea6d636cfc28c0e335b5f2e550ca67cb6d48f7cbd29ceea9209485ef50", kill_on_drop: false }` [INFO] [stdout] c6f5a0ea6d636cfc28c0e335b5f2e550ca67cb6d48f7cbd29ceea9209485ef50