重新声明相同名称的嵌套别名模板是否有效？

给出一些类模板：

template <typename> struct T {};

不允许使用这样的类型别名声明来更改名称T的含义：

struct S {
    using T = T<void>;  // ill formed no diagnostic required
};

here有一种解释，说明为什么会出现这种情况，并提出了解决方法：

struct S {
    using T = ::T<void>;  // ok
};

所以我的问题是，在这种情况下别名模板如何？

struct S {
    template <typename> using T = T<void>;  // ok ?
};

这格式是否正确？类型别名是不同于别名模板的另一种实体，因此我不知道链接答案中的推理是否适用。

就其价值而言，别名模板示例不会发出gcc（有效地）在类型别名示例中发出的诊断。

这里是code可以玩的。