hax_frontend_exporter::state

Trait WithItemCacheExt

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

Provided Methods§

source

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.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§

source§

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