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.
