Trait miri::MayLeak

source · 
pub trait MayLeak: Copy {
    // Required method
    fn may_leak(self) -> bool;
}
Expand description

Whether this kind of memory is allowed to leak

Required Methods§

source

fn may_leak(self) -> bool

Object Safety§

This trait is not object safe.

Implementors§