Новый RFC: Safety Tags — проверки безопасности как отдельный уровень типов

Открыт RFC с предложением ввести «метки безопасности» — механизм, отделяющий проверки безопасности, влияющие на корректность программы, от проверок, влияющих на её безопасность с точки зрения доступа к памяти.

Мысль

Сейчас ответственность за безопасность делится между системой типов и соглашениями внутри неё. RFC предлагает формализовать вторую часть: если у типа есть тег безопасности, компилятор может требовать его наличия в местах, где ошибка привела бы к неопределённому поведению, но не обязана требовать этого везде, где тип просто передаётся дальше.

Это попытка сделать набор требований к безопасности явным, а не подразумеваемым. Обсуждение только начинается; дата 31 июля 2025 года — день открытия предложения.

Оригинал

RFC: Safety Tags (rust-lang/rfcs#3842)