pub trait MayLeak: Copy { fn may_leak(self) -> bool; }
Whether this kind of memory is allowed to leak