Trait xalloc::arena::SafeArena [−] [src]

pub trait SafeArena<T>: UnsafeArena<T> { }

Marker trait indicating all operations from UnsafeArena are actually implemented as memory-safe (not unsafe).

An invalid operation on SafeArena must result in one of the following possible outcomes:

  1. A panic. The internal state can be left in an inconsistent state, but even if so, further operations on the arena should not violate the memory safety, for example by employing the "poisoning" strategy.
  2. It behaves as if arbitrary valid values were provided as the parameter.

Implementors