[Bug c++/67148] [concepts] Failed concept check when indirecting through a constrained trait

[eric.niebler at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67148

--- Comment #1 from Eric Niebler <eric.niebler at gmail dot com> ---
If I replace the variadic Same concept with the binary one below, the problem
goes away.

template<class T, class U>
concept bool Same() {
  return __is_same_as(T,U);
}