# rustc version rustc 1.86.0-nightly (419b3e2d3 2025-01-15)
# docs.rs version docsrs 0.6.0 (13d4ccea 2025-01-13)
# 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:86ea7c7af713d31e8cfdb68a6d0db50b5cf7cbeecde3d112f9f257f747318d36" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20250115-1.86.0-nightly-419b3e2d3\", \"--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] 50247dcd9ae388cc2b961fe1c6e730c9a3875437c263db734c17b45b83a85cb0 [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" "50247dcd9ae388cc2b961fe1c6e730c9a3875437c263db734c17b45b83a85cb0", 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`]. [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`] 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`]. [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.34s [INFO] [stderr] Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/refinement/index.html [INFO] running `Command { std: "docker" "inspect" "50247dcd9ae388cc2b961fe1c6e730c9a3875437c263db734c17b45b83a85cb0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "50247dcd9ae388cc2b961fe1c6e730c9a3875437c263db734c17b45b83a85cb0", kill_on_drop: false }` [INFO] [stdout] 50247dcd9ae388cc2b961fe1c6e730c9a3875437c263db734c17b45b83a85cb0