[−][src]Struct rustc_middle::ty::CratePredicatesMap

pub struct CratePredicatesMap<'tcx> {
    pub predicates: FxHashMap<DefId, &'tcx [(Predicate<'tcx>, Span)]>,
}

The crate outlives map is computed during typeck and contains the outlives of every item in the local crate. You should not use it directly, because to do so will make your pass dependent on the HIR of every item in the local crate. Instead, use tcx.inferred_outlives_of() to get the outlives for a particular item.

Fields

predicates: FxHashMap<DefId, &'tcx [(Predicate<'tcx>, Span)]>

For each struct with outlive bounds, maps to a vector of the predicate of its outlive bounds. If an item has no outlives bounds, it will have no entry.

Trait Implementations

impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for CratePredicatesMap<'tcx>[src]

Auto Trait Implementations

impl<'tcx> !RefUnwindSafe for CratePredicatesMap<'tcx>

impl<'tcx> !Send for CratePredicatesMap<'tcx>

impl<'tcx> !Sync for CratePredicatesMap<'tcx>

impl<'tcx> Unpin for CratePredicatesMap<'tcx>

impl<'tcx> !UnwindSafe for CratePredicatesMap<'tcx>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, 
[src]

impl<T> Borrow<T> for T where
    T: ?Sized, 
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, 
[src]

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

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

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

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

type Error = !

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

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

The type returned in the event of a conversion error.

impl<T> WithConstness for T[src]