Какие функции предоставляет новое требование?

Предоставляет сворачивание констант для типов с коробочным представлением.

Чем полезно это требование? В каких сценариях можно использовать?

Позволяет пройти тесты и скомпилировать стандартную библиотеку после удаления примитивных типов.