requires式の中で、いわゆる_tで終わるtemplate aliasが使えなくてtypename ...::typeなら使えるのはなぜか

Question

https://teratail.com/questions/328756
への回答を書いている際に

#include <cstddef>
#include <type_traits>
template<typename T,size_t N>
struct Boo{};
namespace traits {
  template<typename> struct boo;
  template<typename T, size_t N>
  struct boo<Boo<T, N>> : std::integral_constant<std::size_t, N>
  {
    using type = T;
  };
  template<typename T> using boo_elem_t = typename boo<T>::type;

  template<typename ...Args>
  concept calculatable_boos = requires (Args ...args) {
    requires sizeof...(Args) >= 2;
    std::common_type_t<boo_elem_t<Args>...>;
    { ( boo<Args>::value == ... ) };
  };
}
template<typename ...Args>
auto func(const Args...)
requires traits::calculatable_boos<Args...>
{

}

int main(){
    Boo<int,1> a;
    Boo<int,1> b;
    Boo<short,1> c;
    func(a,b);
    func(a,c);
}

https://wandbox.org/permlink/GgqjR0OkvmmKWAM4

のようなコードに対して、

gcc

prog.cc:17:44: error: expected primary-expression before ';' token
   17 |     std::common_type_t<boo_elem_t<Args>...>;
      |  

clang

prog.cc:17:44: error: expected '(' for function-style cast or type construction
    std::common_type_t<boo_elem_t<Args>...>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^

のように言われてしまいました。ちなみにmsvcはなにも指摘しません。ここでこの17行目を

typename std::common_type<boo_elem_t<Args>...>::type;

とすると意図したように動きました。

これがどういう原理で発生しているのか教えて下さい。

Answer 1

https://t.co/TXQN02yb2P
Type requirements が構文上先頭に typename を要求するからではないでしょうか。
_t 版でも、先頭に typename をつければコンパイルが通ります。
— nus (@nus_miz) March 20, 2021

https://timsong-cpp.github.io/cppwp/n4861/expr.prim.req.type

type-requirement:

typename nested-name-specifieropt type-name ;

なるほど。