deptypes 0.2.1

Dependent types
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

macro_rules! link_error {
    ($s:tt) => {
        {
            extern "Rust" {
                #[link_name = concat!("\nerror: link_error! macro call reachable at runtime, with following error\nerror: ", $s)]
                fn __link_error() -> !;
            }
            unsafe {
                __link_error();
            }
        }
    }
}