Struct InferCache 

pub struct InferCache { /* private fields */ }

A simple LRU-style type inference cache.

In practice, this is a bounded list of recent (expr → type) pairs.

Implementations

impl InferCache

pub fn new(capacity: usize) -> Self

Create a new cache with a given capacity.

pub fn get(&self, expr: &Expr) -> Option<&Expr>

Look up a cached type for an expression.

pub fn insert(&mut self, expr: Expr, ty: Expr)

Insert a new (expr, type) pair.

pub fn clear(&mut self)

Clear the cache.

pub fn len(&self) -> usize

Number of cached entries.

pub fn is_empty(&self) -> bool

Whether the cache is empty.