# rustc version rustc 1.87.0-nightly (96cfc7558 2025-02-27)
# docs.rs version docsrs 0.6.0 (d925d3c8 2025-02-27)
# build log [INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/refinement-0.5.0/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/refinement-0.5.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:3959728d45483eb673ba100a951a6b9f5012970368db2a9e08e0ac9b67c8a5ad" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20250227-1.87.0-nightly-96cfc7558\", \"--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] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 5f21fd9815bc6319ab0bd8e5a6610e5d4e49aadbe5cf2fc9fb052072a3c1af7d [INFO] running `Command { std: "docker" "start" "-a" "5f21fd9815bc6319ab0bd8e5a6610e5d4e49aadbe5cf2fc9fb052072a3c1af7d", kill_on_drop: false }` [INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op [INFO] [stderr] Documenting refinement v0.5.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: this URL is not a hyperlink [INFO] [stderr] --> src/lib.rs:48:11 [INFO] [stderr] | [INFO] [stderr] 48 | //! [^1]: https://en.wikipedia.org/wiki/Refinement_type [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] 48 | //! [^1]: <https://en.wikipedia.org/wiki/Refinement_type> [INFO] [stderr] | + + [INFO] [stderr] [INFO] [stderr] warning: redundant explicit link target [INFO] [stderr] --> src/lib.rs:60:45 [INFO] [stderr] | [INFO] [stderr] 60 | /// Used in conjunction with [`Refinement`](self::Refinement). [INFO] [stderr] | ------------ ^^^^^^^^^^^^^^^^ explicit target is redundant [INFO] [stderr] | | [INFO] [stderr] | because label contains path that resolves to same destination [INFO] [stderr] | [INFO] [stderr] = note: when a link's destination is not specified, [INFO] [stderr] the label is used to resolve intra-doc links [INFO] [stderr] = note: `#[warn(rustdoc::redundant_explicit_links)]` on by default [INFO] [stderr] help: remove explicit link target [INFO] [stderr] | [INFO] [stderr] 60 - /// Used in conjunction with [`Refinement`](self::Refinement). [INFO] [stderr] 60 + /// Used in conjunction with [`Refinement`]. [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: redundant explicit link target [INFO] [stderr] --> src/lib.rs:79:28 [INFO] [stderr] | [INFO] [stderr] 79 | /// See [`Refinement`](Refinement) for usage examples. [INFO] [stderr] | ------------ ^^^^^^^^^^ explicit target is redundant [INFO] [stderr] | | [INFO] [stderr] | because label contains path that resolves to same destination [INFO] [stderr] | [INFO] [stderr] = note: when a link's destination is not specified, [INFO] [stderr] the label is used to resolve intra-doc links [INFO] [stderr] help: remove explicit link target [INFO] [stderr] | [INFO] [stderr] 79 - /// See [`Refinement`](Refinement) for usage examples. [INFO] [stderr] 79 + /// See [`Refinement`] for usage examples. [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: redundant explicit link target [INFO] [stderr] --> src/lib.rs:120:96 [INFO] [stderr] | [INFO] [stderr] 120 | /// Returns `x` under the refinement type if `x` satisfies `P`, otherwise returns [`None`](std::option::Option::None). [INFO] [stderr] | ------ ^^^^^^^^^^^^^^^^^^^^^^^^^ explicit target is redundant [INFO] [stderr] | | [INFO] [stderr] | because label contains path that resolves to same destination [INFO] [stderr] | [INFO] [stderr] = note: when a link's destination is not specified, [INFO] [stderr] the label is used to resolve intra-doc links [INFO] [stderr] help: remove explicit link target [INFO] [stderr] | [INFO] [stderr] 120 - /// Returns `x` under the refinement type if `x` satisfies `P`, otherwise returns [`None`](std::option::Option::None). [INFO] [stderr] 120 + /// Returns `x` under the refinement type if `x` satisfies `P`, otherwise returns [`None`]. [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: `refinement` (lib doc) generated 4 warnings (run `cargo fix --lib -p refinement` to apply 1 suggestion) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.35s [INFO] [stderr] Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/refinement/index.html [INFO] running `Command { std: "docker" "inspect" "5f21fd9815bc6319ab0bd8e5a6610e5d4e49aadbe5cf2fc9fb052072a3c1af7d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5f21fd9815bc6319ab0bd8e5a6610e5d4e49aadbe5cf2fc9fb052072a3c1af7d", kill_on_drop: false }` [INFO] [stdout] 5f21fd9815bc6319ab0bd8e5a6610e5d4e49aadbe5cf2fc9fb052072a3c1af7d