Rust 1.80.0 released

Version
1.80.0 of the Rust language has been released. Changes include the new
LazyCell and LazyLock types (which delay data
initialization until the first access), the stabilization of the
exclusive-range syntax for match patterns, and more.