https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92268
Jason Merrill <jason at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|Constraint normalization |[concepts] hard error
|substitutes parameter too |satisfying
|early |return-type-requirement
--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> ---
On further thought, I'm not sure normalizing the dependent form is really
necessary, either here or for nested-requirements, as long as we get the proper
SFINAE behavior for the requires-expression.
