pub struct RecordChecked<'prepared, 'm, 'd, 'path> { /* private fields */ }Expand description
Complete source-bound report, including every failed/uncertain participant. Mathematical TSA facts are reused for actors without a second signature verification. Modern baseline promotion still requires its independent complete status/material/coverage/chronology closure.
Implementations§
Source§impl<'prepared, 'm, 'd, 'path> Checked<'prepared, 'm, 'd, 'path>
impl<'prepared, 'm, 'd, 'path> Checked<'prepared, 'm, 'd, 'path>
Sourcepub fn checks(
&self,
) -> impl DoubleEndedIterator<Item = &Checked<'m, 'd, 'path>> + ExactSizeIterator
pub fn checks( &self, ) -> impl DoubleEndedIterator<Item = &Checked<'m, 'd, 'path>> + ExactSizeIterator
Every actual TSA result, in original record order.
Sourcepub fn ordering(&self) -> &[OrderFinding]
pub fn ordering(&self) -> &[OrderFinding]
Actual failed adjacent chronology comparisons.
Auto Trait Implementations§
impl<'prepared, 'm, 'd, 'path> !Freeze for Checked<'prepared, 'm, 'd, 'path>
impl<'prepared, 'm, 'd, 'path> !RefUnwindSafe for Checked<'prepared, 'm, 'd, 'path>
impl<'prepared, 'm, 'd, 'path> !Send for Checked<'prepared, 'm, 'd, 'path>
impl<'prepared, 'm, 'd, 'path> !Sync for Checked<'prepared, 'm, 'd, 'path>
impl<'prepared, 'm, 'd, 'path> !UnwindSafe for Checked<'prepared, 'm, 'd, 'path>
impl<'prepared, 'm, 'd, 'path> Forget for Checked<'prepared, 'm, 'd, 'path>
impl<'prepared, 'm, 'd, 'path> Unpin for Checked<'prepared, 'm, 'd, 'path>
impl<'prepared, 'm, 'd, 'path> UnsafeUnpin for Checked<'prepared, 'm, 'd, 'path>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more