[INFO] fetching crate aver-lang 0.29.0...
[INFO] documenting aver-lang-0.29.0 against 824336ad4127ce295849937a24c08a4aeff6ada7 for pr-162169
[INFO] extracting crate aver-lang 0.29.0 into /workspace/builds/worker-0-tc1/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-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate aver-lang 0.29.0 on toolchain 824336ad4127ce295849937a24c08a4aeff6ada7
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+824336ad4127ce295849937a24c08a4aeff6ada7" "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" "+824336ad4127ce295849937a24c08a4aeff6ada7" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded wit-encoder v0.248.0
[INFO] [stderr]   Downloaded wasm-metadata v0.248.0
[INFO] [stderr]   Downloaded pulley-macros v48.0.1
[INFO] [stderr]   Downloaded cranelift-bitset v0.135.1
[INFO] [stderr]   Downloaded wat v1.246.2
[INFO] [stderr]   Downloaded wasmtime-internal-versioned-export-macros v48.0.1
[INFO] [stderr]   Downloaded cranelift-srcgen v0.135.1
[INFO] [stderr]   Downloaded cranelift-native v0.135.1
[INFO] [stderr]   Downloaded wasmtime-internal-component-util v48.0.1
[INFO] [stderr]   Downloaded cranelift-codegen-shared v0.135.1
[INFO] [stderr]   Downloaded wasmtime-internal-jit-icache-coherence v48.0.1
[INFO] [stderr]   Downloaded wiggle-macro v48.0.1
[INFO] [stderr]   Downloaded wasmtime-internal-jit-debug v48.0.1
[INFO] [stderr]   Downloaded cranelift-control v0.135.1
[INFO] [stderr]   Downloaded wasmtime-internal-unwinder v48.0.1
[INFO] [stderr]   Downloaded wasmtime-wasi-io v48.0.1
[INFO] [stderr]   Downloaded wiggle v48.0.1
[INFO] [stderr]   Downloaded wiggle-generate v48.0.1
[INFO] [stderr]   Downloaded cranelift-entity v0.135.1
[INFO] [stderr]   Downloaded cap-fs-ext v4.0.3
[INFO] [stderr]   Downloaded wasm-metadata v0.254.0
[INFO] [stderr]   Downloaded cranelift-bforest v0.135.1
[INFO] [stderr]   Downloaded wasmtime-internal-cache v48.0.1
[INFO] [stderr]   Downloaded wasmtime-internal-fiber v48.0.1
[INFO] [stderr]   Downloaded wasmtime-internal-wit-bindgen v48.0.1
[INFO] [stderr]   Downloaded wasmtime-internal-core v48.0.1
[INFO] [stderr]   Downloaded wasmprinter v0.254.0
[INFO] [stderr]   Downloaded cranelift-assembler-x64 v0.135.1
[INFO] [stderr]   Downloaded cranelift-assembler-x64-meta v0.135.1
[INFO] [stderr]   Downloaded wasmprinter v0.248.0
[INFO] [stderr]   Downloaded pulley-interpreter v48.0.1
[INFO] [stderr]   Downloaded cranelift-frontend v0.135.1
[INFO] [stderr]   Downloaded aver-memory v0.2.15
[INFO] [stderr]   Downloaded wasm-encoder v0.246.2
[INFO] [stderr]   Downloaded wasm-encoder v0.254.0
[INFO] [stderr]   Downloaded cranelift-isle v0.135.1
[INFO] [stderr]   Downloaded cranelift-codegen-meta v0.135.1
[INFO] [stderr]   Downloaded aver-rt v0.4.11
[INFO] [stderr]   Downloaded wasmparser v0.248.0
[INFO] [stderr]   Downloaded wasm-encoder v0.248.0
[INFO] [stderr]   Downloaded regalloc2 v0.15.2
[INFO] [stderr]   Downloaded wit-parser v0.248.0
[INFO] [stderr]   Downloaded wast v246.0.2
[INFO] [stderr]   Downloaded wit-parser v0.254.0
[INFO] [stderr]   Downloaded wasmtime-wasi v48.0.1
[INFO] [stderr]   Downloaded wasmtime-internal-cranelift v48.0.1
[INFO] [stderr]   Downloaded wasmtime-internal-component-macro v48.0.1
[INFO] [stderr]   Downloaded wit-component v0.248.0
[INFO] [stderr]   Downloaded wasmparser v0.254.0
[INFO] [stderr]   Downloaded wasmparser v0.246.2
[INFO] [stderr]   Downloaded wit-component v0.254.0
[INFO] [stderr]   Downloaded wasmtime-environ v48.0.1
[INFO] [stderr]   Downloaded aver-cert v0.1.4
[INFO] [stderr]   Downloaded wasmtime v48.0.1
[INFO] [stderr]   Downloaded cranelift-codegen v0.135.1
[INFO] [stderr]   Downloaded wasmtime-wasi-http v48.0.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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] b1665f47a4fbcd2b2ed58eb89a286415f2835f588d66355b3d8ebe77cb5e8961
[INFO] running `Command { std: "docker" "start" "b1665f47a4fbcd2b2ed58eb89a286415f2835f588d66355b3d8ebe77cb5e8961", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b1665f47a4fbcd2b2ed58eb89a286415f2835f588d66355b3d8ebe77cb5e8961", 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" "b1665f47a4fbcd2b2ed58eb89a286415f2835f588d66355b3d8ebe77cb5e8961" "/opt/rustwide/cargo-home/bin/cargo" "+824336ad4127ce295849937a24c08a4aeff6ada7" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b1665f47a4fbcd2b2ed58eb89a286415f2835f588d66355b3d8ebe77cb5e8961", 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" "b1665f47a4fbcd2b2ed58eb89a286415f2835f588d66355b3d8ebe77cb5e8961" "/opt/rustwide/cargo-home/bin/cargo" "+824336ad4127ce295849937a24c08a4aeff6ada7" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling cc v1.2.56
[INFO] [stderr]    Compiling zerocopy v0.8.42
[INFO] [stderr]     Checking typenum v1.20.0
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]     Checking getrandom v0.3.4
[INFO] [stderr]     Checking linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling rustls v0.23.37
[INFO] [stderr]     Checking percent-encoding v2.3.2
[INFO] [stderr]    Compiling rustix v0.38.44
[INFO] [stderr]     Checking simd-adler32 v0.3.8
[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 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 rand_core v0.9.5
[INFO] [stderr]     Checking parking_lot v0.12.5
[INFO] [stderr]     Checking miniz_oxide v0.8.9
[INFO] [stderr]     Checking winnow v0.7.14
[INFO] [stderr]     Checking clap_lex v1.0.0
[INFO] [stderr]     Checking either v1.15.0
[INFO] [stderr]     Checking clap_builder v4.5.60
[INFO] [stderr]    Compiling aver-lang v0.29.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking signal-hook-mio v0.2.5
[INFO] [stderr]     Checking flate2 v1.1.9
[INFO] [stderr]     Checking serde_json v1.0.149
[INFO] [stderr]     Checking colored v2.2.0
[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 zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.8.1
[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 thiserror-impl v1.0.69
[INFO] [stderr]    Compiling clap_derive v4.5.55
[INFO] [stderr]     Checking rustls-webpki v0.103.9
[INFO] [stderr]     Checking zerofrom v0.1.6
[INFO] [stderr]     Checking yoke v0.8.1
[INFO] [stderr]     Checking zerotrie v0.2.3
[INFO] [stderr]     Checking zerovec v0.11.5
[INFO] [stderr]     Checking thiserror v1.0.69
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking clap v4.5.60
[INFO] [stderr]     Checking rand_chacha v0.9.0
[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 rand v0.9.2
[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 toml v0.8.23
[INFO] [stderr]     Checking url v2.5.8
[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] 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] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]   --> src/self_host/aver_generated/domain/builtins/mod.rs:56:47
[INFO] [stdout]    |
[INFO] [stdout] 56 |                 aver_list_match!(items, [] => { return acc }, [item, rest] => match item {
[INFO] [stdout]    |                                               ^^          ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_braces)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these braces
[INFO] [stdout]    |
[INFO] [stdout] 56 -                 aver_list_match!(items, [] => { return acc }, [item, rest] => match item {
[INFO] [stdout] 56 +                 aver_list_match!(items, [] => return acc, [item, rest] => match item {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]    --> src/self_host/aver_generated/domain/eval/core/mod.rs:822:46
[INFO] [stdout]     |
[INFO] [stdout] 822 | ...   aver_list_match!(arms, [] => { return Err(AverStr::from("no matching arm")) }, [arm, rest] => match crate::aver_generated::do...
[INFO] [stdout]     |                                    ^^                                            ^^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]     |
[INFO] [stdout] 822 -                 aver_list_match!(arms, [] => { return Err(AverStr::from("no matching arm")) }, [arm, rest] => match crate::aver_generated::domain::match_mod::matchPattern(&arm.pattern, &v) { Ok(bindings @ _) => { __MutualTco1::EvalExpr(arm.body.clone(), crate::aver_generated::domain::eval::store::mergeBindings(bindings, env)) }, Err(_) => { __MutualTco1::EvalMatch(v, rest, env) } })
[INFO] [stdout] 822 +                 aver_list_match!(arms, [] => return Err(AverStr::from("no matching arm")), [arm, rest] => match crate::aver_generated::domain::match_mod::matchPattern(&arm.pattern, &v) { Ok(bindings @ _) => { __MutualTco1::EvalExpr(arm.body.clone(), crate::aver_generated::domain::eval::store::mergeBindings(bindings, env)) }, Err(_) => { __MutualTco1::EvalMatch(v, rest, env) } })
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:1216:46
[INFO] [stdout]      |
[INFO] [stdout] 1216 | ...   aver_list_match!(arms, [] => { return Err(AverStr::from("no matching arm")) }, [arm, rest] => match crate::aver_generated::d...
[INFO] [stdout]      |                                    ^^                                            ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 1216 -                 aver_list_match!(arms, [] => { return Err(AverStr::from("no matching arm")) }, [arm, rest] => match crate::aver_generated::domain::match_mod::matchPattern(&arm.pattern, &v) { Ok(bindings @ _) => { __MutualTco2::EvalTailExprSlot(selfId, arm.body.clone(), slotCount, crate::aver_generated::domain::eval::core::mergeBindingsSlot(&bindings, &arm.bindingSlots, &env)) }, Err(_) => { __MutualTco2::EvalTailMatchSlot(selfId, v, rest, slotCount, env) } })
[INFO] [stdout] 1216 +                 aver_list_match!(arms, [] => return Err(AverStr::from("no matching arm")), [arm, rest] => match crate::aver_generated::domain::match_mod::matchPattern(&arm.pattern, &v) { Ok(bindings @ _) => { __MutualTco2::EvalTailExprSlot(selfId, arm.body.clone(), slotCount, crate::aver_generated::domain::eval::core::mergeBindingsSlot(&bindings, &arm.bindingSlots, &env)) }, Err(_) => { __MutualTco2::EvalTailMatchSlot(selfId, v, rest, slotCount, env) } })
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:1975:46
[INFO] [stdout]      |
[INFO] [stdout] 1975 | ...   aver_list_match!(arms, [] => { return Err(AverStr::from("no matching arm")) }, [arm, rest] => match crate::aver_generated::d...
[INFO] [stdout]      |                                    ^^                                            ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 1975 -                 aver_list_match!(arms, [] => { return Err(AverStr::from("no matching arm")) }, [arm, rest] => match crate::aver_generated::domain::match_mod::matchPattern(&arm.pattern, &v) { Ok(bindings @ _) => { __MutualTco3::EvalExprSlot(arm.body.clone(), crate::aver_generated::domain::eval::core::mergeBindingsSlot(&bindings, &arm.bindingSlots, &env)) }, Err(_) => { __MutualTco3::EvalMatchSlot(v, rest, env) } })
[INFO] [stdout] 1975 +                 aver_list_match!(arms, [] => return Err(AverStr::from("no matching arm")), [arm, rest] => match crate::aver_generated::domain::match_mod::matchPattern(&arm.pattern, &v) { Ok(bindings @ _) => { __MutualTco3::EvalExprSlot(arm.body.clone(), crate::aver_generated::domain::eval::core::mergeBindingsSlot(&bindings, &arm.bindingSlots, &env)) }, Err(_) => { __MutualTco3::EvalMatchSlot(v, rest, env) } })
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:2315:47
[INFO] [stdout]      |
[INFO] [stdout] 2315 | ...   aver_list_match!(exprs, [] => { return Ok(acc) }, [e, restExprs] => { match crate::aver_generated::domain::eval::core::evalE...
[INFO] [stdout]      |                                     ^^              ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 2315 -                 aver_list_match!(exprs, [] => { return Ok(acc) }, [e, restExprs] => { match crate::aver_generated::domain::eval::core::evalExpr(&e, &*env, &*fns) { Err(err @ _) => { return Err(err) }, Ok(v @ _) => { __MutualTco4::EvalArgsMapToNamedEnvBind(restExprs, params, acc, v) } } })
[INFO] [stdout] 2315 +                 aver_list_match!(exprs, [] => return Ok(acc), [e, restExprs] => { match crate::aver_generated::domain::eval::core::evalExpr(&e, &*env, &*fns) { Err(err @ _) => { return Err(err) }, Ok(v @ _) => { __MutualTco4::EvalArgsMapToNamedEnvBind(restExprs, params, acc, v) } } })
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:2315:85
[INFO] [stdout]      |
[INFO] [stdout] 2315 | ...=> { match crate::aver_generated::domain::eval::core::evalExpr(&e, &*env, &*fns) { Err(err @ _) => { return Err(err) }, Ok(v @ _) => { __MutualTco4::EvalArgsMapToNamedEnvBind(restExprs, params, acc, v) } } })
[INFO] [stdout]      |       ^^                                                                                                                                                                                                        ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 2315 -                 aver_list_match!(exprs, [] => { return Ok(acc) }, [e, restExprs] => { match crate::aver_generated::domain::eval::core::evalExpr(&e, &*env, &*fns) { Err(err @ _) => { return Err(err) }, Ok(v @ _) => { __MutualTco4::EvalArgsMapToNamedEnvBind(restExprs, params, acc, v) } } })
[INFO] [stdout] 2315 +                 aver_list_match!(exprs, [] => { return Ok(acc) }, [e, restExprs] => match crate::aver_generated::domain::eval::core::evalExpr(&e, &*env, &*fns) { Err(err @ _) => { return Err(err) }, Ok(v @ _) => { __MutualTco4::EvalArgsMapToNamedEnvBind(restExprs, params, acc, v) } })
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:2391:47
[INFO] [stdout]      |
[INFO] [stdout] 2391 | ...   aver_list_match!(exprs, [] => { return Ok(acc) }, [e, restExprs] => { match crate::aver_generated::domain::eval::core::evalE...
[INFO] [stdout]      |                                     ^^              ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 2391 -                 aver_list_match!(exprs, [] => { return Ok(acc) }, [e, restExprs] => { match crate::aver_generated::domain::eval::core::evalExprSlot(&e, &*env, &*slotMap, &*fns) { Err(err @ _) => { return Err(err) }, Ok(v @ _) => { __MutualTco5::EvalArgsSlotToNamedEnvBind(restExprs, params, acc, v) } } })
[INFO] [stdout] 2391 +                 aver_list_match!(exprs, [] => return Ok(acc), [e, restExprs] => { match crate::aver_generated::domain::eval::core::evalExprSlot(&e, &*env, &*slotMap, &*fns) { Err(err @ _) => { return Err(err) }, Ok(v @ _) => { __MutualTco5::EvalArgsSlotToNamedEnvBind(restExprs, params, acc, v) } } })
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:2391:85
[INFO] [stdout]      |
[INFO] [stdout] 2391 | ...=> { match crate::aver_generated::domain::eval::core::evalExprSlot(&e, &*env, &*slotMap, &*fns) { Err(err @ _) => { return Err(err) }, Ok(v @ _) => { __MutualTco5::EvalArgsSlotToNamedEnvBind(restExprs, params, acc, v) } } })
[INFO] [stdout]      |       ^^                                                                                                                                                                                                                        ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 2391 -                 aver_list_match!(exprs, [] => { return Ok(acc) }, [e, restExprs] => { match crate::aver_generated::domain::eval::core::evalExprSlot(&e, &*env, &*slotMap, &*fns) { Err(err @ _) => { return Err(err) }, Ok(v @ _) => { __MutualTco5::EvalArgsSlotToNamedEnvBind(restExprs, params, acc, v) } } })
[INFO] [stdout] 2391 +                 aver_list_match!(exprs, [] => { return Ok(acc) }, [e, restExprs] => match crate::aver_generated::domain::eval::core::evalExprSlot(&e, &*env, &*slotMap, &*fns) { Err(err @ _) => { return Err(err) }, Ok(v @ _) => { __MutualTco5::EvalArgsSlotToNamedEnvBind(restExprs, params, acc, v) } })
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:2468:50
[INFO] [stdout]      |
[INFO] [stdout] 2468 | ...   aver_list_match!(bindings, [] => { return env }, [pair, rest] => { { let (name, val) = pair; __MutualTco6::MergeOneBindingSl...
[INFO] [stdout]      |                                        ^^          ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 2468 -                 aver_list_match!(bindings, [] => { return env }, [pair, rest] => { { let (name, val) = pair; __MutualTco6::MergeOneBindingSlot(name, val, rest, env) } })
[INFO] [stdout] 2468 +                 aver_list_match!(bindings, [] => return env, [pair, rest] => { { let (name, val) = pair; __MutualTco6::MergeOneBindingSlot(name, val, rest, env) } })
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:2468:82
[INFO] [stdout]      |
[INFO] [stdout] 2468 | ... }, [pair, rest] => { { let (name, val) = pair; __MutualTco6::MergeOneBindingSlot(name, val, rest, env) } })
[INFO] [stdout]      |                        ^^                                                                                   ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 2468 -                 aver_list_match!(bindings, [] => { return env }, [pair, rest] => { { let (name, val) = pair; __MutualTco6::MergeOneBindingSlot(name, val, rest, env) } })
[INFO] [stdout] 2468 +                 aver_list_match!(bindings, [] => { return env }, [pair, rest] => { let (name, val) = pair; __MutualTco6::MergeOneBindingSlot(name, val, rest, env) })
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:2603:47
[INFO] [stdout]      |
[INFO] [stdout] 2603 | ...   aver_list_match!(stmts, [] => { return Ok(crate::aver_generated::domain::value::Val::ValUnit) }, [stmt, rest] => match stmt {
[INFO] [stdout]      |                                     ^^                                                             ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 2603 -                 aver_list_match!(stmts, [] => { return Ok(crate::aver_generated::domain::value::Val::ValUnit) }, [stmt, rest] => match stmt {
[INFO] [stdout] 2603 +                 aver_list_match!(stmts, [] => return Ok(crate::aver_generated::domain::value::Val::ValUnit), [stmt, rest] => match stmt {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:2726:47
[INFO] [stdout]      |
[INFO] [stdout] 2726 | ...=> { return Ok(crate::aver_generated::domain::eval::core::SlotTailStep::SlotTailDone(crate::aver_generated::domain::value::Val::ValUnit)) }, [...
[INFO] [stdout]      |       ^^                                                                                                                                    ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 2726 -                 aver_list_match!(stmts, [] => { return Ok(crate::aver_generated::domain::eval::core::SlotTailStep::SlotTailDone(crate::aver_generated::domain::value::Val::ValUnit)) }, [stmt, rest] => { { let __list_subject = rest.clone(); if __list_subject.is_empty() { return crate::aver_generated::domain::eval::core::evalTailStmtSlot(selfId, &stmt, slotCount, &env, &*slotMap, &*fns) } else { __MutualTco8::EvalStmtsSlotTailNext(selfId, stmt, rest, slotCount, env) } } })
[INFO] [stdout] 2726 +                 aver_list_match!(stmts, [] => return Ok(crate::aver_generated::domain::eval::core::SlotTailStep::SlotTailDone(crate::aver_generated::domain::value::Val::ValUnit)), [stmt, rest] => { { let __list_subject = rest.clone(); if __list_subject.is_empty() { return crate::aver_generated::domain::eval::core::evalTailStmtSlot(selfId, &stmt, slotCount, &env, &*slotMap, &*fns) } else { __MutualTco8::EvalStmtsSlotTailNext(selfId, stmt, rest, slotCount, env) } } })
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:2726:201
[INFO] [stdout]      |
[INFO] [stdout] 2726 | ...=> { { let __list_subject = rest.clone(); if __list_subject.is_empty() { return crate::aver_generated::domain::eval::core::evalTailStmtSlot(selfId, &stmt, slotCount, &env, &*slotMap, &*fns) } else { __MutualTco8::EvalStmtsSlotTailNext(selfId, stmt, rest, slotCount, env) } } })
[INFO] [stdout]      |       ^^                                                                                                                                                                                                                                                                             ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 2726 -                 aver_list_match!(stmts, [] => { return Ok(crate::aver_generated::domain::eval::core::SlotTailStep::SlotTailDone(crate::aver_generated::domain::value::Val::ValUnit)) }, [stmt, rest] => { { let __list_subject = rest.clone(); if __list_subject.is_empty() { return crate::aver_generated::domain::eval::core::evalTailStmtSlot(selfId, &stmt, slotCount, &env, &*slotMap, &*fns) } else { __MutualTco8::EvalStmtsSlotTailNext(selfId, stmt, rest, slotCount, env) } } })
[INFO] [stdout] 2726 +                 aver_list_match!(stmts, [] => { return Ok(crate::aver_generated::domain::eval::core::SlotTailStep::SlotTailDone(crate::aver_generated::domain::value::Val::ValUnit)) }, [stmt, rest] => { let __list_subject = rest.clone(); if __list_subject.is_empty() { return crate::aver_generated::domain::eval::core::evalTailStmtSlot(selfId, &stmt, slotCount, &env, &*slotMap, &*fns) } else { __MutualTco8::EvalStmtsSlotTailNext(selfId, stmt, rest, slotCount, env) } })
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:3083:88
[INFO] [stdout]      |
[INFO] [stdout] 3083 | ...=> { aver_list_match!(rest, [] => match crate::aver_generated::domain::eval::core::evalExpr(&a, env, fns) { Ok(va @ _) => { Ok(aver_rt::AverList::from_vec(vec![va])) }, Err(e @ _) => { Err(e) } }, [b, rest2] => { { let __list_subject = rest2; if __list_subject.is_empty() { { let (va, vb) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalExpr(&a, env, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalExpr(&b, env, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let fns = fns; let a = a.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExpr(&a, env, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let fns = fns; let b = b.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExpr(&b, env, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(aver_rt::AverList::from_vec(vec![va, vb])) } } else { { let (leftExprs, rightExprs) = crate::aver_generated::domain::eval::core::splitIndependentExprs(exprs.clone(), aver_rt::AverList::empty(), aver_rt::AverList::empty(), true); { let (leftVals, rightVals) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalIndependentItems(&leftExprs, env, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalIndependentItems(&rightExprs, env, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let fns = fns; let leftExprs = leftExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItems(&leftExprs, env, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let fns = fns; let rightExprs = rightExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItems(&rightExprs, env, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(crate::aver_generated::domain::eval::core::interleaveIndependentVals(leftVals, rightVals, true, aver_rt::AverList::empty())) } } } } }) })
[INFO] [stdout]      |       ^^                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 3083 -     aver_list_match!(exprs.clone(), [] => Ok(aver_rt::AverList::empty()), [a, rest] => { aver_list_match!(rest, [] => match crate::aver_generated::domain::eval::core::evalExpr(&a, env, fns) { Ok(va @ _) => { Ok(aver_rt::AverList::from_vec(vec![va])) }, Err(e @ _) => { Err(e) } }, [b, rest2] => { { let __list_subject = rest2; if __list_subject.is_empty() { { let (va, vb) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalExpr(&a, env, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalExpr(&b, env, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let fns = fns; let a = a.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExpr(&a, env, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let fns = fns; let b = b.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExpr(&b, env, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(aver_rt::AverList::from_vec(vec![va, vb])) } } else { { let (leftExprs, rightExprs) = crate::aver_generated::domain::eval::core::splitIndependentExprs(exprs.clone(), aver_rt::AverList::empty(), aver_rt::AverList::empty(), true); { let (leftVals, rightVals) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalIndependentItems(&leftExprs, env, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalIndependentItems(&rightExprs, env, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let fns = fns; let leftExprs = leftExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItems(&leftExprs, env, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let fns = fns; let rightExprs = rightExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItems(&rightExprs, env, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(crate::aver_generated::domain::eval::core::interleaveIndependentVals(leftVals, rightVals, true, aver_rt::AverList::empty())) } } } } }) })
[INFO] [stdout] 3083 +     aver_list_match!(exprs.clone(), [] => Ok(aver_rt::AverList::empty()), [a, rest] => aver_list_match!(rest, [] => match crate::aver_generated::domain::eval::core::evalExpr(&a, env, fns) { Ok(va @ _) => { Ok(aver_rt::AverList::from_vec(vec![va])) }, Err(e @ _) => { Err(e) } }, [b, rest2] => { { let __list_subject = rest2; if __list_subject.is_empty() { { let (va, vb) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalExpr(&a, env, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalExpr(&b, env, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let fns = fns; let a = a.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExpr(&a, env, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let fns = fns; let b = b.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExpr(&b, env, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(aver_rt::AverList::from_vec(vec![va, vb])) } } else { { let (leftExprs, rightExprs) = crate::aver_generated::domain::eval::core::splitIndependentExprs(exprs.clone(), aver_rt::AverList::empty(), aver_rt::AverList::empty(), true); { let (leftVals, rightVals) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalIndependentItems(&leftExprs, env, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalIndependentItems(&rightExprs, env, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let fns = fns; let leftExprs = leftExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItems(&leftExprs, env, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let fns = fns; let rightExprs = rightExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItems(&rightExprs, env, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(crate::aver_generated::domain::eval::core::interleaveIndependentVals(leftVals, rightVals, true, aver_rt::AverList::empty())) } } } } }))
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:3083:296
[INFO] [stdout]      |
[INFO] [stdout] 3083 | ...=> { { let __list_subject = rest2; if __list_subject.is_empty() { { let (va, vb) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalExpr(&a, env, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalExpr(&b, env, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let fns = fns; let a = a.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExpr(&a, env, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let fns = fns; let b = b.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExpr(&b, env, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(aver_rt::AverList::from_vec(vec![va, vb])) } } else { { let (leftExprs, rightExprs) = crate::aver_generated::domain::eval::core::splitIndependentExprs(exprs.clone(), aver_rt::AverList::empty(), aver_rt::AverList::empty(), true); { let (leftVals, rightVals) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalIndependentItems(&leftExprs, env, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalIndependentItems(&rightExprs, env, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let fns = fns; let leftExprs = leftExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItems(&leftExprs, env, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let fns = fns; let rightExprs = rightExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItems(&rightExprs, env, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(crate::aver_generated::domain::eval::core::interleaveIndependentVals(leftVals, rightVals, true, aver_rt::AverList::empty())) } } } } }) })
[INFO] [stdout]      |       ^^                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 3083 -     aver_list_match!(exprs.clone(), [] => Ok(aver_rt::AverList::empty()), [a, rest] => { aver_list_match!(rest, [] => match crate::aver_generated::domain::eval::core::evalExpr(&a, env, fns) { Ok(va @ _) => { Ok(aver_rt::AverList::from_vec(vec![va])) }, Err(e @ _) => { Err(e) } }, [b, rest2] => { { let __list_subject = rest2; if __list_subject.is_empty() { { let (va, vb) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalExpr(&a, env, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalExpr(&b, env, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let fns = fns; let a = a.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExpr(&a, env, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let fns = fns; let b = b.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExpr(&b, env, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(aver_rt::AverList::from_vec(vec![va, vb])) } } else { { let (leftExprs, rightExprs) = crate::aver_generated::domain::eval::core::splitIndependentExprs(exprs.clone(), aver_rt::AverList::empty(), aver_rt::AverList::empty(), true); { let (leftVals, rightVals) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalIndependentItems(&leftExprs, env, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalIndependentItems(&rightExprs, env, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let fns = fns; let leftExprs = leftExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItems(&leftExprs, env, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let fns = fns; let rightExprs = rightExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItems(&rightExprs, env, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(crate::aver_generated::domain::eval::core::interleaveIndependentVals(leftVals, rightVals, true, aver_rt::AverList::empty())) } } } } }) })
[INFO] [stdout] 3083 +     aver_list_match!(exprs.clone(), [] => Ok(aver_rt::AverList::empty()), [a, rest] => { aver_list_match!(rest, [] => match crate::aver_generated::domain::eval::core::evalExpr(&a, env, fns) { Ok(va @ _) => { Ok(aver_rt::AverList::from_vec(vec![va])) }, Err(e @ _) => { Err(e) } }, [b, rest2] => { let __list_subject = rest2; if __list_subject.is_empty() { { let (va, vb) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalExpr(&a, env, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalExpr(&b, env, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let fns = fns; let a = a.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExpr(&a, env, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let fns = fns; let b = b.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExpr(&b, env, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(aver_rt::AverList::from_vec(vec![va, vb])) } } else { { let (leftExprs, rightExprs) = crate::aver_generated::domain::eval::core::splitIndependentExprs(exprs.clone(), aver_rt::AverList::empty(), aver_rt::AverList::empty(), true); { let (leftVals, rightVals) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalIndependentItems(&leftExprs, env, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalIndependentItems(&rightExprs, env, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let fns = fns; let leftExprs = leftExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItems(&leftExprs, env, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let fns = fns; let rightExprs = rightExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItems(&rightExprs, env, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(crate::aver_generated::domain::eval::core::interleaveIndependentVals(leftVals, rightVals, true, aver_rt::AverList::empty())) } } } }) })
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:3352:96
[INFO] [stdout]      |
[INFO] [stdout] 3352 | ...=> { { let (fname, expr) = pair; crate::aver_generated::domain::eval::core::evalRecordFieldOne(fname, &expr, &rest, env, fns) } })
[INFO] [stdout]      |       ^^                                                                                                                          ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 3352 -     aver_list_match!(fieldExprs.clone(), [] => Ok(aver_rt::AverList::empty()), [pair, rest] => { { let (fname, expr) = pair; crate::aver_generated::domain::eval::core::evalRecordFieldOne(fname, &expr, &rest, env, fns) } })
[INFO] [stdout] 3352 +     aver_list_match!(fieldExprs.clone(), [] => Ok(aver_rt::AverList::empty()), [pair, rest] => { let (fname, expr) = pair; crate::aver_generated::domain::eval::core::evalRecordFieldOne(fname, &expr, &rest, env, fns) })
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:4626:96
[INFO] [stdout]      |
[INFO] [stdout] 4626 | ...=> { { let (fname, expr) = pair; crate::aver_generated::domain::eval::core::evalRecordFieldOneSlot(fname, &expr, &rest, env, slotMap, fns) } })
[INFO] [stdout]      |       ^^                                                                                                                                       ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 4626 -     aver_list_match!(fieldExprs.clone(), [] => Ok(aver_rt::AverList::empty()), [pair, rest] => { { let (fname, expr) = pair; crate::aver_generated::domain::eval::core::evalRecordFieldOneSlot(fname, &expr, &rest, env, slotMap, fns) } })
[INFO] [stdout] 4626 +     aver_list_match!(fieldExprs.clone(), [] => Ok(aver_rt::AverList::empty()), [pair, rest] => { let (fname, expr) = pair; crate::aver_generated::domain::eval::core::evalRecordFieldOneSlot(fname, &expr, &rest, env, slotMap, fns) })
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:4767:89
[INFO] [stdout]      |
[INFO] [stdout] 4767 | ...=> { aver_list_match!(rest, [] => crate::aver_generated::domain::eval::core::evalArgsSlot1(&e0, env, slotMap, fns), [e1, rest2] => { aver_list_match!(rest2, [] => crate::aver_generated::domain::eval::core::evalArgsSlot2(&e0, &e1, env, slotMap, fns), [e2, rest3] => { { let __list_subject = rest3; if __list_subject.is_empty() { crate::aver_generated::domain::eval::core::evalArgsSlot3(&e0, &e1, &e2, env, slotMap, fns) } else { crate::aver_generated::domain::eval::core::evalArgsSlotRev(exprs.clone(), env.clone(), slotMap.clone(), fns.clone(), aver_rt::AverList::empty()) } } }) }) })
[INFO] [stdout]      |       ^^                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 4767 -     aver_list_match!(exprs.clone(), [] => Ok(aver_rt::AverList::empty()), [e0, rest] => { aver_list_match!(rest, [] => crate::aver_generated::domain::eval::core::evalArgsSlot1(&e0, env, slotMap, fns), [e1, rest2] => { aver_list_match!(rest2, [] => crate::aver_generated::domain::eval::core::evalArgsSlot2(&e0, &e1, env, slotMap, fns), [e2, rest3] => { { let __list_subject = rest3; if __list_subject.is_empty() { crate::aver_generated::domain::eval::core::evalArgsSlot3(&e0, &e1, &e2, env, slotMap, fns) } else { crate::aver_generated::domain::eval::core::evalArgsSlotRev(exprs.clone(), env.clone(), slotMap.clone(), fns.clone(), aver_rt::AverList::empty()) } } }) }) })
[INFO] [stdout] 4767 +     aver_list_match!(exprs.clone(), [] => Ok(aver_rt::AverList::empty()), [e0, rest] => aver_list_match!(rest, [] => crate::aver_generated::domain::eval::core::evalArgsSlot1(&e0, env, slotMap, fns), [e1, rest2] => { aver_list_match!(rest2, [] => crate::aver_generated::domain::eval::core::evalArgsSlot2(&e0, &e1, env, slotMap, fns), [e2, rest3] => { { let __list_subject = rest3; if __list_subject.is_empty() { crate::aver_generated::domain::eval::core::evalArgsSlot3(&e0, &e1, &e2, env, slotMap, fns) } else { crate::aver_generated::domain::eval::core::evalArgsSlotRev(exprs.clone(), env.clone(), slotMap.clone(), fns.clone(), aver_rt::AverList::empty()) } } }) }))
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:4767:217
[INFO] [stdout]      |
[INFO] [stdout] 4767 | ...=> { aver_list_match!(rest2, [] => crate::aver_generated::domain::eval::core::evalArgsSlot2(&e0, &e1, env, slotMap, fns), [e2, rest3] => { { let __list_subject = rest3; if __list_subject.is_empty() { crate::aver_generated::domain::eval::core::evalArgsSlot3(&e0, &e1, &e2, env, slotMap, fns) } else { crate::aver_generated::domain::eval::core::evalArgsSlotRev(exprs.clone(), env.clone(), slotMap.clone(), fns.clone(), aver_rt::AverList::empty()) } } }) }) })
[INFO] [stdout]      |       ^^                                                                                                                                                                                                                                                                                                                                                                                                                                                              ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 4767 -     aver_list_match!(exprs.clone(), [] => Ok(aver_rt::AverList::empty()), [e0, rest] => { aver_list_match!(rest, [] => crate::aver_generated::domain::eval::core::evalArgsSlot1(&e0, env, slotMap, fns), [e1, rest2] => { aver_list_match!(rest2, [] => crate::aver_generated::domain::eval::core::evalArgsSlot2(&e0, &e1, env, slotMap, fns), [e2, rest3] => { { let __list_subject = rest3; if __list_subject.is_empty() { crate::aver_generated::domain::eval::core::evalArgsSlot3(&e0, &e1, &e2, env, slotMap, fns) } else { crate::aver_generated::domain::eval::core::evalArgsSlotRev(exprs.clone(), env.clone(), slotMap.clone(), fns.clone(), aver_rt::AverList::empty()) } } }) }) })
[INFO] [stdout] 4767 +     aver_list_match!(exprs.clone(), [] => Ok(aver_rt::AverList::empty()), [e0, rest] => { aver_list_match!(rest, [] => crate::aver_generated::domain::eval::core::evalArgsSlot1(&e0, env, slotMap, fns), [e1, rest2] => aver_list_match!(rest2, [] => crate::aver_generated::domain::eval::core::evalArgsSlot2(&e0, &e1, env, slotMap, fns), [e2, rest3] => { { let __list_subject = rest3; if __list_subject.is_empty() { crate::aver_generated::domain::eval::core::evalArgsSlot3(&e0, &e1, &e2, env, slotMap, fns) } else { crate::aver_generated::domain::eval::core::evalArgsSlotRev(exprs.clone(), env.clone(), slotMap.clone(), fns.clone(), aver_rt::AverList::empty()) } } })) })
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:4767:351
[INFO] [stdout]      |
[INFO] [stdout] 4767 | ...=> { { let __list_subject = rest3; if __list_subject.is_empty() { crate::aver_generated::domain::eval::core::evalArgsSlot3(&e0, &e1, &e2, env, slotMap, fns) } else { crate::aver_generated::domain::eval::core::evalArgsSlotRev(exprs.clone(), env.clone(), slotMap.clone(), fns.clone(), aver_rt::AverList::empty()) } } }) }...
[INFO] [stdout]      |       ^^                                                                                                                                                                                                                                                                                                                     ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 4767 -     aver_list_match!(exprs.clone(), [] => Ok(aver_rt::AverList::empty()), [e0, rest] => { aver_list_match!(rest, [] => crate::aver_generated::domain::eval::core::evalArgsSlot1(&e0, env, slotMap, fns), [e1, rest2] => { aver_list_match!(rest2, [] => crate::aver_generated::domain::eval::core::evalArgsSlot2(&e0, &e1, env, slotMap, fns), [e2, rest3] => { { let __list_subject = rest3; if __list_subject.is_empty() { crate::aver_generated::domain::eval::core::evalArgsSlot3(&e0, &e1, &e2, env, slotMap, fns) } else { crate::aver_generated::domain::eval::core::evalArgsSlotRev(exprs.clone(), env.clone(), slotMap.clone(), fns.clone(), aver_rt::AverList::empty()) } } }) }) })
[INFO] [stdout] 4767 +     aver_list_match!(exprs.clone(), [] => Ok(aver_rt::AverList::empty()), [e0, rest] => { aver_list_match!(rest, [] => crate::aver_generated::domain::eval::core::evalArgsSlot1(&e0, env, slotMap, fns), [e1, rest2] => { aver_list_match!(rest2, [] => crate::aver_generated::domain::eval::core::evalArgsSlot2(&e0, &e1, env, slotMap, fns), [e2, rest3] => { let __list_subject = rest3; if __list_subject.is_empty() { crate::aver_generated::domain::eval::core::evalArgsSlot3(&e0, &e1, &e2, env, slotMap, fns) } else { crate::aver_generated::domain::eval::core::evalArgsSlotRev(exprs.clone(), env.clone(), slotMap.clone(), fns.clone(), aver_rt::AverList::empty()) } }) }) })
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:4946:88
[INFO] [stdout]      |
[INFO] [stdout] 4946 | ...=> { aver_list_match!(rest, [] => match crate::aver_generated::domain::eval::core::evalExprSlot(&a, env, slotMap, fns) { Ok(va @ _) => { Ok(aver_rt::AverList::from_vec(vec![va])) }, Err(e @ _) => { Err(e) } }, [b, rest2] => { { let __list_subject = rest2; if __list_subject.is_empty() { { let (va, vb) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalExprSlot(&a, env, slotMap, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalExprSlot(&b, env, slotMap, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let slotMap = slotMap; let fns = fns; let a = a.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExprSlot(&a, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let slotMap = slotMap; let fns = fns; let b = b.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExprSlot(&b, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(aver_rt::AverList::from_vec(vec![va, vb])) } } else { { let (leftExprs, rightExprs) = crate::aver_generated::domain::eval::core::splitIndependentExprs(exprs.clone(), aver_rt::AverList::empty(), aver_rt::AverList::empty(), true); { let (leftVals, rightVals) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&leftExprs, env, slotMap, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&rightExprs, env, slotMap, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let slotMap = slotMap; let fns = fns; let leftExprs = leftExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&leftExprs, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let slotMap = slotMap; let fns = fns; let rightExprs = rightExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&rightExprs, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(crate::aver_generated::domain::eval::core::interleaveIndependentVals(leftVals, rightVals, true, aver_rt::AverList::empty())) } } } } }) })
[INFO] [stdout]      |       ^^                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 4946 -     aver_list_match!(exprs.clone(), [] => Ok(aver_rt::AverList::empty()), [a, rest] => { aver_list_match!(rest, [] => match crate::aver_generated::domain::eval::core::evalExprSlot(&a, env, slotMap, fns) { Ok(va @ _) => { Ok(aver_rt::AverList::from_vec(vec![va])) }, Err(e @ _) => { Err(e) } }, [b, rest2] => { { let __list_subject = rest2; if __list_subject.is_empty() { { let (va, vb) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalExprSlot(&a, env, slotMap, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalExprSlot(&b, env, slotMap, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let slotMap = slotMap; let fns = fns; let a = a.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExprSlot(&a, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let slotMap = slotMap; let fns = fns; let b = b.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExprSlot(&b, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(aver_rt::AverList::from_vec(vec![va, vb])) } } else { { let (leftExprs, rightExprs) = crate::aver_generated::domain::eval::core::splitIndependentExprs(exprs.clone(), aver_rt::AverList::empty(), aver_rt::AverList::empty(), true); { let (leftVals, rightVals) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&leftExprs, env, slotMap, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&rightExprs, env, slotMap, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let slotMap = slotMap; let fns = fns; let leftExprs = leftExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&leftExprs, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let slotMap = slotMap; let fns = fns; let rightExprs = rightExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&rightExprs, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(crate::aver_generated::domain::eval::core::interleaveIndependentVals(leftVals, rightVals, true, aver_rt::AverList::empty())) } } } } }) })
[INFO] [stdout] 4946 +     aver_list_match!(exprs.clone(), [] => Ok(aver_rt::AverList::empty()), [a, rest] => aver_list_match!(rest, [] => match crate::aver_generated::domain::eval::core::evalExprSlot(&a, env, slotMap, fns) { Ok(va @ _) => { Ok(aver_rt::AverList::from_vec(vec![va])) }, Err(e @ _) => { Err(e) } }, [b, rest2] => { { let __list_subject = rest2; if __list_subject.is_empty() { { let (va, vb) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalExprSlot(&a, env, slotMap, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalExprSlot(&b, env, slotMap, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let slotMap = slotMap; let fns = fns; let a = a.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExprSlot(&a, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let slotMap = slotMap; let fns = fns; let b = b.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExprSlot(&b, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(aver_rt::AverList::from_vec(vec![va, vb])) } } else { { let (leftExprs, rightExprs) = crate::aver_generated::domain::eval::core::splitIndependentExprs(exprs.clone(), aver_rt::AverList::empty(), aver_rt::AverList::empty(), true); { let (leftVals, rightVals) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&leftExprs, env, slotMap, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&rightExprs, env, slotMap, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let slotMap = slotMap; let fns = fns; let leftExprs = leftExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&leftExprs, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let slotMap = slotMap; let fns = fns; let rightExprs = rightExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&rightExprs, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(crate::aver_generated::domain::eval::core::interleaveIndependentVals(leftVals, rightVals, true, aver_rt::AverList::empty())) } } } } }))
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]     --> src/self_host/aver_generated/domain/eval/core/mod.rs:4946:309
[INFO] [stdout]      |
[INFO] [stdout] 4946 | ...=> { { let __list_subject = rest2; if __list_subject.is_empty() { { let (va, vb) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalExprSlot(&a, env, slotMap, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalExprSlot(&b, env, slotMap, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let slotMap = slotMap; let fns = fns; let a = a.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExprSlot(&a, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let slotMap = slotMap; let fns = fns; let b = b.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExprSlot(&b, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(aver_rt::AverList::from_vec(vec![va, vb])) } } else { { let (leftExprs, rightExprs) = crate::aver_generated::domain::eval::core::splitIndependentExprs(exprs.clone(), aver_rt::AverList::empty(), aver_rt::AverList::empty(), true); { let (leftVals, rightVals) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&leftExprs, env, slotMap, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&rightExprs, env, slotMap, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let slotMap = slotMap; let fns = fns; let leftExprs = leftExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&leftExprs, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let slotMap = slotMap; let fns = fns; let rightExprs = rightExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&rightExprs, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(crate::aver_generated::domain::eval::core::interleaveIndependentVals(leftVals, rightVals, true, aver_rt::AverList::empty())) } } } } }) })
[INFO] [stdout]      |       ^^                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       ^^
[INFO] [stdout]      |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]      |
[INFO] [stdout] 4946 -     aver_list_match!(exprs.clone(), [] => Ok(aver_rt::AverList::empty()), [a, rest] => { aver_list_match!(rest, [] => match crate::aver_generated::domain::eval::core::evalExprSlot(&a, env, slotMap, fns) { Ok(va @ _) => { Ok(aver_rt::AverList::from_vec(vec![va])) }, Err(e @ _) => { Err(e) } }, [b, rest2] => { { let __list_subject = rest2; if __list_subject.is_empty() { { let (va, vb) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalExprSlot(&a, env, slotMap, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalExprSlot(&b, env, slotMap, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let slotMap = slotMap; let fns = fns; let a = a.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExprSlot(&a, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let slotMap = slotMap; let fns = fns; let b = b.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExprSlot(&b, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(aver_rt::AverList::from_vec(vec![va, vb])) } } else { { let (leftExprs, rightExprs) = crate::aver_generated::domain::eval::core::splitIndependentExprs(exprs.clone(), aver_rt::AverList::empty(), aver_rt::AverList::empty(), true); { let (leftVals, rightVals) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&leftExprs, env, slotMap, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&rightExprs, env, slotMap, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let slotMap = slotMap; let fns = fns; let leftExprs = leftExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&leftExprs, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let slotMap = slotMap; let fns = fns; let rightExprs = rightExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&rightExprs, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(crate::aver_generated::domain::eval::core::interleaveIndependentVals(leftVals, rightVals, true, aver_rt::AverList::empty())) } } } } }) })
[INFO] [stdout] 4946 +     aver_list_match!(exprs.clone(), [] => Ok(aver_rt::AverList::empty()), [a, rest] => { aver_list_match!(rest, [] => match crate::aver_generated::domain::eval::core::evalExprSlot(&a, env, slotMap, fns) { Ok(va @ _) => { Ok(aver_rt::AverList::from_vec(vec![va])) }, Err(e @ _) => { Err(e) } }, [b, rest2] => { let __list_subject = rest2; if __list_subject.is_empty() { { let (va, vb) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalExprSlot(&a, env, slotMap, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalExprSlot(&b, env, slotMap, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let slotMap = slotMap; let fns = fns; let a = a.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExprSlot(&a, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let slotMap = slotMap; let fns = fns; let b = b.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalExprSlot(&b, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(aver_rt::AverList::from_vec(vec![va, vb])) } } else { { let (leftExprs, rightExprs) = crate::aver_generated::domain::eval::core::splitIndependentExprs(exprs.clone(), aver_rt::AverList::empty(), aver_rt::AverList::empty(), true); { let (leftVals, rightVals) = if crate::aver_replay::is_effect_tracking_active() { crate::aver_replay::enter_effect_group(); crate::aver_replay::set_effect_branch(0); let _r0 = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&leftExprs, env, slotMap, fns); crate::aver_replay::set_effect_branch(1); let _r1 = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&rightExprs, env, slotMap, fns); crate::aver_replay::exit_effect_group(); match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }? } else { { let __parallel_scope = crate::aver_replay::capture_parallel_scope_context(); let __cancel_flag = std::sync::Arc::new(std::sync::atomic::AtomicBool::new(false)); std::thread::scope(|_s| { let __parallel_scope0 = __parallel_scope.clone(); let __cancel_flag0 = __cancel_flag.clone(); let _h0 = { let env = env; let slotMap = slotMap; let fns = fns; let leftExprs = leftExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope0.clone(), move || { crate::run_cancelable_branch(__cancel_flag0.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&leftExprs, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag0.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let __parallel_scope1 = __parallel_scope.clone(); let __cancel_flag1 = __cancel_flag.clone(); let _h1 = { let env = env; let slotMap = slotMap; let fns = fns; let rightExprs = rightExprs.clone(); _s.spawn(move || crate::aver_replay::with_parallel_scope_context(__parallel_scope1.clone(), move || { crate::run_cancelable_branch(__cancel_flag1.clone(), move || { let __result = crate::aver_generated::domain::eval::core::evalIndependentItemsSlot(&rightExprs, env, slotMap, fns); if let Err(_) = &__result { __cancel_flag1.store(true, std::sync::atomic::Ordering::Relaxed); } __result }) })) }; let _b0 = _h0.join().unwrap(); let _b1 = _h1.join().unwrap(); match (_b0, _b1) { (crate::ParallelBranch::Completed(_r0), crate::ParallelBranch::Completed(_r1)) => match (_r0, _r1) { (Ok(__v0), Ok(__v1)) => Ok((__v0, __v1)), (_r0, _r1) => { if let Err(__err) = _r0 { Err(__err) } else if let Err(__err) = _r1 { Err(__err) } else { unreachable!("independent product unwrap requires Result branches") } } }, (_b0, _b1) => { if let crate::ParallelBranch::Completed(Err(__err)) = _b0 { Err(__err) } else if let crate::ParallelBranch::Completed(Err(__err)) = _b1 { Err(__err) } else { panic!("independent product branch cancelled by sibling branch") } } } })? }}; Ok(crate::aver_generated::domain::eval::core::interleaveIndependentVals(leftVals, rightVals, true, aver_rt::AverList::empty())) } } } }) })
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]   --> src/self_host/aver_generated/domain/match_mod/mod.rs:31:46
[INFO] [stdout]    |
[INFO] [stdout] 31 | ...   aver_list_match!(pats, [] => { return Ok(acc) }, [pat, restPats] => { aver_list_match!(items, [] => { return Err(AverStr::from...
[INFO] [stdout]    |                                    ^^              ^^
[INFO] [stdout]    |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]    |
[INFO] [stdout] 31 -                 aver_list_match!(pats, [] => { return Ok(acc) }, [pat, restPats] => { aver_list_match!(items, [] => { return Err(AverStr::from("no match")) }, [item, restItems] => __MutualTco1::MatchPatTupleOne(pat, item, restPats, restItems, acc)) })
[INFO] [stdout] 31 +                 aver_list_match!(pats, [] => return Ok(acc), [pat, restPats] => { aver_list_match!(items, [] => { return Err(AverStr::from("no match")) }, [item, restItems] => __MutualTco1::MatchPatTupleOne(pat, item, restPats, restItems, acc)) })
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]   --> src/self_host/aver_generated/domain/match_mod/mod.rs:31:85
[INFO] [stdout]    |
[INFO] [stdout] 31 | ...=> { aver_list_match!(items, [] => { return Err(AverStr::from("no match")) }, [item, restItems] => __MutualTco1::MatchPatTupleOne(pat, item, restPats, restItems, acc)) })
[INFO] [stdout]    |       ^^                                                                                                                                                                  ^^
[INFO] [stdout]    |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]    |
[INFO] [stdout] 31 -                 aver_list_match!(pats, [] => { return Ok(acc) }, [pat, restPats] => { aver_list_match!(items, [] => { return Err(AverStr::from("no match")) }, [item, restItems] => __MutualTco1::MatchPatTupleOne(pat, item, restPats, restItems, acc)) })
[INFO] [stdout] 31 +                 aver_list_match!(pats, [] => { return Ok(acc) }, [pat, restPats] => aver_list_match!(items, [] => { return Err(AverStr::from("no match")) }, [item, restItems] => __MutualTco1::MatchPatTupleOne(pat, item, restPats, restItems, acc)))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]   --> src/self_host/aver_generated/domain/match_mod/mod.rs:31:117
[INFO] [stdout]    |
[INFO] [stdout] 31 | ...estPats] => { aver_list_match!(items, [] => { return Err(AverStr::from("no match")) }, [item, restItems] => __MutualTco1::MatchPa...
[INFO] [stdout]    |                                                ^^                                     ^^
[INFO] [stdout]    |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]    |
[INFO] [stdout] 31 -                 aver_list_match!(pats, [] => { return Ok(acc) }, [pat, restPats] => { aver_list_match!(items, [] => { return Err(AverStr::from("no match")) }, [item, restItems] => __MutualTco1::MatchPatTupleOne(pat, item, restPats, restItems, acc)) })
[INFO] [stdout] 31 +                 aver_list_match!(pats, [] => { return Ok(acc) }, [pat, restPats] => { aver_list_match!(items, [] => return Err(AverStr::from("no match")), [item, restItems] => __MutualTco1::MatchPatTupleOne(pat, item, restPats, restItems, acc)) })
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary braces around block return value
[INFO] [stdout]   --> src/self_host/aver_generated/entry/mod.rs:47:45
[INFO] [stdout]    |
[INFO] [stdout] 47 | ...   aver_list_match!(fns, [] => { return acc.reverse() }, [f, rest] => __MutualTco1::QualifyFnsOne__indexed(f, rest, prefix, acc))
[INFO] [stdout]    |                                   ^^                    ^^
[INFO] [stdout]    |
[INFO] [stdout] help: remove these braces
[INFO] [stdout]    |
[INFO] [stdout] 47 -                 aver_list_match!(fns, [] => { return acc.reverse() }, [f, rest] => __MutualTco1::QualifyFnsOne__indexed(f, rest, prefix, acc))
[INFO] [stdout] 47 +                 aver_list_match!(fns, [] => return acc.reverse(), [f, rest] => __MutualTco1::QualifyFnsOne__indexed(f, rest, prefix, acc))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unresolved link to `effects`
[INFO] [stdout]    --> src/self_host/aver_generated/domain/parser_match/mod.rs:942:40
[INFO] [stdout]     |
[INFO] [stdout] 942 | /// Skip optional ? description and ! [effects] lines (including multi-line effects).
[INFO] [stdout]     |                                        ^^^^^^^ no item named `effects` 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 `effects`
[INFO] [stdout]    --> src/self_host/aver_generated/domain/parser_match/mod.rs:974:13
[INFO] [stdout]     |
[INFO] [stdout] 974 | /// Skip ! [effects] block — may span multiple lines with INDENT/DEDENT.
[INFO] [stdout]     |             ^^^^^^^ no item named `effects` 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 `String`
[INFO] [stdout]     --> src/self_host/aver_generated/domain/builtins/primitives/mod.rs:1054:33
[INFO] [stdout]      |
[INFO] [stdout] 1054 | /// String.split(s, sep) -> List<String>.
[INFO] [stdout]      |                                 ^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(rustdoc::invalid_html_tags)]` on by default
[INFO] [stdout] help: try marking as source code
[INFO] [stdout]      |
[INFO] [stdout] 1054 | /// String.split(s, sep) -> `List<String>`.
[INFO] [stdout]      |                             +            +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `T`
[INFO] [stdout]   --> src/self_host/aver_generated/domain/builtins/vector/mod.rs:63:47
[INFO] [stdout]    |
[INFO] [stdout] 63 | /// Vector.new(size, default) -> Result<Vector<T>, String>.
[INFO] [stdout]    |                                               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `T`
[INFO] [stdout]   --> src/self_host/aver_generated/domain/builtins/vector/mod.rs:82:35
[INFO] [stdout]    |
[INFO] [stdout] 82 | /// Vector.get(vec, idx) -> Option<T>.
[INFO] [stdout]    |                                   ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: try marking as source code
[INFO] [stdout]    |
[INFO] [stdout] 82 | /// Vector.get(vec, idx) -> `Option<T>`.
[INFO] [stdout]    |                             +         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `T`
[INFO] [stdout]    --> src/self_host/aver_generated/domain/builtins/vector/mod.rs:102:47
[INFO] [stdout]     |
[INFO] [stdout] 102 | /// Vector.set(vec, idx, val) -> Option<Vector<T>>.
[INFO] [stdout]     |                                               ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: try marking as source code
[INFO] [stdout]     |
[INFO] [stdout] 102 | /// Vector.set(vec, idx, val) -> `Option<Vector<T>>`.
[INFO] [stdout]     |                                  +                 +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `T`
[INFO] [stdout]    --> src/self_host/aver_generated/domain/builtins/vector/mod.rs:197:36
[INFO] [stdout]     |
[INFO] [stdout] 197 | /// Vector.fromList(list) -> Vector<T>.
[INFO] [stdout]     |                                    ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: try marking as source code
[INFO] [stdout]     |
[INFO] [stdout] 197 | /// Vector.fromList(list) -> `Vector<T>`.
[INFO] [stdout]     |                              +         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `T`
[INFO] [stdout]    --> src/self_host/aver_generated/domain/builtins/vector/mod.rs:213:33
[INFO] [stdout]     |
[INFO] [stdout] 213 | /// List.fromVector(vec) -> List<T>.
[INFO] [stdout]     |                                 ^^^
[INFO] [stdout]     |
[INFO] [stdout] help: try marking as source code
[INFO] [stdout]     |
[INFO] [stdout] 213 | /// List.fromVector(vec) -> `List<T>`.
[INFO] [stdout]     |                             +       +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `String`
[INFO] [stdout]    --> src/self_host/aver_generated/domain/builtins/mod.rs:416:27
[INFO] [stdout]     |
[INFO] [stdout] 416 | /// Env.get(key) -> Option<String>.
[INFO] [stdout]     |                           ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: try marking as source code
[INFO] [stdout]     |
[INFO] [stdout] 416 | /// Env.get(key) -> `Option<String>`.
[INFO] [stdout]     |                     +              +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `String`
[INFO] [stdout]    --> src/self_host/aver_generated/domain/builtins/mod.rs:993:40
[INFO] [stdout]     |
[INFO] [stdout] 993 | /// Terminal.readKey() -> Result<Option<String>, String>.
[INFO] [stdout]     |                                        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `String`
[INFO] [stdout]     --> src/self_host/aver_generated/domain/builtins/mod.rs:1447:38
[INFO] [stdout]      |
[INFO] [stdout] 1447 | /// Disk.listDir(path) -> Result<List<String>, String>.
[INFO] [stdout]      |                                      ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `Val`
[INFO] [stdout]     --> src/self_host/aver_generated/domain/builtins/mod.rs:1663:32
[INFO] [stdout]      |
[INFO] [stdout] 1663 | /// Map.get(map, key) -> Option<Val>. O(1).
[INFO] [stdout]      |                                ^^^^^
[INFO] [stdout]      |
[INFO] [stdout] help: try marking as source code
[INFO] [stdout]      |
[INFO] [stdout] 1663 | /// Map.get(map, key) -> `Option<Val>`. O(1).
[INFO] [stdout]      |                          +           +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `String`
[INFO] [stdout]     --> src/self_host/aver_generated/domain/builtins/mod.rs:2033:42
[INFO] [stdout]      |
[INFO] [stdout] 2033 | /// Convert host headers Map<String, List<String>> to a Val.ValMap whose values are Val.ValList of Val.ValStr.
[INFO] [stdout]      |                                          ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unclosed HTML tag `Val`
[INFO] [stdout]  --> src/self_host/aver_generated/domain/eval/slots/mod.rs:6:28
[INFO] [stdout]   |
[INFO] [stdout] 6 | /// Create slot env: Vector<Val> of slotCount, args at 0..n-1.
[INFO] [stdout]   |                            ^^^^^
[INFO] [stdout]   |
[INFO] [stdout] help: try marking as source code
[INFO] [stdout]   |
[INFO] [stdout] 6 | /// Create slot env: `Vector<Val>` of slotCount, args at 0..n-1.
[INFO] [stdout]   |                      +           +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 02s
[INFO] [stderr]    Generated /opt/rustwide/target/doc/aver/index.html and 1 other file
[INFO] running `Command { std: "docker" "inspect" "b1665f47a4fbcd2b2ed58eb89a286415f2835f588d66355b3d8ebe77cb5e8961", 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" "-e" "RUSTC_BOOTSTRAP=1" "-e" "DOCS_RS=1" "-w" "/opt/rustwide/workdir" "--user" "0:0" "b1665f47a4fbcd2b2ed58eb89a286415f2835f588d66355b3d8ebe77cb5e8961" "/opt/rustwide/cargo-home/bin/cargo" "+824336ad4127ce295849937a24c08a4aeff6ada7" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--document-private-items\"]" "--frozen" "--message-format=json", kill_on_drop: false }`
[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 will resolve properly if you pass `--document-private-items`
[INFO] [stdout]     = note: `#[warn(rustdoc::private_intra_doc_links)]` on by default
[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]      = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default
[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 will resolve properly if you pass `--document-private-items`
[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: 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 will resolve properly if you pass `--document-private-items`
[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: 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 will resolve properly if you pass `--document-private-items`
[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: 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 will resolve properly if you pass `--document-private-items`
[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 will resolve properly if you pass `--document-private-items`
[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 will resolve properly if you pass `--document-private-items`
[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: 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 will resolve properly if you pass `--document-private-items`
[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 will resolve properly if you pass `--document-private-items`
[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: 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 will resolve properly if you pass `--document-private-items`
[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 will resolve properly if you pass `--document-private-items`
[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 will resolve properly if you pass `--document-private-items`
[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 will resolve properly if you pass `--document-private-items`
[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 will resolve properly if you pass `--document-private-items`
[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 will resolve properly if you pass `--document-private-items`
[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: 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 will resolve properly if you pass `--document-private-items`
[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 will resolve properly if you pass `--document-private-items`
[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 `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]    = note: `#[warn(rustdoc::invalid_html_tags)]` on by default
[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: 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 `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]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 6.63s
[INFO] [stderr]    Generated /opt/rustwide/target/doc/aver/index.html
[INFO] running `Command { std: "docker" "inspect" "b1665f47a4fbcd2b2ed58eb89a286415f2835f588d66355b3d8ebe77cb5e8961", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b1665f47a4fbcd2b2ed58eb89a286415f2835f588d66355b3d8ebe77cb5e8961", kill_on_drop: false }`
[INFO] [stdout] b1665f47a4fbcd2b2ed58eb89a286415f2835f588d66355b3d8ebe77cb5e8961
