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.
  });
}

Reply via email to