Wire record-io plain values as record edges in the registry, extracted at construction

This commit is contained in:
Dennis Kobert
2026-08-16 17:47:25 +00:00
parent e423dd96de
commit 3df028cb18
2 changed files with 16 additions and 5 deletions

View File

@@ -1345,9 +1345,10 @@ where
}
}
/// Law-test scaffolding: a plain probe over a record wire, cloning the
/// element out of the parked reference when it carries drop glue. No
/// production path constructs one.
/// A plain probe over a record wire, cloning the element out of the parked
/// reference when it carries drop glue. Registry constructors wrap a record
/// edge in one to feed a node's plain value input, keeping the wire kind
/// uniform.
pub struct RecordExtract<El, N> {
edge: N,
layout: Layout,