Trait scoped_tls_hkt::ReborrowMut

pub trait ReborrowMut<'a> {
    type Result;
    fn reborrow_mut(&'a mut self) -> Self::Result;
}

Trait representing the act of "reborrowing" a mutable reference to produce a new one with a shorter lifetime.

Associated Types

type Result

Type of the shorter reference

Loading content...

Required methods

fn reborrow_mut(&'a mut self) -> Self::Result

Produces a new reference with lifetime 'a

Loading content...

Implementations on Foreign Types

impl<'a, 'b: 'a, T> ReborrowMut<'a> for &'b mut T

type Result = &'a mut T

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a, 'b: 'a, T> ReborrowMut<'a> for &'b T

type Result = &'a T

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> ReborrowMut<'a> for (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10) where
    T1: ReborrowMut<'a> + 'a,
    T2: ReborrowMut<'a> + 'a,
    T3: ReborrowMut<'a> + 'a,
    T4: ReborrowMut<'a> + 'a,
    T5: ReborrowMut<'a> + 'a,
    T6: ReborrowMut<'a> + 'a,
    T7: ReborrowMut<'a> + 'a,
    T8: ReborrowMut<'a> + 'a,
    T9: ReborrowMut<'a> + 'a,
    T10: ReborrowMut<'a> + 'a, 

type Result = (T1::Result, T2::Result, T3::Result, T4::Result, T5::Result, T6::Result, T7::Result, T8::Result, T9::Result, T10::Result)

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a, T2, T3, T4, T5, T6, T7, T8, T9, T10> ReborrowMut<'a> for (T2, T3, T4, T5, T6, T7, T8, T9, T10) where
    T2: ReborrowMut<'a> + 'a,
    T3: ReborrowMut<'a> + 'a,
    T4: ReborrowMut<'a> + 'a,
    T5: ReborrowMut<'a> + 'a,
    T6: ReborrowMut<'a> + 'a,
    T7: ReborrowMut<'a> + 'a,
    T8: ReborrowMut<'a> + 'a,
    T9: ReborrowMut<'a> + 'a,
    T10: ReborrowMut<'a> + 'a, 

type Result = (T2::Result, T3::Result, T4::Result, T5::Result, T6::Result, T7::Result, T8::Result, T9::Result, T10::Result)

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a, T3, T4, T5, T6, T7, T8, T9, T10> ReborrowMut<'a> for (T3, T4, T5, T6, T7, T8, T9, T10) where
    T3: ReborrowMut<'a> + 'a,
    T4: ReborrowMut<'a> + 'a,
    T5: ReborrowMut<'a> + 'a,
    T6: ReborrowMut<'a> + 'a,
    T7: ReborrowMut<'a> + 'a,
    T8: ReborrowMut<'a> + 'a,
    T9: ReborrowMut<'a> + 'a,
    T10: ReborrowMut<'a> + 'a, 

type Result = (T3::Result, T4::Result, T5::Result, T6::Result, T7::Result, T8::Result, T9::Result, T10::Result)

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a, T4, T5, T6, T7, T8, T9, T10> ReborrowMut<'a> for (T4, T5, T6, T7, T8, T9, T10) where
    T4: ReborrowMut<'a> + 'a,
    T5: ReborrowMut<'a> + 'a,
    T6: ReborrowMut<'a> + 'a,
    T7: ReborrowMut<'a> + 'a,
    T8: ReborrowMut<'a> + 'a,
    T9: ReborrowMut<'a> + 'a,
    T10: ReborrowMut<'a> + 'a, 

type Result = (T4::Result, T5::Result, T6::Result, T7::Result, T8::Result, T9::Result, T10::Result)

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a, T5, T6, T7, T8, T9, T10> ReborrowMut<'a> for (T5, T6, T7, T8, T9, T10) where
    T5: ReborrowMut<'a> + 'a,
    T6: ReborrowMut<'a> + 'a,
    T7: ReborrowMut<'a> + 'a,
    T8: ReborrowMut<'a> + 'a,
    T9: ReborrowMut<'a> + 'a,
    T10: ReborrowMut<'a> + 'a, 

type Result = (T5::Result, T6::Result, T7::Result, T8::Result, T9::Result, T10::Result)

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a, T6, T7, T8, T9, T10> ReborrowMut<'a> for (T6, T7, T8, T9, T10) where
    T6: ReborrowMut<'a> + 'a,
    T7: ReborrowMut<'a> + 'a,
    T8: ReborrowMut<'a> + 'a,
    T9: ReborrowMut<'a> + 'a,
    T10: ReborrowMut<'a> + 'a, 

type Result = (T6::Result, T7::Result, T8::Result, T9::Result, T10::Result)

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a, T7, T8, T9, T10> ReborrowMut<'a> for (T7, T8, T9, T10) where
    T7: ReborrowMut<'a> + 'a,
    T8: ReborrowMut<'a> + 'a,
    T9: ReborrowMut<'a> + 'a,
    T10: ReborrowMut<'a> + 'a, 

type Result = (T7::Result, T8::Result, T9::Result, T10::Result)

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a, T8, T9, T10> ReborrowMut<'a> for (T8, T9, T10) where
    T8: ReborrowMut<'a> + 'a,
    T9: ReborrowMut<'a> + 'a,
    T10: ReborrowMut<'a> + 'a, 

type Result = (T8::Result, T9::Result, T10::Result)

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a, T9, T10> ReborrowMut<'a> for (T9, T10) where
    T9: ReborrowMut<'a> + 'a,
    T10: ReborrowMut<'a> + 'a, 

type Result = (T9::Result, T10::Result)

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a, T10> ReborrowMut<'a> for (T10,) where
    T10: ReborrowMut<'a> + 'a, 

type Result = (T10::Result,)

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a> ReborrowMut<'a> for ()

type Result = ()

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a> ReborrowMut<'a> for bool

type Result = bool

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a> ReborrowMut<'a> for char

type Result = char

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a> ReborrowMut<'a> for isize

type Result = isize

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a> ReborrowMut<'a> for usize

type Result = usize

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a> ReborrowMut<'a> for i8

type Result = i8

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a> ReborrowMut<'a> for u8

type Result = u8

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a> ReborrowMut<'a> for i16

type Result = i16

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a> ReborrowMut<'a> for u16

type Result = u16

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a> ReborrowMut<'a> for i32

type Result = i32

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a> ReborrowMut<'a> for u32

type Result = u32

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a> ReborrowMut<'a> for i64

type Result = i64

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a> ReborrowMut<'a> for u64

type Result = u64

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a> ReborrowMut<'a> for i128

type Result = i128

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a> ReborrowMut<'a> for u128

type Result = u128

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a> ReborrowMut<'a> for f32

type Result = f32

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a> ReborrowMut<'a> for f64

type Result = f64

fn reborrow_mut(&'a mut self) -> Self::Result

impl<'a> ReborrowMut<'a> for TypeId

type Result = TypeId

fn reborrow_mut(&'a mut self) -> Self::Result

Loading content...

Implementors

Loading content...