# rustc version rustc 1.100.0-nightly (e71c0f1e3 2026-08-18)
# docs.rs version docsrs 0.0.0 (b67fb7d1993e3c70fff4d05e2bc482bd9d0d774f 2026-08-13 )
# 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" "26036c3043090bef02938429b5e25a3e362f58e0e64ca3e25fcad93701101e49" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=html-non-static-files\", \"--resource-suffix\", \"-20260818-1.100.0-nightly-e71c0f1e3\", \"--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\"" "-j6" "--target" "x86_64-unknown-linux-gnu" "-Zrustdoc-scrape-examples", kill_on_drop: false }` [INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op [INFO] [stderr] Documenting egglog v3.0.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: public documentation for `Justification` links to private item `RawProof` [INFO] [stderr] --> src/proofs/proof_format.rs:150:19 [INFO] [stderr] | [INFO] [stderr] 150 | /// Compared to [`RawProof`], a [`Justification`] is always paired with the [`Proposition`] being proven (in a [`Proof`]). [INFO] [stderr] | ^^^^^^^^ this item is private [INFO] [stderr] | [INFO] [stderr] = note: this link will resolve properly if you pass `--document-private-items` [INFO] [stderr] = note: `#[warn(rustdoc::private_intra_doc_links)]` on by default [INFO] [stderr] [INFO] [stderr] warning: public documentation for `Justification` links to private item `RawProof::Rule` [INFO] [stderr] --> src/proofs/proof_format.rs:152:13 [INFO] [stderr] | [INFO] [stderr] 152 | /// while [`RawProof::Rule`] leaves this implicit. [INFO] [stderr] | ^^^^^^^^^^^^^^ this item is private [INFO] [stderr] | [INFO] [stderr] = note: this link will resolve properly if you pass `--document-private-items` [INFO] [stderr] [INFO] [stderr] warning: unresolved link to `Fact` [INFO] [stderr] --> src/proofs/proof_format.rs:161:29 [INFO] [stderr] | [INFO] [stderr] 161 | /// for each premise ([`Fact`]) of the rule. [INFO] [stderr] | ^^^^ no item named `Fact` in scope [INFO] [stderr] | [INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stderr] = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unresolved link to `Propostion` [INFO] [stderr] --> src/proofs/proof_format.rs:162:18 [INFO] [stderr] | [INFO] [stderr] 162 | /// If the [`Propostion`] proven is a term like `t = t`, [INFO] [stderr] | ^^^^^^^^^^ no item named `Propostion` in scope [INFO] [stderr] | [INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stderr] [INFO] [stderr] warning: public documentation for `query` links to private item `HashMap` [INFO] [stderr] --> src/lib.rs:2429:34 [INFO] [stderr] | [INFO] [stderr] 2429 | /// `facts` and return one [`HashMap`] per match, keyed by variable [INFO] [stderr] | ^^^^^^^ this item is private [INFO] [stderr] | [INFO] [stderr] = note: this link will resolve properly if you pass `--document-private-items` [INFO] [stderr] [INFO] [stderr] warning: `egglog` (lib doc) generated 5 warnings [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.44s [INFO] [stderr] Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/egglog/index.html [INFO] running `Command { std: "docker" "inspect" "26036c3043090bef02938429b5e25a3e362f58e0e64ca3e25fcad93701101e49", kill_on_drop: false }`