Date
2008-06-29.00:00:00
Message id
1614

Content

In order for two template-ids to refer to the same function, 13.6 [temp.type] paragraph 1, bullet 1 requires that

  • their template-names refer to the same template

This makes it impossible for two template-ids referring to operator function templates to be equivalent, because only simple-template-ids have a template-name, and a template-id referring to an operator function template is not a simple-template-id (13.3 [temp.names] paragraph 1) .

Suggested resolution:

Change 13.6 [temp.type] paragraph 1, bullet 1 to read,

  • their template-names or operator-function-ids refer to the same template