[Bug c++/19047] [3.3/3.4 Regression] Template template argument matching can violate SFINAE

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2004-12-16 
23:28 ---
Reduced testcase:

templateclass _CharT struct char_traits {};

templatetypename _CharT, typename _Traits = char_traits_CharT 
  class basic_ostream {};
templateclass _Traits
  basic_ostreamchar, _Traits
  operator(basic_ostreamchar, _Traits __out, const char* __s);

extern basic_ostreamchar cout;

templatetemplateint class CT, int TA
void operator(CTTA, int);

int main()
{
   cout  Hello, world\n;
}


-- 
   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed||1
   Last reconfirmed|-00-00 00:00:00 |2004-12-16 23:28:32
   date||
Summary|Template template argument  |[3.3/3.4 Regression]
   |matching can violate SFINAE |Template template argument
   ||matching can violate SFINAE
   Target Milestone|--- |3.4.4


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

[Bug c++/19047] [3.3/3.4 Regression] Template template argument matching can violate SFINAE

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2004-12-16 
23:28 ---
Fixed on the mainline:
: Search converges between 2004-11-14-014001-trunk (#634) and 
2004-11-14-161001-trunk 
(#635).


-- 


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

[Bug c++/19047] [3.3/3.4 Regression] Template template argument matching can violate SFINAE

[bangerth at dealii dot org]

--- Additional Comments From bangerth at dealii dot org  2004-12-17 00:12 
---
This is a duplicate of one of the weirdest bugs we have ever had, PR 17344. 
W. 

*** This bug has been marked as a duplicate of 17344 ***

-- 
   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution||DUPLICATE


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