Rust 1.96.0

Публикуван е релиз Rust 1.96.0 — още една стабилна версия на програмния език Rust. Актуализацията беше пусната 28 май 2026 година; можете да я инсталирате с помощта на стандартната команда rustup update stable. Основните промени включват нови типове диапазони в core::range, стабилизация на макроси за проверка на шаблони, затягане на поведението на WebAssembly сборките и корекции на две уязвимости в Cargo.

Основни промени

• Новите типове диапазони core::range::Range*.
  В стандартната библиотека бяха стабилизирани нови варианти на диапазони: core::range::Range, RangeFrom, RangeInclusive и свързаните с тях итератори. В отличие от старите типове от core::ops, новите диапазони не реализират Iterator директно, а се преобразуват в итератор чрез IntoIterator. Поради това тези диапазони могат да бъдат Copy, което е удобно, например, когато запазвате диапазон като поле на структура. Синтаксисът, подобен на 0..1, все още създава стари типове диапазони, но в бъдеща редакция на езика планират да го преведат на новите типове.

• Добавени са assert_matches! и debug_assert_matches!.
  Новите макроси позволяват да се проверява, дали стойността съответства на зададения шаблон. По същество това е подобно на assert!(matches!(…)), но при грешка се извежда Debug представяне на стойността, което улеснява диагностицирането. В prelude не бяха добавени макроси, за да не влизат в конфликт с популярните външни crate-ове, затова трябва да се импортират явно от core или std.

• Изменено е поведението на WebAssembly целите.
  Rust вече не предава на линкера --allow-undefined за WebAssembly сборки. Сега, неопределените символи при линкване се считат за грешка, а не се преобразуват автоматично в импорти от модула "env". Това трябва по-рано да идентифицира грешки в компилацията и неправилни имена на символи. Старото поведение може да се върне при необходимост чрез RUSTFLAGS=-Clink-arg=--allow-undefined или да се укаже явно импортируемият wasm модул чрез #[link(wasm_import_module = "env")].

• Cargo получи корекции за сигурност.
  В Rust 1.96.0 бяха затворени две уязвимости, засягащи потребителите на външни регистри. CVE-2026-5223 е свързана с обработката на symlink вътре в tar архиви на crate: злонамерен пакет от външен регистър може да е записал кеширана информация на друг пакет от същия регистър. Започвайки от Rust 1.96.0, Cargo отхвърля crate архиви с symlink. CVE-2026-5222 е свързана с нормализацията на URL sparse registry и в редки случаи може да е довела до изпращане на Cargo токен към злонамерен регистър. Потребителите на crates.io, по заявлението на екипа на Rust, не са засегнати от тези проблеми.

• Промени в езика.
  В релиза са включени няколко точкови корекции и разширения: разрешена предаване на expr-метапроменливи на макросите в cfg, коригирано преобразуването на never-type в кортежни изрази, поправени редките случаи на неправилни подсказки за типове изход за аргументи на функции, добавена поддръжка за векторни регистри s390x в inline assembly, както и отново разрешено използването на константи от тип ManuallyDrop като шаблони — това поправя регресията, появила се в Rust 1.94.0.

• Промени в компилатора и платформите.
  За Linux-целите на LoongArch е включена поддръжка за link relaxation — оптимизация на линковката, позволяваща опростяване на някои преходи и обаждания след поставяне на кода. За riscv64gc-unknown-fuchsia е обновена базовата конфигурация до профила RVA22 с поддръжка на векторни разширения.

• Обновления на стандартната библиотека.
  Добавена е поддръжка за итерация по диапазони на NonZero-цяло число. Освен това е коригирана отложената обработка на адреси на хост в SGX чрез ToSocketAddr, а в документацията и вътрешните договори е уточнено определението за памет, «допустима за четене/запис»: нулев указател е изключен от общото определение, а изключенията са посочени отделно за конкретни методи.

• Стабилизирани API.
  Сред стабилизираните интерфейси — assert_matches!, debug_assert_matches!, реализации на From за AssertUnwindSafe, LazyCell и LazyLock, както и нови типове и итератори на диапазони от core::range, включително Range, RangeFrom, RangeToInclusive и техните итератори.

• Cargo: промени за зависимости и документация.
  Сега зависимост може одновременно да указва Git-репозиторий и алтернативен регистър: локално ще се използва Git-версията, а при публикуване — версия от регистъра, подобно на поведението с crates.io. Добавена е и поддръжка за target.’cfg(..)’.rustdocflags в конфигурацията на Cargo.

• Rustdoc вече по-добре обработва документацията.
  Забележките за deprecated API вече се рендерират като обикновена документация, без предишна специална обработка чрез white-space: pre-wrap. Освен това, rustdoc вече не издава lint missing_doc_code_examples за елементите в impl, а в страничната лента на документацията методите и свързаните функции се разделят отделно.

• Възможни несъвместимости.
  В релиза има няколко промени, които могат да се проявят в необичаен код: поправена е подредбата на някои #[repr(Int)] enum в крайни случаи, забранени са определени безполезни unsize-преходи в Pin, WebAssembly-сборките сега падат при неопределени символи, случайно стабилизираният атрибут #![reexport_test_harness_main] отново е затворен зад feature gate, премахнат е параметърът -Csoft-float, а минималната версия на външния LLVM е повишена до 21. За AVR е променен типът c_double на f32, тъй като на тези цели C double по подразбиране е 32-битов.

Източник: linux.org.ru