Enum rustc_trait_selection::traits::util::traits::query::OutlivesBound
source · pub enum OutlivesBound<'tcx> {
RegionSubRegion(Region<'tcx>, Region<'tcx>),
RegionSubParam(Region<'tcx>, ParamTy),
RegionSubAlias(Region<'tcx>, AliasTy<'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(Region<'tcx>, Region<'tcx>)
RegionSubParam(Region<'tcx>, ParamTy)
RegionSubAlias(Region<'tcx>, AliasTy<'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§
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
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: 24 bytes
Size for each variant:
RegionSubRegion
: 24 bytesRegionSubParam
: 24 bytesRegionSubAlias
: 24 bytes