Type Alias rustc_middle::ty::RegionOutlivesPredicate
source · pub type RegionOutlivesPredicate<'tcx> = OutlivesPredicate<Region<'tcx>, Region<'tcx>>;
Aliased Type§
struct RegionOutlivesPredicate<'tcx>(pub Region<'tcx>, pub Region<'tcx>);
Fields§
§0: Region<'tcx>
§1: Region<'tcx>
Trait Implementations§
source§impl<A: Clone, B: Clone> Clone for OutlivesPredicate<A, B>
impl<A: Clone, B: Clone> Clone for OutlivesPredicate<A, B>
source§fn clone(&self) -> OutlivesPredicate<A, B>
fn clone(&self) -> OutlivesPredicate<A, B>
Returns a copy 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, A, B, __D: TyDecoder<I = TyCtxt<'tcx>>> Decodable<__D> for OutlivesPredicate<A, B>where
A: Decodable<__D>,
B: Decodable<__D>,
impl<'tcx, A, B, __D: TyDecoder<I = TyCtxt<'tcx>>> Decodable<__D> for OutlivesPredicate<A, B>where A: Decodable<__D>, B: Decodable<__D>,
source§impl<'tcx, A, B, __E: TyEncoder<I = TyCtxt<'tcx>>> Encodable<__E> for OutlivesPredicate<A, B>where
A: Encodable<__E>,
B: Encodable<__E>,
impl<'tcx, A, B, __E: TyEncoder<I = TyCtxt<'tcx>>> Encodable<__E> for OutlivesPredicate<A, B>where A: Encodable<__E>, B: Encodable<__E>,
source§impl<'__ctx, A, B> HashStable<StableHashingContext<'__ctx>> for OutlivesPredicate<A, B>where
A: HashStable<StableHashingContext<'__ctx>>,
B: HashStable<StableHashingContext<'__ctx>>,
impl<'__ctx, A, B> HashStable<StableHashingContext<'__ctx>> for OutlivesPredicate<A, B>where A: HashStable<StableHashingContext<'__ctx>>, B: HashStable<StableHashingContext<'__ctx>>,
fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher )
source§impl<'__lifted, A, B> Lift<'__lifted> for OutlivesPredicate<A, B>where
A: Lift<'__lifted>,
B: Lift<'__lifted>,
impl<'__lifted, A, B> Lift<'__lifted> for OutlivesPredicate<A, B>where A: Lift<'__lifted>, B: Lift<'__lifted>,
type Lifted = OutlivesPredicate<<A as Lift<'__lifted>>::Lifted, <B as Lift<'__lifted>>::Lifted>
fn lift_to_tcx( self, __tcx: TyCtxt<'__lifted> ) -> Option<OutlivesPredicate<A::Lifted, B::Lifted>>
source§impl<A: Ord, B: Ord> Ord for OutlivesPredicate<A, B>
impl<A: Ord, B: Ord> Ord for OutlivesPredicate<A, B>
source§fn cmp(&self, other: &OutlivesPredicate<A, B>) -> Ordering
fn cmp(&self, other: &OutlivesPredicate<A, B>) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere Self: Sized,
Compares and returns the maximum of two values. Read more
source§impl<A: PartialEq, B: PartialEq> PartialEq<OutlivesPredicate<A, B>> for OutlivesPredicate<A, B>
impl<A: PartialEq, B: PartialEq> PartialEq<OutlivesPredicate<A, B>> for OutlivesPredicate<A, B>
source§fn eq(&self, other: &OutlivesPredicate<A, B>) -> bool
fn eq(&self, other: &OutlivesPredicate<A, B>) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl<A: PartialOrd, B: PartialOrd> PartialOrd<OutlivesPredicate<A, B>> for OutlivesPredicate<A, B>
impl<A: PartialOrd, B: PartialOrd> PartialOrd<OutlivesPredicate<A, B>> for OutlivesPredicate<A, B>
source§fn partial_cmp(&self, other: &OutlivesPredicate<A, B>) -> Option<Ordering>
fn partial_cmp(&self, other: &OutlivesPredicate<A, B>) -> Option<Ordering>
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moresource§impl<'tcx, T, U, P: PrettyPrinter<'tcx>> Print<'tcx, P> for OutlivesPredicate<T, U>where
T: Print<'tcx, P, Output = P, Error = P::Error>,
U: Print<'tcx, P, Output = P, Error = P::Error>,
impl<'tcx, T, U, P: PrettyPrinter<'tcx>> Print<'tcx, P> for OutlivesPredicate<T, U>where T: Print<'tcx, P, Output = P, Error = P::Error>, U: Print<'tcx, P, Output = P, Error = P::Error>,
source§impl<'tcx, A, B> TypeFoldable<TyCtxt<'tcx>> for OutlivesPredicate<A, B>where
A: TypeFoldable<TyCtxt<'tcx>>,
B: TypeFoldable<TyCtxt<'tcx>>,
impl<'tcx, A, B> TypeFoldable<TyCtxt<'tcx>> for OutlivesPredicate<A, B>where A: TypeFoldable<TyCtxt<'tcx>>, B: TypeFoldable<TyCtxt<'tcx>>,
source§fn try_fold_with<__F: FallibleTypeFolder<TyCtxt<'tcx>>>(
self,
__folder: &mut __F
) -> Result<Self, __F::Error>
fn try_fold_with<__F: FallibleTypeFolder<TyCtxt<'tcx>>>( self, __folder: &mut __F ) -> Result<Self, __F::Error>
source§fn fold_with<F>(self, folder: &mut F) -> Selfwhere
F: TypeFolder<I>,
fn fold_with<F>(self, folder: &mut F) -> Selfwhere F: TypeFolder<I>,
A convenient alternative to
try_fold_with
for use with infallible
folders. Do not override this method, to ensure coherence with
try_fold_with
.source§impl<'tcx, A, B> TypeVisitable<TyCtxt<'tcx>> for OutlivesPredicate<A, B>where
A: TypeVisitable<TyCtxt<'tcx>>,
B: TypeVisitable<TyCtxt<'tcx>>,
impl<'tcx, A, B> TypeVisitable<TyCtxt<'tcx>> for OutlivesPredicate<A, B>where A: TypeVisitable<TyCtxt<'tcx>>, B: TypeVisitable<TyCtxt<'tcx>>,
source§fn visit_with<__V: TypeVisitor<TyCtxt<'tcx>>>(
&self,
__visitor: &mut __V
) -> ControlFlow<__V::BreakTy>
fn visit_with<__V: TypeVisitor<TyCtxt<'tcx>>>( &self, __visitor: &mut __V ) -> ControlFlow<__V::BreakTy>
impl<A: Copy, B: Copy> Copy for OutlivesPredicate<A, B>
impl<A: Eq, B: Eq> Eq for OutlivesPredicate<A, B>
impl<A, B> StructuralEq for OutlivesPredicate<A, B>
impl<A, B> StructuralPartialEq for OutlivesPredicate<A, B>
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: 16 bytes