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

V>>"you can" говорит о возможности, но не обязательности.
L>Возможность тут — это возможность из наличия признака сделать вывод. Типа "если видишь A, то можешь утверждать B". Это обычное достаточное условие.

А я знал! (С)

Отвечу: ad hoc — это наличие конкурирующих специализаций. Это ВЕСЬ мой ответ.
Далее можно сколь угодно тщательно спекулировать насчет необходимости vs достаточности, но, если честно, очень лень.

===========
Из Вики:

Ad hoc полиморфизм (в русской литературе чаще всего переводится как «специальный полиморфизм» или «специализированный полиморфизм», хотя оба варианта не всегда верны) поддерживается во многих языках посредством перегрузки функций и методов.

Т.е., ограничения аргумента необходимы для возникновения самой возможности перегрузки ф-ий, но недостаточны, чтобы считаться ad hoc.