pub struct Checked {
pub verification: Verification,
pub findings: Vec<Finding>,
}Expand description
One checked claim.
Fields§
§verification: Verification§findings: Vec<Finding>Implementations§
Trait Implementations§
Auto Trait Implementations§
impl !RefUnwindSafe for Checked
impl !UnwindSafe for Checked
impl Forget for Checked
impl Freeze for Checked
impl Send for Checked
impl Sync for Checked
impl Unpin for Checked
impl UnsafeUnpin for Checked
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