[INFO] fetching crate hax-rust-engine 0.3.6... [INFO] checking hax-rust-engine-0.3.6 against try#4907eac94165faff6c5e5e015670b1c584275f7b for pr-154149 [INFO] extracting crate hax-rust-engine 0.3.6 into /workspace/builds/worker-0-tc2/source [INFO] started tweaking crates.io crate hax-rust-engine 0.3.6 [INFO] finished tweaking crates.io crate hax-rust-engine 0.3.6 [INFO] tweaked toml for crates.io crate hax-rust-engine 0.3.6 written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate hax-rust-engine 0.3.6 on toolchain 4907eac94165faff6c5e5e015670b1c584275f7b [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4907eac94165faff6c5e5e015670b1c584275f7b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate hax-rust-engine 0.3.6 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" "+4907eac94165faff6c5e5e015670b1c584275f7b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+4907eac94165faff6c5e5e015670b1c584275f7b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] cbb6196243eb924b063f946d2a387276b8269e13ea4565c90cab968896b0813c [INFO] running `Command { std: "docker" "start" "-a" "cbb6196243eb924b063f946d2a387276b8269e13ea4565c90cab968896b0813c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "cbb6196243eb924b063f946d2a387276b8269e13ea4565c90cab968896b0813c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cbb6196243eb924b063f946d2a387276b8269e13ea4565c90cab968896b0813c", kill_on_drop: false }` [INFO] [stdout] cbb6196243eb924b063f946d2a387276b8269e13ea4565c90cab968896b0813c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+4907eac94165faff6c5e5e015670b1c584275f7b" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d29ed2d22029e688f6f20f7785766a46c62fbaccfaf579a7af20855eb8cc5ac3 [INFO] running `Command { std: "docker" "start" "-a" "d29ed2d22029e688f6f20f7785766a46c62fbaccfaf579a7af20855eb8cc5ac3", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.101 [INFO] [stderr] Compiling libc v0.2.175 [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Checking cfg-if v1.0.3 [INFO] [stderr] Compiling serde_json v1.0.143 [INFO] [stderr] Checking anstyle v1.0.11 [INFO] [stderr] Checking anstyle-query v1.1.4 [INFO] [stderr] Checking is_terminal_polyfill v1.70.1 [INFO] [stderr] Compiling hashbrown v0.15.5 [INFO] [stderr] Checking tracing-core v0.1.34 [INFO] [stderr] Compiling toml_datetime v0.6.11 [INFO] [stderr] Compiling winnow v0.7.13 [INFO] [stderr] Checking unicode-ident v1.0.18 [INFO] [stderr] Checking clap_lex v0.7.5 [INFO] [stderr] Compiling unicode-segmentation v1.12.0 [INFO] [stderr] Checking itertools v0.11.0 [INFO] [stderr] Compiling hax-types v0.3.6 [INFO] [stderr] Checking unicode-width v0.2.1 [INFO] [stderr] Compiling camino v1.1.12 [INFO] [stderr] Checking anstream v0.6.20 [INFO] [stderr] Checking path-clean v1.0.1 [INFO] [stderr] Checking arrayvec v0.5.2 [INFO] [stderr] Compiling itertools v0.13.0 [INFO] [stderr] Checking typed-arena v2.0.2 [INFO] [stderr] Compiling pastey v0.1.1 [INFO] [stderr] Compiling hax-lib v0.3.6 [INFO] [stderr] Checking pretty v0.12.4 [INFO] [stderr] Checking annotate-snippets v0.11.5 [INFO] [stderr] Checking clap_builder v4.5.46 [INFO] [stderr] Compiling indexmap v2.11.0 [INFO] [stderr] Compiling convert_case v0.6.0 [INFO] [stderr] Checking quote v1.0.40 [INFO] [stderr] Compiling jobserver v0.1.34 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking getrandom v0.3.3 [INFO] [stderr] Checking uuid v1.18.0 [INFO] [stderr] Compiling cc v1.2.34 [INFO] [stderr] Compiling toml_edit v0.22.27 [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 proc-macro-crate v3.3.0 [INFO] [stderr] Compiling serde_derive_internals v0.29.1 [INFO] [stderr] Compiling darling_core v0.20.11 [INFO] [stderr] Compiling ext-trait-proc_macros v1.0.1 [INFO] [stderr] Compiling hax-adt-into v0.3.6 [INFO] [stderr] Checking ext-trait v1.0.1 [INFO] [stderr] Checking extension-traits v1.0.1 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Compiling schemars_derive v0.8.22 [INFO] [stderr] Compiling tracing-attributes v0.1.30 [INFO] [stderr] Compiling miette-derive v7.6.0 [INFO] [stderr] Compiling clap_derive v4.5.45 [INFO] [stderr] Compiling hax-rust-engine-macros v0.3.6 [INFO] [stderr] Compiling hax-lib-macros v0.3.6 [INFO] [stderr] Compiling zstd-safe v7.2.4 [INFO] [stderr] Checking zstd v0.13.3 [INFO] [stderr] Checking miette v7.6.0 [INFO] [stderr] Checking tracing v0.1.41 [INFO] [stderr] Compiling darling_macro v0.20.11 [INFO] [stderr] Checking clap v4.5.46 [INFO] [stderr] Compiling darling v0.20.11 [INFO] [stderr] Compiling derive_generic_visitor_macros v0.3.0 [INFO] [stderr] Checking derive_generic_visitor v0.3.0 [INFO] [stderr] Checking serde-brief v0.1.1 [INFO] [stderr] Checking serde_stacker v0.1.12 [INFO] [stderr] Checking schemars v0.8.22 [INFO] [stderr] Checking hax-frontend-exporter-options v0.3.6 [INFO] [stderr] Checking hax-lib-macros-types v0.3.6 [INFO] [stderr] Checking hax-frontend-exporter v0.3.6 [INFO] [stderr] Checking hax-rust-engine v0.3.6 (/opt/rustwide/workdir) [INFO] [stdout] warning: extern crate `hax_lib` is unused in crate `hax_rust_engine` [INFO] [stdout] | [INFO] [stdout] = help: remove the dependency or add `use hax_lib as _;` to the crate root [INFO] [stdout] note: the lint level is defined here [INFO] [stdout] --> src/lib.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | unused_crate_dependencies [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: ambiguous import visibility: pub or pub(in crate::printer::pretty_ast) [INFO] [stdout] --> src/backends.rs:149:45 [INFO] [stdout] | [INFO] [stdout] 149 | pretty_ast::{DocBuilder, PrettyAst, ToDocument, install_pretty_helpers}, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: ambiguous because of multiple glob imports of a name in the same module [INFO] [stdout] note: `ToDocument` could refer to the trait imported here [INFO] [stdout] --> src/printer/pretty_ast.rs:28:9 [INFO] [stdout] | [INFO] [stdout] 28 | pub use to_document::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] = help: consider adding an explicit import of `ToDocument` to disambiguate [INFO] [stdout] note: `ToDocument` could also refer to the trait imported here [INFO] [stdout] --> src/printer/pretty_ast.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | use super::*; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] = help: consider adding an explicit import of `ToDocument` to disambiguate [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #149145 [INFO] [stdout] = note: `#[deny(ambiguous_import_visibilities)]` (part of `#[deny(future_incompatible)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: ambiguous import visibility: pub or pub(in crate::printer::pretty_ast) [INFO] [stdout] --> src/backends.rs:149:45 [INFO] [stdout] | [INFO] [stdout] 149 | pretty_ast::{DocBuilder, PrettyAst, ToDocument, install_pretty_helpers}, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: ambiguous because of multiple glob imports of a name in the same module [INFO] [stdout] note: `ToDocument` could refer to the trait imported here [INFO] [stdout] --> src/printer/pretty_ast.rs:28:9 [INFO] [stdout] | [INFO] [stdout] 28 | pub use to_document::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] = help: consider adding an explicit import of `ToDocument` to disambiguate [INFO] [stdout] note: `ToDocument` could also refer to the trait imported here [INFO] [stdout] --> src/printer/pretty_ast.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | use super::*; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] = help: consider adding an explicit import of `ToDocument` to disambiguate [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #149145 [INFO] [stdout] = note: `#[deny(ambiguous_import_visibilities)]` (part of `#[deny(future_incompatible)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: ambiguous import visibility: pub(in crate::printer) or pub(in crate::printer::pretty_ast) [INFO] [stdout] --> src/printer.rs:17:26 [INFO] [stdout] | [INFO] [stdout] 17 | printer::pretty_ast::ToDocument, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: ambiguous because of multiple glob imports of a name in the same module [INFO] [stdout] note: `ToDocument` could refer to the trait imported here [INFO] [stdout] --> src/printer/pretty_ast.rs:28:9 [INFO] [stdout] | [INFO] [stdout] 28 | pub use to_document::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] = help: consider adding an explicit import of `ToDocument` to disambiguate [INFO] [stdout] note: `ToDocument` could also refer to the trait imported here [INFO] [stdout] --> src/printer/pretty_ast.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | use super::*; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] = help: consider adding an explicit import of `ToDocument` to disambiguate [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #149145 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: ambiguous import visibility: pub(in crate::printer) or pub(in crate::printer::pretty_ast) [INFO] [stdout] --> src/printer.rs:17:26 [INFO] [stdout] | [INFO] [stdout] 17 | printer::pretty_ast::ToDocument, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: ambiguous because of multiple glob imports of a name in the same module [INFO] [stdout] note: `ToDocument` could refer to the trait imported here [INFO] [stdout] --> src/printer/pretty_ast.rs:28:9 [INFO] [stdout] | [INFO] [stdout] 28 | pub use to_document::*; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] = help: consider adding an explicit import of `ToDocument` to disambiguate [INFO] [stdout] note: `ToDocument` could also refer to the trait imported here [INFO] [stdout] --> src/printer/pretty_ast.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | use super::*; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] = help: consider adding an explicit import of `ToDocument` to disambiguate [INFO] [stdout] = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! [INFO] [stdout] = note: for more information, see issue #149145 [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `hax-rust-engine` (lib test) due to 2 previous errors; 1 warning emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `hax-rust-engine` (lib) due to 2 previous errors [INFO] running `Command { std: "docker" "inspect" "d29ed2d22029e688f6f20f7785766a46c62fbaccfaf579a7af20855eb8cc5ac3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d29ed2d22029e688f6f20f7785766a46c62fbaccfaf579a7af20855eb8cc5ac3", kill_on_drop: false }` [INFO] [stdout] d29ed2d22029e688f6f20f7785766a46c62fbaccfaf579a7af20855eb8cc5ac3