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: [email protected]
        ReportedBy: [email protected]
                CC: [email protected], [email protected]


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.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs

Reply via email to