[INFO] fetching crate aver-lang 0.29.0...
[INFO] documenting aver-lang-0.29.0 against da3f5c31e5535b3dc210067de660a45784ae1e9c for pr-162169
[INFO] extracting crate aver-lang 0.29.0 into /workspace/builds/worker-0-tc2/source
[INFO] started tweaking crates.io crate aver-lang 0.29.0
[INFO] finished tweaking crates.io crate aver-lang 0.29.0
[INFO] tweaked toml for crates.io crate aver-lang 0.29.0 written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate aver-lang 0.29.0 on toolchain da3f5c31e5535b3dc210067de660a45784ae1e9c
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+da3f5c31e5535b3dc210067de660a45784ae1e9c" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate aver-lang 0.29.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+da3f5c31e5535b3dc210067de660a45784ae1e9c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:8683fc1fc2eb5c9ac98e0d076ab094b2ffac7f99da555d2b6a2e27f346de2ec7" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] fe3ea2465e68ea7a2840a5f863a0f8c8cb17810fce3a5fbba36472149f4c6e10
[INFO] running `Command { std: "docker" "start" "fe3ea2465e68ea7a2840a5f863a0f8c8cb17810fce3a5fbba36472149f4c6e10", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "fe3ea2465e68ea7a2840a5f863a0f8c8cb17810fce3a5fbba36472149f4c6e10", kill_on_drop: false }`
[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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "fe3ea2465e68ea7a2840a5f863a0f8c8cb17810fce3a5fbba36472149f4c6e10" "/opt/rustwide/cargo-home/bin/cargo" "+da3f5c31e5535b3dc210067de660a45784ae1e9c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "fe3ea2465e68ea7a2840a5f863a0f8c8cb17810fce3a5fbba36472149f4c6e10", kill_on_drop: false }`
[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" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "fe3ea2465e68ea7a2840a5f863a0f8c8cb17810fce3a5fbba36472149f4c6e10" "/opt/rustwide/cargo-home/bin/cargo" "+da3f5c31e5535b3dc210067de660a45784ae1e9c" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling cc v1.2.56
[INFO] [stderr]     Checking typenum v1.20.0
[INFO] [stderr]    Compiling zerocopy v0.8.42
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]     Checking getrandom v0.3.4
[INFO] [stderr]     Checking simd-adler32 v0.3.8
[INFO] [stderr]     Checking linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling rustls v0.23.37
[INFO] [stderr]    Compiling rustix v0.38.44
[INFO] [stderr]     Checking percent-encoding v2.3.2
[INFO] [stderr]     Checking signal-hook v0.3.18
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]     Checking mio v1.2.2
[INFO] [stderr]     Checking webpki-roots v1.0.9
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking miniz_oxide v0.8.9
[INFO] [stderr]     Checking webpki-roots v0.26.11
[INFO] [stderr]     Checking form_urlencoded v1.2.2
[INFO] [stderr]     Checking socket2 v0.6.5
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]     Checking winnow v0.7.14
[INFO] [stderr]     Checking clap_lex v1.0.0
[INFO] [stderr]     Checking rand_core v0.9.5
[INFO] [stderr]    Compiling aver-lang v0.29.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking clap_builder v4.5.60
[INFO] [stderr]     Checking either v1.15.0
[INFO] [stderr]     Checking parking_lot v0.12.5
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking flate2 v1.1.9
[INFO] [stderr]     Checking signal-hook-mio v0.2.5
[INFO] [stderr]     Checking colored v2.2.0
[INFO] [stderr]     Checking serde_json v1.0.149
[INFO] [stderr]     Checking rayon v1.11.0
[INFO] [stderr]     Checking crossterm v0.28.1
[INFO] [stderr]    Compiling ring v0.17.14
[INFO] [stderr]     Checking generic-array v0.14.7
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]     Checking crypto-common v0.1.7
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]     Checking polling v3.11.0
[INFO] [stderr]     Checking tempfile v3.27.0
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling zerovec-derive v0.11.2
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling clap_derive v4.5.55
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]     Checking rustls-webpki v0.103.9
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.8.1
[INFO] [stderr]     Checking thiserror v1.0.69
[INFO] [stderr]     Checking clap v4.5.60
[INFO] [stderr]     Checking zerofrom v0.1.6
[INFO] [stderr]     Checking yoke v0.8.1
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking zerovec v0.11.5
[INFO] [stderr]     Checking zerotrie v0.2.3
[INFO] [stderr]     Checking rand_chacha v0.9.0
[INFO] [stderr]     Checking rand v0.9.2
[INFO] [stderr]     Checking tinystr v0.8.2
[INFO] [stderr]     Checking potential_utf v0.1.4
[INFO] [stderr]     Checking icu_collections v2.1.1
[INFO] [stderr]     Checking icu_locale_core v2.1.1
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]     Checking toml_datetime v0.6.11
[INFO] [stderr]     Checking serde_spanned v0.6.9
[INFO] [stderr]     Checking icu_provider v2.1.1
[INFO] [stderr]     Checking toml_edit v0.22.27
[INFO] [stderr]     Checking icu_normalizer v2.1.1
[INFO] [stderr]     Checking icu_properties v2.1.2
[INFO] [stderr]     Checking idna_adapter v1.2.1
[INFO] [stderr]     Checking idna v1.1.0
[INFO] [stderr]     Checking url v2.5.8
[INFO] [stderr]     Checking toml v0.8.23
[INFO] [stderr]     Checking ureq v2.12.1
[INFO] [stderr]     Checking aver-rt v0.4.11
[INFO] [stderr]     Checking aver-memory v0.2.15
[INFO] [stderr]  Documenting aver-lang v0.29.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: public documentation for `discharge_sites` links to private item `crate::ir::hir::resolve::classify_callee`
[INFO] [stdout]    --> src/analysis/literal_refinement.rs:491:7
[INFO] [stdout]     |
[INFO] [stdout] 491 | /// [`crate::ir::hir::resolve::classify_callee`] against the same symbol
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this item is private
[INFO] [stdout]     |
[INFO] [stdout]     = note: this link resolves only because you passed `--document-private-items`, but will break without
[INFO] [stdout]     = note: `#[warn(rustdoc::private_intra_doc_links)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `_`
[INFO] [stdout]    --> src/checker/perf.rs:261:43
[INFO] [stdout]     |
[INFO] [stdout] 261 | /// Detect: BinOp(Eq, FnCall("List.len", [_]), Literal(Int(0|1))) or reversed,
[INFO] [stdout]     |                                           ^ no item named `_` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout]     = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `_`
[INFO] [stdout]    --> src/checker/perf.rs:262:43
[INFO] [stdout]     |
[INFO] [stdout] 262 | ///         BinOp(Gt, FnCall("List.len", [_]), Literal(Int(0))) or reversed.
[INFO] [stdout]     |                                           ^ no item named `_` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `duplicate_law_identities`
[INFO] [stdout]     --> src/main/commands.rs:8769:29
[INFO] [stdout]      |
[INFO] [stdout] 8769 | /// Whole-program form of [`duplicate_law_identities`]. Dependency identities
[INFO] [stdout]      |                             ^^^^^^^^^^^^^^^^^^^^^^^^ no item named `duplicate_law_identities` in scope
[INFO] [stdout]      |
[INFO] [stdout]      = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] help: there's a similarly named item `duplicate_program_law_identities`
[INFO] [stdout]      |
[INFO] [stdout] 8769 | /// Whole-program form of [`duplicate_program_law_identities`]. Dependency identities
[INFO] [stdout]      |                                       ++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `Self::STRING_INDEX_ONLY`
[INFO] [stdout]      --> src/main/commands.rs:11590:23
[INFO] [stdout]       |
[INFO] [stdout] 11590 | /// family asks for [`Self::STRING_INDEX_ONLY`] because it lowers the
[INFO] [stdout]       |                       ^^^^^^^^^^^^^^^^^^^^^^^ the struct `DepLowering` has no field or associated item named `STRING_INDEX_ONLY`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `BUILTIN_HELPERS`
[INFO] [stdout]   |
[INFO] [stdout]   = note: the link appears in this line:
[INFO] [stdout]           
[INFO] [stdout]           - [`BUILTIN_HELPERS`] declares each helper with its detection
[INFO] [stdout]              ^^^^^^^^^^^^^^^^^
[INFO] [stdout]   = note: no item named `BUILTIN_HELPERS` in scope
[INFO] [stdout]   = help: there's a similarly named item `builtin_helpers`
[INFO] [stdout]   = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `needed_helpers`
[INFO] [stdout]   |
[INFO] [stdout]   = note: the link appears in this line:
[INFO] [stdout]           
[INFO] [stdout]           - [`needed_helpers`] returns the helpers a given body actually
[INFO] [stdout]              ^^^^^^^^^^^^^^^^
[INFO] [stdout]   = note: no item named `needed_helpers` in scope
[INFO] [stdout]   = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `Builtin::name`
[INFO] [stdout]  --> src/codegen/builtins.rs:7:37
[INFO] [stdout]   |
[INFO] [stdout] 7 | /// list, expanded into the enum, [`Builtin::name`], [`Builtin::ALL`] and
[INFO] [stdout]   |                                     ^^^^^^^^^^^^^ the enum `Builtin` has no variant or associated item named `name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `Builtin::ALL`
[INFO] [stdout]  --> src/codegen/builtins.rs:7:56
[INFO] [stdout]   |
[INFO] [stdout] 7 | /// list, expanded into the enum, [`Builtin::name`], [`Builtin::ALL`] and
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^ the enum `Builtin` has no variant or associated item named `ALL`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `RefinedTypeDecl`
[INFO] [stdout]     --> src/codegen/common.rs:1078:50
[INFO] [stdout]      |
[INFO] [stdout] 1078 | /// Resolve a (possibly bare) type name to its [`RefinedTypeDecl`]
[INFO] [stdout]      |                                                  ^^^^^^^^^^^^^^^ no item named `RefinedTypeDecl` in scope
[INFO] [stdout]      |
[INFO] [stdout]      = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `expr_walk::any`
[INFO] [stdout]     --> src/codegen/common.rs:1676:7
[INFO] [stdout]      |
[INFO] [stdout] 1676 | /// [`expr_walk::any`], which has no wildcard arm and therefore cannot skip a
[INFO] [stdout]      |       ^^^^^^^^^^^^^^ no item named `expr_walk` in scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `law_calls_any_accumulator_fold`
[INFO] [stdout]     --> src/codegen/common.rs:1954:7
[INFO] [stdout]      |
[INFO] [stdout] 1954 | /// [`law_calls_any_accumulator_fold`] because it has no such emit.
[INFO] [stdout]      |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `law_calls_any_accumulator_fold` in scope
[INFO] [stdout]      |
[INFO] [stdout]      = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] help: there's a similarly named item `law_calls_foreign_accumulator_fold`
[INFO] [stdout]      |
[INFO] [stdout] 1954 - /// [`law_calls_any_accumulator_fold`] because it has no such emit.
[INFO] [stdout] 1954 + /// [`law_calls_foreign_accumulator_fold`] because it has no such emit.
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: public documentation for `law_map_order_refusal` links to private item `MODELLED_MAP_KEY_TYPES`
[INFO] [stdout]     --> src/codegen/common.rs:2141:44
[INFO] [stdout]      |
[INFO] [stdout] 2141 | /// that — but only for the key types in [`MODELLED_MAP_KEY_TYPES`]. Two
[INFO] [stdout]      |                                            ^^^^^^^^^^^^^^^^^^^^^^ this item is private
[INFO] [stdout]      |
[INFO] [stdout]      = note: this link resolves only because you passed `--document-private-items`, but will break without
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `expr_walk::walk`
[INFO] [stdout]     --> src/codegen/common.rs:2855:7
[INFO] [stdout]      |
[INFO] [stdout] 2855 | /// [`expr_walk::walk`] so it cannot silently skip a variant — a call hidden
[INFO] [stdout]      |       ^^^^^^^^^^^^^^^ no item named `expr_walk` in scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `sizeof_measure_param_indices`
[INFO] [stdout]    --> src/codegen/dafny/fuel.rs:226:21
[INFO] [stdout]     |
[INFO] [stdout] 226 | /// the index set [`sizeof_measure_param_indices`] uses on the Lean
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `sizeof_measure_param_indices` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] help: there's a similarly named item `dafny_measure_param_indices`
[INFO] [stdout]     |
[INFO] [stdout] 226 - /// the index set [`sizeof_measure_param_indices`] uses on the Lean
[INFO] [stdout] 226 + /// the index set [`dafny_measure_param_indices`] uses on the Lean
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `find_refined_type_scoped`
[INFO] [stdout]    --> src/codegen/dafny/toplevel.rs:177:14
[INFO] [stdout]     |
[INFO] [stdout] 177 | /// Drives [`find_refined_type_scoped`] so a refined record with a
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^ no item named `find_refined_type_scoped` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `LawProofCone`
[INFO] [stdout]     --> src/codegen/dafny/toplevel.rs:2953:53
[INFO] [stdout]      |
[INFO] [stdout] 2953 | /// Eligibility mirrors the Lean pool: the shared [`LawProofCone`] ∪ subject
[INFO] [stdout]      |                                                     ^^^^^^^^^^^^ no item named `LawProofCone` in scope
[INFO] [stdout]      |
[INFO] [stdout]      = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `super::cite_instantiate`
[INFO] [stdout]     --> src/codegen/dafny/toplevel.rs:2962:70
[INFO] [stdout]      |
[INFO] [stdout] 2962 | /// `forall`-citation hoist and the explicit-instantiation engine ([`super::cite_instantiate`]).
[INFO] [stdout]      |                                                                      ^^^^^^^^^^^^^^^^^^^^^^^ no item named `cite_instantiate` in module `dafny`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `LawProofCone`
[INFO] [stdout]     --> src/codegen/dafny/toplevel.rs:2964:53
[INFO] [stdout]      |
[INFO] [stdout] 2964 | /// Eligibility mirrors the Lean pool: the shared [`LawProofCone`] ∪ subject gate,
[INFO] [stdout]      |                                                     ^^^^^^^^^^^^ no item named `LawProofCone` in scope
[INFO] [stdout]      |
[INFO] [stdout]      = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `super::super::proof_lower::floor_window`
[INFO] [stdout]    --> src/codegen/lean/law_auto/floor_window.rs:176:28
[INFO] [stdout]     |
[INFO] [stdout] 176 | /// (any [`is_pow2_shape`](super::super::proof_lower::floor_window) fn —
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `proof_lower` in module `lean`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `signed_pow2_shape`
[INFO] [stdout]    --> src/codegen/lean/law_auto/floor_window.rs:297:51
[INFO] [stdout]     |
[INFO] [stdout] 297 | /// exponent). Shape-keyed on the `sgn` fn (any [`signed_pow2_shape`]), never a
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^ no item named `signed_pow2_shape` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `compute_instantiations`
[INFO] [stdout]     --> src/codegen/lean/law_auto/induction/mod.rs:1145:33
[INFO] [stdout]      |
[INFO] [stdout] 1145 | /// the instantiation engine ([`compute_instantiations`]) can derive the exact
[INFO] [stdout]      |                                 ^^^^^^^^^^^^^^^^^^^^^^ no item named `compute_instantiations` in scope
[INFO] [stdout]      |
[INFO] [stdout]      = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `compute_instantiations`
[INFO] [stdout]     --> src/codegen/lean/law_auto/induction/mod.rs:1329:20
[INFO] [stdout]      |
[INFO] [stdout] 1329 | /// (computed by [`compute_instantiations`]), emit the precise proof
[INFO] [stdout]      |                    ^^^^^^^^^^^^^^^^^^^^^^ no item named `compute_instantiations` in scope
[INFO] [stdout]      |
[INFO] [stdout]      = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `stubConst`
[INFO] [stdout]   --> src/codegen/lean/law_auto/spec/mod.rs:23:36
[INFO] [stdout]    |
[INFO] [stdout] 23 | ///       given rnd: Random.int = [stubConst]
[INFO] [stdout]    |                                    ^^^^^^^^^ no item named `stubConst` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `tactic_ir::speculative::admits`
[INFO] [stdout]   --> src/codegen/lean/law_auto/transparent_chain.rs:12:7
[INFO] [stdout]    |
[INFO] [stdout] 12 | //! [`tactic_ir::speculative::admits`], so a chain whose `omega` close the probe
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `tactic_ir` in scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `tactic_ir::Tactic::raw`
[INFO] [stdout]    --> src/codegen/lean/law_auto.rs:214:56
[INFO] [stdout]     |
[INFO] [stdout] 214 |     /// into `First` portfolios wrap their lines via [`tactic_ir::Tactic::raw`]
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^^^^^^^^^^ no item named `tactic_ir` in scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `Tactic`
[INFO] [stdout]     --> src/codegen/lean/law_auto.rs:2692:43
[INFO] [stdout]      |
[INFO] [stdout] 2692 | /// STRUCTURED portfolio: each branch a [`Tactic`] leaf, a bare `sorry` floor
[INFO] [stdout]      |                                           ^^^^^^ no item named `Tactic` in scope
[INFO] [stdout]      |
[INFO] [stdout]      = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `tactic_ir::Tactic::First`
[INFO] [stdout]     --> src/codegen/lean/law_auto.rs:2693:27
[INFO] [stdout]      |
[INFO] [stdout] 2693 | /// appended, under one [`tactic_ir::Tactic::First`]. This is the minimizable
[INFO] [stdout]      |                           ^^^^^^^^^^^^^^^^^^^^^^^^ no item named `tactic_ir` in scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `Mode::Off`
[INFO] [stdout]    --> src/codegen/lean/tactic_ir.rs:416:29
[INFO] [stdout]     |
[INFO] [stdout] 416 | /// pass, so the default ([`Mode::Off`]) leaves emission untouched.
[INFO] [stdout]     |                             ^^^^^^^^^ no item named `Mode` in scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `begin_probe`
[INFO] [stdout]    --> src/codegen/lean/tactic_ir.rs:501:11
[INFO] [stdout]     |
[INFO] [stdout] 501 | ///   - [`begin_probe`] makes [`admits`] return `true` for EVERY such law (so the
[INFO] [stdout]     |           ^^^^^^^^^^^ no item named `begin_probe` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `admits`
[INFO] [stdout]    --> src/codegen/lean/tactic_ir.rs:501:33
[INFO] [stdout]     |
[INFO] [stdout] 501 | ///   - [`begin_probe`] makes [`admits`] return `true` for EVERY such law (so the
[INFO] [stdout]     |                                 ^^^^^^ no item named `admits` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `parse_failures`
[INFO] [stdout]    --> src/codegen/lean/tactic_ir.rs:506:11
[INFO] [stdout]     |
[INFO] [stdout] 506 | ///     [`parse_failures`]).
[INFO] [stdout]     |           ^^^^^^^^^^^^^^ no item named `parse_failures` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `set_committed`
[INFO] [stdout]    --> src/codegen/lean/tactic_ir.rs:507:11
[INFO] [stdout]     |
[INFO] [stdout] 507 | ///   - [`set_committed`] is then given `probed − failures` (the laws that
[INFO] [stdout]     |           ^^^^^^^^^^^^^ no item named `set_committed` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `admits`
[INFO] [stdout]    --> src/codegen/lean/tactic_ir.rs:508:48
[INFO] [stdout]     |
[INFO] [stdout] 508 | ///     CLOSED). In the committed (Off) mode [`admits`] returns `true` only for
[INFO] [stdout]     |                                                ^^^^^^ no item named `admits` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `admits`
[INFO] [stdout]    --> src/codegen/lean/tactic_ir.rs:515:27
[INFO] [stdout]     |
[INFO] [stdout] 515 | /// emit — all keyed on [`admits`], so they always agree). The default state
[INFO] [stdout]     |                           ^^^^^^ no item named `admits` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `render_body`
[INFO] [stdout]    --> src/codegen/lean/tactic_ir.rs:127:36
[INFO] [stdout]     |
[INFO] [stdout] 127 |     /// un-bake step paired with [`render_body`]. Clamped per line so a line
[INFO] [stdout]     |                                    ^^^^^^^^^^^ no item named `render_body` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `crate::codegen::lean::law_auto::transparent_chain`
[INFO] [stdout]    --> src/codegen/lean/toplevel/fuel.rs:539:7
[INFO] [stdout]     |
[INFO] [stdout] 539 | /// [`crate::codegen::lean::law_auto::transparent_chain`]). A gated shape the
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `transparent_chain` in module `law_auto`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `find_refined_type_scoped`
[INFO] [stdout]   --> src/codegen/lean/toplevel/type_def.rs:12:22
[INFO] [stdout]    |
[INFO] [stdout] 12 | /// items). Drives [`find_refined_type_scoped`] so a refined record
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^ no item named `find_refined_type_scoped` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `lift_expected`
[INFO] [stdout]    --> src/codegen/lean/toplevel/verify.rs:392:44
[INFO] [stdout]     |
[INFO] [stdout] 392 | /// exactly as a function body gets, and [`lift_expected`] lifts the expected
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^ no item named `lift_expected` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: public documentation for `peano_ctx_for_law` links to private item `crate::codegen::proof_recognize::detect_canonical_peano`
[INFO] [stdout]    --> src/codegen/lean/untranslate.rs:148:32
[INFO] [stdout]     |
[INFO] [stdout] 148 | /// [`detect_canonical_peano`](crate::codegen::proof_recognize::detect_canonical_peano)),
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this item is private
[INFO] [stdout]     |
[INFO] [stdout]     = note: this link resolves only because you passed `--document-private-items`, but will break without
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `crate::codegen::wasm_gc::view`
[INFO] [stdout]   --> src/codegen/program_view.rs:45:37
[INFO] [stdout]    |
[INFO] [stdout] 45 | //! - **wasm-gc post-link view** ([`crate::codegen::wasm_gc::view`]).
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `wasm_gc` in module `codegen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `super::ring::is_ring_value_expr`
[INFO] [stdout]    --> src/codegen/proof_lower/inequality.rs:262:7
[INFO] [stdout]     |
[INFO] [stdout] 262 | /// [`super::ring::is_ring_value_expr`] minus the record carriers (this
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `is_ring_value_expr` in module `ring`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `ProofStrategy::SimpOverPreludeLemmas`
[INFO] [stdout]  --> src/codegen/proof_lower/simp.rs:7:38
[INFO] [stdout]   |
[INFO] [stdout] 7 | /// Builtin-roundtrip detector for [`ProofStrategy::SimpOverPreludeLemmas`]
[INFO] [stdout]   |                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `ProofStrategy` in scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `ProofStrategy::SimpOverPreludeLemmas`
[INFO] [stdout]    --> src/codegen/proof_lower/simp.rs:291:7
[INFO] [stdout]     |
[INFO] [stdout] 291 | /// [`ProofStrategy::SimpOverPreludeLemmas`].
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `ProofStrategy` in scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: public documentation for `carrier_interval_table` links to private item `populate_refined_type_intervals`
[INFO] [stdout]    --> src/codegen/proof_lower/mod.rs:581:13
[INFO] [stdout]     |
[INFO] [stdout] 581 | /// bound [`populate_refined_type_intervals`] persists on each
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this item is private
[INFO] [stdout]     |
[INFO] [stdout]     = note: this link resolves only because you passed `--document-private-items`, but will break without
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `refinement_info_for_in_scope`
[INFO] [stdout]    --> src/codegen/proof_lower/mod.rs:583:7
[INFO] [stdout]     |
[INFO] [stdout] 583 | /// [`refinement_info_for_in_scope`] + [`ProofLowerInputs::resolve_expr`] and
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `refinement_info_for_in_scope` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `interval_of_invariant`
[INFO] [stdout]    --> src/codegen/proof_lower/mod.rs:688:54
[INFO] [stdout]     |
[INFO] [stdout] 688 | /// is always a valid over-approximation). Running [`interval_of_invariant`]
[INFO] [stdout]     |                                                      ^^^^^^^^^^^^^^^^^^^^^ no item named `interval_of_invariant` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `interval_of_invariant`
[INFO] [stdout]     --> src/codegen/proof_lower/mod.rs:1013:26
[INFO] [stdout]      |
[INFO] [stdout] 1013 | /// matching the shape [`interval_of_invariant`] recognizes.
[INFO] [stdout]      |                          ^^^^^^^^^^^^^^^^^^^^^ no item named `interval_of_invariant` in scope
[INFO] [stdout]      |
[INFO] [stdout]      = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: public documentation for `field_carrier_eligible_intervals` links to private item `multi_field_record_demotions`
[INFO] [stdout]     --> src/codegen/proof_lower/mod.rs:1036:27
[INFO] [stdout]      |
[INFO] [stdout] 1036 | /// whole-program scan ([`multi_field_record_demotions`]):
[INFO] [stdout]      |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this item is private
[INFO] [stdout]      |
[INFO] [stdout]      = note: this link resolves only because you passed `--document-private-items`, but will break without
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: public documentation for `carrier_ungated_construction_demotions` links to private item `canonical_spelling`
[INFO] [stdout]     --> src/codegen/proof_lower/mod.rs:1433:7
[INFO] [stdout]      |
[INFO] [stdout] 1433 | /// [`canonical_spelling`]) so an entry-side qualified constructor over a
[INFO] [stdout]      |       ^^^^^^^^^^^^^^^^^^ this item is private
[INFO] [stdout]      |
[INFO] [stdout]      = note: this link resolves only because you passed `--document-private-items`, but will break without
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: public documentation for `populate_law_theorems` links to private item `classify_law_strategy`
[INFO] [stdout]     --> src/codegen/proof_lower/mod.rs:2389:11
[INFO] [stdout]      |
[INFO] [stdout] 2389 | /// via [`classify_law_strategy`]. Covered strategies: Reflexive,
[INFO] [stdout]      |           ^^^^^^^^^^^^^^^^^^^^^ this item is private
[INFO] [stdout]      |
[INFO] [stdout]      = note: this link resolves only because you passed `--document-private-items`, but will break without
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `crate::codegen::recursion::analyze_plans`
[INFO] [stdout]  --> src/codegen/recursion/detect.rs:9:7
[INFO] [stdout]   |
[INFO] [stdout] 9 | //! [`crate::codegen::recursion::analyze_plans`]; a couple of helpers
[INFO] [stdout]   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `analyze_plans` in module `recursion`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `TypeKey`
[INFO] [stdout]    --> src/codegen/rust/from_mir.rs:663:37
[INFO] [stdout]     |
[INFO] [stdout] 663 | /// symbol table carries a scoped [`TypeKey`] (`scope = "Apps.Notepad.
[INFO] [stdout]     |                                     ^^^^^^^ no item named `TypeKey` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: public documentation for `coverage_report` links to private item `emit_mir_expr`
[INFO] [stdout]    --> src/codegen/rust/from_mir.rs:816:17
[INFO] [stdout]     |
[INFO] [stdout] 816 | /// fn, calls [`emit_mir_expr`] on the body and counts
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ this item is private
[INFO] [stdout]     |
[INFO] [stdout]     = note: this link resolves only because you passed `--document-private-items`, but will break without
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: public documentation for `coverage_report_with_blockers` links to private item `emit_mir_expr`
[INFO] [stdout]    --> src/codegen/rust/from_mir.rs:835:49
[INFO] [stdout]     |
[INFO] [stdout] 835 | /// path, and the walk is the exact mirror of [`emit_mir_expr`] so the
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^ this item is private
[INFO] [stdout]     |
[INFO] [stdout]     = note: this link resolves only because you passed `--document-private-items`, but will break without
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `FnId`
[INFO] [stdout]    --> src/codegen/mod.rs:901:56
[INFO] [stdout]     |
[INFO] [stdout] 901 |     /// Resolve a verify-law's target fn name to its [`FnId`] under the
[INFO] [stdout]     |                                                        ^^^^ no item named `FnId` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `MAX_VIOLATION_REGIONS`
[INFO] [stdout]    --> src/diagnostics/factories.rs:239:13
[INFO] [stdout]     |
[INFO] [stdout] 239 | /// Up to [`MAX_VIOLATION_REGIONS`] violations surface as `regions` so
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^ no item named `MAX_VIOLATION_REGIONS` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `crate::diagnostics::wasm_gc_verify::WASM_FUEL_PER_VM_STEP`
[INFO] [stdout]     --> src/diagnostics/vm_verify.rs:1016:7
[INFO] [stdout]      |
[INFO] [stdout] 1016 | /// [`crate::diagnostics::wasm_gc_verify::WASM_FUEL_PER_VM_STEP`] to get its
[INFO] [stdout]      |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `wasm_gc_verify` in module `diagnostics`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `FormatViolation`
[INFO] [stdout]     --> src/main/format_cmd.rs:1300:7
[INFO] [stdout]      |
[INFO] [stdout] 1300 | /// [`FormatViolation`]s — one per rule that fired on a specific
[INFO] [stdout]      |       ^^^^^^^^^^^^^^^ no item named `FormatViolation` in scope
[INFO] [stdout]      |
[INFO] [stdout]      = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `super::list_build`
[INFO] [stdout]   |
[INFO] [stdout]   = note: the link appears in this line:
[INFO] [stdout]           
[INFO] [stdout]           reaches candidacy, because the recognisers in [`super::list_build`]
[INFO] [stdout]                                                          ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   = note: no item named `list_build` in module `ir`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: public documentation for `ListBuildKind` links to private item `BufferBuildKind`
[INFO] [stdout]   --> src/ir/buffer_build/list_build.rs:43:39
[INFO] [stdout]    |
[INFO] [stdout] 43 | /// the list itself — the same axis [`BufferBuildKind`] carries, and the
[INFO] [stdout]    |                                       ^^^^^^^^^^^^^^^ this item is private
[INFO] [stdout]    |
[INFO] [stdout]    = note: this link resolves only because you passed `--document-private-items`, but will break without
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: public documentation for `pair_inlined_by_fn` links to private item `super::driver_step`
[INFO] [stdout]    --> src/ir/buffer_build/list_build.rs:151:46
[INFO] [stdout]     |
[INFO] [stdout] 151 |     /// order. Alphabetised by driver. See [`super::driver_step`].
[INFO] [stdout]     |                                              ^^^^^^^^^^^^^^^^^^ this item is private
[INFO] [stdout]     |
[INFO] [stdout]     = note: this link resolves only because you passed `--document-private-items`, but will break without
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `super::RFC.md`
[INFO] [stdout]  --> src/ir/mir/program.rs:6:22
[INFO] [stdout]   |
[INFO] [stdout] 6 | //! `CtorId`). See [`super::RFC.md`] for the full rationale.
[INFO] [stdout]   |                      ^^^^^^^^^^^^^ no item named `RFC.md` in module `mir`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `Full`
[INFO] [stdout]    --> src/ir/pipeline.rs:167:32
[INFO] [stdout]     |
[INFO] [stdout] 167 |     /// Self-host variant of [`Full`] — bypasses opaque-type checks
[INFO] [stdout]     |                                ^^^^ no item named `Full` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `WithLoaded`
[INFO] [stdout]    --> src/ir/pipeline.rs:173:32
[INFO] [stdout]     |
[INFO] [stdout] 173 |     /// Self-host variant of [`WithLoaded`].
[INFO] [stdout]     |                                ^^^^^^^^^^ no item named `WithLoaded` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `WithCheckedLoaded`
[INFO] [stdout]    --> src/ir/pipeline.rs:175:32
[INFO] [stdout]     |
[INFO] [stdout] 175 |     /// Self-host variant of [`WithCheckedLoaded`]. Dependency bodies were
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^ no item named `WithCheckedLoaded` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: public documentation for `chars_fusion` links to private item `crate::ir::chars_fusion`
[INFO] [stdout]    --> src/ir/pipeline.rs:764:7
[INFO] [stdout]     |
[INFO] [stdout] 764 | /// [`crate::ir::chars_fusion`].
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^ this item is private
[INFO] [stdout]     |
[INFO] [stdout]     = note: this link resolves only because you passed `--document-private-items`, but will break without
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: public documentation for `list_build` links to private item `crate::ir::buffer_build`
[INFO] [stdout]    --> src/ir/pipeline.rs:777:7
[INFO] [stdout]     |
[INFO] [stdout] 777 | /// [`crate::ir::buffer_build`], where it lives beside the joined
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^ this item is private
[INFO] [stdout]     |
[INFO] [stdout]     = note: this link resolves only because you passed `--document-private-items`, but will break without
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `crate::ir::interval::classify_ops_in_scope`
[INFO] [stdout]    --> src/ir/proof_ir.rs:254:11
[INFO] [stdout]     |
[INFO] [stdout] 254 |     /// [`crate::ir::interval::classify_ops_in_scope`] skips) is reported
[INFO] [stdout]     |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `classify_ops_in_scope` in module `interval`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `MapUpdatePostcondition`
[INFO] [stdout]    --> src/ir/proof_ir.rs:721:47
[INFO] [stdout]     |
[INFO] [stdout] 721 |     /// Counter-increment specialisation of [`MapUpdatePostcondition`].
[INFO] [stdout]     |                                               ^^^^^^^^^^^^^^^^^^^^^^ no item named `MapUpdatePostcondition` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] help: there's a similarly named item `MapUpdatePostconditionKind`
[INFO] [stdout]     |
[INFO] [stdout] 721 |     /// Counter-increment specialisation of [`MapUpdatePostconditionKind`].
[INFO] [stdout]     |                                                                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `MapUpdatePostcondition`
[INFO] [stdout]    --> src/ir/proof_ir.rs:737:24
[INFO] [stdout]     |
[INFO] [stdout] 737 |     /// Tighter than [`MapUpdatePostcondition`] because both the body
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^^ no item named `MapUpdatePostcondition` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] help: there's a similarly named item `MapUpdatePostconditionKind`
[INFO] [stdout]     |
[INFO] [stdout] 737 |     /// Tighter than [`MapUpdatePostconditionKind`] because both the body
[INFO] [stdout]     |                                              ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `SpecEquivalence`
[INFO] [stdout]    --> src/ir/proof_ir.rs:762:19
[INFO] [stdout]     |
[INFO] [stdout] 762 |     /// Broader [`SpecEquivalence`] for cases where impl and spec
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^ no item named `SpecEquivalence` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `SpecEquivalence`
[INFO] [stdout]    --> src/ir/proof_ir.rs:794:22
[INFO] [stdout]     |
[INFO] [stdout] 794 |     /// content as [`SpecEquivalence`], but the law's source-level
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^ no item named `SpecEquivalence` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `RingIdentity`
[INFO] [stdout]     --> src/ir/proof_ir.rs:1124:55
[INFO] [stdout]      |
[INFO] [stdout] 1124 |     /// `prod <= prod`) — the inequality sibling of [`RingIdentity`], and
[INFO] [stdout]      |                                                       ^^^^^^^^^^^^ no item named `RingIdentity` in scope
[INFO] [stdout]      |
[INFO] [stdout]      = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `is_pow2_shape`
[INFO] [stdout]     --> src/ir/proof_ir.rs:1214:11
[INFO] [stdout]      |
[INFO] [stdout] 1214 |     /// [`is_pow2_shape`] fn. Unlike [`SigWindow`] there is NO binary-
[INFO] [stdout]      |           ^^^^^^^^^^^^^ no item named `is_pow2_shape` in scope
[INFO] [stdout]      |
[INFO] [stdout]      = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `SigWindow`
[INFO] [stdout]     --> src/ir/proof_ir.rs:1214:40
[INFO] [stdout]      |
[INFO] [stdout] 1214 |     /// [`is_pow2_shape`] fn. Unlike [`SigWindow`] there is NO binary-
[INFO] [stdout]      |                                        ^^^^^^^^^ no item named `SigWindow` in scope
[INFO] [stdout]      |
[INFO] [stdout]      = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `FloorPow2Window`
[INFO] [stdout]     --> src/ir/proof_ir.rs:1228:48
[INFO] [stdout]      |
[INFO] [stdout] 1228 |     /// The exact-division cancel sibling of [`FloorPow2Window`]: the
[INFO] [stdout]      |                                                ^^^^^^^^^^^^^^^ no item named `FloorPow2Window` in scope
[INFO] [stdout]      |
[INFO] [stdout]      = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: public documentation for `parse_project_source` links to private item `Walk::new`
[INFO] [stdout]   --> src/source.rs:40:15
[INFO] [stdout]    |
[INFO] [stdout] 40 | /// through [`Walk::new`], which resolves the same ceiling the same way for
[INFO] [stdout]    |               ^^^^^^^^^ this item is private
[INFO] [stdout]    |
[INFO] [stdout]    = note: this link resolves only because you passed `--document-private-items`, but will break without
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: public documentation for `classified_effects_summary` links to private item `classifications`
[INFO] [stdout]    --> src/types/checker/effect_classification.rs:167:20
[INFO] [stdout]     |
[INFO] [stdout] 167 | /// Derived from [`classifications()`] so a message that tells the user which
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^ this item is private
[INFO] [stdout]     |
[INFO] [stdout]     = note: this link resolves only because you passed `--document-private-items`, but will break without
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `A`
[INFO] [stdout]    --> src/types/checker/modules.rs:232:42
[INFO] [stdout]     |
[INFO] [stdout] 232 |     /// meaning A.Shape per B's depends [A]) silently resolved against
[INFO] [stdout]     |                                          ^ no item named `A` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `effect_classification::CLASSIFICATIONS`
[INFO] [stdout]   --> src/types/checker/proof_trust_header.rs:13:9
[INFO] [stdout]    |
[INFO] [stdout] 13 | //!   [`effect_classification::CLASSIFICATIONS`] table used by `given`
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `effect_classification` in scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `bind_expected_var`
[INFO] [stdout]     --> src/types/checker/mod.rs:2069:39
[INFO] [stdout]      |
[INFO] [stdout] 2069 |     /// Used by the occurs check in [`bind_expected_var`]; not exposed
[INFO] [stdout]      |                                       ^^^^^^^^^^^^^^^^^ no item named `bind_expected_var` in scope
[INFO] [stdout]      |
[INFO] [stdout]      = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: public documentation for `remove_nv_owned` links to private item `set_nv_owned`
[INFO] [stdout]    --> src/types/map.rs:332:21
[INFO] [stdout]     |
[INFO] [stdout] 332 | /// The mirror of [`set_nv_owned`], and the same three moves: derive the flag
[INFO] [stdout]     |                     ^^^^^^^^^^^^ this item is private
[INFO] [stdout]     |
[INFO] [stdout]     = note: this link resolves only because you passed `--document-private-items`, but will break without
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `CodegenContext`
[INFO] [stdout]   --> src/verify_law.rs:25:14
[INFO] [stdout]    |
[INFO] [stdout] 25 | /// from a [`CodegenContext`]'s resolved view.
[INFO] [stdout]    |              ^^^^^^^^^^^^^^ no item named `CodegenContext` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `compile_program`
[INFO] [stdout]   --> src/vm/compiler/mod.rs:84:28
[INFO] [stdout]    |
[INFO] [stdout] 84 | /// Same I/O contract as [`compile_program`]; the only
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^ no item named `compile_program` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: public documentation for `unexamined_walk_too_costly` links to private item `WALK_SLACK`
[INFO] [stdout]    --> src/vm/execute/slots.rs:331:15
[INFO] [stdout]     |
[INFO] [stdout] 331 |     /// See [`WALK_SLACK`]. This is the only bucket that can hold a write the
[INFO] [stdout]     |               ^^^^^^^^^^ this item is private
[INFO] [stdout]     |
[INFO] [stdout]     = note: this link resolves only because you passed `--document-private-items`, but will break without
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `ArenaEntry::Map::held_elsewhere`
[INFO] [stdout]    --> src/vm/execute/slots.rs:729:42
[INFO] [stdout]     |
[INFO] [stdout] 729 |     /// today, and it is the same list [`ArenaEntry::Map::held_elsewhere`] names
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `ArenaEntry` in scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `LIST_BUILDER_POOL_SLOTS`
[INFO] [stdout]   --> src/vm/execute/mod.rs:79:48
[INFO] [stdout]    |
[INFO] [stdout] 79 |     /// parser, say) leaves its slot behind. [`LIST_BUILDER_POOL_SLOTS`]
[INFO] [stdout]    |                                                ^^^^^^^^^^^^^^^^^^^^^^^ no item named `LIST_BUILDER_POOL_SLOTS` in scope
[INFO] [stdout]    |
[INFO] [stdout]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `result`
[INFO] [stdout]    --> src/vm/opcode.rs:331:33
[INFO] [stdout]     |
[INFO] [stdout] 331 | /// Stack: [option, default] → [result]
[INFO] [stdout]     |                                 ^^^^^^ no item named `result` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `value`
[INFO] [stdout]    --> src/vm/opcode.rs:337:33
[INFO] [stdout]     |
[INFO] [stdout] 337 | /// Stack: [result, default] → [value]
[INFO] [stdout]     |                                 ^^^^^ no item named `value` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `option`
[INFO] [stdout]    --> src/vm/opcode.rs:358:31
[INFO] [stdout]     |
[INFO] [stdout] 358 | /// Stack: [vector, index] → [option]
[INFO] [stdout]     |                               ^^^^^^ no item named `option` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `value`
[INFO] [stdout]    --> src/vm/opcode.rs:362:40
[INFO] [stdout]     |
[INFO] [stdout] 362 | /// Stack: [vector, index, default] → [value]
[INFO] [stdout]     |                                        ^^^^^ no item named `value` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `option_vector`
[INFO] [stdout]    --> src/vm/opcode.rs:367:38
[INFO] [stdout]     |
[INFO] [stdout] 367 | /// Stack: [vector, index, value] → [option_vector]
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^ no item named `option_vector` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `vector`
[INFO] [stdout]    --> src/vm/opcode.rs:371:38
[INFO] [stdout]     |
[INFO] [stdout] 371 | /// Stack: [vector, index, value] → [vector]
[INFO] [stdout]     |                                      ^^^^^^ no item named `vector` in scope
[INFO] [stdout]     |
[INFO] [stdout]     = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `dir`
[INFO] [stdout]    --> src/main/replay_cmd/backends.rs:129:5
[INFO] [stdout]     |
[INFO] [stdout] 129 | /// <dir>` no longer skips later files via early return.
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(rustdoc::invalid_html_tags)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `open`
[INFO] [stdout]    --> src/codegen/lean/law_auto/suffix_roundtrip.rs:899:52
[INFO] [stdout]     |
[INFO] [stdout] 899 | /// The opening char of the law's subject string (`<open> + escape(s)
[INFO] [stdout]     |                                                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `terminator`
[INFO] [stdout]    --> src/codegen/lean/law_auto/suffix_roundtrip.rs:900:7
[INFO] [stdout]     |
[INFO] [stdout] 900 | /// + <terminator>`). The detector validated it's a 1-char literal.
[INFO] [stdout]     |       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: markdown element starts on one item and ends on another
[INFO] [stdout]     --> src/codegen/lean/law_auto/induction/mod.rs:4939:1
[INFO] [stdout]      |
[INFO] [stdout] 4939 | / pub fn residual_probe_body(thm_lines: &[&str], probe_name: &str) -> Option<String> {
[INFO] [stdout] 4940 | |     residual_probe_body_dump(thm_lines, probe_name, None)
[INFO] [stdout] 4941 | | }
[INFO] [stdout]      | |_^
[INFO] [stdout]      |
[INFO] [stdout]      = help: the way this is parsed might change in the future
[INFO] [stdout]      = help: starts near ``aver proof --explain` residual probe — turns an emitted main law theorem's`
[INFO] [stdout]      = help: ends near `no `done`/`omega`/`split`/`simp_all`/`| sorry`.`
[INFO] [stdout]      = note: `#[deny(rustdoc::unportable_markdown)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: markdown element starts on one item and ends on another
[INFO] [stdout]     --> src/codegen/lean/law_auto/induction/mod.rs:4939:1
[INFO] [stdout]      |
[INFO] [stdout] 4939 | / pub fn residual_probe_body(thm_lines: &[&str], probe_name: &str) -> Option<String> {
[INFO] [stdout] 4940 | |     residual_probe_body_dump(thm_lines, probe_name, None)
[INFO] [stdout] 4941 | | }
[INFO] [stdout]      | |_^
[INFO] [stdout]      |
[INFO] [stdout]      = help: the way this is parsed might change in the future
[INFO] [stdout]      = help: starts near ``aver proof --explain` residual probe: turn an emitted main law theorem's`
[INFO] [stdout]      = help: ends near ``aver proof --explain` residual probe: turn an emitted main law theorem's`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: markdown element starts on one item and ends on another
[INFO] [stdout]     --> src/codegen/lean/law_auto/induction/mod.rs:4939:1
[INFO] [stdout]      |
[INFO] [stdout] 4939 | / pub fn residual_probe_body(thm_lines: &[&str], probe_name: &str) -> Option<String> {
[INFO] [stdout] 4940 | |     residual_probe_body_dump(thm_lines, probe_name, None)
[INFO] [stdout] 4941 | | }
[INFO] [stdout]      | |_^
[INFO] [stdout]      |
[INFO] [stdout]      = help: the way this is parsed might change in the future
[INFO] [stdout]      = help: starts near ``aver proof --explain` residual probe. Given the EMITTED Lean source lines of`
[INFO] [stdout]      = help: ends near ``aver proof --explain` residual probe. Given the EMITTED Lean source lines of`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: markdown element starts on one item and ends on another
[INFO] [stdout]     --> src/codegen/lean/law_auto/induction/mod.rs:4949:1
[INFO] [stdout]      |
[INFO] [stdout] 4949 | / pub fn residual_probe_body_dump(
[INFO] [stdout] 4950 | |     thm_lines: &[&str],
[INFO] [stdout] 4951 | |     probe_name: &str,
[INFO] [stdout] 4952 | |     dump_label: Option<&str>,
[INFO] [stdout] ...    |
[INFO] [stdout] 5051 | |     Some(out.join("\n"))
[INFO] [stdout] 5052 | | }
[INFO] [stdout]      | |_^
[INFO] [stdout]      |
[INFO] [stdout]      = help: the way this is parsed might change in the future
[INFO] [stdout]      = help: starts near ``aver proof --explain` residual probe — turns an emitted main law theorem's`
[INFO] [stdout]      = help: ends near `dump degrades to "no JSON for this law", never a corrupted probe.`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: markdown element starts on one item and ends on another
[INFO] [stdout]     --> src/codegen/lean/law_auto/induction/mod.rs:4949:1
[INFO] [stdout]      |
[INFO] [stdout] 4949 | / pub fn residual_probe_body_dump(
[INFO] [stdout] 4950 | |     thm_lines: &[&str],
[INFO] [stdout] 4951 | |     probe_name: &str,
[INFO] [stdout] 4952 | |     dump_label: Option<&str>,
[INFO] [stdout] ...    |
[INFO] [stdout] 5051 | |     Some(out.join("\n"))
[INFO] [stdout] 5052 | | }
[INFO] [stdout]      | |_^
[INFO] [stdout]      |
[INFO] [stdout]      = help: the way this is parsed might change in the future
[INFO] [stdout]      = help: starts near ``aver proof --explain` residual probe: turn an emitted main law theorem's`
[INFO] [stdout]      = help: ends near ``aver proof --explain` residual probe: turn an emitted main law theorem's`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: markdown element starts on one item and ends on another
[INFO] [stdout]     --> src/codegen/lean/law_auto/induction/mod.rs:4949:1
[INFO] [stdout]      |
[INFO] [stdout] 4949 | / pub fn residual_probe_body_dump(
[INFO] [stdout] 4950 | |     thm_lines: &[&str],
[INFO] [stdout] 4951 | |     probe_name: &str,
[INFO] [stdout] 4952 | |     dump_label: Option<&str>,
[INFO] [stdout] ...    |
[INFO] [stdout] 5051 | |     Some(out.join("\n"))
[INFO] [stdout] 5052 | | }
[INFO] [stdout]      | |_^
[INFO] [stdout]      |
[INFO] [stdout]      = help: the way this is parsed might change in the future
[INFO] [stdout]      = help: starts near `Like [`residual_probe_body`], but when `dump_label` is `Some(fn.law)` each`
[INFO] [stdout]      = help: ends near `Like [`residual_probe_body`], but when `dump_label` is `Some(fn.law)` each`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `T`
[INFO] [stdout]   --> src/codegen/rust/emit_ctx.rs:78:54
[INFO] [stdout]    |
[INFO] [stdout] 78 |     /// Is this variable a pass-through parameter (Rc<T> in self-TCO, &T in mutual-TCO)?
[INFO] [stdout]    |                                                      ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: try marking as source code
[INFO] [stdout]    |
[INFO] [stdout] 78 |     /// Is this variable a pass-through parameter (`Rc<T>` in self-TCO, &T in mutual-TCO)?
[INFO] [stdout]    |                                                    +     +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `T`
[INFO] [stdout]     --> src/codegen/rust/from_mir.rs:3800:40
[INFO] [stdout]      |
[INFO] [stdout] 3800 | /// returning a pass-through param (Arc<T> / &T) needs `(*x).clone()` to
[INFO] [stdout]      |                                        ^^^
[INFO] [stdout]      |
[INFO] [stdout] help: try marking as source code
[INFO] [stdout]      |
[INFO] [stdout] 3800 | /// returning a pass-through param (`Arc<T>` / &T) needs `(*x).clone()` to
[INFO] [stdout]      |                                     +      +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `str`
[INFO] [stdout]     --> src/codegen/rust/toplevel.rs:1114:84
[INFO] [stdout]      |
[INFO] [stdout] 1114 | /// Is this Aver type expensive to clone (i.e. not Copy and not AverStr which is Rc<str>)?
[INFO] [stdout]      |                                                                                    ^^^^^
[INFO] [stdout]      |
[INFO] [stdout] help: try marking as source code
[INFO] [stdout]      |
[INFO] [stdout] 1114 | /// Is this Aver type expensive to clone (i.e. not Copy and not AverStr which is `Rc<str>`)?
[INFO] [stdout]      |                                                                                  +       +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `Expr`
[INFO] [stdout]    --> src/ir/buffer_build/mod.rs:772:46
[INFO] [stdout]     |
[INFO] [stdout] 772 | /// Build `<intrinsic>(args...)` as a Spanned<Expr>. Intrinsic names
[INFO] [stdout]     |                                              ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: try marking as source code
[INFO] [stdout]     |
[INFO] [stdout] 772 | /// Build `<intrinsic>(args...)` as a `Spanned<Expr>`. Intrinsic names
[INFO] [stdout]     |                                       +             +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `Expr`
[INFO] [stdout]     --> src/ir/buffer_build/mod.rs:1032:33
[INFO] [stdout]      |
[INFO] [stdout] 1032 | /// return the rewritten Spanned<Expr>. Else return None.
[INFO] [stdout]      |                                 ^^^^^^
[INFO] [stdout]      |
[INFO] [stdout] help: try marking as source code
[INFO] [stdout]      |
[INFO] [stdout] 1032 | /// return the rewritten `Spanned<Expr>`. Else return None.
[INFO] [stdout]      |                          +             +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: redundant explicit link target
[INFO] [stdout]   |
[INFO] [stdout]   = note: when a link's destination is not specified,
[INFO] [stdout]           the label is used to resolve intra-doc links
[INFO] [stdout]   = note: `#[warn(rustdoc::redundant_explicit_links)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: redundant explicit link target
[INFO] [stdout]    --> src/ir/mir/lower.rs:103:20
[INFO] [stdout]     |
[INFO] [stdout] 103 | //! [`SkipReason`](crate::ir::mir::SkipReason) the lowerer hit
[INFO] [stdout]     |      ------------  ^^^^^^^^^^^^^^^^^^^^^^^^^^ explicit target is redundant
[INFO] [stdout]     |      |
[INFO] [stdout]     |      because label contains path that resolves to same destination
[INFO] [stdout]     |
[INFO] [stdout]     = note: when a link's destination is not specified,
[INFO] [stdout]             the label is used to resolve intra-doc links
[INFO] [stdout] help: remove explicit link target
[INFO] [stdout]     |
[INFO] [stdout] 103 - //! [`SkipReason`](crate::ir::mir::SkipReason) the lowerer hit
[INFO] [stdout] 103 + //! [`SkipReason`] the lowerer hit
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: redundant explicit link target
[INFO] [stdout]    --> src/ir/pipeline.rs:171:57
[INFO] [stdout]     |
[INFO] [stdout] 171 |     /// contract. See [`run_type_check_full_self_host`](crate::types::checker::run_type_check_full_self_host).
[INFO] [stdout]     |                        -------------------------------  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ explicit target is redundant
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        because label contains path that resolves to same destination
[INFO] [stdout]     |
[INFO] [stdout]     = note: when a link's destination is not specified,
[INFO] [stdout]             the label is used to resolve intra-doc links
[INFO] [stdout] help: remove explicit link target
[INFO] [stdout]     |
[INFO] [stdout] 171 -     /// contract. See [`run_type_check_full_self_host`](crate::types::checker::run_type_check_full_self_host).
[INFO] [stdout] 171 +     /// contract. See [`run_type_check_full_self_host`].
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `Stmt`
[INFO] [stdout]    --> src/types/checker/effect_lifting.rs:450:17
[INFO] [stdout]     |
[INFO] [stdout] 450 | /// keep the Vec<Stmt> form and return it as a Match-subject which
[INFO] [stdout]     |                 ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: try marking as source code
[INFO] [stdout]     |
[INFO] [stdout] 450 | /// keep the `Vec<Stmt>` form and return it as a Match-subject which
[INFO] [stdout]     |              +         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `subpattern`
[INFO] [stdout]     --> src/vm/compiler/mir.rs:1612:7
[INFO] [stdout]      |
[INFO] [stdout] 1612 | ///   <subpattern emit>             // fail_patches
[INFO] [stdout]      |       ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `Vector`
[INFO] [stdout]    --> src/vm/opcode.rs:366:70
[INFO] [stdout]     |
[INFO] [stdout] 366 | /// Inline Vector.set: pop value, pop index, pop vector → push Option<Vector>.
[INFO] [stdout]     |                                                                      ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: try marking as source code
[INFO] [stdout]     |
[INFO] [stdout] 366 | /// Inline Vector.set: pop value, pop index, pop vector → push `Option<Vector>`.
[INFO] [stdout]     |                                                                +              +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `const_fold` is both a function and a module
[INFO] [stdout]   --> src/ir/mir/optimize/mod.rs:11:9
[INFO] [stdout]    |
[INFO] [stdout] 11 | //! - [`const_fold`] (wave 5) — evaluate `BinOp` / `Neg` over
[INFO] [stdout]    |         ^^^^^^^^^^ ambiguous link
[INFO] [stdout]    |
[INFO] [stdout] help: to link to the function, add parentheses
[INFO] [stdout]    |
[INFO] [stdout] 11 | //! - [`const_fold()`] (wave 5) — evaluate `BinOp` / `Neg` over
[INFO] [stdout]    |                   ++
[INFO] [stdout] help: to link to the module, prefix with `mod@`
[INFO] [stdout]    |
[INFO] [stdout] 11 | //! - [`mod@const_fold`] (wave 5) — evaluate `BinOp` / `Neg` over
[INFO] [stdout]    |         ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `dead_code` is both a function and a module
[INFO] [stdout]   --> src/ir/mir/optimize/mod.rs:13:9
[INFO] [stdout]    |
[INFO] [stdout] 13 | //! - [`dead_code`] (wave 6) — drop `Let { value: <pure>, body }`
[INFO] [stdout]    |         ^^^^^^^^^ ambiguous link
[INFO] [stdout]    |
[INFO] [stdout] help: to link to the function, add parentheses
[INFO] [stdout]    |
[INFO] [stdout] 13 | //! - [`dead_code()`] (wave 6) — drop `Let { value: <pure>, body }`
[INFO] [stdout]    |                  ++
[INFO] [stdout] help: to link to the module, prefix with `mod@`
[INFO] [stdout]    |
[INFO] [stdout] 13 | //! - [`mod@dead_code`] (wave 6) — drop `Let { value: <pure>, body }`
[INFO] [stdout]    |         ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `branch_collapse` is both a function and a module
[INFO] [stdout]   --> src/ir/mir/optimize/mod.rs:21:9
[INFO] [stdout]    |
[INFO] [stdout] 21 | //! - [`branch_collapse`] (wave 10) — drop the dead branch of
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^ ambiguous link
[INFO] [stdout]    |
[INFO] [stdout] help: to link to the function, add parentheses
[INFO] [stdout]    |
[INFO] [stdout] 21 | //! - [`branch_collapse()`] (wave 10) — drop the dead branch of
[INFO] [stdout]    |                        ++
[INFO] [stdout] help: to link to the module, prefix with `mod@`
[INFO] [stdout]    |
[INFO] [stdout] 21 | //! - [`mod@branch_collapse`] (wave 10) — drop the dead branch of
[INFO] [stdout]    |         ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not document `aver-lang`
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "fe3ea2465e68ea7a2840a5f863a0f8c8cb17810fce3a5fbba36472149f4c6e10", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fe3ea2465e68ea7a2840a5f863a0f8c8cb17810fce3a5fbba36472149f4c6e10", kill_on_drop: false }`
[INFO] [stdout] fe3ea2465e68ea7a2840a5f863a0f8c8cb17810fce3a5fbba36472149f4c6e10
