[AsyncAwait]

That's still not the same as a compile time type-checker, it still relies on the interpreter.