Новый RFC: safe-блоки — противоположность unsafe

Открыт RFC о safe-блоках — конструкции, обратной unsafe.

Суть

Внутри такого блока запрещены все небезопасные операции. Это нужно в библиотеках, где часть кода должна оставаться безопасной: компилятор проверяет запрет локально, а не по всей функции.

Оригинал

RFC: Add safe blocks