Skip to main content

validate_context_ir

presolve_compiler::intermediate_representation

Function validate_context_ir 

Source 
pub fn validate_context_ir(
    model: &ApplicationSemanticModel,
    representation: &IntermediateRepresentation,
) -> Vec<IrValidationDiagnostic>
Expand description

Validates G10 Context IR against retained G9 and existing canonical products. This consumes plan facts only and does not rerun Context resolution, typing, lifetime, or evaluation planning.