Struct rustc_middle::ty::OutlivesPredicate[][src]

pub struct OutlivesPredicate<A, B>(pub A, pub B);

Trait Implementations

impl<A: Clone, B: Clone> Clone for OutlivesPredicate<A, B>[src]

impl<A: Copy, B: Copy> Copy for OutlivesPredicate<A, B>[src]

impl<A: Debug, B: Debug> Debug for OutlivesPredicate<A, B>[src]

impl<'tcx, A, B, __D: TyDecoder<'tcx>> Decodable<__D> for OutlivesPredicate<A, B> where
    A: Decodable<__D>,
    B: Decodable<__D>, 

impl<'tcx> Display for OutlivesPredicate<Ty<'tcx>, Region<'tcx>>[src]

impl<'tcx> Display for OutlivesPredicate<Region<'tcx>, Region<'tcx>>[src]

impl<'tcx, A, B, __E: TyEncoder<'tcx>> Encodable<__E> for OutlivesPredicate<A, B> where
    A: Encodable<__E>,
    B: Encodable<__E>, 

impl<A: Eq, B: Eq> Eq for OutlivesPredicate<A, B>[src]

impl<A: Hash, B: Hash> Hash for OutlivesPredicate<A, B>[src]

impl<'__ctx, A, B> HashStable<StableHashingContext<'__ctx>> for OutlivesPredicate<A, B> where
    A: HashStable<StableHashingContext<'__ctx>>,
    B: HashStable<StableHashingContext<'__ctx>>, 

impl<'tcx, A: Copy + Lift<'tcx>, B: Copy + Lift<'tcx>> Lift<'tcx> for OutlivesPredicate<A, B>[src]

type Lifted = OutlivesPredicate<A::Lifted, B::Lifted>

impl<A: Ord, B: Ord> Ord for OutlivesPredicate<A, B>[src]

impl<A: PartialEq, B: PartialEq> PartialEq<OutlivesPredicate<A, B>> for OutlivesPredicate<A, B>[src]

impl<A: PartialOrd, B: PartialOrd> PartialOrd<OutlivesPredicate<A, B>> for OutlivesPredicate<A, B>[src]

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>, 

type Output = P

type Error = P::Error

impl<A, B> StructuralEq for OutlivesPredicate<A, B>[src]

impl<A, B> StructuralPartialEq for OutlivesPredicate<A, B>[src]

impl<A, B, 'tcx> TypeFoldable<'tcx> for OutlivesPredicate<A, B> where
    A: TypeFoldable<'tcx>,
    B: TypeFoldable<'tcx>, 

Auto Trait Implementations

impl<A, B> RefUnwindSafe for OutlivesPredicate<A, B> where
    A: RefUnwindSafe,
    B: RefUnwindSafe

impl<A, B> Send for OutlivesPredicate<A, B> where
    A: Send,
    B: Send

impl<A, B> Sync for OutlivesPredicate<A, B> where
    A: Sync,
    B: Sync

impl<A, B> Unpin for OutlivesPredicate<A, B> where
    A: Unpin,
    B: Unpin

impl<A, B> UnwindSafe for OutlivesPredicate<A, B> where
    A: UnwindSafe,
    B: UnwindSafe

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized

impl<'tcx, T> ArenaAllocatable<'tcx, ()> for T where
    T: Copy

impl<T> Borrow<T> for T where
    T: ?Sized

impl<T> BorrowMut<T> for T where
    T: ?Sized

impl<'a, T> Captures<'a> for T where
    T: ?Sized

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 

impl<T> MaybeResult<T> for T[src]

type Error = !

impl<'tcx, T> Subst<'tcx> for T where
    T: TypeFoldable<'tcx>, 

impl<T> ToOwned for T where
    T: Clone

type Owned = T

The resulting type after obtaining ownership.

impl<T> ToString for T where
    T: Display + ?Sized

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> WithConstness for T[src]