CWG3165 [basic.link] Use "equivalent type" instead of "same type" to cover templated functions and variables

[t3nsor]

Full name of submitter: Brian Bi

Issue description: [basic.link]/11.1 applies to all functions and variables, including templated ones; since their types can be dependent, their declared types should be required to be "equivalent" across all declarations, rather than "the same".

Suggested resolution: Edit [basic.link]/11.1 as follows:

• If one declares E to be a (possibly templated) variable or function, the other shall declare E as one of the sameequivalent type ([temp.over.link]).

Then, remove the cross-reference to [temp.over.link] from bullet 11.5.

[jensmaurer]

CWG3165

[t3nsor]

CWG3165

Link doesn't work.

[jensmaurer]

Link doesn't work.

@t3nsor , now it does.