Вывод типов

Я пытаюсь понять вывод типов, просматривая «Эффективный современный C++» Скотта Мейера.

Рассмотрим фрагмент кода ниже:

template<typename T>
void f(const T& param); // param is now a ref-to-const; paramType is const T&

int x = 27; // as before
const int cx = x; // as before
const int& rx = x; // as before

f(x); // T is int, param's type is const int&
f(cx); // T is int, param's type is const int&
f(rx); // T is int, param's type is const int&

Он говорит, что, поскольку paramType является ссылкой, мы можем выполнить двухэтапную процедуру, чтобы вывести тип T:

1. Игнорировать ссылки (если есть) в expr (т. е. x, cx и rx)
2. Шаблон соответствует типу expr и paramType

Теперь, когда cx является const int:

cx -> const целое

paramType -> ссылка на const int

Итак, согласно упомянутой логике, не должно ли T быть const int из-за сопоставления с образцом (а не только int)? Я понимаю, что constness cx был передан paramType, но то, что он говорит, неверно? Является ли эта двухэтапная процедура, о которой он упомянул, несоблюдением эмпирического правила? Как ты это делаешь?

Спасибо!