Cargo fmt

This commit is contained in:
Dennis Kobert
2026-08-24 23:15:10 +02:00
parent 0d88e8be9f
commit 9aef511891
12 changed files with 134 additions and 97 deletions

View File

@@ -358,7 +358,6 @@ impl ContextDependencies {
self
}
pub fn sources(&self) -> &[SourceId] {
&self.sources
}

View File

@@ -268,8 +268,8 @@ impl Layout {
align: field.align,
read_erased: field.read_erased,
repark: field.repark,
content_hash: field.content_hash,
content_eq: field.content_eq,
content_hash: field.content_hash,
content_eq: field.content_eq,
})
.collect();
union = union.with_writes(union.depth, union.element, &writes);
@@ -818,14 +818,7 @@ impl<'a, El: Clone, N> ElementLazyInput<'a, El, N> {
impl<'a, Out, N> ElementLazyInput<'a, Out, N> {
/// `read` must be sound against the layout the offsets in `reads` were
/// resolved from; the macro proves both at wiring.
pub fn with_reads(
node: &'a N,
cell: &'a crate::node::StatusCell,
input_index: usize,
layout: &'a Layout,
reads: &'a [Option<usize>],
read: unsafe fn(Rec, &[Option<usize>]) -> Out,
) -> Self {
pub fn with_reads(node: &'a N, cell: &'a crate::node::StatusCell, input_index: usize, layout: &'a Layout, reads: &'a [Option<usize>], read: unsafe fn(Rec, &[Option<usize>]) -> Out) -> Self {
Self {
node,
cell,
@@ -1350,7 +1343,6 @@ pub unsafe fn read_element<T: Clone>(rec: Rec) -> T {
unsafe { borrow_element::<T>(rec) }.clone()
}
/// # Safety
/// `dst` must be fresh element storage of a record whose element is `T`.
/// `None` reports arena exhaustion for a parked element.