https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100443
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> --- That wording was only added to the draft in November, I don't think any compilers implement all the P1787R6 changes yet. There is still no mention of signatures, which is why I wondered why you're talking about them. The definition of correspondence is in [basic.scope.scope], and also doesn't mention signatures (but does distinguish between functions and function templates).