Разрешены ли шаблоны ограниченных псевдонимов? ⇐ C++

[Anonymous]

Проверил три основных компилятора, все они позволяют накладывать ограничения на шаблоны псевдонимов, например:

Код: Выделить всё

template
using var_t = std::variant;

template
requires(std::constructible_from)
using tup_t = std::tuple;

Но тогда cppreference говорит следующее:

Код: Выделить всё

Syntax
Alias declarations are declarations with the following syntax:

using identifier attr (optional) = type-id ;   (1)

template < template-parameter-list >
using identifier attr (optional) = type-id ;    (2)

Разве cpprefrence неправильный и ограничения разрешены?

Подробнее здесь: https://stackoverflow.com/questions/787 ... es-allowed