[Bug c++/19047] New: Template template argument matching can violate SFINAE

["benh at bwsint dot com" <gcc-bugzilla at gcc dot gnu dot org>]

The following program fails to compile:

#include <iostream>

template<template<int> class CT, int TA>
void operator<<(CT<TA>, int);

int main()
{
   std::cout << "Hello, world\n";
}

The error messages given are:
test.cpp: In function `int main()':
test.cpp:8: error: template argument 2 is invalid

-- 
           Summary: Template template argument matching can violate SFINAE
           Product: gcc
           Version: 3.4.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: benh at bwsint dot com
                CC: gcc-bugs at gcc dot gnu dot org


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