Struct rustc_trait_selection::traits::query::DtorckConstraint
source · [−]pub struct DtorckConstraint<'tcx> {
pub outlives: Vec<GenericArg<'tcx>, Global>,
pub dtorck_types: Vec<&'tcx TyS<'tcx>, Global>,
pub overflows: Vec<&'tcx TyS<'tcx>, Global>,
}Expand description
A set of constraints that need to be satisfied in order for a type to be valid for destruction.
Fields
outlives: Vec<GenericArg<'tcx>, Global>Types that are required to be alive in order for this type to be valid for destruction.
dtorck_types: Vec<&'tcx TyS<'tcx>, Global>Types that could not be resolved: projections and params.
overflows: Vec<&'tcx TyS<'tcx>, Global>If, during the computation of the dtorck constraint, we overflow, that gets recorded here. The caller is expected to report an error.
Auto Trait Implementations
impl<'tcx> !RefUnwindSafe for DtorckConstraint<'tcx>
impl<'tcx> Send for DtorckConstraint<'tcx>
impl<'tcx> Sync for DtorckConstraint<'tcx>
impl<'tcx> Unpin for DtorckConstraint<'tcx>
impl<'tcx> !UnwindSafe for DtorckConstraint<'tcx>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcepub fn to_owned(&self) -> T
pub fn to_owned(&self) -> T
Creates owned data from borrowed data, usually by cloning. Read more
sourcepub fn clone_into(&self, target: &mut T)
pub fn clone_into(&self, target: &mut T)
toowned_clone_into)Uses borrowed data to replace owned data, usually by cloning. Read more
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 72 bytes