How does Rust Future trait enable async state machine generation?

The Future trait represents a state machine that progresses via polling.

Each async function is compiled into a state machine implementing Future::poll(). Each .await creates a suspension point. The executor repeatedly polls the future until completion. This design avoids runtime overhead by encoding control flow statically.