Module predicate

Structs§

CoercePredicate: Encodes that we have to coerce from the a type to the b type.
ExistentialProjection: A ProjectionClause for an ExistentialTraitRef.
ExistentialTraitRef: An existential reference to a trait where the self type Self is erased.
HostEffectClause
NormalizesTo: Used by the new solver to normalize an alias. This always expects the term to be an unconstrained inference variable which is used as the output.
OutlivesClause: A: 'region
ProjectionClause: This kind of predicate has no direct correspondent in the syntax, but it roughly corresponds to the syntactic forms:
RegionEqPredicate: 'a == 'b. For the rationale behind having this instead of a pair of bidirectional 'a: 'b and 'b: 'a, see this discusstion on Zulip.
SubtypePredicate: Encodes that a must be a subtype of b. The a_is_expected flag indicates whether the a type is the type that we should label as “expected” when presenting user diagnostics.
TraitClause
TraitRef: A complete reference to a trait.