Trait munge::Destructure

pub unsafe trait Destructure {
    type Underlying: ?Sized;
    type Test;

    fn as_mut_ptr(&mut self) -> *mut Self::Underlying;

    unsafe fn test(&mut self) -> Self::Test { ... }
}

A type that can be destructured into its constituent parts.

Safety

Destructuring this type with a given pattern must be safe if and only if destructuring Test with the same pattern is also safe.

Required Associated Types

type Underlying: ?Sized

The underlying type that is destructured.

type Test

The type to test destructuring against for safety.

Required Methods

fn as_mut_ptr(&mut self) -> *mut Self::Underlying

Returns a mutable pointer to the underlying type.

Provided Methods

unsafe fn test(&mut self) -> Self::Test

Returns the type used to test destructuring.

Safety

It is never safe to call this function.

Implementations on Foreign Types

impl<'a, T> Destructure for &'a MaybeUninit<T>

type Underlying = T

type Test = &'a T

fn as_mut_ptr(&mut self) -> *mut Self::Underlying

impl<'a, T> Destructure for &'a mut MaybeUninit<T>

type Underlying = T

type Test = &'a T

fn as_mut_ptr(&mut self) -> *mut Self::Underlying

impl<'a, T: ?Sized> Destructure for &'a Cell<T>

type Underlying = T

type Test = &'a T

fn as_mut_ptr(&mut self) -> *mut Self::Underlying

impl<'a, T: ?Sized> Destructure for &'a UnsafeCell<T>

type Underlying = T

type Test = &'a T

fn as_mut_ptr(&mut self) -> *mut Self::Underlying

impl<T> Destructure for ManuallyDrop<T>

type Underlying = T

type Test = T

fn as_mut_ptr(&mut self) -> *mut Self::Underlying

Implementors