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.