Type Alias ExistentialPredicate

pub type ExistentialPredicate<'tcx> = ExistentialPredicate<TyCtxt<'tcx>>;

Aliased Type

pub enum ExistentialPredicate<'tcx> {
    Trait(ExistentialTraitRef<TyCtxt<'tcx>>),
    Projection(ExistentialProjection<TyCtxt<'tcx>>),
    AutoTrait(DefId),
}

Variants

Trait(ExistentialTraitRef<TyCtxt<'tcx>>)

E.g., Iterator.

Projection(ExistentialProjection<TyCtxt<'tcx>>)

E.g., Iterator::Item = T.

AutoTrait(DefId)

E.g., Send.

Trait Implementations

impl<'tcx> ExistentialPredicateStableCmpExt<'tcx> for ExistentialPredicate<'tcx>

fn stable_cmp(&self, tcx: TyCtxt<'tcx>, other: &Self) -> Ordering

Compares via an ordering that will not change if modules are reordered or other changes are made to the tree. In particular, this ordering is preserved across incremental compilations.

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for ExistentialPredicate<'tcx>

fn print(&self, cx: &mut P) -> Result<(), PrintError>

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.