Type Alias ExistentialPredicate

pub type ExistentialPredicate<'db> = ExistentialPredicate<DbInterner<'db>>;

Aliased Type

pub enum ExistentialPredicate<'db> {
    Trait(ExistentialTraitRef<DbInterner<'db>>),
    Projection(ExistentialProjection<DbInterner<'db>>),
    AutoTrait(SolverDefId),
}

Variants

Trait(ExistentialTraitRef<DbInterner<'db>>)

E.g., Iterator.

Projection(ExistentialProjection<DbInterner<'db>>)

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

AutoTrait(SolverDefId)

E.g., Send.