MSVC是否存在concept约束判定Bug？私有成员访问引发编译异常

下述代码无法在MSVC上按预期编译：t的x是私有成员，在concept d中通过T::x访问时理应不可达，因此预期static_assert(not d<t>)能够通过，但实际MSVC不满足该预期，而Clang可以正常通过。

namespace n { template<typename> using a = void; }

template<typename> concept c = true;
template<typename T> concept d = c<n::a<decltype(T::x)>>;

struct s { int x; };
class t : s {};

static_assert(d<s>);
static_assert(not d<t>); // clang ok, msvc nope

此前该问题被误标为重复，关联问题的代码仅能在GCC编译，根因是concept约束表达式的规范化无模板参数映射，不会导致替换失败。但将本示例中的concept替换为bool类型模板变量后，所有编译器都会判定约束不满足，而MSVC仍不符合预期，说明两个问题的根因并不相同，因此本问题应重新开放。

内容的提问来源于stack exchange，提问作者303