generativity 1.2.1

Generation of unique invariant lifetimes
Documentation 
1
2
3
4
5
6
7

use generativity::make_guard;

fn main() {
    make_guard!(a);
    make_guard!(b);
    dbg!(a == b); // ERROR (here == is a static check)
}