http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41958
--- Comment #8 from Nathan Ridge <zeratul976 at hotmail dot com> 2012-11-19
03:49:39 UTC ---
(In reply to comment #6)
> No. The resolution of 1395 will not make the testcase in #1 valid, only the
> case where you have a degenerate overload, like
>
> template<typename T, typename... Args>
> int& f(const T&, Args...);
>
> template<typename T>
> int& f(const T&);
>
> The testcase in #1 should still be rejected as ambiguous.
The note describing the resolution of 1395 says "preferring an omitted
parameter over a parameter pack".
The way I read that, in the testcase in comment 1, the second overload has an
"omitted parameter" ('d'), and the first overload has a "parameter pack", so
the secodn overload would be preferred.
Am I misreading it?
