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

            Bug ID: 125414
           Summary: ICE segfault on std::same_as in static_assert
           Product: gcc
           Version: 17.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: eczbek.void at gmail dot com
  Target Milestone: ---

https://godbolt.org/z/3KTfdKsc8
Properly errors in 16.1 and below

```
struct A {};

template<typename T> using t = T;

static_assert(std::same_as<int(A::*)()&, t<int()>A::*&>);
```

```
<source>:7:20: error: static assertion failed
    7 | static_assert(std::same_as<int(A::*)()&, t<int()>A::*&>);
      |               ~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  • constraints not satisfied

g++: internal compiler error: Segmentation fault signal terminated program
cc1plus
```

Reply via email to