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

/// [`Into`] with relaxed orphan rule, you can define non-owned
/// conversion with a owned `Marker`. Keep in mind this inference
/// will fail if multiple conversion paths are found.
pub trait InferInto<A, Marker>: Sized {
    fn into(self) -> A;
}

impl<T, U> InferInto<U, ()> for T
where
    T: Into<U>,
{
    fn into(self) -> U {
        Into::<U>::into(self)
    }
}

/// Convert via [`InferInto`]
pub fn infer_into<T, U, M>(item: T) -> U
where
    T: InferInto<U, M>,
{
    InferInto::into(item)
}

/// Provides conversion from integer literal `i32` to other numerical types.
pub trait StandardConverters<F> {
    fn into(self) -> F;
}

impl<T, F> InferInto<F, bool> for T
where
    T: StandardConverters<F>,
{
    fn into(self) -> F {
        StandardConverters::<F>::into(self)
    }
}

impl StandardConverters<f64> for i64 {
    fn into(self) -> f64 {
        self as f64
    }
}

macro_rules! std_convert {
    ($($ty: ty),*) => {
        $(
            impl StandardConverters<$ty> for i32 {
                fn into(self) -> $ty {
                    self as $ty
                }
            }
        )*
    };
}

std_convert!(u8, u16, u32, u64, usize, u128, i8, i16, f32);