Что-То я вообще запутался, вот смотрю сейчас лекции ФПМИ, речь

Question

Что-То я вообще запутался, вот смотрю сейчас лекции ФПМИ, речь

идёт про вывод типа шаблона, утверждается что, const и volatile отбрасываются
На примере объясняют, что:
template <class T>
void f(T x);
...
int x = 0;
const int cx = 1;
f(cx); // T = int
тут const отбрасывается.

Я попробовал этот пример, и где-то нашёл способ вывода типа, чтоб компилятор отобразил его в ошибке, так и сделал,
но у меня выдаёт
error: aggregate 'TD<const int> cxType' has incomplete type and cannot be defined

template <typename T>
class TD;
int main() {
const int cx = 5;
TD<decltype(cx)> cxType;
}
Почему так получается?