pub struct SafetyChecker { /* private fields */ }Expand description
Safety checker for memory operations
Implementations§
Source§impl SafetyChecker
impl SafetyChecker
pub fn violation_patterns(&self) -> &[SafetyPattern]
pub fn safety_requirements(&self) -> &HashMap<String, SafetyRequirement>
pub fn config(&self) -> &SafetyConfig
Auto Trait Implementations§
impl Freeze for SafetyChecker
impl RefUnwindSafe for SafetyChecker
impl Send for SafetyChecker
impl Sync for SafetyChecker
impl Unpin for SafetyChecker
impl UnsafeUnpin for SafetyChecker
impl UnwindSafe for SafetyChecker
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
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more