https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92268
Jason Merrill <jason at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |jason at gcc dot gnu.org
--- Comment #8 from Jason Merrill <jason at gcc dot gnu.org> ---
(In reply to Jason Merrill from comment #6)
> But for a constraint with template arguments like, say, same_as<T&>, we do,
> as we can can run into the same situation as with non-nested requirements:
...except that the draft says
— Substitution of template arguments (if any) into the return-type-requirement
is performed.
This sounds like normal substitution, so we don't need to do normalization at
all, just satisfaction.
