hax-frontend-exporter 0.1.0

Provides mirrors of the algebraic data types used in the Rust compilers, removing indirections and inlining various pieces of information.
Build #1650064 2025-01-20T13:42:34.661940+00:00
# rustc version
rustc 1.86.0-nightly (9a1d156f3 2025-01-19)# docs.rs version
docsrs 0.6.0 (13d4ccea 2025-01-13)# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/hax-frontend-exporter-0.1.0/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/hax-frontend-exporter-0.1.0/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "6442450944" "--cpus" "6" "--user" "1001:1001" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20250119-1.86.0-nightly-9a1d156f3\", \"--static-root-path\", \"/-/rustdoc.static/\", \"--cap-lints\", \"warn\", \"--extern-html-root-takes-precedence\"]" "--offline" "-Zunstable-options" "--config=doc.extern-map.registries.crates-io=\"https://docs.rs/{pkg_name}/{version}/x86_64-unknown-linux-gnu\"" "-Zrustdoc-scrape-examples" "-j6" "--target" "x86_64-unknown-linux-gnu", kill_on_drop: false }`
[INFO] [stdout] decc893d33d9cc543032a094ca070ea10394deb47d258e5a1ac33cf90832dfb7
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "decc893d33d9cc543032a094ca070ea10394deb47d258e5a1ac33cf90832dfb7", kill_on_drop: false }`
[INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op
[INFO] [stderr]  Documenting hax-frontend-exporter v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr] error[E0463]: can't find crate for `rustc_attr`
[INFO] [stderr]   --> src/lib.rs:25:5
[INFO] [stderr]    |
[INFO] [stderr] 25 |     extern crate rustc_attr;
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stderr]    |
[INFO] [stderr]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved import `rustc_middle::ty::ToPolyTraitRef`
[INFO] [stderr]    --> src/traits.rs:124:9
[INFO] [stderr]     |
[INFO] [stderr] 124 |     use rustc_middle::ty::ToPolyTraitRef;
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^--------------
[INFO] [stderr]     |         |                 |
[INFO] [stderr]     |         |                 help: a similar name exists in the module: `PolyTraitRef`
[INFO] [stderr]     |         no `ToPolyTraitRef` in `ty`
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved import `crate::rustc_middle::ty::ToPolyTraitRef`
[INFO] [stderr]    --> src/traits.rs:211:9
[INFO] [stderr]     |
[INFO] [stderr] 211 |     use crate::rustc_middle::ty::ToPolyTraitRef;
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^--------------
[INFO] [stderr]     |         |                        |
[INFO] [stderr]     |         |                        help: a similar name exists in the module: `PolyTraitRef`
[INFO] [stderr]     |         no `ToPolyTraitRef` in `ty`
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved import `rustc_ast::ast::AttrArgsEq`
[INFO] [stderr]     --> src/types/hir.rs:1087:10
[INFO] [stderr]      |
[INFO] [stderr] 1087 | #[derive(AdtInto)]
[INFO] [stderr]      |          ^^^^^^^ no `AttrArgsEq` in `ast`
[INFO] [stderr] 1088 | #[args(<'tcx, S: BaseState<'tcx>>, from: rustc_ast::ast::AttrArgsEq, state: S as tcx)]
[INFO] [stderr]      |                                                          ---------- help: a similar name exists in the module: `AttrArgs`
[INFO] [stderr]      |
[INFO] [stderr]      = note: this error originates in the derive macro `AdtInto` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] error[E0412]: cannot find type `AttrArgsEq` in module `rustc_ast::ast`
[INFO] [stderr]     --> src/types/hir.rs:1088:58
[INFO] [stderr]      |
[INFO] [stderr] 1088 | #[args(<'tcx, S: BaseState<'tcx>>, from: rustc_ast::ast::AttrArgsEq, state: S as tcx)]
[INFO] [stderr]      |                                                          ^^^^^^^^^^
[INFO] [stderr]     --> /rustc/9a1d156f38c51441ee51e5a068f1d0caf4bb0f27/compiler/rustc_ast/src/ast.rs:1745:1
[INFO] [stderr]      |
[INFO] [stderr]      = note: similarly named enum `AttrArgs` defined here
[INFO] [stderr]      |
[INFO] [stderr] help: an enum with a similar name exists
[INFO] [stderr]      |
[INFO] [stderr] 1088 | #[args(<'tcx, S: BaseState<'tcx>>, from: rustc_ast::ast::AttrArgs, state: S as tcx)]
[INFO] [stderr]      |                                                          ~~~~~~~~
[INFO] [stderr] help: consider importing this enum through its public re-export
[INFO] [stderr]      |
[INFO] [stderr] 5    + use crate::AttrArgsEq;
[INFO] [stderr]      |
[INFO] [stderr] help: if you import `AttrArgsEq`, refer to it directly
[INFO] [stderr]      |
[INFO] [stderr] 1088 - #[args(<'tcx, S: BaseState<'tcx>>, from: rustc_ast::ast::AttrArgsEq, state: S as tcx)]
[INFO] [stderr] 1088 + #[args(<'tcx, S: BaseState<'tcx>>, from: AttrArgsEq, state: S as tcx)]
[INFO] [stderr]      |
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: struct `ReprOptions` is private
[INFO] [stderr]    --> src/types/ty.rs:913:52
[INFO] [stderr]     |
[INFO] [stderr] 913 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: ty::ReprOptions, state: S as s)]
[INFO] [stderr]     |                                                    ^^^^^^^^^^^ private struct
[INFO] [stderr]     |
[INFO] [stderr] note: the struct `ReprOptions` is defined here
[INFO] [stderr]    --> /rustc/9a1d156f38c51441ee51e5a068f1d0caf4bb0f27/compiler/rustc_middle/src/ty/mod.rs:27:67
[INFO] [stderr] 
[INFO] [stderr] error[E0603]: struct `ReprOptions` is private
[INFO] [stderr]    --> src/types/ty.rs:913:52
[INFO] [stderr]     |
[INFO] [stderr] 913 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: ty::ReprOptions, state: S as s)]
[INFO] [stderr]     |                                                    ^^^^^^^^^^^ private struct
[INFO] [stderr]     |
[INFO] [stderr] note: the struct `ReprOptions` is defined here
[INFO] [stderr]    --> /rustc/9a1d156f38c51441ee51e5a068f1d0caf4bb0f27/compiler/rustc_middle/src/ty/mod.rs:27:67
[INFO] [stderr] help: consider importing one of these structs instead
[INFO] [stderr]     |
[INFO] [stderr] 913 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: crate::prelude::rustc_target::abi::ReprOptions, state: S as s)]
[INFO] [stderr]     |                                                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] 913 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_abi::ReprOptions, state: S as s)]
[INFO] [stderr]     |                                                ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] 913 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_target::abi::ReprOptions, state: S as s)]
[INFO] [stderr]     |                                                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] help: import `ReprOptions` directly
[INFO] [stderr]     |
[INFO] [stderr] 913 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: rustc_abi::ReprOptions, state: S as s)]
[INFO] [stderr]     |                                                ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] 
[INFO] [stderr] error[E0107]: missing generics for enum `rustc_hir::OpaqueTyOrigin`
[INFO] [stderr]    --> src/types/hir.rs:842:53
[INFO] [stderr]     |
[INFO] [stderr] 842 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: hir::OpaqueTyOrigin, state: S as tcx)]
[INFO] [stderr]     |                                                     ^^^^^^^^^^^^^^ expected 1 generic argument
[INFO] [stderr]     |
[INFO] [stderr] help: add missing generic argument
[INFO] [stderr]     |
[INFO] [stderr] 842 | #[args(<'tcx, S: UnderOwnerState<'tcx>>, from: hir::OpaqueTyOrigin<D>, state: S as tcx)]
[INFO] [stderr]     |                                                                   +++
[INFO] [stderr] 
[INFO] [stderr] Some errors have detailed explanations: E0107, E0412, E0432, E0463, E0603.
[INFO] [stderr] For more information about an error, try `rustc --explain E0107`.
[INFO] [stderr] error: could not document `hax-frontend-exporter`
[INFO] running `Command { std: "docker" "inspect" "decc893d33d9cc543032a094ca070ea10394deb47d258e5a1ac33cf90832dfb7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "decc893d33d9cc543032a094ca070ea10394deb47d258e5a1ac33cf90832dfb7", kill_on_drop: false }`
[INFO] [stdout] decc893d33d9cc543032a094ca070ea10394deb47d258e5a1ac33cf90832dfb7