min-specialization 0.2.1

Experimental implementation of specialization
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

use min_specialization::specialization;

#[specialization]
mod test_mod {
    #[allow(unused)]
    trait Trait<U> {
        type Ty;
        fn number(_: U) -> Self::Ty;
    }

    impl<T, U> Trait<U> for T {
        type Ty = usize;
        default fn number(_: U) -> Self::Ty {
            0
        }
    }

    impl<U> Trait<U> for () {
        fn number(_: U) -> Self::Ty {
            1
        }
    }

    #[allow(unused)]
    struct S<T>(T);
    impl<T> core::ops::AddAssign for S<T> {
        default fn add_assign(&mut self, _rhs: Self) {}
    }
    impl core::ops::AddAssign for S<usize> {
        fn add_assign(&mut self, _rhs: Self) {}
    }
}