Skip to main content

validate_effects

presolve_compiler::effect

Function validate_effects 

Source 
pub fn validate_effects(
    components: &[ComponentNode],
    effects: BTreeMap<SemanticId, Effect>,
    statements: &BTreeMap<SemanticId, EffectStatement>,
    semantic_types: &SemanticTypeModel,
) -> BTreeMap<SemanticId, Effect>
Expand description

Classifies effect legality from F4 statement facts without adding diagnostics.