This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/51973] [4.7 regression][C++11] Template parameter deduction fails for overloaded functions when template parameters have defaulted arguments
- From: "daniel.kruegler at googlemail dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 24 Jan 2012 08:57:09 +0000
- Subject: [Bug c++/51973] [4.7 regression][C++11] Template parameter deduction fails for overloaded functions when template parameters have defaulted arguments
- Auto-submitted: auto-generated
- References: <bug-51973-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51973
--- Comment #3 from Daniel KrÃgler <daniel.kruegler at googlemail dot com> 2012-01-24 08:57:09 UTC ---
Another observation: Whether or whether not the problem occurs depends on the
order of the two template declarations. Inverting the current order makes the
program valid.
My gut feeling here is that the revised test for templates equivalence based on
CWG 1321 may result in an incorrect equivalence assumption between the two
templates - just a guess.