Enum sway_ir::pass_manager::PassMutability

pub enum PassMutability<S: PassScope> {
    Analysis(fn(_: &Context, analyses: &AnalysisResults, _: S) -> Result<AnalysisResult, IrError>),
    Transform(fn(_: &mut Context, analyses: &AnalysisResults, _: S) -> Result<bool, IrError>),
}

Is a pass an Analysis or a Transformation over the IR?

Variants

Analysis(fn(_: &Context, analyses: &AnalysisResults, _: S) -> Result<AnalysisResult, IrError>)

An analysis pass, producing an analysis result.

Transform(fn(_: &mut Context, analyses: &AnalysisResults, _: S) -> Result<bool, IrError>)

A pass over the IR that can possibly modify it.