no_alloc_check 0.1.0

Proc-macro attribute for no_alloc; cfg-gated hybrid marker.
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

#![allow(unexpected_cfgs)]

struct Counter(u32);

impl Counter {
    #[no_alloc_check::no_alloc]
    fn get(&self) -> u32 {
        self.0
    }
}

trait Read {
    fn read(&self) -> u32;
}

impl Read for Counter {
    #[no_alloc_check::no_alloc]
    fn read(&self) -> u32 {
        self.0
    }
}

fn main() {
    let counter = Counter(1);
    assert_eq!(counter.get(), counter.read());
}