Type Alias Constraint

pub type Constraint = Constraint<Interner>;

Aliased Type

enum Constraint {
    LifetimeOutlives(Lifetime<Interner>, Lifetime<Interner>),
    TypeOutlives(Ty<Interner>, Lifetime<Interner>),
}

Variants

LifetimeOutlives(Lifetime<Interner>, Lifetime<Interner>)

Outlives constraint 'a: 'b, indicating that the value of 'a must be a superset of the value of 'b.

TypeOutlives(Ty<Interner>, Lifetime<Interner>)

Type outlives constraint T: 'a, indicating that the type T must live at least as long as the value of 'a.