http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47488
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-01-27 11:09:50 UTC --- For this variation where f<T> is not deduced, 4.4 says "sorry, unimplemented" but doesn't ICE, 4.5 and 4.6 ICE in the same place: template < typename T > int f( const char * ); template<int> struct N { }; template < typename T > N<sizeof( f<T>( "" ) )> g( const T &t ); void h() { g( 0 ); }