CA038 06.05 [basic.link] Consider trailing requires-clauses for function identity #37
Description
06.05 [basic.link], 9.8 [namespace.udecl], 9.10 [dcl.link], 12.1 [over.load]
Trailing requires-clauses are ignored in various places covering the identity of functions.
Proposed change:
Update appearances of “parameter-type-list” in [basic.link], [namespace.udecl], [dcl.link], and [over.load] to also take require-clauses into account.