[Bug c++/112437] New: ICE with throw inside concept sometimes and -std=c++20

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 112437
           Summary: ICE with throw inside concept sometimes and -std=c++20
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org
  Target Milestone: ---

Take:
```

struct moveonly {};
template<class T>
concept Throwable = requires(T x) { throw x; };

bool a = Throwable<moveonly>;
```

This ICEs with `-std=c++20` but does not with `-std=c++17 -fconcepts`