https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125011
Waffl3x <waffl3x at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |waffl3x at gcc dot gnu.org
Assignee|unassigned at gcc dot gnu.org |waffl3x at gcc dot
gnu.org
Keywords| |rejects-valid
--- Comment #6 from Waffl3x <waffl3x at gcc dot gnu.org> ---
```
template <typename T>
int f()
post(i: T{})
{
return 0;
}
```
Further reduced case, also note that a placeholder return type works
around this. I suspect this is rebuild_postconditions unconditionally
attempting to substitute even if it is still in a template.
