[LLVMbugs] [Bug 18411] Alias template is incorrectly treated as a different template when used with as a template template parameter

[bugzilla-daemon at llvm.org]

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

Richard Smith <richard-llvm at metafoo.co.uk> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |richard-llvm at metafoo.co.uk
         Resolution|---                         |INVALID

--- Comment #3 from Richard Smith <richard-llvm at metafoo.co.uk> ---
Clang is correct. 'GlobalTemplate' and 'AliasToGlobalTemplate' are distinct
templates. [temp.type]p1 says:

  "Two template-ids refer to the same class, function, or variable if
  [...]
  -- their corresponding template template-arguments refer to the same
template."

So

  TemplateTakingTemplateTemplateParameter<GlobalTemplate>

and

  TemplateTakingTemplateTemplateParameter<AliasToGlobalTemplate>

refer to different classes.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20140108/7a29a6c9/attachment.html>