[INFO] fetching crate hax-frontend-exporter 0.1.0-pre.1...
[INFO] documenting hax-frontend-exporter-0.1.0-pre.1 against 1.75.0 for beta-1.76-rustdoc-1
[INFO] extracting crate hax-frontend-exporter 0.1.0-pre.1 into /workspace/builds/worker-1-tc1/source
[INFO] validating manifest of crates.io crate hax-frontend-exporter 0.1.0-pre.1 on toolchain 1.75.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate hax-frontend-exporter 0.1.0-pre.1
[INFO] finished tweaking crates.io crate hax-frontend-exporter 0.1.0-pre.1
[INFO] tweaked toml for crates.io crate hax-frontend-exporter 0.1.0-pre.1 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.0" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded ext-trait-proc_macros v1.0.1
[INFO] [stderr]   Downloaded ext-trait v1.0.1
[INFO] [stderr]   Downloaded hax-frontend-exporter-options v0.1.0-pre.1
[INFO] [stderr]   Downloaded extension-traits v1.0.1
[INFO] [stderr]   Downloaded hax-adt-into v0.1.0-pre.1
[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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 3c6bd874c08d16afbc1a2a3612fb369759c9b5273befebc42d6315d765c73361
[INFO] running `Command { std: "docker" "start" "-a" "3c6bd874c08d16afbc1a2a3612fb369759c9b5273befebc42d6315d765c73361", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3c6bd874c08d16afbc1a2a3612fb369759c9b5273befebc42d6315d765c73361", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3c6bd874c08d16afbc1a2a3612fb369759c9b5273befebc42d6315d765c73361", kill_on_drop: false }`
[INFO] [stdout] 3c6bd874c08d16afbc1a2a3612fb369759c9b5273befebc42d6315d765c73361
[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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f3d27c6f9211354c0b471b59bfad260f569d2683835346961346d8d6879391a2
[INFO] running `Command { std: "docker" "start" "-a" "f3d27c6f9211354c0b471b59bfad260f569d2683835346961346d8d6879391a2", kill_on_drop: false }`
[INFO] [stderr]    Compiling schemars v0.8.16
[INFO] [stderr]     Checking dyn-clone v1.0.16
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling serde_derive v1.0.195
[INFO] [stderr]     Checking tracing v0.1.40
[INFO] [stderr]     Checking serde v1.0.195
[INFO] [stderr]    Compiling serde_derive_internals v0.26.0
[INFO] [stderr]    Compiling schemars_derive v0.8.16
[INFO] [stderr]    Compiling ext-trait-proc_macros v1.0.1
[INFO] [stderr]    Compiling hax-adt-into v0.1.0-pre.1
[INFO] [stderr]     Checking ext-trait v1.0.1
[INFO] [stderr]     Checking extension-traits v1.0.1
[INFO] [stderr]     Checking serde_json v1.0.111
[INFO] [stderr]     Checking hax-frontend-exporter-options v0.1.0-pre.1
[INFO] [stderr]  Documenting hax-frontend-exporter v0.1.0-pre.1 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0463]: can't find crate for `rustc_abi`
[INFO] [stdout]   --> src/lib.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | extern crate rustc_abi;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_ast`
[INFO] [stdout]   --> src/lib.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | extern crate rustc_ast;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_ast_pretty`
[INFO] [stdout]   --> src/lib.rs:14:1
[INFO] [stdout]    |
[INFO] [stdout] 14 | extern crate rustc_ast_pretty;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_data_structures`
[INFO] [stdout]   --> src/lib.rs:15:1
[INFO] [stdout]    |
[INFO] [stdout] 15 | extern crate rustc_data_structures;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_driver`
[INFO] [stdout]   --> src/lib.rs:16:1
[INFO] [stdout]    |
[INFO] [stdout] 16 | extern crate rustc_driver;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_errors`
[INFO] [stdout]   --> src/lib.rs:17:1
[INFO] [stdout]    |
[INFO] [stdout] 17 | extern crate rustc_errors;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_hir`
[INFO] [stdout]   --> src/lib.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | extern crate rustc_hir;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_hir_analysis`
[INFO] [stdout]   --> src/lib.rs:19:1
[INFO] [stdout]    |
[INFO] [stdout] 19 | extern crate rustc_hir_analysis;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_index`
[INFO] [stdout]   --> src/lib.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | extern crate rustc_index;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_infer`
[INFO] [stdout]   --> src/lib.rs:21:1
[INFO] [stdout]    |
[INFO] [stdout] 21 | extern crate rustc_infer;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_interface`
[INFO] [stdout]   --> src/lib.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | extern crate rustc_interface;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_middle`
[INFO] [stdout]   --> src/lib.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | extern crate rustc_middle;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_mir_build`
[INFO] [stdout]   --> src/lib.rs:24:1
[INFO] [stdout]    |
[INFO] [stdout] 24 | extern crate rustc_mir_build;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_session`
[INFO] [stdout]   --> src/lib.rs:25:1
[INFO] [stdout]    |
[INFO] [stdout] 25 | extern crate rustc_session;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_span`
[INFO] [stdout]   --> src/lib.rs:26:1
[INFO] [stdout]    |
[INFO] [stdout] 26 | extern crate rustc_span;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_target`
[INFO] [stdout]   --> src/lib.rs:27:1
[INFO] [stdout]    |
[INFO] [stdout] 27 | extern crate rustc_target;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_trait_selection`
[INFO] [stdout]   --> src/lib.rs:28:1
[INFO] [stdout]    |
[INFO] [stdout] 28 | extern crate rustc_trait_selection;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_type_ir`
[INFO] [stdout]   --> src/lib.rs:29:1
[INFO] [stdout]    |
[INFO] [stdout] 29 | extern crate rustc_type_ir;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]   --> src/traits.rs:53:14
[INFO] [stdout]    |
[INFO] [stdout] 53 |         tcx: TyCtxt<'tcx>,
[INFO] [stdout]    |              ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Predicate` in this scope
[INFO] [stdout]   --> src/traits.rs:54:42
[INFO] [stdout]    |
[INFO] [stdout] 54 |         predicates: impl Iterator<Item = Predicate<'tcx>>,
[INFO] [stdout]    |                                          ^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 47 +     use crate::Predicate;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TraitPredicate` in this scope
[INFO] [stdout]    --> src/traits.rs:56:31
[INFO] [stdout]     |
[INFO] [stdout] 56  |     ) -> impl Iterator<Item = TraitPredicate<'tcx>> {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 112 |     #[extension_traits::extension(pub trait TraitPredicateExt)]
[INFO] [stdout]     |                                   --- similarly named trait `TraitPredicateExt` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 56  |     ) -> impl Iterator<Item = TraitPredicateExt<'tcx>> {
[INFO] [stdout]     |                               ~~~~~~~~~~~~~~~~~
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 47  +     use crate::TraitPredicate;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `AssocItem` in this scope
[INFO] [stdout]   --> src/traits.rs:67:19
[INFO] [stdout]    |
[INFO] [stdout] 67 |         AssocItem(AssocItem, TraitPredicate<'tcx>),
[INFO] [stdout]    |                   ^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 47 +     use crate::AssocItem;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TraitPredicate` in this scope
[INFO] [stdout]    --> src/traits.rs:67:30
[INFO] [stdout]     |
[INFO] [stdout] 67  |         AssocItem(AssocItem, TraitPredicate<'tcx>),
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 112 |     #[extension_traits::extension(pub trait TraitPredicateExt)]
[INFO] [stdout]     |                                   --- similarly named trait `TraitPredicateExt` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 67  |         AssocItem(AssocItem, TraitPredicateExt<'tcx>),
[INFO] [stdout]     |                              ~~~~~~~~~~~~~~~~~
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 47  +     use crate::TraitPredicate;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TraitPredicate` in this scope
[INFO] [stdout]    --> src/traits.rs:68:16
[INFO] [stdout]     |
[INFO] [stdout] 68  |         Parent(TraitPredicate<'tcx>),
[INFO] [stdout]     |                ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 112 |     #[extension_traits::extension(pub trait TraitPredicateExt)]
[INFO] [stdout]     |                                   --- similarly named trait `TraitPredicateExt` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 68  |         Parent(TraitPredicateExt<'tcx>),
[INFO] [stdout]     |                ~~~~~~~~~~~~~~~~~
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 47  +     use crate::TraitPredicate;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Predicate` in this scope
[INFO] [stdout]   --> src/traits.rs:90:12
[INFO] [stdout]    |
[INFO] [stdout] 90 |         x: Predicate<'tcx>,
[INFO] [stdout]    |            ^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 47 +     use crate::Predicate;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Predicate` in this scope
[INFO] [stdout]   --> src/traits.rs:91:12
[INFO] [stdout]    |
[INFO] [stdout] 91 |         y: Predicate<'tcx>,
[INFO] [stdout]    |            ^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 47 +     use crate::Predicate;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TraitPredicate` in this scope
[INFO] [stdout]    --> src/traits.rs:114:57
[INFO] [stdout]     |
[INFO] [stdout] 112 |     #[extension_traits::extension(pub trait TraitPredicateExt)]
[INFO] [stdout]     |                                   --- similarly named trait `TraitPredicateExt` defined here
[INFO] [stdout] 113 |     impl<'tcx, S: UnderOwnerState<'tcx>> TraitPredicate<'tcx> {
[INFO] [stdout] 114 |         fn parents_trait_predicates(self, s: &S) -> Vec<TraitPredicate<'tcx>> {
[INFO] [stdout]     |                                                         ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 114 |         fn parents_trait_predicates(self, s: &S) -> Vec<TraitPredicateExt<'tcx>> {
[INFO] [stdout]     |                                                         ~~~~~~~~~~~~~~~~~
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 47  +     use crate::TraitPredicate;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `AssocItem` in this scope
[INFO] [stdout]    --> src/traits.rs:125:19
[INFO] [stdout]     |
[INFO] [stdout] 125 |         ) -> Vec<(AssocItem, subst::EarlyBinder<Vec<TraitPredicate<'tcx>>>)> {
[INFO] [stdout]     |                   ^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 47  +     use crate::AssocItem;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TraitPredicate` in this scope
[INFO] [stdout]    --> src/traits.rs:125:53
[INFO] [stdout]     |
[INFO] [stdout] 112 |     #[extension_traits::extension(pub trait TraitPredicateExt)]
[INFO] [stdout]     |                                   --- similarly named trait `TraitPredicateExt` defined here
[INFO] [stdout] ...
[INFO] [stdout] 125 |         ) -> Vec<(AssocItem, subst::EarlyBinder<Vec<TraitPredicate<'tcx>>>)> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 125 |         ) -> Vec<(AssocItem, subst::EarlyBinder<Vec<TraitPredicateExt<'tcx>>>)> {
[INFO] [stdout]     |                                                     ~~~~~~~~~~~~~~~~~
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 47  +     use crate::TraitPredicate;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stdout]    --> src/traits.rs:148:21
[INFO] [stdout]     |
[INFO] [stdout] 148 |             target: PolyTraitRef<'tcx>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TraitPredicate` in this scope
[INFO] [stdout]    --> src/traits.rs:113:42
[INFO] [stdout]     |
[INFO] [stdout] 112 |     #[extension_traits::extension(pub trait TraitPredicateExt)]
[INFO] [stdout]     |                                   --- similarly named trait `TraitPredicateExt` defined here
[INFO] [stdout] 113 |     impl<'tcx, S: UnderOwnerState<'tcx>> TraitPredicate<'tcx> {
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 113 |     impl<'tcx, S: UnderOwnerState<'tcx>> TraitPredicateExt<'tcx> {
[INFO] [stdout]     |                                          ~~~~~~~~~~~~~~~~~
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 47  +     use crate::TraitPredicate;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(rustc_private)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:2:1
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(box_patterns)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:3:1
[INFO] [stdout]   |
[INFO] [stdout] 3 | #![feature(concat_idents)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:4:1
[INFO] [stdout]   |
[INFO] [stdout] 4 | #![feature(trait_alias)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:5:1
[INFO] [stdout]   |
[INFO] [stdout] 5 | #![feature(type_changing_struct_update)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | #![feature(macro_metavar_expr)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:7:1
[INFO] [stdout]   |
[INFO] [stdout] 7 | #![feature(if_let_guard)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:8:1
[INFO] [stdout]   |
[INFO] [stdout] 8 | #![feature(let_chains)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]   --> src/lib.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | #![feature(specialization)]
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `subst`
[INFO] [stdout]   --> src/traits.rs:55:17
[INFO] [stdout]    |
[INFO] [stdout] 55 |         substs: subst::SubstsRef<'tcx>,
[INFO] [stdout]    |                 ^^^^^ use of undeclared crate or module `subst`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `subst`
[INFO] [stdout]    --> src/traits.rs:125:30
[INFO] [stdout]     |
[INFO] [stdout] 125 |         ) -> Vec<(AssocItem, subst::EarlyBinder<Vec<TraitPredicate<'tcx>>>)> {
[INFO] [stdout]     |                              ^^^^^ use of undeclared crate or module `subst`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 42 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0412, E0433, E0463, E0554.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0412`.
[INFO] [stdout] 
[INFO] [stderr] error: could not document `hax-frontend-exporter`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/bin/rustdoc --edition=2021 --crate-type lib --crate-name hax_frontend_exporter src/lib.rs -o /opt/rustwide/target/doc --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --document-private-items -C metadata=5b8cc0cab698a3f7 -L dependency=/opt/rustwide/target/debug/deps --extern extension_traits=/opt/rustwide/target/debug/deps/libextension_traits-5d95a9ac0e6a73a0.rmeta --extern hax_adt_into=/opt/rustwide/target/debug/deps/libhax_adt_into-9cfcf992f2ca7643.so --extern hax_frontend_exporter_options=/opt/rustwide/target/debug/deps/libhax_frontend_exporter_options-ed1890cc02f9e732.rmeta --extern itertools=/opt/rustwide/target/debug/deps/libitertools-37d18c38d1137595.rmeta --extern lazy_static=/opt/rustwide/target/debug/deps/liblazy_static-e7445b4e8703c20b.rmeta --extern paste=/opt/rustwide/target/debug/deps/libpaste-5d8b8ccb77a64e55.so --extern schemars=/opt/rustwide/target/debug/deps/libschemars-31f19f7563b96176.rmeta --extern serde=/opt/rustwide/target/debug/deps/libserde-2b3a545e0ddd678d.rmeta --extern serde_json=/opt/rustwide/target/debug/deps/libserde_json-3cc578aa39049453.rmeta --extern tracing=/opt/rustwide/target/debug/deps/libtracing-ab1b3bdfca13e0cd.rmeta --cap-lints=warn --crate-version 0.1.0-pre.1` (exit status: 1)
[INFO] running `Command { std: "docker" "inspect" "f3d27c6f9211354c0b471b59bfad260f569d2683835346961346d8d6879391a2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f3d27c6f9211354c0b471b59bfad260f569d2683835346961346d8d6879391a2", kill_on_drop: false }`
[INFO] [stdout] f3d27c6f9211354c0b471b59bfad260f569d2683835346961346d8d6879391a2
[INFO] documenting hax-frontend-exporter-0.1.0-pre.1 against beta-2023-12-22 for beta-1.76-rustdoc-1
[INFO] extracting crate hax-frontend-exporter 0.1.0-pre.1 into /workspace/builds/worker-1-tc2/source
[INFO] validating manifest of crates.io crate hax-frontend-exporter 0.1.0-pre.1 on toolchain beta-2023-12-22
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-12-22" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate hax-frontend-exporter 0.1.0-pre.1
[INFO] finished tweaking crates.io crate hax-frontend-exporter 0.1.0-pre.1
[INFO] tweaked toml for crates.io crate hax-frontend-exporter 0.1.0-pre.1 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-12-22" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-12-22" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-12-22" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 61f26d8afc6105b78bcfbae1c4ab9b3ca9c5d1edfa138d1743d8e546faf47069
[INFO] running `Command { std: "docker" "start" "-a" "61f26d8afc6105b78bcfbae1c4ab9b3ca9c5d1edfa138d1743d8e546faf47069", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "61f26d8afc6105b78bcfbae1c4ab9b3ca9c5d1edfa138d1743d8e546faf47069", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "61f26d8afc6105b78bcfbae1c4ab9b3ca9c5d1edfa138d1743d8e546faf47069", kill_on_drop: false }`
[INFO] [stdout] 61f26d8afc6105b78bcfbae1c4ab9b3ca9c5d1edfa138d1743d8e546faf47069
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-12-22" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4d7a9b4bdf36c75052cd531acb6ff6542a8ad410d1931bbab13a4e6e78d6a294
[INFO] running `Command { std: "docker" "start" "-a" "4d7a9b4bdf36c75052cd531acb6ff6542a8ad410d1931bbab13a4e6e78d6a294", kill_on_drop: false }`
[INFO] [stderr]    Compiling schemars v0.8.16
[INFO] [stderr]     Checking dyn-clone v1.0.16
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling serde_derive v1.0.195
[INFO] [stderr]     Checking tracing v0.1.40
[INFO] [stderr]     Checking serde v1.0.195
[INFO] [stderr]    Compiling serde_derive_internals v0.26.0
[INFO] [stderr]    Compiling ext-trait-proc_macros v1.0.1
[INFO] [stderr]    Compiling schemars_derive v0.8.16
[INFO] [stderr]    Compiling hax-adt-into v0.1.0-pre.1
[INFO] [stderr]     Checking ext-trait v1.0.1
[INFO] [stderr]     Checking extension-traits v1.0.1
[INFO] [stderr]     Checking serde_json v1.0.111
[INFO] [stderr]     Checking hax-frontend-exporter-options v0.1.0-pre.1
[INFO] [stderr]  Documenting hax-frontend-exporter v0.1.0-pre.1 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0463]: can't find crate for `rustc_abi`
[INFO] [stdout]   --> src/lib.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | extern crate rustc_abi;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_ast`
[INFO] [stdout]   --> src/lib.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | extern crate rustc_ast;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_ast_pretty`
[INFO] [stdout]   --> src/lib.rs:14:1
[INFO] [stdout]    |
[INFO] [stdout] 14 | extern crate rustc_ast_pretty;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_data_structures`
[INFO] [stdout]   --> src/lib.rs:15:1
[INFO] [stdout]    |
[INFO] [stdout] 15 | extern crate rustc_data_structures;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_driver`
[INFO] [stdout]   --> src/lib.rs:16:1
[INFO] [stdout]    |
[INFO] [stdout] 16 | extern crate rustc_driver;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_errors`
[INFO] [stdout]   --> src/lib.rs:17:1
[INFO] [stdout]    |
[INFO] [stdout] 17 | extern crate rustc_errors;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_hir`
[INFO] [stdout]   --> src/lib.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | extern crate rustc_hir;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_hir_analysis`
[INFO] [stdout]   --> src/lib.rs:19:1
[INFO] [stdout]    |
[INFO] [stdout] 19 | extern crate rustc_hir_analysis;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_index`
[INFO] [stdout]   --> src/lib.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | extern crate rustc_index;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_infer`
[INFO] [stdout]   --> src/lib.rs:21:1
[INFO] [stdout]    |
[INFO] [stdout] 21 | extern crate rustc_infer;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_interface`
[INFO] [stdout]   --> src/lib.rs:22:1
[INFO] [stdout]    |
[INFO] [stdout] 22 | extern crate rustc_interface;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_middle`
[INFO] [stdout]   --> src/lib.rs:23:1
[INFO] [stdout]    |
[INFO] [stdout] 23 | extern crate rustc_middle;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_mir_build`
[INFO] [stdout]   --> src/lib.rs:24:1
[INFO] [stdout]    |
[INFO] [stdout] 24 | extern crate rustc_mir_build;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_session`
[INFO] [stdout]   --> src/lib.rs:25:1
[INFO] [stdout]    |
[INFO] [stdout] 25 | extern crate rustc_session;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_span`
[INFO] [stdout]   --> src/lib.rs:26:1
[INFO] [stdout]    |
[INFO] [stdout] 26 | extern crate rustc_span;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_target`
[INFO] [stdout]   --> src/lib.rs:27:1
[INFO] [stdout]    |
[INFO] [stdout] 27 | extern crate rustc_target;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_trait_selection`
[INFO] [stdout]   --> src/lib.rs:28:1
[INFO] [stdout]    |
[INFO] [stdout] 28 | extern crate rustc_trait_selection;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_type_ir`
[INFO] [stdout]   --> src/lib.rs:29:1
[INFO] [stdout]    |
[INFO] [stdout] 29 | extern crate rustc_type_ir;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stdout]   --> src/traits.rs:53:14
[INFO] [stdout]    |
[INFO] [stdout] 53 |         tcx: TyCtxt<'tcx>,
[INFO] [stdout]    |              ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Predicate` in this scope
[INFO] [stdout]   --> src/traits.rs:54:42
[INFO] [stdout]    |
[INFO] [stdout] 54 |         predicates: impl Iterator<Item = Predicate<'tcx>>,
[INFO] [stdout]    |                                          ^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 47 +     use crate::Predicate;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TraitPredicate` in this scope
[INFO] [stdout]    --> src/traits.rs:56:31
[INFO] [stdout]     |
[INFO] [stdout] 56  |     ) -> impl Iterator<Item = TraitPredicate<'tcx>> {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 112 |     #[extension_traits::extension(pub trait TraitPredicateExt)]
[INFO] [stdout]     |                                   --- similarly named trait `TraitPredicateExt` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 56  |     ) -> impl Iterator<Item = TraitPredicateExt<'tcx>> {
[INFO] [stdout]     |                               ~~~~~~~~~~~~~~~~~
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 47  +     use crate::TraitPredicate;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `AssocItem` in this scope
[INFO] [stdout]   --> src/traits.rs:67:19
[INFO] [stdout]    |
[INFO] [stdout] 67 |         AssocItem(AssocItem, TraitPredicate<'tcx>),
[INFO] [stdout]    |                   ^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 47 +     use crate::AssocItem;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TraitPredicate` in this scope
[INFO] [stdout]    --> src/traits.rs:67:30
[INFO] [stdout]     |
[INFO] [stdout] 67  |         AssocItem(AssocItem, TraitPredicate<'tcx>),
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 112 |     #[extension_traits::extension(pub trait TraitPredicateExt)]
[INFO] [stdout]     |                                   --- similarly named trait `TraitPredicateExt` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 67  |         AssocItem(AssocItem, TraitPredicateExt<'tcx>),
[INFO] [stdout]     |                              ~~~~~~~~~~~~~~~~~
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 47  +     use crate::TraitPredicate;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TraitPredicate` in this scope
[INFO] [stdout]    --> src/traits.rs:68:16
[INFO] [stdout]     |
[INFO] [stdout] 68  |         Parent(TraitPredicate<'tcx>),
[INFO] [stdout]     |                ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 112 |     #[extension_traits::extension(pub trait TraitPredicateExt)]
[INFO] [stdout]     |                                   --- similarly named trait `TraitPredicateExt` defined here
[INFO] [stdout]     |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 68  |         Parent(TraitPredicateExt<'tcx>),
[INFO] [stdout]     |                ~~~~~~~~~~~~~~~~~
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 47  +     use crate::TraitPredicate;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Predicate` in this scope
[INFO] [stdout]   --> src/traits.rs:90:12
[INFO] [stdout]    |
[INFO] [stdout] 90 |         x: Predicate<'tcx>,
[INFO] [stdout]    |            ^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 47 +     use crate::Predicate;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Predicate` in this scope
[INFO] [stdout]   --> src/traits.rs:91:12
[INFO] [stdout]    |
[INFO] [stdout] 91 |         y: Predicate<'tcx>,
[INFO] [stdout]    |            ^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias through its public re-export
[INFO] [stdout]    |
[INFO] [stdout] 47 +     use crate::Predicate;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TraitPredicate` in this scope
[INFO] [stdout]    --> src/traits.rs:114:57
[INFO] [stdout]     |
[INFO] [stdout] 112 |     #[extension_traits::extension(pub trait TraitPredicateExt)]
[INFO] [stdout]     |                                   --- similarly named trait `TraitPredicateExt` defined here
[INFO] [stdout] 113 |     impl<'tcx, S: UnderOwnerState<'tcx>> TraitPredicate<'tcx> {
[INFO] [stdout] 114 |         fn parents_trait_predicates(self, s: &S) -> Vec<TraitPredicate<'tcx>> {
[INFO] [stdout]     |                                                         ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 114 |         fn parents_trait_predicates(self, s: &S) -> Vec<TraitPredicateExt<'tcx>> {
[INFO] [stdout]     |                                                         ~~~~~~~~~~~~~~~~~
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 47  +     use crate::TraitPredicate;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `AssocItem` in this scope
[INFO] [stdout]    --> src/traits.rs:125:19
[INFO] [stdout]     |
[INFO] [stdout] 125 |         ) -> Vec<(AssocItem, subst::EarlyBinder<Vec<TraitPredicate<'tcx>>>)> {
[INFO] [stdout]     |                   ^^^^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 47  +     use crate::AssocItem;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TraitPredicate` in this scope
[INFO] [stdout]    --> src/traits.rs:125:53
[INFO] [stdout]     |
[INFO] [stdout] 112 |     #[extension_traits::extension(pub trait TraitPredicateExt)]
[INFO] [stdout]     |                                   --- similarly named trait `TraitPredicateExt` defined here
[INFO] [stdout] ...
[INFO] [stdout] 125 |         ) -> Vec<(AssocItem, subst::EarlyBinder<Vec<TraitPredicate<'tcx>>>)> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 125 |         ) -> Vec<(AssocItem, subst::EarlyBinder<Vec<TraitPredicateExt<'tcx>>>)> {
[INFO] [stdout]     |                                                     ~~~~~~~~~~~~~~~~~
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 47  +     use crate::TraitPredicate;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stdout]    --> src/traits.rs:148:21
[INFO] [stdout]     |
[INFO] [stdout] 148 |             target: PolyTraitRef<'tcx>,
[INFO] [stdout]     |                     ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `TraitPredicate` in this scope
[INFO] [stdout]    --> src/traits.rs:113:42
[INFO] [stdout]     |
[INFO] [stdout] 112 |     #[extension_traits::extension(pub trait TraitPredicateExt)]
[INFO] [stdout]     |                                   --- similarly named trait `TraitPredicateExt` defined here
[INFO] [stdout] 113 |     impl<'tcx, S: UnderOwnerState<'tcx>> TraitPredicate<'tcx> {
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: a trait with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 113 |     impl<'tcx, S: UnderOwnerState<'tcx>> TraitPredicateExt<'tcx> {
[INFO] [stdout]     |                                          ~~~~~~~~~~~~~~~~~
[INFO] [stdout] help: consider importing this struct through its public re-export
[INFO] [stdout]     |
[INFO] [stdout] 47  +     use crate::TraitPredicate;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> src/lib.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(rustc_private)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> src/lib.rs:2:1
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(box_patterns)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> src/lib.rs:3:1
[INFO] [stdout]   |
[INFO] [stdout] 3 | #![feature(concat_idents)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> src/lib.rs:4:1
[INFO] [stdout]   |
[INFO] [stdout] 4 | #![feature(trait_alias)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> src/lib.rs:5:1
[INFO] [stdout]   |
[INFO] [stdout] 5 | #![feature(type_changing_struct_update)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> src/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | #![feature(macro_metavar_expr)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> src/lib.rs:7:1
[INFO] [stdout]   |
[INFO] [stdout] 7 | #![feature(if_let_guard)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> src/lib.rs:8:1
[INFO] [stdout]   |
[INFO] [stdout] 8 | #![feature(let_chains)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]   --> src/lib.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | #![feature(specialization)]
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `subst`
[INFO] [stdout]   --> src/traits.rs:55:17
[INFO] [stdout]    |
[INFO] [stdout] 55 |         substs: subst::SubstsRef<'tcx>,
[INFO] [stdout]    |                 ^^^^^ use of undeclared crate or module `subst`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `subst`
[INFO] [stdout]    --> src/traits.rs:125:30
[INFO] [stdout]     |
[INFO] [stdout] 125 |         ) -> Vec<(AssocItem, subst::EarlyBinder<Vec<TraitPredicate<'tcx>>>)> {
[INFO] [stdout]     |                              ^^^^^ use of undeclared crate or module `subst`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 42 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0412, E0433, E0463, E0554.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0412`.
[INFO] [stdout] 
[INFO] [stderr] error: could not document `hax-frontend-exporter`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/beta-2023-12-22-x86_64-unknown-linux-gnu/bin/rustdoc --edition=2021 --crate-type lib --crate-name hax_frontend_exporter src/lib.rs -o /opt/rustwide/target/doc --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --document-private-items -C metadata=8673a709078d871d -L dependency=/opt/rustwide/target/debug/deps --extern extension_traits=/opt/rustwide/target/debug/deps/libextension_traits-e9fe862e42b9e2a2.rmeta --extern hax_adt_into=/opt/rustwide/target/debug/deps/libhax_adt_into-ee0923698a6f8533.so --extern hax_frontend_exporter_options=/opt/rustwide/target/debug/deps/libhax_frontend_exporter_options-abcb4f41227daf88.rmeta --extern itertools=/opt/rustwide/target/debug/deps/libitertools-eca5ad62b8e47f03.rmeta --extern lazy_static=/opt/rustwide/target/debug/deps/liblazy_static-cc91e7c9c894213a.rmeta --extern paste=/opt/rustwide/target/debug/deps/libpaste-abc4f255c9df8716.so --extern schemars=/opt/rustwide/target/debug/deps/libschemars-44fff6ce4bc4f5e8.rmeta --extern serde=/opt/rustwide/target/debug/deps/libserde-7fbe5674bf7c2f0a.rmeta --extern serde_json=/opt/rustwide/target/debug/deps/libserde_json-dbc11a6c8b02ecf7.rmeta --extern tracing=/opt/rustwide/target/debug/deps/libtracing-141a6d0a40c65d47.rmeta --cap-lints=warn --crate-version 0.1.0-pre.1` (exit status: 1)
[INFO] running `Command { std: "docker" "inspect" "4d7a9b4bdf36c75052cd531acb6ff6542a8ad410d1931bbab13a4e6e78d6a294", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4d7a9b4bdf36c75052cd531acb6ff6542a8ad410d1931bbab13a4e6e78d6a294", kill_on_drop: false }`
[INFO] [stdout] 4d7a9b4bdf36c75052cd531acb6ff6542a8ad410d1931bbab13a4e6e78d6a294
