Can a future used only by `async fn` assume it won't be polled again after becoming ready?

The blog post discusses nuances in the Rust programming language's async functionality and the implications of optimizations made by the compiler regarding polling futures. It challenges the existing consensus on state machine transitions and presents examples that illustrate potential undefined behavior (UB) when the state is improperly managed during polling.