https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126343
Bug ID: 126343
Summary: [reflection] type_of not working properly on
reflection of info
Product: gcc
Version: 17.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: yizeyi18 at mail dot nankai.edu.cn
Target Milestone: ---
Created attachment 65106
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65106&action=edit
.ii file generated by gcc.
```
#include <meta>
using namespace std::meta;
constexpr info m = ^^int;
static_assert(type_of(^^m) == ^^info);
```
gives "the comparison reduces to '(^^std::meta::info == ^^std::meta::info)'"
and fails.