# rustc version rustc 1.98.0-nightly (f28ac764c 2026-06-23)
# docs.rs version docsrs 0.0.0 (886bc7a22b1adc4b387ce1343447fe3af98d9ce5 2026-06-14 )
# build log [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-w" "/opt/rustwide/workdir" "--user" "1001:1001" "b1b145bddcb3f731fcb829d859386891ae0c546b2c9adab3ef47c5fcac856148" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"--html-in-header\", \"rustdoc/katex-header.html\", \"--document-private-items\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20260623-1.98.0-nightly-f28ac764c\", \"--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: target filter specified, but no targets matched; this is a no-op [INFO] [stderr] Documenting nar v0.0.8 (/opt/rustwide/workdir) [INFO] [stderr] warning: unresolved link to `crate::syntax::core::ast::Val::Refl` [INFO] [stderr] --> src/syntax/pat.rs:12:19 [INFO] [stderr] | [INFO] [stderr] 12 | /// Dual to [`crate::syntax::core::ast::Val::Refl`]. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `ast` in module `core` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unresolved link to `crate::syntax::core::ast::Val::Cons` [INFO] [stderr] --> src/syntax/pat.rs:16:19 [INFO] [stderr] | [INFO] [stderr] 16 | /// Dual to [`crate::syntax::core::ast::Val::Cons`], [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `ast` in module `core` [INFO] [stderr] [INFO] [stderr] warning: unresolved link to `Self::is_eta_var` [INFO] [stderr] --> src/check/rules/term/view.rs:20:43 [INFO] [stderr] | [INFO] [stderr] 20 | /// A borrowing version of [`is_eta_var`](Self::is_eta_var). [INFO] [stderr] | ^^^^^^^^^^^^^^^^ `is_eta_var_ref` is a function, not a module or type, and cannot have associated items [INFO] [stderr] [INFO] [stderr] warning: this URL is not a hyperlink [INFO] [stderr] --> src/syntax/pat.rs:10:9 [INFO] [stderr] | [INFO] [stderr] 10 | /// https://hackage.haskell.org/package/Agda-2.6.0.1/docs/Agda-Syntax-Internal.html#t:Pattern [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] 10 | /// <https://hackage.haskell.org/package/Agda-2.6.0.1/docs/Agda-Syntax-Internal.html#t:Pattern> [INFO] [stderr] | + + [INFO] [stderr] [INFO] [stderr] warning: redundant explicit link target [INFO] [stderr] --> src/check/rules/clause/state.rs:86:51 [INFO] [stderr] | [INFO] [stderr] 86 | /// It's supposed to use [`insert_implicit_pats`](self::insert_implicit_pats) to [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] 86 - /// It's supposed to use [`insert_implicit_pats`](self::insert_implicit_pats) to [INFO] [stderr] 86 + /// It's supposed to use [`insert_implicit_pats`] to [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: `nar` (lib doc) generated 5 warnings (run `cargo fix --lib -p nar` to apply 1 suggestion) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.64s [INFO] [stderr] Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/nar/index.html [INFO] running `Command { std: "docker" "inspect" "b1b145bddcb3f731fcb829d859386891ae0c546b2c9adab3ef47c5fcac856148", kill_on_drop: false }`