Trait espr::ir::Legalize[−][src]

pub trait Legalize: Sized {
    type Input;
    fn legalize(
        namespace: &Namespace<'_>, 
        constraints: &Constraints, 
        scope: &Scope, 
        input: &Self::Input
    ) -> Result<Self, SemanticError>;
}
Expand description

Legalize partial AST input into corresponding intermediate representation

Associated Types

AST portion

Required methods

Implementors