> оптимизация (X % Y) % Y is just X % Y.
А это точно, что такие оптимизации должны быть включены? Может быть лучше выдавать предупреждение, что это дебильный код?
Такой паттерн может необязательно явно возникнуть а после череды оптимизаций, а код может быть обмазан дженереками и макросами за которыми и не видно что там в итоге выйдет