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}/x86_64-unknown-linux-gnu\"" "-Zrustdoc-scrape-examples" "-j6" "--target" "x86_64-unknown-linux-gnu", kill_on_drop: false }`
[INFO] [stdout] 71b5d4dda2e60a6028abd767a2e533f03f52cfe86681b2f8f10352a7b741b967
[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" "71b5d4dda2e60a6028abd767a2e533f03f52cfe86681b2f8f10352a7b741b967", 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] warning: unresolved link to `rustc_middle::ty::AliasKind`
[INFO] [stderr] --> src/types/copied.rs:1756:16
[INFO] [stderr] |
[INFO] [stderr] 1756 | /// Reflects [`rustc_middle::ty::AliasKind`]
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `AliasKind` in module `ty`
[INFO] [stderr] |
[INFO] [stderr] = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default
[INFO] [stderr]
[INFO] [stderr] warning: unresolved link to `predicates`
[INFO] [stderr] --> src/types/mir_traits.rs:42:1
[INFO] [stderr] |
[INFO] [stderr] 42 | / /// Solve the trait obligations for a specific item use (for example, a method
[INFO] [stderr] 43 | | /// call, an ADT, etc.).
[INFO] [stderr] 44 | | ///
[INFO] [stderr] 45 | | /// [predicates]: optional predicates, in case we want to solve custom predicates
[INFO] [stderr] 46 | | /// (instead of the ones returned by [TyCtxt::predicates_defined_on].
[INFO] [stderr] | |_____________________________________________________________________^
[INFO] [stderr] |
[INFO] [stderr] = note: the link appears in this line:
[INFO] [stderr]
[INFO] [stderr] [predicates]: optional predicates, in case we want to solve custom predicates
[INFO] [stderr] ^^^^^^^^^^
[INFO] [stderr] = note: no item named `predicates` in scope
[INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: unresolved link to `TyCtxt::predicates_defined_on`
[INFO] [stderr] --> src/types/mir_traits.rs:42:1
[INFO] [stderr] |
[INFO] [stderr] 42 | / /// Solve the trait obligations for a specific item use (for example, a method
[INFO] [stderr] 43 | | /// call, an ADT, etc.).
[INFO] [stderr] 44 | | ///
[INFO] [stderr] 45 | | /// [predicates]: optional predicates, in case we want to solve custom predicates
[INFO] [stderr] 46 | | /// (instead of the ones returned by [TyCtxt::predicates_defined_on].
[INFO] [stderr] | |_____________________________________________________________________^
[INFO] [stderr] |
[INFO] [stderr] = note: the link appears in this line:
[INFO] [stderr]
[INFO] [stderr] (instead of the ones returned by [TyCtxt::predicates_defined_on].
[INFO] [stderr] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] = note: no item named `TyCtxt` in scope
[INFO] [stderr]
[INFO] [stderr] warning: unresolved link to `DefKind::Ctor`
[INFO] [stderr] --> src/types/new/full_def.rs:48:44
[INFO] [stderr] |
[INFO] [stderr] 48 | /// Refers to the struct definition, [`DefKind::Ctor`] refers to its constructor if it exists.
[INFO] [stderr] | ^^^^^^^^^^^^^ the enum `DefKind` has no variant or associated item named `Ctor`
[INFO] [stderr]
[INFO] [stderr] warning: unresolved link to `DefKind::Ctor`
[INFO] [stderr] --> src/types/new/full_def.rs:73:45
[INFO] [stderr] |
[INFO] [stderr] 73 | /// Refers to the variant definition, [`DefKind::Ctor`] refers to its constructor if it exists.
[INFO] [stderr] | ^^^^^^^^^^^^^ the enum `DefKind` has no variant or associated item named `Ctor`
[INFO] [stderr]
[INFO] [stderr] warning: unresolved link to `traits::search_clause::PathChunk`
[INFO] [stderr] --> src/types/new/predicate_id.rs:25:34
[INFO] [stderr] |
[INFO] [stderr] 25 | /// for mirroring the type [`traits::search_clause::PathChunk`] as
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `search_clause` in module `traits`
[INFO] [stderr]
[INFO] [stderr] warning: this URL is not a hyperlink
[INFO] [stderr] --> src/state.rs:144:13
[INFO] [stderr] |
[INFO] [stderr] 144 | /// https://github.com/hacspec/hax/issues/707.
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] |
[INFO] [stderr] = note: bare URLs are not automatically turned into clickable links
[INFO] [stderr] = note: `#[warn(rustdoc::bare_urls)]` on by default
[INFO] [stderr] help: use an automatic link instead
[INFO] [stderr] |
[INFO] [stderr] 144 | /// <https://github.com/hacspec/hax/issues/707.>
[INFO] [stderr] | + +
[INFO] [stderr]
[INFO] [stderr] warning: this URL is not a hyperlink
[INFO] [stderr] --> src/types/copied.rs:2985:13
[INFO] [stderr] |
[INFO] [stderr] 2985 | /// https://github.com/hacspec/hax/issues/310, extracting this
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] |
[INFO] [stderr] = note: bare URLs are not automatically turned into clickable links
[INFO] [stderr] help: use an automatic link instead
[INFO] [stderr] |
[INFO] [stderr] 2985 | /// <https://github.com/hacspec/hax/issues/310>, extracting this
[INFO] [stderr] | + +
[INFO] [stderr]
[INFO] [stderr] warning: this URL is not a hyperlink
[INFO] [stderr] --> src/types/copied.rs:2989:30
[INFO] [stderr] |
[INFO] [stderr] 2989 | /// open an issue on https://github.com/hacspec/hax.
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] |
[INFO] [stderr] = note: bare URLs are not automatically turned into clickable links
[INFO] [stderr] help: use an automatic link instead
[INFO] [stderr] |
[INFO] [stderr] 2989 | /// open an issue on <https://github.com/hacspec/hax.>
[INFO] [stderr] | + +
[INFO] [stderr]
[INFO] [stderr] warning: this URL is not a hyperlink
[INFO] [stderr] --> src/types/serialize_int.rs:3:16
[INFO] [stderr] |
[INFO] [stderr] 3 | //! serde (see https://github.com/serde-rs/json/issues/625).
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] |
[INFO] [stderr] = note: bare URLs are not automatically turned into clickable links
[INFO] [stderr] help: use an automatic link instead
[INFO] [stderr] |
[INFO] [stderr] 3 | //! serde (see <https://github.com/serde-rs/json/issues/625>).
[INFO] [stderr] | + +
[INFO] [stderr]
[INFO] [stderr] warning: `hax-frontend-exporter` (lib doc) generated 10 warnings (run `cargo fix --lib -p hax-frontend-exporter` to apply 4 suggestions)
[INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 6.53s
[INFO] [stderr] Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/hax_frontend_exporter/index.html
[INFO] running `Command { std: "docker" "inspect" "71b5d4dda2e60a6028abd767a2e533f03f52cfe86681b2f8f10352a7b741b967", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "71b5d4dda2e60a6028abd767a2e533f03f52cfe86681b2f8f10352a7b741b967", kill_on_drop: false }`
[INFO] [stdout] 71b5d4dda2e60a6028abd767a2e533f03f52cfe86681b2f8f10352a7b741b967