------- Additional Comments From reichelt at gcc dot gnu dot org 2004-10-22 15:47
-------
Just two more remarks:
* The relevant part of the standard is 14.8.2 [temp.deduct],
especially 14.8.2.1 [temp.deduct.call].
* The reason why 3.3.5 doesn't error out might be that it confuses
friend P operator* <>(P const&, P const&); (template)
with
friend P operator* (P const&, P const&); (non-template)
The latter should (and does) indeed compile with 3.3.5 and 3.4.2.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18110