Enum moore_vhdl::score::TypeCtx [−][src]
pub enum TypeCtx<'ctx> {
Type(&'ctx Ty),
TypeOf(TypedNodeRef),
Inherit(NodeId),
}
Expand description
The type requirements imposed upon an expression by its context. This is needed for overload resolution, where the type of the overload to be picked is determined by the context in which the expression appears.
Variants
Type(&'ctx Ty)
The exact type the expression must have.
Tuple Fields of Type
0: &'ctx Ty
TypeOf(TypedNodeRef)
The node whose type the expression must match.
Tuple Fields of TypeOf
0: TypedNodeRef
Inherit(NodeId)
The node whose type context the expression must inherit.
Tuple Fields of Inherit
0: NodeId
Trait Implementations
Auto Trait Implementations
impl<'ctx> RefUnwindSafe for TypeCtx<'ctx>
impl<'ctx> UnwindSafe for TypeCtx<'ctx>
Blanket Implementations
Mutably borrows from an owned value. Read more