Ну основная польза от такого psr будет в том, что больше людей начнут юзать стат анализ, и всё, так что я только за)
Я не зря привел пример контрактов в котлине. Там они позволяют сообщить компилятору особенности поведения функций, недоступные из самого языка, такие как отсутствие сайд эффектов, терминирование программы и т.п. В текущих аннотациях я прямо вижу некоторые параллели. Это на мой взгляд интереснее типизации массивов или дженериков, хотя и то, и то про стат анализ