https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106734

--- Comment #4 from jakob at schmutz dot co.uk ---
(In reply to Jonathan Wakely from comment #3)
> (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.



Right but then why is `std::same_as<decltype(bar), Bar>` true? Shouldn't that
also be false then?

Reply via email to