]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
c++/reflection: remove TODO in compare9.C
authorMarek Polacek <polacek@redhat.com>
Wed, 25 Feb 2026 15:39:43 +0000 (10:39 -0500)
committerMarek Polacek <polacek@redhat.com>
Wed, 25 Feb 2026 15:40:28 +0000 (10:40 -0500)
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

index 74815869400403421ba2a58613a9e1ac81abcbcf..0270943348fff72315c5b13742b1b1734c3d5210 100644 (file)
@@ -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>;