[Voted into the WP at the September, 2008 meeting.]

Proposed resolution (June, 2008):

Change 13.6 [temp.type] paragraph 1, first bullet, as follows:

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

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) .

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

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