https://gcc.gnu.org/g:57c789b5841d8c9d8a0bef5273cd741a9a22da68

commit r16-7695-g57c789b5841d8c9d8a0bef5273cd741a9a22da68
Author: Marek Polacek <[email protected]>
Date:   Wed Feb 25 10:39:43 2026 -0500

    c++/reflection: remove TODO in compare9.C
    
    This compiles since r16-7472-gae37ade22ecf4e.  Yay!
    
    gcc/testsuite/ChangeLog:
    
            * g++.dg/reflect/compare9.C: Uncomment the commented out asserts.

Diff:
---
 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 748158694004..0270943348ff 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>;

Reply via email to