pub struct TesterContinuation<'a> { /* private fields */ }Expand description
A tester that allows continuing a previous check.
This differs from Tester in that it provides direct access to the machine, because
the machine has already been built at this point.
Implementations§
Source§impl<'a> TesterContinuation<'a>
impl<'a> TesterContinuation<'a>
Auto Trait Implementations§
impl<'a> Freeze for TesterContinuation<'a>
impl<'a> !RefUnwindSafe for TesterContinuation<'a>
impl<'a> !Send for TesterContinuation<'a>
impl<'a> !Sync for TesterContinuation<'a>
impl<'a> !Unpin for TesterContinuation<'a>
impl<'a> !UnsafeUnpin for TesterContinuation<'a>
impl<'a> !UnwindSafe for TesterContinuation<'a>
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