[−][src]Enum moore_vhdl::score::TypeCtx
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.
TypeOf(TypedNodeRef)
The node whose type the expression must match.
Inherit(NodeId)
The node whose type context the expression must inherit.
Trait Implementations
impl<'ctx> From<&'ctx Ty> for TypeCtx<'ctx>
[src]
impl<'ctx, T> From<T> for TypeCtx<'ctx> where
TypedNodeRef: From<T>,
[src]
TypedNodeRef: From<T>,
impl<'ctx> Clone for TypeCtx<'ctx>
[src]
impl<'ctx> Copy for TypeCtx<'ctx>
[src]
impl<'ctx> Eq for TypeCtx<'ctx>
[src]
impl<'ctx> PartialEq<TypeCtx<'ctx>> for TypeCtx<'ctx>
[src]
impl<'ctx> Debug for TypeCtx<'ctx>
[src]
Auto Trait Implementations
impl<'ctx> Send for TypeCtx<'ctx>
impl<'ctx> Sync for TypeCtx<'ctx>
impl<'ctx> Unpin for TypeCtx<'ctx>
impl<'ctx> UnwindSafe for TypeCtx<'ctx>
impl<'ctx> RefUnwindSafe for TypeCtx<'ctx>
Blanket Implementations
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> From<T> for T
[src]
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,