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
Bound var (e.g. a parameter).
Tuple Fields of BoundVar
0: BoundVar
Constant whose value is being inferred.
Tuple Fields of InferenceVar
0: InferenceVar
Lifetime on some yet-unknown placeholder.
Tuple Fields of Placeholder
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
.