hax_rust_engine/
phase.rs

1//! A phase rewrites the AST.
2
3use crate::ast::Item;
4
5/// Placeholder trait for phases.
6pub trait Phase {
7    /// Apply the phase on items.
8    /// A phase may transform an item into zero, one or more items.
9    fn apply(&self, items: &mut Vec<Item>);
10}