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

--- Comment #5 from Waffl3x <waffl3x at gcc dot gnu.org> ---
```
bool g(int) { return true; }

template<typename T>
auto f(T a)
  pre(g(a)) {}

template auto f<int>(int);
```
Reproducer without member functions.

Reply via email to