Enum chalk_ir::ConstValue [−][src]
pub enum ConstValue<I: Interner> {
BoundVar(BoundVar),
InferenceVar(InferenceVar),
Placeholder(PlaceholderIndex),
Concrete(ConcreteConst<I>),
}
Expand description
A constant value, not necessarily concrete.
Variants
BoundVar(BoundVar)
Bound var (e.g. a parameter).
Tuple Fields of BoundVar
0: BoundVar
InferenceVar(InferenceVar)
Constant whose value is being inferred.
Tuple Fields of InferenceVar
0: InferenceVar
Placeholder(PlaceholderIndex)
Lifetime on some yet-unknown placeholder.
Tuple Fields of Placeholder
Concrete(ConcreteConst<I>)
Concrete constant value.
Tuple Fields of Concrete
0: ConcreteConst<I>
Trait Implementations
type Interner = I
type Interner = I
The interner associated with the type.
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
Auto Trait Implementations
impl<I> RefUnwindSafe for ConstValue<I> where
<I as Interner>::InternedConcreteConst: RefUnwindSafe,
impl<I> Send for ConstValue<I> where
<I as Interner>::InternedConcreteConst: Send,
impl<I> Sync for ConstValue<I> where
<I as Interner>::InternedConcreteConst: Sync,
impl<I> Unpin for ConstValue<I> where
<I as Interner>::InternedConcreteConst: Unpin,
impl<I> UnwindSafe for ConstValue<I> where
<I as Interner>::InternedConcreteConst: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
Cast a value to type U
using CastTo
.