Struct rustc_middle::traits::query::DtorckConstraint
source · [−]pub struct DtorckConstraint<'tcx> {
pub outlives: Vec<GenericArg<'tcx>>,
pub dtorck_types: Vec<Ty<'tcx>>,
pub overflows: Vec<Ty<'tcx>>,
}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>>Types that are required to be alive in order for this type to be valid for destruction.
dtorck_types: Vec<Ty<'tcx>>Types that could not be resolved: projections and params.
overflows: Vec<Ty<'tcx>>If, during the computation of the dtorck constraint, we overflow, that gets recorded here. The caller is expected to report an error.
Implementations
sourceimpl<'tcx> DtorckConstraint<'tcx>
impl<'tcx> DtorckConstraint<'tcx>
pub fn empty() -> DtorckConstraint<'tcx>
Trait Implementations
sourceimpl<'tcx> Clone for DtorckConstraint<'tcx>
impl<'tcx> Clone for DtorckConstraint<'tcx>
sourcefn clone(&self) -> DtorckConstraint<'tcx>
fn clone(&self) -> DtorckConstraint<'tcx>
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
sourceimpl<'tcx> Debug for DtorckConstraint<'tcx>
impl<'tcx> Debug for DtorckConstraint<'tcx>
sourceimpl<'tcx> FromIterator<DtorckConstraint<'tcx>> for DtorckConstraint<'tcx>
impl<'tcx> FromIterator<DtorckConstraint<'tcx>> for DtorckConstraint<'tcx>
sourcefn from_iter<I: IntoIterator<Item = DtorckConstraint<'tcx>>>(iter: I) -> Self
fn from_iter<I: IntoIterator<Item = DtorckConstraint<'tcx>>>(iter: I) -> Self
Creates a value from an iterator. Read more
sourceimpl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for DtorckConstraint<'tcx>
impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for DtorckConstraint<'tcx>
fn hash_stable(
&self,
__hcx: &mut StableHashingContext<'__ctx>,
__hasher: &mut StableHasher
)
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<Ctxt, T> DepNodeParams<Ctxt> for T where
Ctxt: DepContext,
T: for<'a> HashStable<StableHashingContext<'a>> + Debug,
impl<Ctxt, T> DepNodeParams<Ctxt> for T where
Ctxt: DepContext,
T: for<'a> HashStable<StableHashingContext<'a>> + Debug,
pub default fn fingerprint_style() -> FingerprintStyle
sourcepub default fn to_fingerprint(&self, tcx: Ctxt) -> Fingerprint
pub default fn to_fingerprint(&self, tcx: Ctxt) -> Fingerprint
This method turns the parameters of a DepNodeConstructor into an opaque Fingerprint to be used in DepNode. Not all DepNodeParams support being turned into a Fingerprint (they don’t need to if the corresponding DepNode is anonymous). Read more
pub default fn to_debug_str(&self, Ctxt) -> String
sourcepub default fn recover(
Ctxt,
&DepNode<<Ctxt as DepContext>::DepKind>
) -> Option<T>
pub default fn recover(
Ctxt,
&DepNode<<Ctxt as DepContext>::DepKind>
) -> Option<T>
This method tries to recover the query key from the given DepNode,
something which is needed when forcing DepNodes during red-green
evaluation. The query system will only call this method if
fingerprint_style() is not FingerprintStyle::Opaque.
It is always valid to return None here, in which case incremental
compilation will treat the query as having changed instead of forcing it. Read more
sourceimpl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
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
impl<'a, T> Captures<'a> for T where
T: ?Sized,
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