Tested x86_64-pc-linux-gnu, applying to trunk.
-- >8 --
This test now works too. Fixed by r16-8009 I think.
gcc/testsuite/ChangeLog:
* g++.dg/reflect/expansion-stmt3.C: New test.
---
.../g++.dg/reflect/expansion-stmt3.C | 31 +++++++++++++++++++
1 file changed, 31 insertions(+)
create mode 100644 gcc/testsuite/g++.dg/reflect/expansion-stmt3.C
diff --git a/gcc/testsuite/g++.dg/reflect/expansion-stmt3.C
b/gcc/testsuite/g++.dg/reflect/expansion-stmt3.C
new file mode 100644
index 00000000000..d8d377fc117
--- /dev/null
+++ b/gcc/testsuite/g++.dg/reflect/expansion-stmt3.C
@@ -0,0 +1,31 @@
+// { dg-do compile { target c++26 } }
+// { dg-additional-options "-freflection" }
+
+#include <meta>
+#include <string_view>
+
+int volatile sink = 0;
+void use(auto&& x) {
+ sink += sizeof(x);
+}
+
+template <typename T>
+void reflect_struct(T const& obj) {
+ static constexpr std::meta::info mems[] = {^^T::name, ^^T::age,
^^T::active};
+
+ template for (constexpr std::meta::info field : mems) {
+ use(std::meta::identifier_of(field));
+ use(obj.[:field:]);
+ }
+}
+
+template <int>
+struct User {
+ std::string_view name;
+ int age;
+ bool active;
+};
+
+int main() {
+ reflect_struct(User<0>{.name = "Alice", .age = 30, .active = true});
+}
base-commit: c6bb3a81db8bffd6df748b844904d3e3a9cea8a0
--
2.53.0
