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.