Struct chalk_ir::ConstData [−][src]
pub struct ConstData<I: Interner> { pub ty: Ty<I>, pub value: ConstValue<I>, }
Expand description
Constant data, containing the constant’s type and value.
Fields
ty: Ty<I>
Type that holds the constant.
value: ConstValue<I>
The value of the constant.
Implementations
Trait Implementations
Auto Trait Implementations
impl<I> RefUnwindSafe for ConstData<I> where
<I as Interner>::InternedConcreteConst: RefUnwindSafe,
<I as Interner>::InternedType: RefUnwindSafe,
impl<I> Send for ConstData<I> where
<I as Interner>::InternedConcreteConst: Send,
<I as Interner>::InternedType: Send,
impl<I> Sync for ConstData<I> where
<I as Interner>::InternedConcreteConst: Sync,
<I as Interner>::InternedType: Sync,
impl<I> Unpin for ConstData<I> where
<I as Interner>::InternedConcreteConst: Unpin,
<I as Interner>::InternedType: Unpin,
impl<I> UnwindSafe for ConstData<I> where
<I as Interner>::InternedConcreteConst: UnwindSafe,
<I as Interner>::InternedType: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
Cast a value to type U
using CastTo
.