https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125353
Bug ID: 125353
Summary: ICE: dependent_type_p, at cp/pt.cc:28149
Product: gcc
Version: 14.3.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: tim at klingt dot org
Target Milestone: ---
```
template <typename a>
concept b = requires(a adapter) { adapter; };
template <typename a>
concept c = b<a>;
template <typename j, typename>
concept d = requires { j::e; };
template <typename> bool f;
template <typename a>
concept g = f<a>;
template < typename j, c h, g i > requires(d< j,
i >, b< h >⏎
```
ICEs:
```
tim@mokabar ~/reduc> g++-14 -std=c++20 enums_test.ii
enums_test.ii:6:27: internal compiler error: in dependent_type_p, at
cp/pt.cc:28149
6 | concept d = requires { j::e; };
| ^
0x70f01c82a600 __libc_start_call_main
../sysdeps/nptl/libc_start_call_main.h:59
0x70f01c82a717 __libc_start_main_impl
../csu/libc-start.c:360
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <file:///usr/share/doc/gcc-14/README.Bugs> for instructions.
```
14.3.0-14ubuntu1 ICEs, but gcc-15 / 16 seem to accept it
