pub(crate) enum TraitEnsuranceKind<'tcx> {
Marker(MarkerTraitKind, Vec<Property<'tcx>>),
Unsafe(Vec<(String, Vec<Property<'tcx>>)>),
}Expand description
What a TraitEnsurance must verify.
Variants§
Marker(MarkerTraitKind, Vec<Property<'tcx>>)
A marker trait (Send/Sync, no methods): type-level obligations
generated from the bundled std-trait-ensures.json template.
Unsafe(Vec<(String, Vec<Property<'tcx>>)>)
An unsafe trait with methods: ensures contracts grouped by method name.
Auto Trait Implementations§
impl<'tcx> !RefUnwindSafe for TraitEnsuranceKind<'tcx>
impl<'tcx> !UnwindSafe for TraitEnsuranceKind<'tcx>
impl<'tcx> DynSend for TraitEnsuranceKind<'tcx>
impl<'tcx> DynSync for TraitEnsuranceKind<'tcx>
impl<'tcx> Freeze for TraitEnsuranceKind<'tcx>
impl<'tcx> Send for TraitEnsuranceKind<'tcx>
impl<'tcx> Sync for TraitEnsuranceKind<'tcx>
impl<'tcx> Unpin for TraitEnsuranceKind<'tcx>
impl<'tcx> UnsafeUnpin for TraitEnsuranceKind<'tcx>
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
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