zygoloid wrote: I don't see why that would be invalid. When forming `p<T>::type`, we should produce a default argument for `p` by substituting `T = T` into the specified default argument. That should produce a value-dependent initializer, which is fine, but makes `p<T>` a dependent type. So `p<T>::type` should be interpreted as a dependent type-id.
https://github.com/llvm/llvm-project/pull/155230 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
