Здравствуйте, jazzer, Вы писали:

J>По текущему стандарту, тип должен поддерживать присваивание (быть Assignable), int const, очевидно, этому требованию не удовлетворяет.

А должен ли компилятор отказываться компилировать такую программу?