retrieval 0.2.0

Allows the retrieval of trait implementations.
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

//! Tests that 2 implementations can fit in a capacity of 2.

use retrieval::*;

#[retrieve(2)]
trait Number {
    const NUMBER: u8 = 0;
}

#[iterate(2)]
const fn testing<T: Number>() {
    assert!((T::NUMBER == 5) || (T::NUMBER == 112));
}

const _: () = testing();

#[send]
impl Number {
    const NUMBER: u8 = 5;
}

#[send]
impl Number {
    const NUMBER: u8 = 112;
}