The Rust Project Goals website has moved to https://rust-lang.github.io/goals/. You should be redirected in 7 seconds. If not, click here: https://rust-lang.github.io/goals/2025h2/a-mir-formality.html.