Trait RefTypes

pub trait RefTypes {
    type Owned;
    type Ref<'a>: Copy;
    type Mut<'a>;

    // Required method
    fn get_ref_from_mut<'a>(v: &'a Self::Mut<'a>) -> Self::Ref<'a>;
}

A trait which essentially holds the types of a destructured tuple or structure.

Read the module documentation for more information about it.

Required Associated Types

type Owned

type Ref<'a>: Copy

type Mut<'a>

Required Methods

fn get_ref_from_mut<'a>(v: &'a Self::Mut<'a>) -> Self::Ref<'a>

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.

Implementors

impl RefTypes for Tuple0

type Owned = ()

type Ref<'a> = ()

type Mut<'a> = ()

impl<T0: 'static> RefTypes for Tuple1<T0>

type Owned = (T0,)

type Ref<'a> = (&'a T0,)

type Mut<'a> = (&'a mut T0,)

impl<T0: 'static, T1: 'static> RefTypes for Tuple2<T0, T1>

type Owned = (T0, T1)

type Ref<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1)

type Mut<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1)

impl<T0: 'static, T1: 'static, T2: 'static> RefTypes for Tuple3<T0, T1, T2>

type Owned = (T0, T1, T2)

type Ref<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2)

type Mut<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1, &'__fuzzcheck_derive_lt mut T2)

impl<T0: 'static, T1: 'static, T2: 'static, T3: 'static> RefTypes for Tuple4<T0, T1, T2, T3>

type Owned = (T0, T1, T2, T3)

type Ref<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2, &'__fuzzcheck_derive_lt T3)

type Mut<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1, &'__fuzzcheck_derive_lt mut T2, &'__fuzzcheck_derive_lt mut T3)

impl<T0: 'static, T1: 'static, T2: 'static, T3: 'static, T4: 'static> RefTypes for Tuple5<T0, T1, T2, T3, T4>

type Owned = (T0, T1, T2, T3, T4)

type Ref<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2, &'__fuzzcheck_derive_lt T3, &'__fuzzcheck_derive_lt T4)

type Mut<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1, &'__fuzzcheck_derive_lt mut T2, &'__fuzzcheck_derive_lt mut T3, &'__fuzzcheck_derive_lt mut T4)

impl<T0: 'static, T1: 'static, T2: 'static, T3: 'static, T4: 'static, T5: 'static> RefTypes for Tuple6<T0, T1, T2, T3, T4, T5>

type Owned = (T0, T1, T2, T3, T4, T5)

type Ref<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2, &'__fuzzcheck_derive_lt T3, &'__fuzzcheck_derive_lt T4, &'__fuzzcheck_derive_lt T5)

type Mut<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1, &'__fuzzcheck_derive_lt mut T2, &'__fuzzcheck_derive_lt mut T3, &'__fuzzcheck_derive_lt mut T4, &'__fuzzcheck_derive_lt mut T5)

impl<T0: 'static, T1: 'static, T2: 'static, T3: 'static, T4: 'static, T5: 'static, T6: 'static> RefTypes for Tuple7<T0, T1, T2, T3, T4, T5, T6>

type Owned = (T0, T1, T2, T3, T4, T5, T6)

type Ref<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2, &'__fuzzcheck_derive_lt T3, &'__fuzzcheck_derive_lt T4, &'__fuzzcheck_derive_lt T5, &'__fuzzcheck_derive_lt T6)

type Mut<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1, &'__fuzzcheck_derive_lt mut T2, &'__fuzzcheck_derive_lt mut T3, &'__fuzzcheck_derive_lt mut T4, &'__fuzzcheck_derive_lt mut T5, &'__fuzzcheck_derive_lt mut T6)

impl<T0: 'static, T1: 'static, T2: 'static, T3: 'static, T4: 'static, T5: 'static, T6: 'static, T7: 'static> RefTypes for Tuple8<T0, T1, T2, T3, T4, T5, T6, T7>

type Owned = (T0, T1, T2, T3, T4, T5, T6, T7)

type Ref<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2, &'__fuzzcheck_derive_lt T3, &'__fuzzcheck_derive_lt T4, &'__fuzzcheck_derive_lt T5, &'__fuzzcheck_derive_lt T6, &'__fuzzcheck_derive_lt T7)

type Mut<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1, &'__fuzzcheck_derive_lt mut T2, &'__fuzzcheck_derive_lt mut T3, &'__fuzzcheck_derive_lt mut T4, &'__fuzzcheck_derive_lt mut T5, &'__fuzzcheck_derive_lt mut T6, &'__fuzzcheck_derive_lt mut T7)

impl<T0: 'static, T1: 'static, T2: 'static, T3: 'static, T4: 'static, T5: 'static, T6: 'static, T7: 'static, T8: 'static> RefTypes for Tuple9<T0, T1, T2, T3, T4, T5, T6, T7, T8>

type Owned = (T0, T1, T2, T3, T4, T5, T6, T7, T8)

type Ref<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2, &'__fuzzcheck_derive_lt T3, &'__fuzzcheck_derive_lt T4, &'__fuzzcheck_derive_lt T5, &'__fuzzcheck_derive_lt T6, &'__fuzzcheck_derive_lt T7, &'__fuzzcheck_derive_lt T8)

type Mut<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1, &'__fuzzcheck_derive_lt mut T2, &'__fuzzcheck_derive_lt mut T3, &'__fuzzcheck_derive_lt mut T4, &'__fuzzcheck_derive_lt mut T5, &'__fuzzcheck_derive_lt mut T6, &'__fuzzcheck_derive_lt mut T7, &'__fuzzcheck_derive_lt mut T8)

impl<T0: 'static, T1: 'static, T2: 'static, T3: 'static, T4: 'static, T5: 'static, T6: 'static, T7: 'static, T8: 'static, T9: 'static> RefTypes for Tuple10<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9>

type Owned = (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)

type Ref<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt T0, &'__fuzzcheck_derive_lt T1, &'__fuzzcheck_derive_lt T2, &'__fuzzcheck_derive_lt T3, &'__fuzzcheck_derive_lt T4, &'__fuzzcheck_derive_lt T5, &'__fuzzcheck_derive_lt T6, &'__fuzzcheck_derive_lt T7, &'__fuzzcheck_derive_lt T8, &'__fuzzcheck_derive_lt T9)

type Mut<'__fuzzcheck_derive_lt> = (&'__fuzzcheck_derive_lt mut T0, &'__fuzzcheck_derive_lt mut T1, &'__fuzzcheck_derive_lt mut T2, &'__fuzzcheck_derive_lt mut T3, &'__fuzzcheck_derive_lt mut T4, &'__fuzzcheck_derive_lt mut T5, &'__fuzzcheck_derive_lt mut T6, &'__fuzzcheck_derive_lt mut T7, &'__fuzzcheck_derive_lt mut T8, &'__fuzzcheck_derive_lt mut T9)