Struct constmuck::ImplsCopy

pub struct ImplsCopy<T> { /* fields omitted */ }

Encodes that a T is trivially copyable, avoiding requiring (unstable as of 2021) trait bounds in const fns.

Related: the copying module

Bound

This currently requires Pod because the approach constmuck has for copying uses an intermediate MaybeUninit<[u8; N]>, which isn’t settled as being sound to use with pointer types, but is guaranteed sound for Pod types.

If there’s a more permissive bound that allows more non-pointer-containing Copy types, ImplsCopy will be changed to use that.

Implementations

impl<T: Pod> ImplsCopy<T>

pub const NEW: Self

Constructs an ImplsCopy

You can also use the infer macro to construct ImplsCopy arguments.

impl<T> ImplsCopy<T>

pub const unsafe fn new_unchecked() -> Self

Constructs an ImplsCopy<T> without checking that T implements Copy + Pod.

Safety

You must ensure that T is safe to memcpy without forgetting the copied-from value, and doesn’t contain pointers of any kind.

Trait Implementations

impl<T> Clone for ImplsCopy<T>

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Pod> Infer for ImplsCopy<T>

const INFER: Self

Constructs this type.

impl<T> Copy for ImplsCopy<T>