Enum ClauseReplacement 

pub enum ClauseReplacement {
    Var(ClauseDbVar),
    Proof(RegionBinder<TraitRefKind>),
}

A replacement for a clause variable, expressed as seen from the outside of the value being visited.

Variants

Var(ClauseDbVar)

Replace this clause variable with another, which must be for the same predicate. This is distinct from Proof to avoid infinite recursion when calling apply.

Proof(RegionBinder<TraitRefKind>)

Replace this clause variable with the given proof kind. The proof kind will be instantiated with the clause regions then used as replacement.

Trait Implementations

impl From<DeBruijnVar<TraitClauseId>> for ClauseReplacement

fn from(var: ClauseDbVar) -> Self

Converts to this type from the input type.