pub struct Run {
pub value: Value,
pub visited: usize,
pub typed_decls: usize,
pub seams: usize,
}Expand description
What a run produced, plus what the checker did on the way.
Fields§
§value: Value§visited: usizeNodes the type walk visited. Zero for a fully untyped program — this is what makes “no annotations, no analysis” a measurement rather than a claim.
typed_decls: usizeDeclarations that carried an annotation.
seams: usizeBoundaries where typed code meets untyped code.
Trait Implementations§
Auto Trait Implementations§
impl !RefUnwindSafe for Run
impl !UnwindSafe for Run
impl Freeze for Run
impl Send for Run
impl Sync for Run
impl Unpin for Run
impl UnsafeUnpin for Run
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