Skip to main content

validate_optimized_context_ir

presolve_compiler::intermediate_representation

Function validate_optimized_context_ir 

Source 
pub fn validate_optimized_context_ir(
    model: &ApplicationSemanticModel,
    input: &IntermediateRepresentation,
    report: &OptimizedContextIrReport,
) -> Vec<IrValidationDiagnostic>
Expand description

Validates the immutable G11 optimization product against its frozen G9/G10 inputs. This deliberately consumes retained compiler products and never re-runs Provider selection, Context typing, lifetime analysis, or planning.