Build #1383054 2024-10-07T14:08:44.720346+00:00
# rustc version
rustc 1.83.0-nightly (55a22d2a6 2024-10-06)# docs.rs version
docsrs 0.6.0 (d5a37845 2024-09-24)# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/hax-frontend-exporter-0.1.0-alpha.1/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/hax-frontend-exporter-0.1.0-alpha.1/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:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20241006-1.83.0-nightly-55a22d2a6\", \"--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}/i686-pc-windows-msvc\"" "-Zrustdoc-scrape-examples" "-j6" "--target" "i686-pc-windows-msvc", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] f3275f6a8f19c301b81dabfc525ea817986dd7bc637ff39f7cacac6eb430e27f
[INFO] running `Command { std: "docker" "start" "-a" "f3275f6a8f19c301b81dabfc525ea817986dd7bc637ff39f7cacac6eb430e27f", 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-alpha.1 (/opt/rustwide/workdir)
[INFO] [stderr] error[E0463]: can't find crate for `rustc_abi`
[INFO] [stderr] --> src/lib.rs:22:5
[INFO] [stderr] |
[INFO] [stderr] 22 | extern crate rustc_abi;
[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[E0463]: can't find crate for `rustc_ast`
[INFO] [stderr] --> src/lib.rs:23:5
[INFO] [stderr] |
[INFO] [stderr] 23 | extern crate rustc_ast;
[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[E0463]: can't find crate for `rustc_ast_pretty`
[INFO] [stderr] --> src/lib.rs:24:5
[INFO] [stderr] |
[INFO] [stderr] 24 | extern crate rustc_ast_pretty;
[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[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[E0463]: can't find crate for `rustc_data_structures`
[INFO] [stderr] --> src/lib.rs:26:5
[INFO] [stderr] |
[INFO] [stderr] 26 | extern crate rustc_data_structures;
[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[E0463]: can't find crate for `rustc_driver`
[INFO] [stderr] --> src/lib.rs:27:5
[INFO] [stderr] |
[INFO] [stderr] 27 | extern crate rustc_driver;
[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[E0463]: can't find crate for `rustc_errors`
[INFO] [stderr] --> src/lib.rs:28:5
[INFO] [stderr] |
[INFO] [stderr] 28 | extern crate rustc_errors;
[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[E0463]: can't find crate for `rustc_hir`
[INFO] [stderr] --> src/lib.rs:29:5
[INFO] [stderr] |
[INFO] [stderr] 29 | extern crate rustc_hir;
[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[E0463]: can't find crate for `rustc_hir_analysis`
[INFO] [stderr] --> src/lib.rs:30:5
[INFO] [stderr] |
[INFO] [stderr] 30 | extern crate rustc_hir_analysis;
[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[E0463]: can't find crate for `rustc_index`
[INFO] [stderr] --> src/lib.rs:31:5
[INFO] [stderr] |
[INFO] [stderr] 31 | extern crate rustc_index;
[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[E0463]: can't find crate for `rustc_infer`
[INFO] [stderr] --> src/lib.rs:32:5
[INFO] [stderr] |
[INFO] [stderr] 32 | extern crate rustc_infer;
[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[E0463]: can't find crate for `rustc_interface`
[INFO] [stderr] --> src/lib.rs:33:5
[INFO] [stderr] |
[INFO] [stderr] 33 | extern crate rustc_interface;
[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[E0463]: can't find crate for `rustc_middle`
[INFO] [stderr] --> src/lib.rs:34:5
[INFO] [stderr] |
[INFO] [stderr] 34 | extern crate rustc_middle;
[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[E0463]: can't find crate for `rustc_mir_build`
[INFO] [stderr] --> src/lib.rs:35:5
[INFO] [stderr] |
[INFO] [stderr] 35 | extern crate rustc_mir_build;
[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[E0463]: can't find crate for `rustc_session`
[INFO] [stderr] --> src/lib.rs:36:5
[INFO] [stderr] |
[INFO] [stderr] 36 | extern crate rustc_session;
[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[E0463]: can't find crate for `rustc_span`
[INFO] [stderr] --> src/lib.rs:37:5
[INFO] [stderr] |
[INFO] [stderr] 37 | extern crate rustc_span;
[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[E0463]: can't find crate for `rustc_target`
[INFO] [stderr] --> src/lib.rs:38:5
[INFO] [stderr] |
[INFO] [stderr] 38 | extern crate rustc_target;
[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[E0463]: can't find crate for `rustc_trait_selection`
[INFO] [stderr] --> src/lib.rs:39:5
[INFO] [stderr] |
[INFO] [stderr] 39 | extern crate rustc_trait_selection;
[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[E0463]: can't find crate for `rustc_type_ir`
[INFO] [stderr] --> src/lib.rs:40:5
[INFO] [stderr] |
[INFO] [stderr] 40 | extern crate rustc_type_ir;
[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[E0463]: can't find crate for `rustc_lexer`
[INFO] [stderr] --> src/lib.rs:41:5
[INFO] [stderr] |
[INFO] [stderr] 41 | extern crate rustc_lexer;
[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 imports `super::AnnotatedTraitPred`, `super::Path`, `super::PathChunk`, `super::TyCtxtExtPredOrAbove`, `ty::ClosureArgs`, `ty::Upcast`, `DefKind::*`
[INFO] [stderr] --> src/types/copied.rs:3812:10
[INFO] [stderr] |
[INFO] [stderr] 3812 | #[derive(AdtInto)]
[INFO] [stderr] | ^^^^^^^
[INFO] [stderr] |
[INFO] [stderr] ::: src/types/new/full_def.rs:82:17
[INFO] [stderr] |
[INFO] [stderr] 82 | use ty::Upcast;
[INFO] [stderr] | ^^^^^^^^^^
[INFO] [stderr] |
[INFO] [stderr] ::: src/traits.rs:148:17
[INFO] [stderr] |
[INFO] [stderr] 148 | use DefKind::*;
[INFO] [stderr] | ^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 246 | use super::{AnnotatedTraitPred, Path, PathChunk, TyCtxtExtPredOrAbove};
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ ^^^^ ^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^
[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 `PolyTraitPredicate` in this scope
[INFO] [stderr] --> src/traits.rs:133:21
[INFO] [stderr] |
[INFO] [stderr] 133 | pub clause: PolyTraitPredicate<'tcx>,
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stderr] --> src/traits.rs:145:17
[INFO] [stderr] |
[INFO] [stderr] 145 | Vec<PolyTraitPredicate<'tcx>>,
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stderr] --> src/traits.rs:146:20
[INFO] [stderr] |
[INFO] [stderr] 146 | Option<PolyTraitPredicate<'tcx>>,
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stderr] --> src/traits.rs:137:16
[INFO] [stderr] |
[INFO] [stderr] 137 | impl<'tcx> TyCtxt<'tcx> {
[INFO] [stderr] | ^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stderr] --> src/traits.rs:268:18
[INFO] [stderr] |
[INFO] [stderr] 268 | tcx: TyCtxt<'tcx>,
[INFO] [stderr] | ^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `Predicate` in this scope
[INFO] [stderr] --> src/traits.rs:269:16
[INFO] [stderr] |
[INFO] [stderr] 269 | x: Predicate<'tcx>,
[INFO] [stderr] | ^^^^^^^^^ not found in this scope
[INFO] [stderr] |
[INFO] [stderr] help: consider importing this struct through its public re-export
[INFO] [stderr] |
[INFO] [stderr] 246 + use crate::Predicate;
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `Predicate` in this scope
[INFO] [stderr] --> src/traits.rs:270:16
[INFO] [stderr] |
[INFO] [stderr] 270 | y: Predicate<'tcx>,
[INFO] [stderr] | ^^^^^^^^^ not found in this scope
[INFO] [stderr] |
[INFO] [stderr] help: consider importing this struct through its public re-export
[INFO] [stderr] |
[INFO] [stderr] 246 + use crate::Predicate;
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stderr] --> src/traits.rs:305:52
[INFO] [stderr] |
[INFO] [stderr] 305 | fn parents_trait_predicates(self, tcx: TyCtxt<'tcx>) -> Vec<PolyTraitPredicate<'tcx>> {
[INFO] [stderr] | ^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stderr] --> src/traits.rs:305:73
[INFO] [stderr] |
[INFO] [stderr] 305 | fn parents_trait_predicates(self, tcx: TyCtxt<'tcx>) -> Vec<PolyTraitPredicate<'tcx>> {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stderr] --> src/traits.rs:319:22
[INFO] [stderr] |
[INFO] [stderr] 319 | tcx: TyCtxt<'tcx>,
[INFO] [stderr] | ^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `AssocItem` in this scope
[INFO] [stderr] --> src/traits.rs:320:23
[INFO] [stderr] |
[INFO] [stderr] 320 | ) -> Vec<(AssocItem, EarlyBinder<'tcx, Vec<PolyTraitPredicate<'tcx>>>)> {
[INFO] [stderr] | ^^^^^^^^^ not found in this scope
[INFO] [stderr] |
[INFO] [stderr] help: consider importing this struct through its public re-export
[INFO] [stderr] |
[INFO] [stderr] 246 + use crate::AssocItem;
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `EarlyBinder` in this scope
[INFO] [stderr] --> src/traits.rs:320:34
[INFO] [stderr] |
[INFO] [stderr] 320 | ) -> Vec<(AssocItem, EarlyBinder<'tcx, Vec<PolyTraitPredicate<'tcx>>>)> {
[INFO] [stderr] | ^^^^^^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stderr] --> src/traits.rs:320:56
[INFO] [stderr] |
[INFO] [stderr] 320 | ) -> Vec<(AssocItem, EarlyBinder<'tcx, Vec<PolyTraitPredicate<'tcx>>>)> {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stderr] --> src/traits.rs:303:20
[INFO] [stderr] |
[INFO] [stderr] 303 | impl<'tcx> PolyTraitPredicate<'tcx> {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stderr] --> src/traits.rs:344:18
[INFO] [stderr] |
[INFO] [stderr] 344 | tcx: TyCtxt<'tcx>,
[INFO] [stderr] | ^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stderr] --> src/traits.rs:347:21
[INFO] [stderr] |
[INFO] [stderr] 347 | target: PolyTraitRef<'tcx>,
[INFO] [stderr] | ^^^^^^^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stderr] --> src/traits.rs:355:23
[INFO] [stderr] |
[INFO] [stderr] 355 | pred: PolyTraitPredicate<'tcx>,
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `AssocItem` in this scope
[INFO] [stderr] --> src/traits.rs:437:19
[INFO] [stderr] |
[INFO] [stderr] 437 | item: AssocItem,
[INFO] [stderr] | ^^^^^^^^^ not found in this scope
[INFO] [stderr] |
[INFO] [stderr] help: consider importing this struct through its public re-export
[INFO] [stderr] |
[INFO] [stderr] 90 + use crate::AssocItem;
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stderr] --> src/traits.rs:438:24
[INFO] [stderr] |
[INFO] [stderr] 438 | predicate: PolyTraitPredicate<'tcx>,
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `PolyTraitPredicate` in this scope
[INFO] [stderr] --> src/traits.rs:443:24
[INFO] [stderr] |
[INFO] [stderr] 443 | predicate: PolyTraitPredicate<'tcx>,
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `GenericArgsRef` in this scope
[INFO] [stderr] --> src/traits.rs:455:23
[INFO] [stderr] |
[INFO] [stderr] 455 | generics: GenericArgsRef<'tcx>,
[INFO] [stderr] | ^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `Predicate` in this scope
[INFO] [stderr] --> src/traits.rs:459:24
[INFO] [stderr] |
[INFO] [stderr] 459 | predicate: Predicate<'tcx>,
[INFO] [stderr] | ^^^^^^^^^ not found in this scope
[INFO] [stderr] |
[INFO] [stderr] help: consider importing this struct through its public re-export
[INFO] [stderr] |
[INFO] [stderr] 90 + use crate::Predicate;
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stderr] --> src/traits.rs:465:22
[INFO] [stderr] |
[INFO] [stderr] 465 | r#trait: PolyTraitRef<'tcx>,
[INFO] [stderr] | ^^^^^^^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stderr] --> src/traits.rs:470:22
[INFO] [stderr] |
[INFO] [stderr] 470 | r#trait: PolyTraitRef<'tcx>,
[INFO] [stderr] | ^^^^^^^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stderr] --> src/traits.rs:481:28
[INFO] [stderr] |
[INFO] [stderr] 481 | Builtin { r#trait: PolyTraitRef<'tcx> },
[INFO] [stderr] | ^^^^^^^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `PolyTraitRef` in this scope
[INFO] [stderr] --> src/traits.rs:489:22
[INFO] [stderr] |
[INFO] [stderr] 489 | pub r#trait: PolyTraitRef<'tcx>,
[INFO] [stderr] | ^^^^^^^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stderr] --> src/traits.rs:498:14
[INFO] [stderr] |
[INFO] [stderr] 498 | tcx: TyCtxt<'tcx>,
[INFO] [stderr] | ^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0412]: cannot find type `TyCtxt` in this scope
[INFO] [stderr] --> src/traits.rs:524:14
[INFO] [stderr] |
[INFO] [stderr] 524 | tcx: TyCtxt<'tcx>,
[INFO] [stderr] | ^^^^^^ not found in this scope
[INFO] [stderr]
[INFO] [stderr] error[E0581]: return type references lifetime `'tcx`, which is not constrained by the fn input types
[INFO] [stderr] --> src/traits.rs:505:10
[INFO] [stderr] |
[INFO] [stderr] 505 | ) -> Result<Vec<ImplExpr<'tcx>>, String> {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] error[E0581]: return type references lifetime `'tcx`, which is not constrained by the fn input types
[INFO] [stderr] --> src/traits.rs:530:10
[INFO] [stderr] |
[INFO] [stderr] 530 | ) -> Result<ImplExpr<'tcx>, String> {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] error[E0581]: return type references lifetime `'tcx`, which is not constrained by the fn input types
[INFO] [stderr] --> src/traits.rs:348:14
[INFO] [stderr] |
[INFO] [stderr] 348 | ) -> Option<(Path<'tcx>, AnnotatedTraitPred<'tcx>)> {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] Some errors have detailed explanations: E0412, E0432, E0463, E0581.
[INFO] [stderr] For more information about an error, try `rustc --explain E0412`.
[INFO] [stderr] error: could not document `hax-frontend-exporter`
[INFO] running `Command { std: "docker" "inspect" "f3275f6a8f19c301b81dabfc525ea817986dd7bc637ff39f7cacac6eb430e27f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f3275f6a8f19c301b81dabfc525ea817986dd7bc637ff39f7cacac6eb430e27f", kill_on_drop: false }`
[INFO] [stdout] f3275f6a8f19c301b81dabfc525ea817986dd7bc637ff39f7cacac6eb430e27f