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?
