genz 0.2.0

Access guards based on invariant lifetime markers.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

# genz 

Markers for proving uniqueness of types using invariant lifetimes.

Provides a non-`Copy` zero-sized type-marker called `UniqueType`, which makes it impossible to call the following
without resorting to `unsafe` code:

```rust
# use genz::*;
fn same_type<'c, T>(t1: UniqueType<'c, T>, t2: UniqueType<'c, T>)
{
  panic!("this is impossible!")
}
```