模板化非类型模板参数的转换构造函数

问：

当将类型扔进 时，我希望通过使用 的转换构造函数来创建。但是，出于某种原因，GCC 似乎在 .C++20 标准对非类型模板参数的此类构造或推导有何规定？T::vintt<>Nnic<int, 3>::v

#include <concepts>

template<auto...>
struct n {
    constexpr n(int x): i{x} {}
    int i;
};
template<typename T, T V>
struct c { static constexpr T v = V; };

template<n N>
using t = c<decltype(N.i), N.i>;

// clang ok, gcc nope, msvc ok
static_assert([]<typename T = t<3>>
    { return std::same_as<T, t<T::v>>; }());

现场示例

来自 GCC 的错误消息：

<source>: In instantiation of '<lambda()> [with T = c<int, 3>]':
<source>:15:41:   required from here
<source>:15:19: error: request for member 'i' in 'c<int, 3>::v', which is of
non-class type 'const int'
   15 |     { return std::same_as<T, t<T::v>>; }());
      |              ~~~~~^~~~~~~~~~~~~~~~~~~