The Rust Project Goals website has moved to https://goals.rust-lang.org/. You should be redirected in 7 seconds. If not, click here: https://goals.rust-lang.org/2024h2/Patterns-of-empty-types.html.