[LLVMbugs] [Bug 9913] New: Refuses out-of-class definition of class in partial specialization

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=9913

           Summary: Refuses out-of-class definition of class in partial
                    specialization
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: C++
        AssignedTo: unassignedclangbugs at nondot.org
        ReportedBy: marc.glisse at normalesup.org
                CC: llvmbugs at cs.uiuc.edu, dgregor at apple.com


clang recently started rejecting this code:

template<class,class=int>struct S;
template<class X>struct S<X> {
        template<class T> class F;
};

template<class A>
template<class B>
class S<A>::F{};

with the error message:

g.cc:6:1: error: too few template parameters in template redeclaration
template<class A>
^~~~~~~~~~~~~~~~~
g.cc:1:1: note: previous template declaration is here
template<class,class=int>struct S;
^~~~~~~~~~~~~~~~~~~~~~~~~

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.