Bonus points if it has the ability for users to define static analysis a la borrow checking.
That exists today, it's called Rust. You don't have to use async.