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.
Now you do... have an incentive to write your own which is not async.