http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56421
--- Comment #14 from Kristian Spangsege <kristian.spangsege at gmail dot com> 2013-02-23 00:02:55 UTC --- Jonathan, you say that: "Foo::type exists unconditionally, so SFINAE doesn't apply. The invalid type is not in the immediate context of the substitution." Could you point me to the relevant section(s) in the standard?
