Struct NormalizationContext 

pub struct NormalizationContext { /* private fields */ }

Tracks identifier-to-placeholder mappings during normalization.

Implementations

impl NormalizationContext

pub fn new() -> Self

pub fn placeholder(&mut self, name: &str, kind: PlaceholderKind) -> usize

Get or assign a placeholder index for the given identifier and kind.

impl NormalizationContext

pub fn normalize_expr(&mut self, expr: &Expr) -> NormalizedNode

pub fn normalize_stmt(&mut self, stmt: &Stmt) -> NormalizedNode

pub fn normalize_block(&mut self, block: &Block) -> NormalizedNode

impl NormalizationContext

pub fn normalize_macro(&mut self, mac: &Macro) -> NormalizedNode

impl NormalizationContext

pub fn normalize_signature(&mut self, sig: &Signature) -> NormalizedNode

impl NormalizationContext

pub fn normalize_type(&mut self, ty: &Type) -> NormalizedNode

pub fn normalize_pat(&mut self, pat: &Pat) -> NormalizedNode

Trait Implementations

impl Default for NormalizationContext

fn default() -> Self

Returns the “default value” for a type.