Имхо, это такой же бесполезный атрибут, как и
#[Override]. Никакого спроса лично у меня на эту фичу нет. Наверное, потому, что мои функции либо не мутируют стейт, либо возвращают void. Ну а к особенностям нативного апи я давно привык.По сути, это очередная проблема, которая должна решаться статическим анализом, а не рантаймом.