[INFO] fetching crate hax-rust-engine 0.3.4...
[INFO] testing hax-rust-engine-0.3.4 against master#350d0ef0ec0493e6d21cfb265cb8211a0e74d766 for pr-145330-1
[INFO] extracting crate hax-rust-engine 0.3.4 into /workspace/builds/worker-7-tc1/source
[INFO] started tweaking crates.io crate hax-rust-engine 0.3.4
[INFO] finished tweaking crates.io crate hax-rust-engine 0.3.4
[INFO] tweaked toml for crates.io crate hax-rust-engine 0.3.4 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate hax-rust-engine 0.3.4 on toolchain 350d0ef0ec0493e6d21cfb265cb8211a0e74d766
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate hax-rust-engine 0.3.4 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" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded extension-traits v1.0.1
[INFO] [stderr]   Downloaded hax-types v0.3.4
[INFO] [stderr]   Downloaded derive_generic_visitor_macros v0.3.0
[INFO] [stderr]   Downloaded ext-trait v1.0.1
[INFO] [stderr]   Downloaded serde_stacker v0.1.12
[INFO] [stderr]   Downloaded ext-trait-proc_macros v1.0.1
[INFO] [stderr]   Downloaded derive_generic_visitor v0.3.0
[INFO] [stderr]   Downloaded hax-frontend-exporter v0.3.4
[INFO] [stderr]   Downloaded serde-jsonlines v0.5.0
[INFO] [stderr]   Downloaded hax-rust-engine-macros v0.3.4
[INFO] [stderr]   Downloaded hax-adt-into v0.3.4
[INFO] [stderr]   Downloaded hax-frontend-exporter-options v0.3.4
[INFO] [stderr]   Downloaded serde-brief v0.1.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 7c03988b0045bb1f669dec567dd7282cb9c652f5c0915a13878bbc6190a708e6
[INFO] running `Command { std: "docker" "start" "-a" "7c03988b0045bb1f669dec567dd7282cb9c652f5c0915a13878bbc6190a708e6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7c03988b0045bb1f669dec567dd7282cb9c652f5c0915a13878bbc6190a708e6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7c03988b0045bb1f669dec567dd7282cb9c652f5c0915a13878bbc6190a708e6", kill_on_drop: false }`
[INFO] [stdout] 7c03988b0045bb1f669dec567dd7282cb9c652f5c0915a13878bbc6190a708e6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1a5bd24a6e54811eaab878011e6b44a1a47ac059a8729ef2d92cb2fb89f5eda2
[INFO] running `Command { std: "docker" "start" "-a" "1a5bd24a6e54811eaab878011e6b44a1a47ac059a8729ef2d92cb2fb89f5eda2", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]    Compiling serde_json v1.0.141
[INFO] [stderr]    Compiling schemars v0.8.22
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling dyn-clone v1.0.20
[INFO] [stderr]    Compiling jobserver v0.1.33
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling anstream v0.6.19
[INFO] [stderr]    Compiling indexmap v2.10.0
[INFO] [stderr]    Compiling winnow v0.7.12
[INFO] [stderr]    Compiling unicode-segmentation v1.12.0
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling serde_derive v1.0.219
[INFO] [stderr]    Compiling serde_derive_internals v0.29.1
[INFO] [stderr]    Compiling darling_core v0.20.11
[INFO] [stderr]    Compiling tracing-attributes v0.1.30
[INFO] [stderr]    Compiling miette-derive v7.6.0
[INFO] [stderr]    Compiling clap_derive v4.5.41
[INFO] [stderr]    Compiling camino v1.1.11
[INFO] [stderr]    Compiling hax-types v0.3.4
[INFO] [stderr]    Compiling cc v1.2.30
[INFO] [stderr]    Compiling convert_case v0.6.0
[INFO] [stderr]    Compiling clap_builder v4.5.42
[INFO] [stderr]    Compiling annotate-snippets v0.11.5
[INFO] [stderr]    Compiling colored v2.2.0
[INFO] [stderr]    Compiling typed-arena v2.0.2
[INFO] [stderr]    Compiling arrayvec v0.5.2
[INFO] [stderr]    Compiling pastey v0.1.1
[INFO] [stderr]    Compiling pretty v0.12.4
[INFO] [stderr]    Compiling schemars_derive v0.8.22
[INFO] [stderr]    Compiling miette v7.6.0
[INFO] [stderr]    Compiling tracing v0.1.41
[INFO] [stderr]    Compiling zstd-sys v2.0.15+zstd.1.5.7
[INFO] [stderr]    Compiling psm v0.1.26
[INFO] [stderr]    Compiling stacker v0.1.21
[INFO] [stderr]    Compiling toml_edit v0.22.27
[INFO] [stderr]    Compiling clap v4.5.42
[INFO] [stderr]    Compiling darling_macro v0.20.11
[INFO] [stderr]    Compiling darling v0.20.11
[INFO] [stderr]    Compiling derive_generic_visitor_macros v0.3.0
[INFO] [stderr]    Compiling derive_generic_visitor v0.3.0
[INFO] [stderr]    Compiling ext-trait-proc_macros v1.0.1
[INFO] [stderr]    Compiling hax-adt-into v0.3.4
[INFO] [stderr]    Compiling ext-trait v1.0.1
[INFO] [stderr]    Compiling proc-macro-crate v3.3.0
[INFO] [stderr]    Compiling extension-traits v1.0.1
[INFO] [stderr]    Compiling hax-rust-engine-macros v0.3.4
[INFO] [stderr]    Compiling zstd-safe v7.2.4
[INFO] [stderr]    Compiling zstd v0.13.3
[INFO] [stderr]    Compiling serde-brief v0.1.1
[INFO] [stderr]    Compiling serde_stacker v0.1.12
[INFO] [stderr]    Compiling serde-jsonlines v0.5.0
[INFO] [stderr]    Compiling hax-frontend-exporter-options v0.3.4
[INFO] [stderr]    Compiling hax-frontend-exporter v0.3.4
[INFO] [stderr]    Compiling hax-rust-engine v0.3.4 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 08s
[INFO] running `Command { std: "docker" "inspect" "1a5bd24a6e54811eaab878011e6b44a1a47ac059a8729ef2d92cb2fb89f5eda2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1a5bd24a6e54811eaab878011e6b44a1a47ac059a8729ef2d92cb2fb89f5eda2", kill_on_drop: false }`
[INFO] [stdout] 1a5bd24a6e54811eaab878011e6b44a1a47ac059a8729ef2d92cb2fb89f5eda2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 03889c26c5bfc8d4b30e8f0c575abd25929caa98b7aab1749df3997b4f81b215
[INFO] running `Command { std: "docker" "start" "-a" "03889c26c5bfc8d4b30e8f0c575abd25929caa98b7aab1749df3997b4f81b215", kill_on_drop: false }`
[INFO] [stderr]    Compiling hax-rust-engine v0.3.4 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 9.18s
[INFO] running `Command { std: "docker" "inspect" "03889c26c5bfc8d4b30e8f0c575abd25929caa98b7aab1749df3997b4f81b215", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "03889c26c5bfc8d4b30e8f0c575abd25929caa98b7aab1749df3997b4f81b215", kill_on_drop: false }`
[INFO] [stdout] 03889c26c5bfc8d4b30e8f0c575abd25929caa98b7aab1749df3997b4f81b215
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] c0239cb98350a853ceae2d551c064bc4e652c2323f6966bd004426c92b0b6d1b
[INFO] running `Command { std: "docker" "start" "-a" "c0239cb98350a853ceae2d551c064bc4e652c2323f6966bd004426c92b0b6d1b", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.16s
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/hax_rust_engine-afd59f92d428d48d)
[INFO] [stdout] {"Diagnostic":{"kind":{"AssertionFailure":{"details":"Literal too big"}},"span":[{"lo":{"line":0,"col":0},"hi":{"line":0,"col":0},"filename":{"Custom":"dumny"}}],"context":"Import","owner_id":null}}
[INFO] [stdout] {"Diagnostic":{"kind":{"AssertionFailure":{"details":"Literal too big"}},"span":[{"lo":{"line":0,"col":0},"hi":{"line":0,"col":0},"filename":{"Custom":"dumny"}}],"context":"Import","owner_id":null}}
[INFO] [stdout] test ast::visitors::double_literals_in_ast ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/hax_rust_engine-72be53d0513fc532)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests hax_rust_engine
[INFO] [stdout] 
[INFO] [stdout] running 40 tests
[INFO] [stdout] test src/ast.rs - ast::ExprKind::Break::value (line 998) ... ignored
[INFO] [stdout] test src/ast.rs - ast::ExprKind::Construct (line 861) ... ignored
[INFO] [stdout] test src/ast.rs - ast::ExprKind::Match (line 880) ... ignored
[INFO] [stdout] test src/ast.rs - ast::GuardKind::IfLet (line 403) ... ignored
[INFO] [stdout] test src/ast.rs - ast::ImplExprKind (line 457) ... ignored
[INFO] [stdout] test src/ast.rs - ast::ImplExprKind::Concrete (line 478) ... ignored
[INFO] [stdout] test src/ast.rs - ast::ImplExprKind::ImplApp (line 535) ... ignored
[INFO] [stdout] test src/ast.rs - ast::ImplExprKind::LocalBound (line 490) ... ignored
[INFO] [stdout] test src/ast.rs - ast::ImplExprKind::Parent (line 502) ... ignored
[INFO] [stdout] test src/ast.rs - ast::ImplExprKind::Projection (line 519) ... ignored
[INFO] [stdout] test src/ast.rs - ast::ImplExprKind::Self_ (line 468) ... ignored
[INFO] [stdout] test src/ast.rs - ast::ImplItem (line 555) ... ignored
[INFO] [stdout] test src/ast.rs - ast::ImplItemKind::Fn (line 596) ... ignored
[INFO] [stdout] test src/ast.rs - ast::ImplItemKind::Type (line 579) ... ignored
[INFO] [stdout] test src/ast.rs - ast::ItemKind::Fn (line 1240) ... ignored
[INFO] [stdout] test src/ast.rs - ast::ItemKind::Impl (line 1357) ... ignored
[INFO] [stdout] test src/ast.rs - ast::ItemKind::Trait (line 1328) ... ignored
[INFO] [stdout] test src/ast.rs - ast::ItemKind::TyAlias (line 1278) ... ignored
[INFO] [stdout] test src/ast.rs - ast::ItemKind::Type (line 1301) ... ignored
[INFO] [stdout] test src/ast.rs - ast::LoopKind::ForIndexLoop (line 772) ... ignored
[INFO] [stdout] test src/ast.rs - ast::LoopKind::ForLoop (line 760) ... ignored
[INFO] [stdout] test src/ast.rs - ast::LoopKind::WhileLoop (line 750) ... ignored
[INFO] [stdout] test src/ast.rs - ast::PatKind::Construct (line 374) ... ignored
[INFO] [stdout] test src/ast.rs - ast::ProjectionPredicate (line 1099) ... ignored
[INFO] [stdout] test src/ast.rs - ast::QuoteContent (line 668) ... ignored
[INFO] [stdout] test src/ast.rs - ast::TraitItemKind::Default (line 647) ... ignored
[INFO] [stdout] test src/ast.rs - ast::TyKind::AssociatedType (line 151) ... ignored
[INFO] [stdout] test src/ast.rs - ast::TyKind::Opaque (line 164) ... ignored
[INFO] [stdout] test src/ast/identifiers/global_id/view.rs - ast::identifiers::global_id::view (line 14) ... ignored
[INFO] [stdout] test src/ast/identifiers/global_id/view.rs - ast::identifiers::global_id::view (line 37) ... ignored
[INFO] [stdout] test src/ast/identifiers/global_id/view.rs - ast::identifiers::global_id::view (line 58) ... ignored
[INFO] [stdout] test src/ast/identifiers/global_id/view.rs - ast::identifiers::global_id::view (line 83) ... ignored
[INFO] [stdout] test src/ast/identifiers/global_id/view.rs - ast::identifiers::global_id::view::PathSegment (line 468) ... ignored
[INFO] [stdout] test src/ast/visitors.rs - ast::visitors::replaced::infallible::AstVisitorMut (line 237) ... ignored
[INFO] [stdout] test src/names.rs - names (line 18) ... ignored
[INFO] [stdout] test src/names.rs - names::codegen::generate_names_hierachy (line 276) ... ignored
[INFO] [stdout] test src/printer/pretty_ast.rs - printer::pretty_ast::PrettyAst (line 226) ... ignored
[INFO] [stdout] test src/printer/pretty_ast.rs - printer::pretty_ast::install_pretty_helpers (line 135) ... ignored
[INFO] [stdout] test src/ast/identifiers/global_id.rs - ast::identifiers::global_id::ExplicitDefId (line 25) ... ok
[INFO] [stdout] test src/printer/pretty_ast.rs - printer::pretty_ast::DebugJSON (line 44) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 38 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test src/ast.rs - ast::DynTraitGoal (line 199) ... ignored
[INFO] [stdout] test src/ast.rs - ast::Param (line 1205) ... ignored
[INFO] [stdout] test src/ast.rs - ast::TraitItem::generics (line 625) ... ignored
[INFO] [stdout] test src/ast.rs - ast::TyKind::Dyn (line 172) ... ignored
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 4 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 1.70s; merged doctests compilation took 1.63s
[INFO] running `Command { std: "docker" "inspect" "c0239cb98350a853ceae2d551c064bc4e652c2323f6966bd004426c92b0b6d1b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c0239cb98350a853ceae2d551c064bc4e652c2323f6966bd004426c92b0b6d1b", kill_on_drop: false }`
[INFO] [stdout] c0239cb98350a853ceae2d551c064bc4e652c2323f6966bd004426c92b0b6d1b