Trait hax_frontend_exporter::state::WithItemCacheExt

pub trait WithItemCacheExt<'tcx>: UnderOwnerState<'tcx> {
    // Provided method
    fn with_cache<T>(&self, f: impl FnOnce(&mut ItemCache<'tcx>) -> T) -> T { ... }
}

Provided Methods

fn with_cache<T>(&self, f: impl FnOnce(&mut ItemCache<'tcx>) -> T) -> T

Access the cache for the current item. You must not call sinto within this function as this will likely result in BorrowMut panics.

Object Safety

This trait is not object safe.

Implementors

impl<'tcx, S: UnderOwnerState<'tcx>> WithItemCacheExt<'tcx> for S