Я читал в Sebesta, что методы статической привязки не нужно хранить в CIR, но я не могу понять, почему. Если он не хранится в CIR, как компилятор узнает, на какой статически связанный метод ссылается и где он хранится?
Статический метод не может быть переопределен. Поэтому во время компиляции компилятор уже знает, какой код вызывать. Вместо того, чтобы откладывать на разрешение во время выполнения.