Function checkers::with_muted
source · pub fn with_muted<F, R>(f: F) -> Rwhere
F: FnOnce() -> R,
Expand description
Run the given closure while the allocator is muted. This can be used to whitelist sections of code where the allocation checker should be disabled.
See is_muted for details on what this means.
Examples
#[global_allocator]
static ALLOCATOR: checkers::Allocator = checkers::Allocator::system();
lazy_static::lazy_static! {
pub static ref EX: Box<u32> = checkers::with_muted(|| Box::new(123));
}
let snapshot = checkers::with(|| {
let _ = &*EX;
});
// Snapshot can be successfully verified since we're excluding the static
// allocation from analysis.
checkers::verify!(snapshot);