no-panic 0.1.36

Attribute macro to require that the compiler prove a function can't ever panic.
Documentation 
1
2
3
4
5
6
7
8
9
10

use no_panic::no_panic;

#[no_panic]
async fn f() {
    g().await;
}

async fn g() {}

fn main() {}