c++/reflection: add fixed test [PR124324]

Another test for the recently-fixed PR124324.

	PR c++/124324

gcc/testsuite/ChangeLog:

	* g++.dg/reflect/substitute6.C: New test.

diff --git a/gcc/testsuite/g++.dg/reflect/substitute6.C b/gcc/testsuite/g++.dg/reflect/substitute6.C
new file mode 100644 (file)
index 0000000..8d9665b
--- /dev/null
+++ b/gcc/testsuite/g++.dg/reflect/substitute6.C
@@ -0,0 +1,13 @@
+// PR c++/124324
+// { dg-do compile { target c++26 } }
+// { dg-additional-options "-freflection" }
+
+#include <meta>
+
+template<typename>
+void function ();
+
+constexpr auto substituted = substitute (^^function, {^^int});
+static_assert (is_function (substituted));
+constexpr auto t = type_of (substituted);
+[: t :] bar;