Enum rustc_infer::traits::query::OutlivesBound
source · [−]pub enum OutlivesBound<'tcx> {
RegionSubRegion(&'tcx RegionKind, &'tcx RegionKind),
RegionSubParam(&'tcx RegionKind, ParamTy),
RegionSubProjection(&'tcx RegionKind, ProjectionTy<'tcx>),
}Expand description
Outlives bounds are relationships between generic parameters,
whether they both be regions ('a: 'b) or whether types are
involved (T: 'a). These relationships can be extracted from the
full set of predicates we understand or also from types (in which
case they are called implied bounds). They are fed to the
OutlivesEnv which in turn is supplied to the region checker and
other parts of the inference system.
Variants
RegionSubRegion(&'tcx RegionKind, &'tcx RegionKind)
RegionSubParam(&'tcx RegionKind, ParamTy)
RegionSubProjection(&'tcx RegionKind, ProjectionTy<'tcx>)
Auto Trait Implementations
impl<'tcx> !RefUnwindSafe for OutlivesBound<'tcx>
impl<'tcx> Send for OutlivesBound<'tcx>
impl<'tcx> Sync for OutlivesBound<'tcx>
impl<'tcx> Unpin for OutlivesBound<'tcx>
impl<'tcx> !UnwindSafe for OutlivesBound<'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<'tcx, T> Subst<'tcx> for T where
T: TypeFoldable<'tcx>,
impl<'tcx, T> Subst<'tcx> for T where
T: TypeFoldable<'tcx>,
pub fn subst_spanned(
self,
tcx: TyCtxt<'tcx>,
substs: &[GenericArg<'tcx>],
span: Option<Span>
) -> T
fn subst(self, tcx: TyCtxt<'tcx>, substs: &[GenericArg<'tcx>]) -> Self
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: 32 bytes
Size for each variant:
RegionSubRegion: 20 bytesRegionSubParam: 20 bytesRegionSubProjection: 28 bytes