Я знаю, что писать что-то вроде

++a = a++;

Не только не читается, но и нарушает точки последовательности c / c ++.

Откуда эти ограничения? Как можно увидеть эти «проблемы»? прежде чем найти их как ошибки?