[LLVMbugs] [Bug 8032] New: clang c++ assertion "Template argument kind mismatch" specializing template inside template

[bugzilla-daemon at llvm.org]

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

           Summary: clang c++ assertion "Template argument kind mismatch"
                    specializing template inside template
           Product: clang
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: C++
        AssignedTo: unassignedclangbugs at nondot.org
        ReportedBy: sharparrow1 at yahoo.com
                CC: llvmbugs at cs.uiuc.edu, dgregor at apple.com


Testcase:
template <class T> struct A {
  template <T, T> struct B {};
  template <T x> struct B<x, x> {};
};

Crashes with:
clang: SemaTemplateInstantiate.cpp:902:
clang::QualType<unnamed>::TemplateInstantiator::TransformTemplateTypeParmType(clang::TypeLocBuilder&,
clang::TemplateTypeParmTypeLoc, clang::QualType): Assertion
`TemplateArgs(T->getDepth(), T->getIndex()).getKind() == TemplateArgument::Type
&& "Template argument kind mismatch"' failed.

-- 
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.