pub type OutlivesPredicate<'tcx, T> = OutlivesPredicate<TyCtxt<'tcx>, T>;
Aliased Type§
struct OutlivesPredicate<'tcx, T>(pub T, pub Region<'tcx>);
Fields§
§0: T
§1: Region<'tcx>
Trait Implementations§
Source§impl<'tcx, T, P: PrettyPrinter<'tcx>> Print<'tcx, P> for OutlivesPredicate<'tcx, T>where
T: Print<'tcx, P>,
impl<'tcx, T, P: PrettyPrinter<'tcx>> Print<'tcx, P> for OutlivesPredicate<'tcx, T>where
T: Print<'tcx, P>,
Source§impl<I, A> Clone for OutlivesPredicate<I, A>
impl<I, A> Clone for OutlivesPredicate<I, A>
Source§fn clone(&self) -> OutlivesPredicate<I, A>
fn clone(&self) -> OutlivesPredicate<I, A>
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<I, A> Debug for OutlivesPredicate<I, A>
impl<I, A> Debug for OutlivesPredicate<I, A>
Source§impl<I, A, __D> Decodable<__D> for OutlivesPredicate<I, A>
impl<I, A, __D> Decodable<__D> for OutlivesPredicate<I, A>
fn decode(__decoder: &mut __D) -> OutlivesPredicate<I, A>
Source§impl<I, T> Display for OutlivesPredicate<I, T>
impl<I, T> Display for OutlivesPredicate<I, T>
Source§impl<I, A, __E> Encodable<__E> for OutlivesPredicate<I, A>
impl<I, A, __E> Encodable<__E> for OutlivesPredicate<I, A>
Source§impl<I, A> Hash for OutlivesPredicate<I, A>
impl<I, A> Hash for OutlivesPredicate<I, A>
Source§impl<I, A, __CTX> HashStable<__CTX> for OutlivesPredicate<I, A>
impl<I, A, __CTX> HashStable<__CTX> for OutlivesPredicate<I, A>
fn hash_stable( &self, __hcx: &mut __CTX, __hasher: &mut StableHasher<SipHasher128>, )
Source§impl<I, U, A> Lift<U> for OutlivesPredicate<I, A>
impl<I, U, A> Lift<U> for OutlivesPredicate<I, A>
type Lifted = OutlivesPredicate<U, <A as Lift<U>>::Lifted>
fn lift_to_interner( self, cx: U, ) -> Option<OutlivesPredicate<U, <A as Lift<U>>::Lifted>>
Source§impl<I, A> PartialEq for OutlivesPredicate<I, A>
impl<I, A> PartialEq for OutlivesPredicate<I, A>
Source§impl<I, A> TypeFoldable<I> for OutlivesPredicate<I, A>
impl<I, A> TypeFoldable<I> for OutlivesPredicate<I, A>
Source§fn try_fold_with<__F>(
self,
__folder: &mut __F,
) -> Result<OutlivesPredicate<I, A>, <__F as FallibleTypeFolder<I>>::Error>where
__F: FallibleTypeFolder<I>,
fn try_fold_with<__F>(
self,
__folder: &mut __F,
) -> Result<OutlivesPredicate<I, A>, <__F as FallibleTypeFolder<I>>::Error>where
__F: FallibleTypeFolder<I>,
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<I, A> TypeVisitable<I> for OutlivesPredicate<I, A>
impl<I, A> TypeVisitable<I> for OutlivesPredicate<I, A>
Source§fn visit_with<__V>(
&self,
__visitor: &mut __V,
) -> <__V as TypeVisitor<I>>::Resultwhere
__V: TypeVisitor<I>,
fn visit_with<__V>(
&self,
__visitor: &mut __V,
) -> <__V as TypeVisitor<I>>::Resultwhere
__V: TypeVisitor<I>,
impl<I, A> Copy for OutlivesPredicate<I, A>
impl<I, A> Eq for OutlivesPredicate<I, A>
Layout§
Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.