What optimizations does the Rust compiler make with `loop` versus `while true`?

Aside from the fact that it can reason about uninitialized values set within the loop body, are there any other compelling reasons for loop to exist ?