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.