hax_frontend_exporter::state

Trait WithGlobalCacheExt

source
pub trait WithGlobalCacheExt<'tcx>: BaseState<'tcx> {
    // Provided methods
    fn with_global_cache<T>(
        &self,
        f: impl FnOnce(&mut GlobalCache<'tcx>) -> T,
    ) -> T { ... }
    fn with_item_cache<T>(
        &self,
        def_id: RDefId,
        f: impl FnOnce(&mut ItemCache<'tcx>) -> T,
    ) -> T { ... }
}

Provided Methods§

source

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

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

source

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

Access the cache for a given 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: BaseState<'tcx>> WithGlobalCacheExt<'tcx> for S