This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 119e. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.

2026-04-17

3165. Use "equivalent type" to support templated entities

(From submission #860.)

Subclause 6.7 [basic.link] bullet 11.1 applies to all functions and variables, including templated ones, thus can involve dependent types for which "same type" is not defined.

Suggested resolution:

Change in 6.7 [basic.link] bullet 11.1 as follows:

For any two declarations of an entity E:

• If one declares E to be a (possibly templated) variable or function, the other shall declare E as one of the same equivalent type (13.7.7.2 [temp.over.link]).
• ...
• If one declares E to be a class template, the other shall do so with the same kind and an equivalent template-head (13.7.7.2 [temp.over.link]).
• ...