[Bug c++/122204] ICE when deducing a concept-constrained constant template parameter

[sebastian.redl at getdesigned dot at]

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

--- Comment #2 from Sebastian Redl <sebastian.redl at getdesigned dot at> ---
For anyone who finds this before it is fixed (or is stuck on an old compiler):
the workaround is to replace the inline constraint with an explicit requires
clause:

Change this part:

template <int i>
struct B {
  template <Ac auto b>
  void f(V<b>);
};

to this:

template <int i>
struct B {
  template <auto b> requires Ac<decltype(b)>
  void f(V<b>);
};