a few people mentioned

pyright

at work recently which claims to be better at type checking async/await pieces, but it’s npm 😕