[lldb] [clang-tools-extra] [clang] [c++20] P1907R1: Support for generalized non-type template arguments of scalar type. (PR #78041)

Andrey Ali Khan Bolshakov via cfe-commits cfe-commits at lists.llvm.org
Sat Jan 13 07:03:43 PST 2024


================
@@ -25,7 +25,7 @@ template <int &> struct S {}; // #dr1801-S
 S<i> V; // #dr1801-S-i
 // cxx98-14-error at -1 {{non-type template argument does not refer to any declaration}}
 //   cxx98-14-note@#dr1801-S {{template parameter is declared here}}
-// since-cxx17-error@#dr1801-S-i {{non-type template argument refers to subobject '.i'}}
+// cxx17-error@#dr1801-S-i {{non-type template argument refers to subobject '.i'}}
----------------
bolshakov-a wrote:

I'm not sure about this. [Here](https://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#1801) it is stated that this should be ill-formed, with a reference to [N4268](https://open-std.org/JTC1/SC22/WG21/docs/papers/2014/n4268.html). But it seems that it is not actual after P1907R1.

https://github.com/llvm/llvm-project/pull/78041


More information about the cfe-commits mailing list