Trait moore_vhdl::typeck::TypeckNode

source · [−]

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

Expand description

Checks whether a node is of a given type.

Required methods

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

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>,