Например, представьте себе такую ​​функцию: int solveSomeEquation(int y) { y = (int x) * 2; return x; } Используя символическую алгебру, компилятор определил бы, что x = y/2. Более того, он пожаловался бы, что int недостаточно для...