Trait uninit::extension_traits::BoxAssumeInit

source · [−]

pub trait BoxAssumeInit: Sealed {
    type Ret: ?Sized;

    unsafe fn assume_init(self) -> Box<Self::Ret>;
}

Available on crate features alloc or std only.

Expand description

Extension trait to .assume_init() through a Box.

This is a compatibility helper trait. For versions of Rust where the feature(box_uninit) is unstable, this trait enables the feature in stable Rust. This may trigger an unstable_name_collisions lint, but this is fine, since the implementation is the same. You can dismiss that lint with:

#![allow(unstable_name_collisions)]

Required Associated Types

type Ret: ?Sized

Required Methods

unsafe fn assume_init(self) -> Box<Self::Ret>

Implementations on Foreign Types

impl<T> BoxAssumeInit for Box<[MaybeUninit<T>]>

unsafe fn assume_init(self: Box<[MaybeUninit<T>]>) -> Box<[T]>

Allows to “.assume_init()” a boxed [MaybeUninit<T>].

Safety

This has the same safety requirements as .assume_init().

type Ret = [T]

impl<T> BoxAssumeInit for Box<MaybeUninit<T>>

unsafe fn assume_init(self: Box<MaybeUninit<T>>) -> Box<T>

Allows to “.assume_init()” a boxed MaybeUninit<T>.

Safety

This has the same safety requirements as .assume_init().

type Ret = T

Implementors