borrowscope-macro 0.1.1

Procedural macros for BorrowScope ownership tracking
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
use borrowscope_macro::trace_borrow;

#[trace_borrow]
fn test_while_loop() {
    let mut count = 0;
    while count < 3 {
        let temp = count + 1;
        count = temp;
    }
    assert_eq!(count, 3);
}

fn main() {
    test_while_loop();
}