Trait moore_vhdl::typeck::TypeckNode

pub trait TypeckNode<'ctx, I> {
    fn typeck_node(&self, id: I, expected: &'ctx Ty) -> Result<()>;
}

Checks whether a node is of a given type.

Required methods

fn typeck_node(&self, id: I, expected: &'ctx Ty) -> Result<()>

Loading content...

Implementors

impl<'lazy, 'sb, 'ast, 'ctx, I> TypeckNode<'ctx, I> for ScoreContext<'lazy, 'sb, 'ast, 'ctx> where
    ScoreContext<'lazy, 'sb, 'ast, 'ctx>: NodeMaker<I, &'ctx Ty>, 

fn typeck_node(&self, id: I, expected: &'ctx Ty) -> Result<()>

Loading content...