pub enum DestructData<'tcx> {
Noop,
Implicit,
Glue {
ty: Ty<'tcx>,
},
}Variants§
Noop
A drop that does nothing, e.g. for scalars and pointers.
Implicit
An implicit Destruct local clause, if the resolve_destruct_bounds option is false. If
that option is true, we’ll add Destruct bounds to every type param, and use that to
resolve Destruct impls of generics. If it’s false, we use this variant to indicate that
the clause comes from a generic or associated type.
Glue
The drop_in_place is known and non-trivial.
Fields
§
ty: Ty<'tcx>The type we’re generating glue for.
Trait Implementations§
Source§impl<'tcx> Clone for DestructData<'tcx>
impl<'tcx> Clone for DestructData<'tcx>
Source§fn clone(&self) -> DestructData<'tcx>
fn clone(&self) -> DestructData<'tcx>
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl<'tcx> Debug for DestructData<'tcx>
impl<'tcx> Debug for DestructData<'tcx>
Source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, DestructData> for DestructData<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, DestructData> for DestructData<'tcx>
fn sinto(&self, s: &S) -> DestructData
Auto Trait Implementations§
impl<'tcx> Freeze for DestructData<'tcx>
impl<'tcx> !RefUnwindSafe for DestructData<'tcx>
impl<'tcx> Send for DestructData<'tcx>
impl<'tcx> Sync for DestructData<'tcx>
impl<'tcx> Unpin for DestructData<'tcx>
impl<'tcx> !UnwindSafe for DestructData<'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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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