http://llvm.org/bugs/show_bug.cgi?id=18411
Bug ID: 18411
Summary: Alias template is incorrectly treated as a different
template when used with as a template template
parameter
Product: clang
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: -New Bugs
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected]
Classification: Unclassified
As I was explaining bug #18408 to my colleague, I realized there was another
bug.
template <template <typename> class A>
struct TemplateTakingTemplateTemplateParameter {};
template <typename B>
class GlobalTemplate {};
template <typename B>
using AliasToGlobalTemplate = GlobalTemplate<B>;
void foo(GlobalTemplate) {}
/*
void foo(AliasToGlobalTemplate) {} // Error: Redefine!
*/
void foo(TemplateTakingTemplateTemplateParameter<GlobalTemplate>) {}
void foo(TemplateTakingTemplateTemplateParameter<AliasToGlobalTemplate>) {} //
Compiles, but it shouldn't
--
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
