Bonus points if it has the ability for users to define static analysis a la borrow checking.
Async makes things possible that are hard or impossible to do with synch programming.
It’s a real game changer for python especially. Cant comment on rust, hopefully its implementation is smooth.