Tested x86_64-pc-linux-gnu, applying to trunk.
-- >8 --
This compiles since r16-7472-gae37ade22ecf4e. Yay!
gcc/testsuite/ChangeLog:
* g++.dg/reflect/compare9.C: Uncomment the commented out asserts.
---
gcc/testsuite/g++.dg/reflect/compare9.C | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/gcc/testsuite/g++.dg/reflect/compare9.C
b/gcc/testsuite/g++.dg/reflect/compare9.C
index 74815869400..0270943348f 100644
--- a/gcc/testsuite/g++.dg/reflect/compare9.C
+++ b/gcc/testsuite/g++.dg/reflect/compare9.C
@@ -13,9 +13,8 @@ template <typename T>
consteval std::meta::info baz () { int v = 42; return parent_of (^^v); }
constexpr auto ctx = std::meta::access_context::unchecked ();
-// TODO: These should work
-//static_assert (^^a == members_of (parent_of (^^a), ctx)[0]);
-//static_assert (^^S::~S == (members_of (^^S, ctx) | std::views::filter
(std::meta::is_destructor) | std::ranges::to <std::vector> ())[0]);
+static_assert (^^a == members_of (parent_of (^^a), ctx)[0]);
+static_assert (^^S::~S == (members_of (^^S, ctx) | std::views::filter
(std::meta::is_destructor) | std::ranges::to <std::vector> ())[0]);
static_assert (^^S::foo == members_of (^^S, ctx)[0]);
static_assert (^^bar <int> == bar <int> ());
constexpr auto b = ^^bar <long>;
base-commit: 9e0c784a85a100091387c5a3733bbe6002df5106
--
2.53.0
