pub struct NormalizationContext { /* private fields */ }Expand description
Tracks identifier-to-placeholder mappings during normalization.
Implementations§
Source§impl NormalizationContext
impl NormalizationContext
pub fn new() -> Self
Sourcepub fn placeholder(&mut self, name: &str, kind: PlaceholderKind) -> usize
pub fn placeholder(&mut self, name: &str, kind: PlaceholderKind) -> usize
Get or assign a placeholder index for the given identifier and kind.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for NormalizationContext
impl RefUnwindSafe for NormalizationContext
impl Send for NormalizationContext
impl Sync for NormalizationContext
impl Unpin for NormalizationContext
impl UnsafeUnpin for NormalizationContext
impl UnwindSafe for NormalizationContext
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more