https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94252
--- Comment #1 from Julius Hülsmann <julius_huelsmann at freenet dot de> --- This seems to apply to member functions aswell; the following assertion fails aswell on gcc-trunk on [compilerExplorer](https://godbolt.org/z/NxgkH5) struct T { int f(int) noexcept; }; int main() { static_assert(requires(T o, int i) { o.f(i); //{ o.f(i) } noexcept->std::same_as<int>; //< also fails. }); }