derive_more 2.1.1

Adds #[derive(x)] macros for more traits
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78

//! Type glue for [autoref-based specialization][0], used in [`AsRef`]/[`AsMut`] macro expansion.
//!
//! Allows tp specialize the `impl<T> AsRef<T> for T` case over the default
//! `impl<Inner: AsRef<B>, B> AsRef<B> for Outer<Inner>` one.
//!
//! [0]: https://lukaskalbertodt.github.io/2019/12/05/generalized-autoref-based-specialization.html

use core::marker::PhantomData;

/// Container to specialize over.
pub struct Conv<Frm: ?Sized, To: ?Sized>(PhantomData<(*const Frm, *const To)>);

impl<Frm: ?Sized, To: ?Sized> Default for Conv<Frm, To> {
    fn default() -> Self {
        Self(PhantomData)
    }
}

/// Trait performing the specialization.
pub trait ExtractRef {
    /// Input reference type.
    type Frm;
    /// Output reference type.
    type To;

    /// Extracts the output type from the input one.
    fn __extract_ref(&self, frm: Self::Frm) -> Self::To;
}

impl<'a, T> ExtractRef for &Conv<&'a T, T>
where
    T: ?Sized,
{
    type Frm = &'a T;
    type To = &'a T;

    fn __extract_ref(&self, frm: Self::Frm) -> Self::To {
        frm
    }
}

impl<'a, Frm, To> ExtractRef for Conv<&'a Frm, To>
where
    Frm: AsRef<To> + ?Sized,
    To: ?Sized + 'a,
{
    type Frm = &'a Frm;
    type To = &'a To;

    fn __extract_ref(&self, frm: Self::Frm) -> Self::To {
        frm.as_ref()
    }
}

impl<'a, T> ExtractRef for &Conv<&'a mut T, T>
where
    T: ?Sized,
{
    type Frm = &'a mut T;
    type To = &'a mut T;

    fn __extract_ref(&self, frm: Self::Frm) -> Self::To {
        frm
    }
}

impl<'a, Frm, To> ExtractRef for Conv<&'a mut Frm, To>
where
    Frm: AsMut<To> + ?Sized,
    To: ?Sized + 'a,
{
    type Frm = &'a mut Frm;
    type To = &'a mut To;

    fn __extract_ref(&self, frm: Self::Frm) -> Self::To {
        frm.as_mut()
    }
}