Компилятор знает, под что бронирует, так как знает, под какую разрядность компилирует бинарник лол
Думаю, он совсем о другом писал
В зависимости от условий тебе в рантайме надо будет принять решение о том, что именно создаётся, экземпляр а, или экземпляр б, которые занимают разное место. И вот поэтому в рантайме типы и важны