Struct moore_vhdl::hir::SubtypeInd2
source · [−]pub struct SubtypeInd2<'t> { /* private fields */ }
Expand description
A subtype indication.
See IEEE 1076-2008 section 6.3.
Implementations
sourceimpl<'t> SubtypeInd2<'t>
impl<'t> SubtypeInd2<'t>
sourcepub fn declared_type<C>(&self, ctx: C) -> Result<&'t dyn Type> where
C: ExprContext<'t> + Copy,
pub fn declared_type<C>(&self, ctx: C) -> Result<&'t dyn Type> where
C: ExprContext<'t> + Copy,
Return the indicated type.
This function maps the subtype indication data to an actual Type
.
Trait Implementations
sourceimpl<'a, 't> Alloc<'a, 'a, SubtypeInd2<'t>> for Arenas2<'t> where
't: 'a,
impl<'a, 't> Alloc<'a, 'a, SubtypeInd2<'t>> for Arenas2<'t> where
't: 'a,
sourcefn alloc(&'a self, value: SubtypeInd2<'t>) -> &'a mut SubtypeInd2<'t>
fn alloc(&'a self, value: SubtypeInd2<'t>) -> &'a mut SubtypeInd2<'t>
Allocate a value of type T
.
sourceimpl<'t> Debug for SubtypeInd2<'t>
impl<'t> Debug for SubtypeInd2<'t>
sourceimpl<'t> FromAst<'t> for SubtypeInd2<'t>
impl<'t> FromAst<'t> for SubtypeInd2<'t>
type AllocInput = &'t SubtypeInd
type LatentInput = Self::AllocInput
type Context = AllocContext<'t>
type Latent = &'t Slot<'t, Self>
sourcefn alloc_slot(
ast: Self::AllocInput,
context: Self::Context
) -> Result<Self::Latent>
fn alloc_slot(
ast: Self::AllocInput,
context: Self::Context
) -> Result<Self::Latent>
Schedule construction of an HIR node from an AST node. Read more
sourcefn from_ast(ast: Self::LatentInput, context: Self::Context) -> Result<Self>
fn from_ast(ast: Self::LatentInput, context: Self::Context) -> Result<Self>
Construct an HIR node from an AST node.
Auto Trait Implementations
impl<'t> RefUnwindSafe for SubtypeInd2<'t>
impl<'t> Send for SubtypeInd2<'t>
impl<'t> Sync for SubtypeInd2<'t>
impl<'t> Unpin for SubtypeInd2<'t>
impl<'t> UnwindSafe for SubtypeInd2<'t>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more