pub struct SummaryCache<'a> { /* private fields */ }
Expand description
Provides access to procedure summaries that have already been computed
Implementations
sourceimpl<'a> SummaryCache<'a>
impl<'a> SummaryCache<'a>
pub fn new(
targets: &'a FunctionTargetsHolder,
global_env: &'a GlobalEnv
) -> Self
sourcepub fn get<Summary: 'static>(
&self,
fun_id: QualifiedId<FunId>,
variant: &FunctionVariant
) -> Option<&Summary>
pub fn get<Summary: 'static>(
&self,
fun_id: QualifiedId<FunId>,
variant: &FunctionVariant
) -> Option<&Summary>
Return a summary for a variant of fun_id
. Returns None if fun_id
is a native function
pub fn global_env(&self) -> &GlobalEnv
Auto Trait Implementations
impl<'a> !RefUnwindSafe for SummaryCache<'a>
impl<'a> !Send for SummaryCache<'a>
impl<'a> !Sync for SummaryCache<'a>
impl<'a> Unpin for SummaryCache<'a>
impl<'a> !UnwindSafe for SummaryCache<'a>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more