> Not really:
> template<int x>
> struct A { };

But... [temp.over.link]-5 reads

"... and the tokens used to form concept-ids ([temp.names]) may differ as long as the two template-ids are the same ([temp.type])."

I mean, well, [temp.type]-2 is clear about "same" template-ids, not requiring the same tokens.

Why in [temp.over.link]-5 we need this example that has nothing more than the Example 1 in [temp.type]-3 for 'x' and 'y' ?

That's why I supposed that A<40> and A<42> were related to the statement on unevaluated operands,

as example of same (simple-)template-ids representing the concept-ids ([temp.names]-9, currently §13.3-9).

Should it be replaced with an example showing concept-ids with different tokens ?

Also, hope you will answer to my comments a)-e) from https://lists.isocpp.org/std-discussion/current/2686.php.

or make it explicit that in your opinion they are worthless.

Thanks,

Mauro.