http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41958
--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2012-11-19 01:57:16 UTC --- 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.
