https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106734
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to jakob from comment #0)
> Bar bar;
> constexpr bool same = requires
> {
> { bar } -> std::same_as<Bar>;
This is false. The type of decltype((bar)) is Bar&.
So I think GCC is correct.
