# 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.

## Implementations on Foreign Types§

source§

### impl MayLeak for !

source§

#### fn may_leak(self) -> bool

## Implementors§

source§

### impl MayLeak for rustc_const_eval::const_eval::machine::MemoryKind

source§

### impl MayLeak for MiriMemoryKind

source§

### impl<T> MayLeak for miri::MemoryKind<T>
where T: MayLeak,