[Bug c++/56421] Non-matching overload produces template substitution error

[kristian.spangsege at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56421

--- Comment #12 from Kristian Spangsege <kristian.spangsege at gmail dot com> 2013-02-22 23:38:47 UTC ---
Yes, so far so good, but where does the standard say that if synthesis fails
for a particular candidate function template declaration, during overload
resolution, then the code is ill-formed?