Trait Sealed

pub unsafe trait Sealed {
    type Storage;

    // Required method
    fn new_storage() -> Self::Storage;

    // Provided method
    fn grow(
        _storage: &mut Self::Storage,
        _additional: usize,
    ) -> Result<(), CapacityFull> { ... }
}

Safety

Implementer must not modify the content in storage.

Required Associated Types

type Storage

Required Methods

fn new_storage() -> Self::Storage

Provided Methods

fn grow( _storage: &mut Self::Storage, _additional: usize, ) -> Result<(), CapacityFull>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<T> Sealed for Vec<T>

type Storage = Box<[MaybeUninit<T>]>

fn new_storage() -> Self::Storage

fn grow( storage: &mut Self::Storage, additional: usize, ) -> Result<(), CapacityFull>

impl<T, const N: usize> Sealed for [T; N]

type Storage = [MaybeUninit<T>; N]

fn new_storage() -> Self::Storage

impl<T, const N: usize> Sealed for Box<[T; N]>

type Storage = Box<[MaybeUninit<T>; N]>

fn new_storage() -> Self::Storage

Implementors