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?