Type Alias hir_ty::ConstValue

source ·
pub type ConstValue = ConstValue<Interner>;

Aliased Type§

enum ConstValue {
    BoundVar(BoundVar),
    InferenceVar(InferenceVar),
    Placeholder(PlaceholderIndex),
    Concrete(ConcreteConst<Interner>),
}

Variants§

§

BoundVar(BoundVar)

Bound var (e.g. a parameter).

§

InferenceVar(InferenceVar)

Constant whose value is being inferred.

§

Placeholder(PlaceholderIndex)

Lifetime on some yet-unknown placeholder.

§

Concrete(ConcreteConst<Interner>)

Concrete constant value.