c++/2374: template class inheriting from template template parameter

[Richter.Jens@freenet.de]

>Number:         2374
>Category:       c++
>Synopsis:       template class inheriting from template template parameter
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          rejects-legal
>Submitter-Id:   net
>Arrival-Date:   Sat Mar 24 06:16:01 PST 2001
>Closed-Date:
>Last-Modified:
>Originator:     Jens Richter
>Release:        gcc version 3.0 20010321 (prerelease)
>Organization:
>Environment:
i386-pc-linux-gnu
>Description:
This should be legal ???

gcc -c test_templates.cc
test_templates.cc:3: type/value mismatch at argument 1 in template parameter
   list for `template<{template default argument error}> A'
test_templates.cc:3:   expected a type, got `B' 
>How-To-Repeat:
template <template <class> class A>
class B : public A<B>
{ };
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: