[INFO] cloning repository https://github.com/ken-topos/ken [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ken-topos/ken" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fken-topos%2Fken", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fken-topos%2Fken'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 75a91d2ba42c9b999e1cdaf40a9c0cbe1d39f58a [INFO] checking ken-topos/ken against 65b20a97de33e9e59992793a144aef2950c48c76 for pr-154715 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fken-topos%2Fken" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] removed /workspace/builds/worker-7-tc2/source/.cargo/config.toml [INFO] started tweaking git repo https://github.com/ken-topos/ken [INFO] finished tweaking git repo https://github.com/ken-topos/ken [INFO] tweaked toml for git repo https://github.com/ken-topos/ken written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/ken-topos/ken on toolchain 65b20a97de33e9e59992793a144aef2950c48c76 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+65b20a97de33e9e59992793a144aef2950c48c76" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/ken-topos/ken 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" "+65b20a97de33e9e59992793a144aef2950c48c76" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:00c5645b54fe3ce5dae1417175e3c7fb6a6646c021d554ecd63a097b8b9f3602" "sleep" "infinity", kill_on_drop: false }` [INFO] [stdout] 79962c9b6a50f21926d9d7eaa5bd79e4c27e5e676148706f976761033a36b734 [INFO] running `Command { std: "docker" "start" "79962c9b6a50f21926d9d7eaa5bd79e4c27e5e676148706f976761033a36b734", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "79962c9b6a50f21926d9d7eaa5bd79e4c27e5e676148706f976761033a36b734", 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" "79962c9b6a50f21926d9d7eaa5bd79e4c27e5e676148706f976761033a36b734" "/opt/rustwide/cargo-home/bin/cargo" "+65b20a97de33e9e59992793a144aef2950c48c76" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "79962c9b6a50f21926d9d7eaa5bd79e4c27e5e676148706f976761033a36b734", 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" "79962c9b6a50f21926d9d7eaa5bd79e4c27e5e676148706f976761033a36b734" "/opt/rustwide/cargo-home/bin/cargo" "+65b20a97de33e9e59992793a144aef2950c48c76" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.5.1 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling proc-macro2 v1.0.106 [INFO] [stderr] Compiling unicode-ident v1.0.24 [INFO] [stderr] Compiling quote v1.0.46 [INFO] [stderr] Checking cfg-if v1.0.4 [INFO] [stderr] Compiling zerocopy v0.8.52 [INFO] [stderr] Checking once_cell v1.21.4 [INFO] [stderr] Compiling libc v0.2.186 [INFO] [stderr] Compiling cranelift-isle v0.113.1 [INFO] [stderr] Compiling cranelift-codegen-shared v0.113.1 [INFO] [stderr] Checking equivalent v1.0.2 [INFO] [stderr] Compiling typenum v1.20.1 [INFO] [stderr] Checking hashbrown v0.17.1 [INFO] [stderr] Checking memchr v2.8.2 [INFO] [stderr] Checking cranelift-bitset v0.113.1 [INFO] [stderr] Compiling target-lexicon v0.12.16 [INFO] [stderr] Checking arbitrary v1.4.2 [INFO] [stderr] Compiling cranelift-codegen-meta v0.113.1 [INFO] [stderr] Checking smallvec v1.15.2 [INFO] [stderr] Checking cranelift-entity v0.113.1 [INFO] [stderr] Checking log v0.4.33 [INFO] [stderr] Checking slice-group-by v0.3.1 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Checking rustc-hash v2.1.3 [INFO] [stderr] Checking cranelift-bforest v0.113.1 [INFO] [stderr] Compiling anyhow v1.0.103 [INFO] [stderr] Checking indexmap v2.14.0 [INFO] [stderr] Checking bumpalo v3.20.3 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling rustix v1.1.4 [INFO] [stderr] Compiling find-msvc-tools v0.1.9 [INFO] [stderr] Compiling cpufeatures v0.2.17 [INFO] [stderr] Compiling zmij v1.0.21 [INFO] [stderr] Checking cranelift-control v0.113.1 [INFO] [stderr] Compiling cc v1.2.41 [INFO] [stderr] Checking linux-raw-sys v0.12.1 [INFO] [stderr] Checking bitflags v2.13.0 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling crc32fast v1.5.0 [INFO] [stderr] Compiling serde_json v1.0.150 [INFO] [stderr] Checking gimli v0.31.1 [INFO] [stderr] Compiling object v0.36.7 [INFO] [stderr] Checking foldhash v0.1.5 [INFO] [stderr] Checking itoa v1.0.18 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking tinyvec_macros v0.1.1 [INFO] [stderr] Checking hashbrown v0.15.5 [INFO] [stderr] Checking bitflags v1.3.2 [INFO] [stderr] Compiling syn v2.0.118 [INFO] [stderr] Checking tinyvec v1.11.0 [INFO] [stderr] Compiling getrandom v0.4.3 [INFO] [stderr] Checking fastrand v2.5.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Checking unicode-normalization v0.1.25 [INFO] [stderr] Checking region v3.0.2 [INFO] [stderr] Checking wasmtime-jit-icache-coherence v26.0.1 [INFO] [stderr] Compiling block-buffer v0.10.4 [INFO] [stderr] Compiling crypto-common v0.1.7 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling rayon-core v1.13.0 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Checking either v1.16.0 [INFO] [stderr] Checking clap_lex v1.1.0 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Compiling sha2 v0.10.9 [INFO] [stderr] Checking ciborium-io v0.2.2 [INFO] [stderr] Checking anstyle v1.0.14 [INFO] [stderr] Checking regex-syntax v0.8.11 [INFO] [stderr] Checking plotters-backend v0.3.7 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking clap_builder v4.6.0 [INFO] [stderr] Checking plotters-svg v0.3.7 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking crossbeam-deque v0.8.6 [INFO] [stderr] Checking same-file v1.0.6 [INFO] [stderr] Checking cast v0.3.0 [INFO] [stderr] Checking walkdir v2.5.0 [INFO] [stderr] Checking rayon v1.12.0 [INFO] [stderr] Checking plotters v0.3.7 [INFO] [stderr] Checking is-terminal v0.4.17 [INFO] [stderr] Checking oorandom v11.1.5 [INFO] [stderr] Checking anes v0.1.6 [INFO] [stderr] Checking regex-automata v0.4.14 [INFO] [stderr] Checking ken-foundation v0.0.0 (/opt/rustwide/workdir/crates/ken-foundation) [INFO] [stderr] Checking ken-kernel v0.0.0 (/opt/rustwide/workdir/crates/ken-kernel) [INFO] [stderr] Checking tempfile v3.27.0 [INFO] [stderr] Checking criterion-plot v0.5.0 [INFO] [stderr] Checking clap v4.6.1 [INFO] [stdout] warning: function `zero_c` is never used [INFO] [stdout] --> crates/ken-kernel/tests/k2c_conversion.rs:111:4 [INFO] [stdout] | [INFO] [stdout] 111 | fn zero_c(nb: &NB) -> Term { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `suc_c` is never used [INFO] [stdout] --> crates/ken-kernel/tests/k2c_conversion.rs:114:4 [INFO] [stdout] | [INFO] [stdout] 114 | fn suc_c(nb: &NB) -> Term { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `true_c` is never used [INFO] [stdout] --> crates/ken-kernel/tests/k2c_conversion.rs:117:4 [INFO] [stdout] | [INFO] [stdout] 117 | fn true_c(nb: &NB) -> Term { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `false_c` is never used [INFO] [stdout] --> crates/ken-kernel/tests/k2c_conversion.rs:120:4 [INFO] [stdout] | [INFO] [stdout] 120 | fn false_c(nb: &NB) -> Term { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `pi_nn` is never used [INFO] [stdout] --> crates/ken-kernel/tests/k2c_conversion.rs:123:4 [INFO] [stdout] | [INFO] [stdout] 123 | fn pi_nn(nb: &NB) -> Term { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking regex v1.12.4 [INFO] [stderr] Compiling ken-host v0.0.0 (/opt/rustwide/workdir/crates/ken-host) [INFO] [stderr] Compiling zerocopy-derive v0.8.52 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling cranelift-codegen v0.113.1 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking half v2.7.1 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Checking ciborium-ll v0.2.2 [INFO] [stderr] Checking ciborium v0.2.2 [INFO] [stderr] Checking regalloc2 v0.10.2 [INFO] [stderr] Checking criterion v0.5.1 [INFO] [stderr] Checking cranelift-module v0.113.1 [INFO] [stderr] Checking cranelift-native v0.113.1 [INFO] [stderr] Checking cranelift-frontend v0.113.1 [INFO] [stderr] Checking cranelift-object v0.113.1 [INFO] [stderr] Checking cranelift-jit v0.113.1 [INFO] [stderr] Checking ken-runtime v0.0.0 (/opt/rustwide/workdir/crates/ken-runtime) [INFO] [stdout] warning: unused import: `ARENA_NAME_COUNT` [INFO] [stdout] --> crates/ken-runtime/src/boundary_value_clif.rs:43:5 [INFO] [stdout] | [INFO] [stdout] 43 | ARENA_NAME_COUNT, ARENA_NATIVE_INT, ARENA_NODES, ARENA_NODE_CAPACITY, ARENA_NODE_COUNT, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `compile_expr_into_object_module` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/artifact/mod.rs:33:31 [INFO] [stdout] | [INFO] [stdout] 33 | compile_expr_into_module, compile_expr_into_object_module, compile_program_expr_into_module, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `AbiCarrier`, `AbiOwnership`, `BodyEmissionDisposition`, `ContinuationCallView`, `ContinuationUnitView`, `EffectSeatOperation`, `EmittableUnit`, `FusionCompositionLayer`, and `FusionOwnedBody` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:88:5 [INFO] [stdout] | [INFO] [stdout] 88 | BodyEmissionDisposition, FusionCompositionLayer, FusionOwnedBody, FusionRegionClaim, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 92 | AbiCaptureProvenance, AbiCarrier, AbiFrameHeader, AbiOwnership, AbiProcessParameter, [INFO] [stdout] | ^^^^^^^^^^ ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 101 | CheckedOrientedMarkerSets, ConstructorIdentity, ContinuationCallIdentity, ContinuationCallView, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 109 | ContinuationUnitView, RequiredConsumerProjection, EmittableCallKind, EmittableUnit, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 112 | host_effect_seat_contract_of, EffectSeatNeed, EffectSeatOperation, EffectSeatPhase, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `FusionClaimRefusal` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning.rs:18:30 [INFO] [stdout] | [INFO] [stdout] 18 | BodyEmissionDisposition, FusionClaimRefusal, FusionComposedEdge, FusionCompositionLayer, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PlannedAggregateChild`, `PlannedAggregateView`, `SynthesizedAggregateStep`, and `SynthesizedDynamicSet` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning.rs:66:5 [INFO] [stdout] | [INFO] [stdout] 66 | PlannedAggregateChild, PlannedAggregateOwnership, PlannedAggregateView, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 69 | SynthesizedAggregateStep, SynthesizedDynamicSet, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `EffectSeatAvail` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning.rs:74:35 [INFO] [stdout] | [INFO] [stdout] 74 | host_effect_seat_contract_of, EffectSeatAvail, EffectSeatNeed, EffectSeatOperation, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ComposedCallTarget`, `ComposedWorkerRouteEligibility`, `ComposedWorkerView`, `ContinuationConsumingOccurrence`, `ContinuationContextView`, `ContinuationFrameRequirement`, `ContinuationWorkerCaptureProvenance`, and `ContinuationWorkerCaptureSource` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning.rs:81:5 [INFO] [stdout] | [INFO] [stdout] 81 | ContinuationConsumingOccurrence, ContinuationContextView, ContinuationEmissionOwner, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 90 | ContinuationFrameRequirement, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 105 | ComposedWorkerRouteEligibility, ComposedWorkerView, ContinuationWorkerCaptureProvenance, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 106 | ContinuationWorkerCaptureSource, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 107 | // `D7a2` — the raw-target requirement and its reconciliation gate. [INFO] [stdout] 108 | ComposedCallTarget, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BOUNDARY_ERR_UNBOUND` [INFO] [stdout] --> crates/ken-runtime/src/boundary_value_clif.rs:3038:53 [INFO] [stdout] | [INFO] [stdout] 3038 | use crate::boundary_value::{BOUNDARY_ERR_CYCLE, BOUNDARY_ERR_UNBOUND}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::values::Value` [INFO] [stdout] --> crates/ken-runtime/src/boundary_value_clif.rs:3041:9 [INFO] [stdout] | [INFO] [stdout] 3041 | use crate::values::Value; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `compile_expr_into_object_module` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/artifact/mod.rs:33:31 [INFO] [stdout] | [INFO] [stdout] 33 | compile_expr_into_module, compile_expr_into_object_module, compile_program_expr_into_module, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:2077:1 [INFO] [stdout] | [INFO] [stdout] 2077 | / /// **`RT-DECL-CLOSURE-PORT` `D5a` — the outcome-complete localization trace.** [INFO] [stdout] 2078 | | /// [INFO] [stdout] 2079 | | /// ⛔⛔ **Outcome-complete on purpose.** The previous localization instrumented [INFO] [stdout] 2080 | | /// only `claim_and_call_continuation`'s two EARLY RETURNS and read zero hits as [INFO] [stdout] ... | [INFO] [stdout] 2085 | | /// records a terminal outcome here, so silence in the trace means the site was [INFO] [stdout] 2086 | | /// not reached and nothing else. [INFO] [stdout] | |_--------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] = note: `#[warn(unused_doc_comments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:5095:1 [INFO] [stdout] | [INFO] [stdout] 5095 | / /// Append specialized bindings **after** operands already in an environment — [INFO] [stdout] 5096 | | /// the same rule as [`env_with`], for the sites whose leading bindings are [INFO] [stdout] 5097 | | /// themselves lowered operands (a call's arguments) and whose trailing ones are [INFO] [stdout] 5098 | | /// a closure's captured templates. [INFO] [stdout] ... | [INFO] [stdout] 5103 | | /// unreadable" and "the binding was never built" are indistinguishable from the [INFO] [stdout] 5104 | | /// outside, and only one of them is the checkpoint. [INFO] [stdout] | |_---------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:5110:1 [INFO] [stdout] | [INFO] [stdout] 5110 | / /// **`D8d` — how many times the composed site reached a RECURSIVE position.** [INFO] [stdout] 5111 | | /// [INFO] [stdout] 5112 | | /// The denominator to `D8D_STATIC_WORKER_BINDINGS`' numerator. Without it, [INFO] [stdout] 5113 | | /// "no binding installed" cannot be told apart from "the site was never [INFO] [stdout] 5114 | | /// reached", and those have completely different consequences for `D8e`. [INFO] [stdout] | |_------------------------------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:5130:1 [INFO] [stdout] | [INFO] [stdout] 5130 | / /// **`D8e` — how many source-machine `Var` callees resolved to a `D8d` [INFO] [stdout] 5131 | | /// binding and were consumed through the shared emitter.** [INFO] [stdout] 5132 | | /// [INFO] [stdout] 5133 | | /// The third counter in the pair `D8d` established, and it exists for the same [INFO] [stdout] 5134 | | /// reason: "the consumer is correct but unreached" and "the consumer is wrong" [INFO] [stdout] 5135 | | /// are indistinguishable from a green suite. [INFO] [stdout] | |_--------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:5271:1 [INFO] [stdout] | [INFO] [stdout] 5271 | / /// **`D8j`** — the verified composed-discharge relation of the function most [INFO] [stdout] 5272 | | /// recently finalized, for the rows that assert it was populated. [INFO] [stdout] | |_-----------------------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:5279:1 [INFO] [stdout] | [INFO] [stdout] 5279 | / /// **`D8l2` — the discharge facet each source-machine consumption carried.** [INFO] [stdout] 5280 | | /// [INFO] [stdout] 5281 | | /// ⛔ Recorded at the CONSUMPTION seat, not at construction. `D8I_DISCHARGES` [INFO] [stdout] 5282 | | /// already says what each binding was built with; this says what was actually [INFO] [stdout] 5283 | | /// consumed, and the two populations differ -- a binding can be built and never [INFO] [stdout] 5284 | | /// consumed, and a program can reach the seat with bindings from several [INFO] [stdout] 5285 | | /// sources. `true` is a composed authority. [INFO] [stdout] | |_-------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:5302:1 [INFO] [stdout] | [INFO] [stdout] 5302 | / /// **`RT-CONTSRC-PRODUCER-LOCAL` `D8n` — what the two checked seams actually [INFO] [stdout] 5303 | | /// saw, per compilation.** [INFO] [stdout] 5304 | | /// [INFO] [stdout] 5305 | | /// ⛔ Written AT the seams from state production already holds there, never [INFO] [stdout] ... | [INFO] [stdout] 5324 | | /// regardless -- it answers "which module definition", which is the question [INFO] [stdout] 5325 | | /// these two seams ask. [INFO] [stdout] | |_-----------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:6263:1 [INFO] [stdout] | [INFO] [stdout] 6263 | / /// **`RT-LEXICAL-R3-FUSION-EMITTER` `D3` — the fusion-local compositions this [INFO] [stdout] 6264 | | /// compile actually REALIZED, in order.** [INFO] [stdout] 6265 | | /// [INFO] [stdout] 6266 | | /// Recorded at the composition seat AFTER the affine consumption succeeded, [INFO] [stdout] ... | [INFO] [stdout] 6269 | | /// its closeout — is which planned members a given artifact managed to reach. [INFO] [stdout] 6270 | | /// That is what this observes and it is the only thing it observes. [INFO] [stdout] | |_-------------------------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:6292:1 [INFO] [stdout] | [INFO] [stdout] 6292 | /// **`D3` — the fusion-owned outer realizations this compile dispatched.** [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:6314:1 [INFO] [stdout] | [INFO] [stdout] 6314 | / /// **`D3` — THE SHARING RELATION, one row per assembled composed-eliminator [INFO] [stdout] 6315 | | /// case run.** [INFO] [stdout] 6316 | | /// [INFO] [stdout] 6317 | | /// Each row holds that run's static-worker members as [INFO] [stdout] ... | [INFO] [stdout] 6325 | | /// a different question from whether two transports exist in a compile, and a [INFO] [stdout] 6326 | | /// flattened recording answers only the second. [INFO] [stdout] | |_-----------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:6360:1 [INFO] [stdout] | [INFO] [stdout] 6360 | /// **`D3` — the fused invocations emitted at claims' exact consuming calls.** [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:6416:1 [INFO] [stdout] | [INFO] [stdout] 6416 | / /// **`D7`/`AC-9` positive application counter.** [INFO] [stdout] 6417 | | /// [INFO] [stdout] 6418 | | /// ⛔ Required by the Architect's ruling, and it is not bookkeeping: the [INFO] [stdout] 6419 | | /// definition-binding mutation's whole claim is that a *different body* was [INFO] [stdout] ... | [INFO] [stdout] 6423 | | /// rather than as "no substitution happened". Those are opposite conclusions [INFO] [stdout] 6424 | | /// from identical evidence, so the count is what separates them. [INFO] [stdout] | |_----------------------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:6446:1 [INFO] [stdout] | [INFO] [stdout] 6446 | /// **`D8o`** — the emitter body of every composed claim actually reached. [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:6506:1 [INFO] [stdout] | [INFO] [stdout] 6506 | / /// **`D8i` — hand an ordinary binding site a REAL composed authority whose [INFO] [stdout] 6507 | | /// emission owner is not this unit's.** [INFO] [stdout] 6508 | | /// [INFO] [stdout] 6509 | | /// ⛔ The authority is taken from the plan's own target population, searched [INFO] [stdout] ... | [INFO] [stdout] 6516 | | /// and leaves the guard untouched, so the refusal is attributable to the guard [INFO] [stdout] 6517 | | /// rather than to the mutation being the guard. [INFO] [stdout] | |_-----------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:22063:1 [INFO] [stdout] | [INFO] [stdout] 22063 | / /// `RT-LEXICAL-RECURSOR-CONSUMERS` `D2b` — OBSERVATION ONLY. [INFO] [stdout] 22064 | | /// [INFO] [stdout] 22065 | | /// ⛔ Recorders, never deciders. Each is written at a seam and read by a [INFO] [stdout] 22066 | | /// control; none removes a join, chooses a disposition, or affects a result. [INFO] [stdout] | |_----------------------------------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:45:1 [INFO] [stdout] | [INFO] [stdout] 45 | / /// **`RT-SEED-CALL-PORT` `D1` — the residual set observed at the PRODUCTION [INFO] [stdout] 46 | | /// selector site, per compilation.** [INFO] [stdout] 47 | | /// [INFO] [stdout] 48 | | /// The durable enumerator landed in `RT-SRCBODY-BIND-ORDER` (`7ca5cfc0`). [INFO] [stdout] ... | [INFO] [stdout] 64 | | /// population, so widening the domain can only add members — it cannot change [INFO] [stdout] 65 | | /// the answer. A close-on-absence would have needed the wider domain first. [INFO] [stdout] | |_---------------------------------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:74:1 [INFO] [stdout] | [INFO] [stdout] 74 | / /// **`D2` reachability — how many times the ported seed-callee arm reached its [INFO] [stdout] 75 | | /// HANDOFF POINT: arity checked, every capture resolved, inputs handed to the [INFO] [stdout] 76 | | /// existing typed call path.** [INFO] [stdout] 77 | | /// [INFO] [stdout] ... | [INFO] [stdout] 93 | | /// positive row below reads it. A count of **0** proves refusal *before* the [INFO] [stdout] 94 | | /// handoff, which is the distinct thing `AC-6.2` asserts. [INFO] [stdout] | |_---------------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:110:1 [INFO] [stdout] | [INFO] [stdout] 110 | / /// **`R3` — a TEST-ONLY arm for the `D2f` emitter installer.** [INFO] [stdout] 111 | | /// [INFO] [stdout] 112 | | /// **This does not arm anything in production.** `D2F_EMITTER_ARMED` stays [INFO] [stdout] 113 | | /// `false` and is the only authority a production compile consults; this switch [INFO] [stdout] ... | [INFO] [stdout] 121 | | /// function body has none. Without this switch the corrected comment would be [INFO] [stdout] 122 | | /// exactly the unfalsifiable planning authority the ruling is retiring. [INFO] [stdout] | |_-----------------------------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:534:1 [INFO] [stdout] | [INFO] [stdout] 534 | / /// **`RT-PRODUCER-MATCH-PORT` `D2` — a HANDOFF counter, and named so.** [INFO] [stdout] 535 | | /// [INFO] [stdout] 536 | | /// Incremented once the composed ordinary frame has been checked for the three [INFO] [stdout] 537 | | /// pieces of state the carried elimination cannot express, immediately before [INFO] [stdout] ... | [INFO] [stdout] 543 | | /// outcome AND count 1**; a count of **0** proves a refusal strictly before the [INFO] [stdout] 544 | | /// handoff. Every row below reads it as that pair, never alone. [INFO] [stdout] | |_---------------------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:585:1 [INFO] [stdout] | [INFO] [stdout] 585 | / /// **`RT-RECURSOR-TRANSPORT` `D1` — the per-variant selector exclusion.** [INFO] [stdout] 586 | | /// [INFO] [stdout] 587 | | /// Test-only. It answers one question and no other: *if this variant did not [INFO] [stdout] 588 | | /// retain the monolithic root, what would this position actually do on the [INFO] [stdout] ... | [INFO] [stdout] 601 | | /// original path, and the `#[cfg(test)]` gate means the branch does not exist [INFO] [stdout] 602 | | /// in a production build. [INFO] [stdout] | |_-------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:676:1 [INFO] [stdout] | [INFO] [stdout] 676 | / /// **`RT-RECURSOR-TRANSPORT` `D2` — the backedge-propagation counter and its [INFO] [stdout] 677 | | /// suppression mutation.** Test-only. [INFO] [stdout] 678 | | /// [INFO] [stdout] 679 | | /// The counter is not bookkeeping: the repair's claim is that the protocol [INFO] [stdout] ... | [INFO] [stdout] 682 | | /// on an ordinary value would return early from a consumer that still owes its [INFO] [stdout] 683 | | /// eliminator. Counting separates those from "it works". [INFO] [stdout] | |_--------------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:741:1 [INFO] [stdout] | [INFO] [stdout] 741 | / /// `RT-MATCH-RECURSOR-CONSUMERS` `D2` — the carried-join counterpart of the [INFO] [stdout] 742 | | /// `RT-RECURSOR-TRANSPORT` `D2` counters above, and counted the same way and for [INFO] [stdout] 743 | | /// the same reason. [INFO] [stdout] | |_-------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:784:1 [INFO] [stdout] | [INFO] [stdout] 784 | / /// `RT-CARRIED-CONTINUATION-RESUME` `D2` counters, on the same discipline as the [INFO] [stdout] 785 | | /// two blocks above. [INFO] [stdout] | |_--------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:1432:1 [INFO] [stdout] | [INFO] [stdout] 1432 | / /// `RT-CARRIED-ORDINARY-COMPOSITION` `D2` counters, on the chain's standing [INFO] [stdout] 1433 | | /// discipline: the denominator is taken BEFORE the guard so a mutation cannot [INFO] [stdout] 1434 | | /// manufacture its own zero. [INFO] [stdout] | |_----------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:1459:1 [INFO] [stdout] | [INFO] [stdout] 1459 | / /// `D3`'s mutation at the repaired root: restore the pre-`D2` refusal instead of [INFO] [stdout] 1460 | | /// continuing the suffix. [INFO] [stdout] 1461 | | /// [INFO] [stdout] 1462 | | /// The restored text is spelled here rather than referenced, because `D2` [INFO] [stdout] ... | [INFO] [stdout] 1466 | | /// "absent under the repair" with "present under the mutation" measures [INFO] [stdout] 1467 | | /// something. [INFO] [stdout] | |_-------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:1484:1 [INFO] [stdout] | [INFO] [stdout] 1484 | / /// **`RT-SPECIALIZED-ACTIVE-RESUME` `D2` counters.** [INFO] [stdout] 1485 | | /// [INFO] [stdout] 1486 | | /// **The route counter is not a convenience, it is the only thing that can [INFO] [stdout] 1487 | | /// tell this repair from a guard skip.** `D0` measured every member of this [INFO] [stdout] ... | [INFO] [stdout] 1498 | | /// The denominator is taken BEFORE the guard, on the chain's standing [INFO] [stdout] 1499 | | /// discipline, so a mutation cannot manufacture its own zero. [INFO] [stdout] | |_-------------------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:1524:1 [INFO] [stdout] | [INFO] [stdout] 1524 | / /// `D3`'s mutation at the repaired root: refuse instead of routing. [INFO] [stdout] 1525 | | /// [INFO] [stdout] 1526 | | /// Unlike the predecessor's, this mutation does NOT have to re-spell a deleted [INFO] [stdout] 1527 | | /// sentence. The fifth refusal is still live production text below this route -- [INFO] [stdout] ... | [INFO] [stdout] 1530 | | /// production refusal. The mutation therefore restores the real path, not a [INFO] [stdout] 1531 | | /// replica of it. [INFO] [stdout] | |_-----------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:1637:1 [INFO] [stdout] | [INFO] [stdout] 1637 | / /// **`D8m`** — withhold the tuple the checked bridge transports, restoring the [INFO] [stdout] 1638 | | /// pre-`D8m` shape at that one site. [INFO] [stdout] | |_------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:1655:1 [INFO] [stdout] | [INFO] [stdout] 1655 | / /// **`D8m`** — give the bridge the WRAPPER's own occurrence instead of the [INFO] [stdout] 1656 | | /// wrapped match's, which is child 0 of it. [INFO] [stdout] 1657 | | /// [INFO] [stdout] 1658 | | /// The marker names the frame; the match IS the frame. Every origin-keyed [INFO] [stdout] ... | [INFO] [stdout] 1661 | | /// single checked occurrence cannot see: with one occurrence any origin that [INFO] [stdout] 1662 | | /// resolves at all resolves to the only candidate. [INFO] [stdout] | |_--------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:1679:1 [INFO] [stdout] | [INFO] [stdout] 1679 | / /// **`D8m`** — consume the marker with a default the source match does not [INFO] [stdout] 1680 | | /// carry. [INFO] [stdout] 1681 | | /// [INFO] [stdout] 1682 | | /// The bridge consumes through the existing pair, and that pair holds the [INFO] [stdout] ... | [INFO] [stdout] 1685 | | /// THE MARKER WRAPPED, rather than for whatever shape the bridge happens to hold [INFO] [stdout] 1686 | | /// by the time it consumes. [INFO] [stdout] | |_---------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:1703:1 [INFO] [stdout] | [INFO] [stdout] 1703 | / /// **`D8f`** — let the DECLINED call answer for the checked application's [INFO] [stdout] 1704 | | /// composed causal identity, which is what it did before this checkpoint. [INFO] [stdout] 1705 | | /// [INFO] [stdout] 1706 | | /// The call itself is unchanged either way; only the claim moves. That is what [INFO] [stdout] 1707 | | /// makes the duplicate-discharge refusal a difference this checkpoint removed [INFO] [stdout] 1708 | | /// rather than one it routed around. [INFO] [stdout] | |_------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:1724:1 [INFO] [stdout] | [INFO] [stdout] 1724 | /// **`D8n`** — restore the compile-wide consumed-frame lifetime. [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `D2J_DECLARATION` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core/tests/control.rs:4725:83 [INFO] [stdout] | [INFO] [stdout] 4725 | use crate::cranelift_backend::planning::{d2j_checked_fixture_under, D2jCause, D2J_DECLARATION}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core/tests/control.rs:17884:7 [INFO] [stdout] | [INFO] [stdout] 17884 | );; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(redundant_semicolons)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core/tests/control.rs:17945:7 [INFO] [stdout] | [INFO] [stdout] 17945 | );; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core/tests/control.rs:17932:5 [INFO] [stdout] | [INFO] [stdout] 17932 | ; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core/tests/control.rs:17975:8 [INFO] [stdout] | [INFO] [stdout] 17975 | });; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core/tests/control.rs:18264:7 [INFO] [stdout] | [INFO] [stdout] 18264 | );; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core/tests/control.rs:18429:7 [INFO] [stdout] | [INFO] [stdout] 18429 | );; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core/tests/control.rs:18418:5 [INFO] [stdout] | [INFO] [stdout] 18418 | ; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core/tests/control.rs:18602:7 [INFO] [stdout] | [INFO] [stdout] 18602 | );; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core/tests/control.rs:18664:7 [INFO] [stdout] | [INFO] [stdout] 18664 | );; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core/tests/control.rs:18653:5 [INFO] [stdout] | [INFO] [stdout] 18653 | ; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core/tests/control.rs:18710:7 [INFO] [stdout] | [INFO] [stdout] 18710 | );; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core/tests/control.rs:18815:7 [INFO] [stdout] | [INFO] [stdout] 18815 | );; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::cranelift_backend::planning::governed_nested_resource_bracket` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core/tests/control.rs:22053:9 [INFO] [stdout] | [INFO] [stdout] 22053 | use crate::cranelift_backend::planning::governed_nested_resource_bracket; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/units.rs:32:1 [INFO] [stdout] | [INFO] [stdout] 32 | / /// **`RT-FNSPLIT-B2F` `AC-2` — what the compiled module ACTUALLY contains.** [INFO] [stdout] 33 | | /// [INFO] [stdout] 34 | | /// ⭐ **This exists because the census pin in `control.rs` cannot answer the [INFO] [stdout] 35 | | /// question `AC-2` is really about.** That pin counts how many times three [INFO] [stdout] ... | [INFO] [stdout] 44 | | /// leaves an undefined symbol, and a single counter cannot tell that from a [INFO] [stdout] 45 | | /// smaller correct population. [INFO] [stdout] | |_------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/units.rs:65:1 [INFO] [stdout] | [INFO] [stdout] 65 | / /// **`RT-FNSPLIT-B2F` `AC-11` clause 3 — the compile-attempt epoch.** [INFO] [stdout] 66 | | /// [INFO] [stdout] 67 | | /// ⛔⛔ **This exists because the first timing instrument could not distinguish [INFO] [stdout] 68 | | /// the two outcomes it was built to separate, and reported a confident number [INFO] [stdout] ... | [INFO] [stdout] 94 | | /// unreachable — the only way to observe the epoch would be to declare a unit, [INFO] [stdout] 95 | | /// which is the very event the reading is supposed to detect the absence of. [INFO] [stdout] | |_----------------------------------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/units.rs:5242:1 [INFO] [stdout] | [INFO] [stdout] 5242 | / /// **`RT-DECL-CLOSURE-PORT` `D5a` checkpoint 2 — open the ONE cross-pass causal [INFO] [stdout] 5243 | | /// ledger.** [INFO] [stdout] 5244 | | /// [INFO] [stdout] 5245 | | /// Called from the orchestration before the first generated `Function`, so [INFO] [stdout] ... | [INFO] [stdout] 5254 | | /// witness can assert WHICH disposition its candidate settled to without the [INFO] [stdout] 5255 | | /// ledger outliving the artifact it belongs to. [INFO] [stdout] | |_-----------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/units.rs:5439:1 [INFO] [stdout] | [INFO] [stdout] 5439 | / /// What the last completed seat closeout on this thread measured. [INFO] [stdout] 5440 | | /// [INFO] [stdout] 5441 | | /// ⚠ Like `b2f_last_unit_emission`, this carries no statement about WHICH [INFO] [stdout] 5442 | | /// compile produced it: a compile that fails before the closeout leaves the [INFO] [stdout] 5443 | | /// previous reading standing. Read it only where one compile is known to have [INFO] [stdout] 5444 | | /// closed. [INFO] [stdout] | |_----------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/seed_material.rs:95:1 [INFO] [stdout] | [INFO] [stdout] 95 | / /// **`AC-2` — what the compiled module ACTUALLY contains, data-object half.** [INFO] [stdout] 96 | | /// [INFO] [stdout] 97 | | /// ⭐ **This is the instrument that carries the population claim for minted [INFO] [stdout] 98 | | /// data**, and it exists because the source-text census in `control.rs` cannot: [INFO] [stdout] ... | [INFO] [stdout] 107 | | /// [INFO] [stdout] 108 | | /// Records `(declared, defined)` for the most recent compile on this thread. [INFO] [stdout] | |_----------------------------------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/seed_material.rs:122:1 [INFO] [stdout] | [INFO] [stdout] 122 | / /// **`AC-12` — how many reads from artifact-static storage the emitter issued.** [INFO] [stdout] 123 | | /// [INFO] [stdout] 124 | | /// ⭐ **This is the ownership-mode control, and it is a count of EMITTED LOADS [INFO] [stdout] 125 | | /// rather than a re-reading of a declaration.** `AbiCarrier::ownership` and [INFO] [stdout] ... | [INFO] [stdout] 133 | | /// ⚠ Monotone across a process, never reset by production. A reader compares two [INFO] [stdout] 134 | | /// readings around one compile; ⛔ it must not be read as a per-compile total. [INFO] [stdout] | |_------------------------------------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/seed_material.rs:146:1 [INFO] [stdout] | [INFO] [stdout] 146 | / /// **The byte image this module handed to `define_data`, per object.** [INFO] [stdout] 147 | | /// [INFO] [stdout] 148 | | /// ⛔⛔ **This exists because NO COUNTER OF OUR OWN CALLS CAN DETECT THE [INFO] [stdout] 149 | | /// DELETION OF THE CALL IT COUNTS.** Measured, not reasoned: removing the [INFO] [stdout] ... | [INFO] [stdout] 159 | | /// comparison against **what the module actually holds** rather than against [INFO] [stdout] 160 | | /// what this loop believes it did. [INFO] [stdout] | |_----------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `D2J_DECLARATION`, `D2jCause`, and `d2j_checked_fixture_under` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:79:5 [INFO] [stdout] | [INFO] [stdout] 79 | d2j_checked_fixture_under, D2jCause, D2J_DECLARATION, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^ ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `BodyEmissionDisposition`, `EmittableUnit`, and `FusionOwnedBody` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:88:5 [INFO] [stdout] | [INFO] [stdout] 88 | BodyEmissionDisposition, FusionCompositionLayer, FusionOwnedBody, FusionRegionClaim, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 109 | ContinuationUnitView, RequiredConsumerProjection, EmittableCallKind, EmittableUnit, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `EffectSeatPlanMutation` and `set_effect_seat_plan_mutation` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:298:42 [INFO] [stdout] | [INFO] [stdout] 298 | use crate::cranelift_backend::planning::{set_effect_seat_plan_mutation, EffectSeatPlanMutation}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `FusionClaimRefusal` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning.rs:18:30 [INFO] [stdout] | [INFO] [stdout] 18 | BodyEmissionDisposition, FusionClaimRefusal, FusionComposedEdge, FusionCompositionLayer, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PlannedAggregateChild`, `PlannedAggregateView`, `SynthesizedAggregateStep`, and `SynthesizedDynamicSet` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning.rs:66:5 [INFO] [stdout] | [INFO] [stdout] 66 | PlannedAggregateChild, PlannedAggregateOwnership, PlannedAggregateView, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 69 | SynthesizedAggregateStep, SynthesizedDynamicSet, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `EffectSeatAvail` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning.rs:74:35 [INFO] [stdout] | [INFO] [stdout] 74 | host_effect_seat_contract_of, EffectSeatAvail, EffectSeatNeed, EffectSeatOperation, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ComposedCallTarget`, `ComposedWorkerView`, `ContinuationContextView`, `ContinuationFrameRequirement`, `ContinuationWorkerCaptureProvenance`, and `ContinuationWorkerCaptureSource` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning.rs:81:38 [INFO] [stdout] | [INFO] [stdout] 81 | ContinuationConsumingOccurrence, ContinuationContextView, ContinuationEmissionOwner, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 90 | ContinuationFrameRequirement, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 105 | ComposedWorkerRouteEligibility, ComposedWorkerView, ContinuationWorkerCaptureProvenance, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 106 | ContinuationWorkerCaptureSource, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 107 | // `D7a2` — the raw-target requirement and its reconciliation gate. [INFO] [stdout] 108 | ComposedCallTarget, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `D4bVerdict`, `d4b_arm_admission`, and `d4b_take_admission` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning.rs:129:55 [INFO] [stdout] | [INFO] [stdout] 129 | d3b_publish_without_finalization, d3b_refinalize, d4b_arm_admission, d4b_take_admission, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 130 | D3bFinalizationPerturbation, D4bVerdict, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/test_objects.rs:347:1 [INFO] [stdout] | [INFO] [stdout] 347 | / /// **`RT-CONTSRC-PRODUCER-LOCAL` `D8p`** — nest an ordinary call on the same [INFO] [stdout] 348 | | /// recursor binder inside the checked application, under test only. [INFO] [stdout] | |_-------------------------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/test_objects.rs:369:1 [INFO] [stdout] | [INFO] [stdout] 369 | / /// **`RT-CONTSRC-PRODUCER-LOCAL` `D6b`** — call the SELECTED RECURSIVE [INFO] [stdout] 370 | | /// ARGUMENT, under test only. [INFO] [stdout] 371 | | /// [INFO] [stdout] 372 | | /// `Var(2)` is that member: the `Vis` case has `argument_binders = 2` and [INFO] [stdout] ... | [INFO] [stdout] 377 | | /// witness already calls, and calling it is what leaves the argument member [INFO] [stdout] 378 | | /// proven as a binding and never as a call. [INFO] [stdout] | |_-------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/test_objects.rs:400:1 [INFO] [stdout] | [INFO] [stdout] 400 | / /// **`RT-CONTSRC-PRODUCER-LOCAL` `D9b`** — give the SELECTED WORKER two [INFO] [stdout] 401 | | /// distinguishable lexical captures, under test only. [INFO] [stdout] 402 | | /// [INFO] [stdout] 403 | | /// The `Vis` case declares `recursive_positions = [1]`, so the `LexicalClosure` [INFO] [stdout] ... | [INFO] [stdout] 416 | | /// changing every witness's worker arity to serve one row would move facts those [INFO] [stdout] 417 | | /// rows measure. [INFO] [stdout] | |_----------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `emit_synthetic_runtime_ir_object_with_cranelift` and `run_synthetic_runtime_ir_report_with_cranelift` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend.rs:74:5 [INFO] [stdout] | [INFO] [stdout] 74 | emit_synthetic_runtime_ir_object_with_cranelift, run_synthetic_runtime_ir_report_with_cranelift, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `package_starter_executable_artifact` [INFO] [stdout] --> crates/ken-runtime/src/native_execution_differential.rs:3074:9 [INFO] [stdout] | [INFO] [stdout] 3074 | package_starter_executable_artifact, platform_runtime_support_for_entrypoint, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: duplicated attribute [INFO] [stdout] --> crates/ken-runtime/src/object_linker_packaging.rs:3904:5 [INFO] [stdout] | [INFO] [stdout] 3904 | #[test] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(duplicate_macro_attributes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `frame_field` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:5815:25 [INFO] [stdout] | [INFO] [stdout] 5815 | let frame_field = frame.answer_route; [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_frame_field` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `defining` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:12089:9 [INFO] [stdout] | [INFO] [stdout] 12089 | defining: PredeclaredFunctionId, [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_defining` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:13428:13 [INFO] [stdout] | [INFO] [stdout] 13428 | let mut residual = result_edges [INFO] [stdout] | ----^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:18917:13 [INFO] [stdout] | [INFO] [stdout] 18917 | let mut claim = |lowering: &mut Self, [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `span_origin` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:20059:21 [INFO] [stdout] | [INFO] [stdout] 20059 | let span_origin = *span_origin; [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_span_origin` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `position` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:4941:14 [INFO] [stdout] | [INFO] [stdout] 4941 | for (position, field) in fields.iter().enumerate() { [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_position` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `field_origin` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:4948:21 [INFO] [stdout] | [INFO] [stdout] 4948 | field_origin, [INFO] [stdout] | ^^^^^^^^^^^^ help: try ignoring the field: `field_origin: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `token` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:19429:25 [INFO] [stdout] | [INFO] [stdout] 19429 | let token = (identity.abi_word() [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_token` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:2006:13 [INFO] [stdout] | [INFO] [stdout] 2006 | let mut nonrecursive = (0..field_count) [INFO] [stdout] | ----^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:9052:9 [INFO] [stdout] | [INFO] [stdout] 9052 | let mut key = StaticContinuationFusionKey { [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:10146:17 [INFO] [stdout] | [INFO] [stdout] 10146 | let mut invocation_parameters = [INFO] [stdout] | ----^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:16409:13 [INFO] [stdout] | [INFO] [stdout] 16409 | let mut order = (0..contexts.len()).collect::>(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `lowering::Lowered` is more private than the item `lowering::LoweredRecordField::value` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:3501:5 [INFO] [stdout] | [INFO] [stdout] 3501 | pub(in crate::cranelift_backend) value: Lowered, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `lowering::LoweredRecordField::value` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `lowering::Lowered` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:3254:1 [INFO] [stdout] | [INFO] [stdout] 3254 | enum Lowered { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `ContinuationInputProjection` is more private than the item `PlannedContinuationContext::captures` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:704:5 [INFO] [stdout] | [INFO] [stdout] 704 | pub(super) fn captures(&self) -> &[ContinuationInputProjection] { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `PlannedContinuationContext::captures` is reachable at visibility `pub(in crate::cranelift_backend::planning)` [INFO] [stdout] | [INFO] [stdout] note: but type `ContinuationInputProjection` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:950:1 [INFO] [stdout] | [INFO] [stdout] 950 | struct ContinuationInputProjection { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `AbiContinuationInputAuthority` is more private than the item `ContinuationUnitView::<'plan>::inputs` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:1837:5 [INFO] [stdout] | [INFO] [stdout] 1837 | pub(in crate::cranelift_backend) fn inputs(&self) -> &'plan [abi::AbiContinuationInputAuthority] { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `ContinuationUnitView::<'plan>::inputs` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `AbiContinuationInputAuthority` is only usable at visibility `pub(in crate::cranelift_backend::planning::static_transition)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition/abi.rs:545:1 [INFO] [stdout] | [INFO] [stdout] 545 | pub(super) struct AbiContinuationInputAuthority { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `AbiContinuationInputAuthority` is more private than the item `static_transition::StaticContinuationFusionView::<'plan>::inputs` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:9444:5 [INFO] [stdout] | [INFO] [stdout] 9444 | pub(in crate::cranelift_backend) fn inputs(&self) -> &'plan [abi::AbiContinuationInputAuthority] { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `static_transition::StaticContinuationFusionView::<'plan>::inputs` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `AbiContinuationInputAuthority` is only usable at visibility `pub(in crate::cranelift_backend::planning::static_transition)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition/abi.rs:545:1 [INFO] [stdout] | [INFO] [stdout] 545 | pub(super) struct AbiContinuationInputAuthority { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `BOUNDARY_LOCAL_HELPERS` is never used [INFO] [stdout] --> crates/ken-runtime/src/boundary_value_clif.rs:67:11 [INFO] [stdout] | [INFO] [stdout] 67 | pub const BOUNDARY_LOCAL_HELPERS: &[&str] = &[ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `extend_specialized` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:6538:4 [INFO] [stdout] | [INFO] [stdout] 6538 | fn extend_specialized( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `StaticEncodingPolicy` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:10960:39 [INFO] [stdout] | [INFO] [stdout] 10960 | pub(in crate::cranelift_backend) enum StaticEncodingPolicy { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated constant `ALL` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:10977:44 [INFO] [stdout] | [INFO] [stdout] 10975 | impl StaticEncodingPolicy { [INFO] [stdout] | ------------------------- associated constant in this implementation [INFO] [stdout] 10976 | /// Every policy, in the frame's order. [INFO] [stdout] 10977 | pub(in crate::cranelift_backend) const ALL: [StaticEncodingPolicy; 5] = [ [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `policy` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:10995:41 [INFO] [stdout] | [INFO] [stdout] 10986 | impl BoundaryDisposition { [INFO] [stdout] | ------------------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 10995 | pub(in crate::cranelift_backend) fn policy(self) -> StaticEncodingPolicy { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `permitted_by` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:11340:41 [INFO] [stdout] | [INFO] [stdout] 11333 | impl BoundaryOutcome { [INFO] [stdout] | -------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 11340 | pub(in crate::cranelift_backend) fn permitted_by(self, policy: StaticEncodingPolicy) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `LifecyclePhase` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:11415:39 [INFO] [stdout] | [INFO] [stdout] 11415 | pub(in crate::cranelift_backend) enum LifecyclePhase { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `ALL` and `index` are never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:11435:44 [INFO] [stdout] | [INFO] [stdout] 11430 | impl LifecyclePhase { [INFO] [stdout] | ------------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 11435 | pub(in crate::cranelift_backend) const ALL: [LifecyclePhase; 6] = [ [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 11450 | pub(in crate::cranelift_backend) fn index(self) -> usize { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ProductionAnchor` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:11469:39 [INFO] [stdout] | [INFO] [stdout] 11469 | pub(in crate::cranelift_backend) enum ProductionAnchor { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `derived_witness` and `CONTROL_CLOSED` are never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:11503:41 [INFO] [stdout] | [INFO] [stdout] 11493 | impl ProductionAnchor { [INFO] [stdout] | --------------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 11503 | pub(in crate::cranelift_backend) fn derived_witness(self) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 11537 | pub(in crate::cranelift_backend) const CONTROL_CLOSED: &'static [( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `PhaseBinding` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:11558:39 [INFO] [stdout] | [INFO] [stdout] 11558 | pub(in crate::cranelift_backend) enum PhaseBinding { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `PhaseClosure` is never constructed [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:11577:41 [INFO] [stdout] | [INFO] [stdout] 11577 | pub(in crate::cranelift_backend) struct PhaseClosure { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `binding` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:11588:41 [INFO] [stdout] | [INFO] [stdout] 11586 | impl PhaseClosure { [INFO] [stdout] | ----------------- method in this implementation [INFO] [stdout] 11587 | /// This row's binding for one phase. [INFO] [stdout] 11588 | pub(in crate::cranelift_backend) fn binding(&self, phase: LifecyclePhase) -> PhaseBinding { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `requires` and `phase_closure` are never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:11609:41 [INFO] [stdout] | [INFO] [stdout] 11600 | impl BoundaryOutcome { [INFO] [stdout] | -------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 11609 | pub(in crate::cranelift_backend) fn requires(self, phase: LifecyclePhase) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 11697 | pub(in crate::cranelift_backend) fn phase_closure(self) -> PhaseClosure { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `effect_origin` is never read [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:13029:5 [INFO] [stdout] | [INFO] [stdout] 13027 | struct CommittedEffectSeatGroup { [INFO] [stdout] | ------------------------ field in this struct [INFO] [stdout] 13028 | function: FuncId, [INFO] [stdout] 13029 | effect_origin: StaticOriginId, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `CommittedEffectSeatGroup` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `ReturnValue` is never constructed [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:16022:5 [INFO] [stdout] | [INFO] [stdout] 16021 | enum SourceContinuationTerminal<'a> { [INFO] [stdout] | -------------------------- variant in this enum [INFO] [stdout] 16022 | ReturnValue, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `merge_branch_value` and `record_merge_kind` are never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:17913:8 [INFO] [stdout] | [INFO] [stdout] 16771 | impl<'a> Lowering<'a> { [INFO] [stdout] | --------------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 17913 | fn merge_branch_value( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 18340 | fn record_merge_kind( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `harness` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:1938:8 [INFO] [stdout] | [INFO] [stdout] 1917 | impl CheckedFrameBranchScope { [INFO] [stdout] | ---------------------------- associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 1938 | fn harness( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `FrameScopeHarnessWitness` is never constructed [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:1978:8 [INFO] [stdout] | [INFO] [stdout] 1978 | struct FrameScopeHarnessWitness { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `FrameScopeHarnessMutation` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:1987:6 [INFO] [stdout] | [INFO] [stdout] 1987 | enum FrameScopeHarnessMutation { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ContinuationImmediateResolution` is never constructed [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:21861:8 [INFO] [stdout] | [INFO] [stdout] 21861 | struct ContinuationImmediateResolution { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ContinuationImmediateRoot` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:21867:6 [INFO] [stdout] | [INFO] [stdout] 21867 | enum ContinuationImmediateRoot { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `fusion_len`, `continuation_len`, and `len` are never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/units.rs:225:41 [INFO] [stdout] | [INFO] [stdout] 177 | impl UnitBundle { [INFO] [stdout] | --------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 225 | pub(in crate::cranelift_backend) fn fusion_len(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 230 | pub(in crate::cranelift_backend) fn continuation_len(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 239 | pub(in crate::cranelift_backend) fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `origin` is never read [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/units.rs:428:38 [INFO] [stdout] | [INFO] [stdout] 427 | pub(in crate::cranelift_backend) struct WorkerTemplate { [INFO] [stdout] | -------------- field in this struct [INFO] [stdout] 428 | pub(in crate::cranelift_backend) origin: StaticOriginId, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `WorkerTemplate` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `id` is never read [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/units.rs:1546:16 [INFO] [stdout] | [INFO] [stdout] 1545 | pub(super) struct ContinuationSelectedCaseBody { [INFO] [stdout] | ---------------------------- field in this struct [INFO] [stdout] 1546 | pub(super) id: ContinuationSpecializationId, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `header_parameters` and `header_captures` are never read [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/units.rs:1976:9 [INFO] [stdout] | [INFO] [stdout] 1963 | struct OwnedContinuationEmission { [INFO] [stdout] | ------------------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 1976 | header_parameters: u32, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] 1977 | header_captures: u32, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `consuming_callee` is never read [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/units.rs:3091:9 [INFO] [stdout] | [INFO] [stdout] 3079 | struct OwnedFusion { [INFO] [stdout] | ----------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 3091 | consuming_callee: StaticOriginId, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `enclosing_specialization`, `worker_body_origin`, and `raw_owner` are never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:689:41 [INFO] [stdout] | [INFO] [stdout] 679 | impl PlannedContinuationContext { [INFO] [stdout] | ------------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 689 | pub(in crate::cranelift_backend) fn enclosing_specialization( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 694 | pub(in crate::cranelift_backend) fn worker_body_origin(&self) -> StaticOriginId { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 698 | pub(in crate::cranelift_backend) fn raw_owner(&self) -> PredeclaredFunctionId { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `producer_owner` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:1758:41 [INFO] [stdout] | [INFO] [stdout] 1743 | impl ContinuationCallIdentity { [INFO] [stdout] | ----------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 1758 | pub(in crate::cranelift_backend) fn producer_owner(&self) -> PredeclaredFunctionId { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `producer_owner`, `consuming_occurrence`, `recursive_positions`, and `inputs` are never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:1790:41 [INFO] [stdout] | [INFO] [stdout] 1786 | impl<'plan> ContinuationUnitView<'plan> { [INFO] [stdout] | --------------------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 1790 | pub(in crate::cranelift_backend) fn producer_owner(&self) -> PredeclaredFunctionId { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1800 | pub(in crate::cranelift_backend) fn consuming_occurrence( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1825 | pub(in crate::cranelift_backend) fn recursive_positions(&self) -> &BTreeSet { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1837 | pub(in crate::cranelift_backend) fn inputs(&self) -> &'plan [abi::AbiContinuationInputAuthority] { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `producer_owner` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:2538:41 [INFO] [stdout] | [INFO] [stdout] 2537 | impl ContinuationCallView<'_> { [INFO] [stdout] | ----------------------------- method in this implementation [INFO] [stdout] 2538 | pub(in crate::cranelift_backend) fn producer_owner(&self) -> PredeclaredFunctionId { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `id`, `producer`, `owner`, and `meet` are never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:4010:41 [INFO] [stdout] | [INFO] [stdout] 4009 | impl<'plan> PlannedAggregateView<'plan> { [INFO] [stdout] | --------------------------------------- methods in this implementation [INFO] [stdout] 4010 | pub(in crate::cranelift_backend) fn id(&self) -> AggregateOccurrenceId { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 4014 | pub(in crate::cranelift_backend) fn producer(&self) -> &'plan AggregateOccurrenceProducer { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 4029 | pub(in crate::cranelift_backend) fn owner(&self) -> Option { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 4042 | pub(in crate::cranelift_backend) fn meet(&self) -> PlannedReferentLifetime { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `producer` and `fusion` are never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:9563:41 [INFO] [stdout] | [INFO] [stdout] 9562 | impl FusionOwnedBody { [INFO] [stdout] | -------------------- methods in this implementation [INFO] [stdout] 9563 | pub(in crate::cranelift_backend) fn producer(self) -> PredeclaredFunctionId { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 9567 | pub(in crate::cranelift_backend) fn fusion(self) -> StaticContinuationFusionId { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `closure_defines_a_planned_member` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:12120:4 [INFO] [stdout] | [INFO] [stdout] 12120 | fn closure_defines_a_planned_member( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `aggregate_allocation` and `fusion_owned_bodies` are never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:14027:41 [INFO] [stdout] | [INFO] [stdout] 13562 | impl<'src> StaticTransitionPlan<'src> { [INFO] [stdout] | ------------------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 14027 | pub(in crate::cranelift_backend) fn aggregate_allocation( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 15224 | pub(in crate::cranelift_backend) fn fusion_owned_bodies( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `authority` is never used [INFO] [stdout] --> crates/ken-runtime/src/native_process_authority.rs:216:19 [INFO] [stdout] | [INFO] [stdout] 214 | impl NativeProgramAdmission { [INFO] [stdout] | --------------------------- method in this implementation [INFO] [stdout] 215 | /// The validated constructor-identity authority. [INFO] [stdout] 216 | pub(crate) fn authority(&self) -> &NativeProcessSymbols { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:13765:65 [INFO] [stdout] | [INFO] [stdout] 13765 | .expect("the claim was present at the filter above") [INFO] [stdout] | _________________________________________________________________^ [INFO] [stdout] 13766 | | .clone(); [INFO] [stdout] | |____________________^ [INFO] [stdout] | [INFO] [stdout] = note: the type `static_transition::FusionRegionClaim` does not implement `Clone`, so calling `clone` on `&static_transition::FusionRegionClaim` copies the reference, which does not do anything and can be removed [INFO] [stdout] = note: `#[warn(noop_method_call)]` on by default [INFO] [stdout] help: remove this redundant call [INFO] [stdout] | [INFO] [stdout] 13765 - .expect("the claim was present at the filter above") [INFO] [stdout] 13766 - .clone(); [INFO] [stdout] 13765 + .expect("the claim was present at the filter above"); [INFO] [stdout] | [INFO] [stdout] help: if you meant to clone `static_transition::FusionRegionClaim`, implement `Clone` for it [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:9594:1 [INFO] [stdout] | [INFO] [stdout] 9594 + #[derive(Clone)] [INFO] [stdout] 9595 | pub(in crate::cranelift_backend) struct FusionRegionClaim { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking ken-elaborator v0.0.0 (/opt/rustwide/workdir/crates/ken-elaborator) [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> crates/ken-runtime/src/boundary_value_clif.rs:3419:17 [INFO] [stdout] | [INFO] [stdout] 3419 | let mut builder = BoundaryArenaBuilder::new(); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> crates/ken-runtime/src/boundary_value_clif.rs:3541:13 [INFO] [stdout] | [INFO] [stdout] 3541 | let mut builder = BoundaryArenaBuilder::new(); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> crates/ken-runtime/src/boundary_value_clif.rs:3660:13 [INFO] [stdout] | [INFO] [stdout] 3660 | let mut builder = BoundaryArenaBuilder::new(); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> crates/ken-runtime/src/boundary_value_clif.rs:3987:13 [INFO] [stdout] | [INFO] [stdout] 3987 | let mut builder = BoundaryArenaBuilder::new(); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `out` is never read [INFO] [stdout] --> crates/ken-runtime/src/boundary_value_clif.rs:5907:23 [INFO] [stdout] | [INFO] [stdout] 5907 | let mut out = 0u64; [INFO] [stdout] | ^^^^ this value is reassigned later and never used [INFO] [stdout] ... [INFO] [stdout] 5979 | out = 0; [INFO] [stdout] | ------- `out` is overwritten here before the previous value is read [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `erase_checked_host_package_for_target` is never used [INFO] [stdout] --> crates/ken-elaborator/src/erasure.rs:1597:15 [INFO] [stdout] | [INFO] [stdout] 1597 | pub(crate) fn erase_checked_host_package_for_target<'a>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking ken-interp v0.0.0 (/opt/rustwide/workdir/crates/ken-interp) [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:18917:13 [INFO] [stdout] | [INFO] [stdout] 18917 | let mut claim = |lowering: &mut Self, [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `span_origin` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:20059:21 [INFO] [stdout] | [INFO] [stdout] 20059 | let span_origin = *span_origin; [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_span_origin` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking ken-cli v0.0.0 (/opt/rustwide/workdir/crates/ken-cli) [INFO] [stdout] warning: unused import: `ObligationKind` [INFO] [stdout] --> crates/ken-elaborator/tests/v2_acceptance.rs:12:43 [INFO] [stdout] | [INFO] [stdout] 12 | use ken_elaborator::{v2_extract, ElabEnv, ObligationKind, ProvKind}; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking ken-verify v0.0.0 (/opt/rustwide/workdir/crates/ken-verify) [INFO] [stdout] warning: field `inr` is never read [INFO] [stdout] --> crates/ken-interp/src/lib.rs:52:9 [INFO] [stdout] | [INFO] [stdout] 43 | struct Std { [INFO] [stdout] | --- field in this struct [INFO] [stdout] ... [INFO] [stdout] 52 | inr: GlobalId, [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `audience`, `authority`, `availability`, `sources`, `validation`, and `owner` are never read [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:164:5 [INFO] [stdout] | [INFO] [stdout] 161 | struct DocEntry { [INFO] [stdout] | -------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 164 | audience: Vec, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 165 | authority: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 166 | availability: String, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 167 | sources: Vec, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 168 | validation: Vec, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] 169 | owner: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `DocEntry` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_manifest` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:186:4 [INFO] [stdout] | [INFO] [stdout] 186 | fn parse_manifest(src: &str) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `load_manifest` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:264:4 [INFO] [stdout] | [INFO] [stdout] 264 | fn load_manifest() -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `library_markdown_files` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:327:4 [INFO] [stdout] | [INFO] [stdout] 327 | fn library_markdown_files() -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `heading_anchors` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:348:4 [INFO] [stdout] | [INFO] [stdout] 348 | fn heading_anchors(contents: &str) -> BTreeSet { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `split_source` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:365:4 [INFO] [stdout] | [INFO] [stdout] 365 | fn split_source(source: &str) -> (&str, Option<&str>) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_manifest_coverage` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:374:4 [INFO] [stdout] | [INFO] [stdout] 374 | fn check_manifest_coverage() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_document_kinds` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:463:4 [INFO] [stdout] | [INFO] [stdout] 463 | fn check_document_kinds() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_manifest_completeness` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:472:4 [INFO] [stdout] | [INFO] [stdout] 472 | fn check_manifest_completeness() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ValidationGate` is never constructed [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:559:8 [INFO] [stdout] | [INFO] [stdout] 559 | struct ValidationGate { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `applies_to_every_record` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:565:4 [INFO] [stdout] | [INFO] [stdout] 565 | fn applies_to_every_record(_: &DocEntry) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `applies_to_status_records` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:569:4 [INFO] [stdout] | [INFO] [stdout] 569 | fn applies_to_status_records(entry: &DocEntry) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `applies_to_non_status_records` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:573:4 [INFO] [stdout] | [INFO] [stdout] 573 | fn applies_to_non_status_records(entry: &DocEntry) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `VALIDATION_GATES` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:577:7 [INFO] [stdout] | [INFO] [stdout] 577 | const VALIDATION_GATES: &[ValidationGate] = &[ [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `all_string_fields` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:685:4 [INFO] [stdout] | [INFO] [stdout] 685 | fn all_string_fields(entry: &DocEntry) -> Vec<(&'static str, &str)> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_transport_delimiter` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:699:4 [INFO] [stdout] | [INFO] [stdout] 699 | fn check_transport_delimiter() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `markdown_links` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:798:4 [INFO] [stdout] | [INFO] [stdout] 798 | fn markdown_links(contents: &str) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `is_well_formed_external_url` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:823:4 [INFO] [stdout] | [INFO] [stdout] 823 | fn is_well_formed_external_url(url: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_links` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:834:4 [INFO] [stdout] | [INFO] [stdout] 834 | fn check_links() { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_source_anchors` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:904:4 [INFO] [stdout] | [INFO] [stdout] 904 | fn check_source_anchors() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_availability_labels` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:948:4 [INFO] [stdout] | [INFO] [stdout] 948 | fn check_availability_labels() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `run_status_generator_check` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:969:4 [INFO] [stdout] | [INFO] [stdout] 969 | fn run_status_generator_check() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_source_currency` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:987:4 [INFO] [stdout] | [INFO] [stdout] 987 | fn check_source_currency() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_generated_current` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:991:4 [INFO] [stdout] | [INFO] [stdout] 991 | fn check_generated_current() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_authority_classes` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:2476:4 [INFO] [stdout] | [INFO] [stdout] 2476 | fn check_authority_classes() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `controlled_manifest_value` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:2747:4 [INFO] [stdout] | [INFO] [stdout] 2747 | fn controlled_manifest_value(src: &str) -> serde_json::Value { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `controlled_source_violations` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:3126:4 [INFO] [stdout] | [INFO] [stdout] 3126 | fn controlled_source_violations(root: &Path, owner: &str, source: &str) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `unicode_whitespace_tokens` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:3151:4 [INFO] [stdout] | [INFO] [stdout] 3151 | fn unicode_whitespace_tokens(path: &Path) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `module_contract_violations` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:3158:4 [INFO] [stdout] | [INFO] [stdout] 3158 | fn module_contract_violations(path: &Path, src: &str) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `transitive_modules` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:3262:4 [INFO] [stdout] | [INFO] [stdout] 3262 | fn transitive_modules( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `has_checked_examples` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:3620:4 [INFO] [stdout] | [INFO] [stdout] 3620 | fn has_checked_examples(src: &str) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `applies_to_checked_example_records` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:3629:4 [INFO] [stdout] | [INFO] [stdout] 3629 | fn applies_to_checked_example_records(entry: &DocEntry) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `check_checked_examples` is never used [INFO] [stdout] --> crates/ken-cli/tests/library_documentation_gates.rs:3659:4 [INFO] [stdout] | [INFO] [stdout] 3659 | fn check_checked_examples() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Context` [INFO] [stdout] --> crates/ken-elaborator/tests/v1_acceptance.rs:9:18 [INFO] [stdout] | [INFO] [stdout] 9 | use ken_kernel::{Context, Level, Term}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `r1` [INFO] [stdout] --> crates/ken-elaborator/tests/lc_acceptance.rs:116:9 [INFO] [stdout] | [INFO] [stdout] 116 | let r1 = elab(&mut env, "instance Show Int { show = show }"); [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_r1` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `lowering::EffectSeatDispatchMutation` is more private than the item `lowering::set_effect_seat_dispatch_mutation` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:406:1 [INFO] [stdout] | [INFO] [stdout] 406 | / pub(in crate::cranelift_backend) fn set_effect_seat_dispatch_mutation( [INFO] [stdout] 407 | | mutation: EffectSeatDispatchMutation, [INFO] [stdout] 408 | | ) { [INFO] [stdout] | |_^ function `lowering::set_effect_seat_dispatch_mutation` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `lowering::EffectSeatDispatchMutation` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:367:1 [INFO] [stdout] | [INFO] [stdout] 367 | enum EffectSeatDispatchMutation { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] = note: `#[warn(private_interfaces)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `lowering::LoweringEnvironmentBinding` is more private than the item `d4a_describe_binding` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:1776:1 [INFO] [stdout] | [INFO] [stdout] 1776 | / pub(in crate::cranelift_backend) fn d4a_describe_binding( [INFO] [stdout] 1777 | | binding: Option<&LoweringEnvironmentBinding>, [INFO] [stdout] 1778 | | ) -> String { [INFO] [stdout] | |___________^ function `d4a_describe_binding` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `lowering::LoweringEnvironmentBinding` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:3661:1 [INFO] [stdout] | [INFO] [stdout] 3661 | enum LoweringEnvironmentBinding { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `lowering::StaticWorkerCallRoute` is more private than the item `lowering::D5aMarkerEvent::WorkerCallEmitted::route` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:2143:9 [INFO] [stdout] | [INFO] [stdout] 2143 | route: StaticWorkerCallRoute, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `lowering::D5aMarkerEvent::WorkerCallEmitted::route` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `lowering::StaticWorkerCallRoute` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:3997:1 [INFO] [stdout] | [INFO] [stdout] 3997 | enum StaticWorkerCallRoute { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `lowering::SourceComputationalAnswerRoute` is more private than the item `lowering::D6aRouteEvent::RecursorLayerSupplied::route` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:2372:9 [INFO] [stdout] | [INFO] [stdout] 2372 | route: SourceComputationalAnswerRoute, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `lowering::D6aRouteEvent::RecursorLayerSupplied::route` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `lowering::SourceComputationalAnswerRoute` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:15697:1 [INFO] [stdout] | [INFO] [stdout] 15697 | enum SourceComputationalAnswerRoute { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `lowering::SourceComputationalAnswerRoute` is more private than the item `lowering::D6aRouteEvent::ConsumerRoute::incoming` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:2384:9 [INFO] [stdout] | [INFO] [stdout] 2384 | incoming: SourceComputationalAnswerRoute, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `lowering::D6aRouteEvent::ConsumerRoute::incoming` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `lowering::SourceComputationalAnswerRoute` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:15697:1 [INFO] [stdout] | [INFO] [stdout] 15697 | enum SourceComputationalAnswerRoute { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `lowering::SourceComputationalAnswerRoute` is more private than the item `lowering::D6aRouteEvent::ConsumerRoute::frame_field` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:2385:9 [INFO] [stdout] | [INFO] [stdout] 2385 | frame_field: SourceComputationalAnswerRoute, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `lowering::D6aRouteEvent::ConsumerRoute::frame_field` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `lowering::SourceComputationalAnswerRoute` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:15697:1 [INFO] [stdout] | [INFO] [stdout] 15697 | enum SourceComputationalAnswerRoute { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `lowering::SourceComputationalAnswerRoute` is more private than the item `lowering::D6aRouteEvent::ConsumerRoute::joined` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:2386:9 [INFO] [stdout] | [INFO] [stdout] 2386 | joined: SourceComputationalAnswerRoute, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `lowering::D6aRouteEvent::ConsumerRoute::joined` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `lowering::SourceComputationalAnswerRoute` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:15697:1 [INFO] [stdout] | [INFO] [stdout] 15697 | enum SourceComputationalAnswerRoute { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `lowering::SourceComputationalAnswerRoute` is more private than the item `lowering::D6aRouteEvent::CarriedEliminationEntered::route` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:2395:9 [INFO] [stdout] | [INFO] [stdout] 2395 | route: SourceComputationalAnswerRoute, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `lowering::D6aRouteEvent::CarriedEliminationEntered::route` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `lowering::SourceComputationalAnswerRoute` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:15697:1 [INFO] [stdout] | [INFO] [stdout] 15697 | enum SourceComputationalAnswerRoute { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `lowering::SourceComputationalAnswerRoute` is more private than the item `lowering::D6aRouteEvent::CarriedDefaultSealed::route` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:2411:9 [INFO] [stdout] | [INFO] [stdout] 2411 | route: SourceComputationalAnswerRoute, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `lowering::D6aRouteEvent::CarriedDefaultSealed::route` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `lowering::SourceComputationalAnswerRoute` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:15697:1 [INFO] [stdout] | [INFO] [stdout] 15697 | enum SourceComputationalAnswerRoute { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `lowering::Lowered` is more private than the item `lowering::LoweredRecordField::value` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:3501:5 [INFO] [stdout] | [INFO] [stdout] 3501 | pub(in crate::cranelift_backend) value: Lowered, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `lowering::LoweredRecordField::value` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `lowering::Lowered` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:3254:1 [INFO] [stdout] | [INFO] [stdout] 3254 | enum Lowered { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `lowering::StaticWorkerCallRoute` is more private than the item `D6bSpecializationBody::members` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:5413:5 [INFO] [stdout] | [INFO] [stdout] 5413 | pub(in crate::cranelift_backend) members: Vec<(usize, StaticWorkerCallRoute, StaticOriginId)>, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `D6bSpecializationBody::members` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `lowering::StaticWorkerCallRoute` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:3997:1 [INFO] [stdout] | [INFO] [stdout] 3997 | enum StaticWorkerCallRoute { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `lowering::StaticWorkerCallRoute` is more private than the item `D8gEmission::route` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:5442:5 [INFO] [stdout] | [INFO] [stdout] 5442 | pub(in crate::cranelift_backend) route: StaticWorkerCallRoute, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `D8gEmission::route` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `lowering::StaticWorkerCallRoute` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:3997:1 [INFO] [stdout] | [INFO] [stdout] 3997 | enum StaticWorkerCallRoute { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `lowering::LoweringOperand` is more private than the item `d9_operand_identity` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:5618:1 [INFO] [stdout] | [INFO] [stdout] 5618 | / pub(in crate::cranelift_backend) fn d9_operand_identity( [INFO] [stdout] 5619 | | operand: &LoweringOperand, [INFO] [stdout] 5620 | | ) -> D9OperandIdentity { [INFO] [stdout] | |______________________^ function `d9_operand_identity` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `lowering::LoweringOperand` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:3639:1 [INFO] [stdout] | [INFO] [stdout] 3639 | enum LoweringOperand { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `lowering::LoweringEnvironmentBinding` is more private than the item `record_r3_run_worker_members` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:6335:1 [INFO] [stdout] | [INFO] [stdout] 6335 | / pub(in crate::cranelift_backend) fn record_r3_run_worker_members( [INFO] [stdout] 6336 | | run: &[LoweringEnvironmentBinding], [INFO] [stdout] 6337 | | ) { [INFO] [stdout] | |_^ function `record_r3_run_worker_members` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `lowering::LoweringEnvironmentBinding` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:3661:1 [INFO] [stdout] | [INFO] [stdout] 3661 | enum LoweringEnvironmentBinding { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `StaticWorkerTransportId` is more private than the item `r3_run_worker_members` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:6350:1 [INFO] [stdout] | [INFO] [stdout] 6350 | / pub(in crate::cranelift_backend) fn r3_run_worker_members() [INFO] [stdout] 6351 | | -> Vec)>> { [INFO] [stdout] | |_____________________________________________________^ function `r3_run_worker_members` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `StaticWorkerTransportId` is only usable at visibility `pub(in crate::cranelift_backend::lowering)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:4428:5 [INFO] [stdout] | [INFO] [stdout] 4428 | pub(super) struct StaticWorkerTransportId(u64); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `lowering::GovernedAllocationSite` is more private than the item `lowering::GovernedAllocationMutation::Bypass::0` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:12433:12 [INFO] [stdout] | [INFO] [stdout] 12433 | Bypass(GovernedAllocationSite), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ field `lowering::GovernedAllocationMutation::Bypass::0` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `lowering::GovernedAllocationSite` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:12402:1 [INFO] [stdout] | [INFO] [stdout] 12402 | enum GovernedAllocationSite { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `core::RecursiveDescentResidual` is more private than the item `set_selector_variant_exclusion` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:610:1 [INFO] [stdout] | [INFO] [stdout] 610 | / pub(in crate::cranelift_backend) fn set_selector_variant_exclusion( [INFO] [stdout] 611 | | excluded: Option, [INFO] [stdout] 612 | | ) { [INFO] [stdout] | |_^ function `set_selector_variant_exclusion` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `core::RecursiveDescentResidual` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:2002:1 [INFO] [stdout] | [INFO] [stdout] 2002 | enum RecursiveDescentResidual { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `core::RecursiveDescentResidual` is more private than the item `core::observed_recursive_descent_residuals` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:1134:1 [INFO] [stdout] | [INFO] [stdout] 1134 | / pub(in crate::cranelift_backend) fn observed_recursive_descent_residuals( [INFO] [stdout] 1135 | | ) -> Option> { [INFO] [stdout] | |_______________________________________________^ function `core::observed_recursive_descent_residuals` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `core::RecursiveDescentResidual` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:2002:1 [INFO] [stdout] | [INFO] [stdout] 2002 | enum RecursiveDescentResidual { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `static_transition::ContinuationInputProjection` is more private than the item `PlannedContinuationContext::captures` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:704:5 [INFO] [stdout] | [INFO] [stdout] 704 | pub(super) fn captures(&self) -> &[ContinuationInputProjection] { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `PlannedContinuationContext::captures` is reachable at visibility `pub(in crate::cranelift_backend::planning)` [INFO] [stdout] | [INFO] [stdout] note: but type `static_transition::ContinuationInputProjection` is only usable at visibility `pub(self)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:950:1 [INFO] [stdout] | [INFO] [stdout] 950 | struct ContinuationInputProjection { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `AbiContinuationInputAuthority` is more private than the item `static_transition::ContinuationUnitView::<'plan>::inputs` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:1837:5 [INFO] [stdout] | [INFO] [stdout] 1837 | pub(in crate::cranelift_backend) fn inputs(&self) -> &'plan [abi::AbiContinuationInputAuthority] { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `static_transition::ContinuationUnitView::<'plan>::inputs` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `AbiContinuationInputAuthority` is only usable at visibility `pub(in crate::cranelift_backend::planning::static_transition)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition/abi.rs:545:1 [INFO] [stdout] | [INFO] [stdout] 545 | pub(super) struct AbiContinuationInputAuthority { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type `AbiContinuationInputAuthority` is more private than the item `static_transition::StaticContinuationFusionView::<'plan>::inputs` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:9444:5 [INFO] [stdout] | [INFO] [stdout] 9444 | pub(in crate::cranelift_backend) fn inputs(&self) -> &'plan [abi::AbiContinuationInputAuthority] { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method `static_transition::StaticContinuationFusionView::<'plan>::inputs` is reachable at visibility `pub(in crate::cranelift_backend)` [INFO] [stdout] | [INFO] [stdout] note: but type `AbiContinuationInputAuthority` is only usable at visibility `pub(in crate::cranelift_backend::planning::static_transition)` [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition/abi.rs:545:1 [INFO] [stdout] | [INFO] [stdout] 545 | pub(super) struct AbiContinuationInputAuthority { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `extend_specialized` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:6538:4 [INFO] [stdout] | [INFO] [stdout] 6538 | fn extend_specialized( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `effect_origin` is never read [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:13029:5 [INFO] [stdout] | [INFO] [stdout] 13027 | struct CommittedEffectSeatGroup { [INFO] [stdout] | ------------------------ field in this struct [INFO] [stdout] 13028 | function: FuncId, [INFO] [stdout] 13029 | effect_origin: StaticOriginId, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `CommittedEffectSeatGroup` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `merge_branch_value` and `record_merge_kind` are never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/mod.rs:17913:8 [INFO] [stdout] | [INFO] [stdout] 16771 | impl<'a> Lowering<'a> { [INFO] [stdout] | --------------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 17913 | fn merge_branch_value( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 18340 | fn record_merge_kind( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `mrc_d2_backedge_arms_seen` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:759:37 [INFO] [stdout] | [INFO] [stdout] 759 | pub(in crate::cranelift_backend) fn mrc_d2_backedge_arms_seen() -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `mrc_d2_inert_words` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:764:37 [INFO] [stdout] | [INFO] [stdout] 764 | pub(in crate::cranelift_backend) fn mrc_d2_inert_words() -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `reset_mrc_d2_counts` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:769:37 [INFO] [stdout] | [INFO] [stdout] 769 | pub(in crate::cranelift_backend) fn reset_mrc_d2_counts() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `set_mrc_d2_suppress_inert_word` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:775:37 [INFO] [stdout] | [INFO] [stdout] 775 | pub(in crate::cranelift_backend) fn set_mrc_d2_suppress_inert_word(suppress: bool) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `resolved_key_count` and `resolved_descriptor_count` are never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:982:12 [INFO] [stdout] | [INFO] [stdout] 980 | impl D2fGateArrival { [INFO] [stdout] | ------------------- methods in this implementation [INFO] [stdout] 981 | /// Number of fusion keys the existing observation recorded. [INFO] [stdout] 982 | pub fn resolved_key_count(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 987 | pub fn resolved_descriptor_count(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ContinuationImmediateResolution` is never constructed [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:21861:8 [INFO] [stdout] | [INFO] [stdout] 21861 | struct ContinuationImmediateResolution { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ContinuationImmediateRoot` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:21867:6 [INFO] [stdout] | [INFO] [stdout] 21867 | enum ContinuationImmediateRoot { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `d8f_witness` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core/tests/control.rs:27943:4 [INFO] [stdout] | [INFO] [stdout] 27943 | fn d8f_witness(with_ordinary_call: bool) -> RuntimeExpr { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `recorded_composed` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core/tests/control.rs:32871:8 [INFO] [stdout] | [INFO] [stdout] 32743 | impl D3Arm { [INFO] [stdout] | ---------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 32871 | fn recorded_composed(&self, identity: &ContinuationCallIdentity) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `fusion_len`, `continuation_len`, and `len` are never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/units.rs:225:41 [INFO] [stdout] | [INFO] [stdout] 177 | impl UnitBundle { [INFO] [stdout] | --------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 225 | pub(in crate::cranelift_backend) fn fusion_len(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 230 | pub(in crate::cranelift_backend) fn continuation_len(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 239 | pub(in crate::cranelift_backend) fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `len` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/units.rs:272:41 [INFO] [stdout] | [INFO] [stdout] 255 | impl CallEdgeTargets { [INFO] [stdout] | -------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 272 | pub(in crate::cranelift_backend) fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `header_parameters` and `header_captures` are never read [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/units.rs:1976:9 [INFO] [stdout] | [INFO] [stdout] 1963 | struct OwnedContinuationEmission { [INFO] [stdout] | ------------------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 1976 | header_parameters: u32, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] 1977 | header_captures: u32, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `consuming_callee` is never read [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/units.rs:3091:9 [INFO] [stdout] | [INFO] [stdout] 3079 | struct OwnedFusion { [INFO] [stdout] | ----------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 3091 | consuming_callee: StaticOriginId, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `candidate_count` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/units.rs:4433:41 [INFO] [stdout] | [INFO] [stdout] 4316 | impl ContinuationCandidateLedger { [INFO] [stdout] | -------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 4433 | pub(in crate::cranelift_backend) fn candidate_count(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `body_origin` and `capture_ordinals` are never read [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/units.rs:5662:38 [INFO] [stdout] | [INFO] [stdout] 5655 | pub(in crate::cranelift_backend) struct SrcbodyBindOrderObservation { [INFO] [stdout] | --------------------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 5662 | pub(in crate::cranelift_backend) body_origin: StaticOriginId, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 5666 | pub(in crate::cranelift_backend) capture_ordinals: Vec, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `SrcbodyBindOrderObservation` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `len` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/seed_material.rs:259:41 [INFO] [stdout] | [INFO] [stdout] 225 | impl SeedMaterialRefs { [INFO] [stdout] | --------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 259 | pub(in crate::cranelift_backend) fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `enclosing_specialization`, `worker_body_origin`, and `raw_owner` are never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:689:41 [INFO] [stdout] | [INFO] [stdout] 679 | impl PlannedContinuationContext { [INFO] [stdout] | ------------------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 689 | pub(in crate::cranelift_backend) fn enclosing_specialization( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 694 | pub(in crate::cranelift_backend) fn worker_body_origin(&self) -> StaticOriginId { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 698 | pub(in crate::cranelift_backend) fn raw_owner(&self) -> PredeclaredFunctionId { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `producer_owner` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:1758:41 [INFO] [stdout] | [INFO] [stdout] 1743 | impl ContinuationCallIdentity { [INFO] [stdout] | ----------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 1758 | pub(in crate::cranelift_backend) fn producer_owner(&self) -> PredeclaredFunctionId { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `inputs` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:1837:41 [INFO] [stdout] | [INFO] [stdout] 1786 | impl<'plan> ContinuationUnitView<'plan> { [INFO] [stdout] | --------------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 1837 | pub(in crate::cranelift_backend) fn inputs(&self) -> &'plan [abi::AbiContinuationInputAuthority] { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `id`, `producer`, `owner`, and `meet` are never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:4010:41 [INFO] [stdout] | [INFO] [stdout] 4009 | impl<'plan> PlannedAggregateView<'plan> { [INFO] [stdout] | --------------------------------------- methods in this implementation [INFO] [stdout] 4010 | pub(in crate::cranelift_backend) fn id(&self) -> AggregateOccurrenceId { [INFO] [stdout] | ^^ [INFO] [stdout] ... [INFO] [stdout] 4014 | pub(in crate::cranelift_backend) fn producer(&self) -> &'plan AggregateOccurrenceProducer { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 4029 | pub(in crate::cranelift_backend) fn owner(&self) -> Option { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 4042 | pub(in crate::cranelift_backend) fn meet(&self) -> PlannedReferentLifetime { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `producer` and `fusion` are never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:9563:41 [INFO] [stdout] | [INFO] [stdout] 9562 | impl FusionOwnedBody { [INFO] [stdout] | -------------------- methods in this implementation [INFO] [stdout] 9563 | pub(in crate::cranelift_backend) fn producer(self) -> PredeclaredFunctionId { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 9567 | pub(in crate::cranelift_backend) fn fusion(self) -> StaticContinuationFusionId { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple fields are never read [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:9595:5 [INFO] [stdout] | [INFO] [stdout] 9594 | pub(in crate::cranelift_backend) struct FusionRegionClaim { [INFO] [stdout] | ----------------- fields in this struct [INFO] [stdout] 9595 | fusion: StaticContinuationFusionId, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 9611 | producer_construct_origin: StaticOriginId, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 9612 | producer_argument_origin: StaticOriginId, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 9613 | producer_alternative: u32, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 9614 | recursive_position: u32, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 9640 | result_root: StaticOriginId, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 9641 | enclosing_specialization: Option, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple methods are never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:9650:41 [INFO] [stdout] | [INFO] [stdout] 9649 | impl FusionRegionClaim { [INFO] [stdout] | ---------------------- methods in this implementation [INFO] [stdout] 9650 | pub(in crate::cranelift_backend) fn fusion(&self) -> StaticContinuationFusionId { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 9674 | pub(in crate::cranelift_backend) fn producer_construct_origin(&self) -> StaticOriginId { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 9678 | pub(in crate::cranelift_backend) fn producer_argument_origin(&self) -> StaticOriginId { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 9682 | pub(in crate::cranelift_backend) fn producer_alternative(&self) -> u32 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 9686 | pub(in crate::cranelift_backend) fn recursive_position(&self) -> u32 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 9711 | pub(in crate::cranelift_backend) fn result_root(&self) -> StaticOriginId { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 9715 | pub(in crate::cranelift_backend) fn enclosing_specialization( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `closure_defines_a_planned_member` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:12120:4 [INFO] [stdout] | [INFO] [stdout] 12120 | fn closure_defines_a_planned_member( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `aggregate_allocation` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:14027:41 [INFO] [stdout] | [INFO] [stdout] 13562 | impl<'src> StaticTransitionPlan<'src> { [INFO] [stdout] | ------------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 14027 | pub(in crate::cranelift_backend) fn aggregate_allocation( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `d2j_witness_body` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:19182:8 [INFO] [stdout] | [INFO] [stdout] 19182 | fn d2j_witness_body(checked: bool) -> RuntimeExpr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `d2j_declaration` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:19208:8 [INFO] [stdout] | [INFO] [stdout] 19208 | fn d2j_declaration(checked: bool) -> RuntimeDeclaration { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `d2j_oriented_plan` is never used [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:19283:8 [INFO] [stdout] | [INFO] [stdout] 19283 | fn d2j_oriented_plan() -> crate::OrientedSubcontinuationPlanV1 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `authority` is never used [INFO] [stdout] --> crates/ken-runtime/src/native_process_authority.rs:216:19 [INFO] [stdout] | [INFO] [stdout] 214 | impl NativeProgramAdmission { [INFO] [stdout] | --------------------------- method in this implementation [INFO] [stdout] 215 | /// The validated constructor-identity authority. [INFO] [stdout] 216 | pub(crate) fn authority(&self) -> &NativeProcessSymbols { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `missing_linker_is_explicit_toolchain_failure` is never used [INFO] [stdout] --> crates/ken-runtime/src/object_linker_packaging.rs:4058:8 [INFO] [stdout] | [INFO] [stdout] 4058 | fn missing_linker_is_explicit_toolchain_failure() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/lowering/core.rs:13765:65 [INFO] [stdout] | [INFO] [stdout] 13765 | .expect("the claim was present at the filter above") [INFO] [stdout] | _________________________________________________________________^ [INFO] [stdout] 13766 | | .clone(); [INFO] [stdout] | |____________________^ [INFO] [stdout] | [INFO] [stdout] = note: the type `static_transition::FusionRegionClaim` does not implement `Clone`, so calling `clone` on `&static_transition::FusionRegionClaim` copies the reference, which does not do anything and can be removed [INFO] [stdout] = note: `#[warn(noop_method_call)]` on by default [INFO] [stdout] help: remove this redundant call [INFO] [stdout] | [INFO] [stdout] 13765 - .expect("the claim was present at the filter above") [INFO] [stdout] 13766 - .clone(); [INFO] [stdout] 13765 + .expect("the claim was present at the filter above"); [INFO] [stdout] | [INFO] [stdout] help: if you meant to clone `static_transition::FusionRegionClaim`, implement `Clone` for it [INFO] [stdout] --> crates/ken-runtime/src/cranelift_backend/planning/static_transition.rs:9594:1 [INFO] [stdout] | [INFO] [stdout] 9594 + #[derive(Clone)] [INFO] [stdout] 9595 | pub(in crate::cranelift_backend) struct FusionRegionClaim { [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `erase_checked_host_package_for_target` is never used [INFO] [stdout] --> crates/ken-elaborator/src/erasure.rs:1597:15 [INFO] [stdout] | [INFO] [stdout] 1597 | pub(crate) fn erase_checked_host_package_for_target<'a>( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 2m 38s [INFO] running `Command { std: "docker" "inspect" "79962c9b6a50f21926d9d7eaa5bd79e4c27e5e676148706f976761033a36b734", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "79962c9b6a50f21926d9d7eaa5bd79e4c27e5e676148706f976761033a36b734", kill_on_drop: false }` [INFO] [stdout] 79962c9b6a50f21926d9d7eaa5bd79e4c27e5e676148706f976761033a36b734