[PATCH] D18495: Check default arguments of template template parameters for compatibility.

[Faisal Vali via cfe-commits]

faisalv updated this revision to Diff 51742.
faisalv marked 2 inline comments as done.
faisalv added a comment.

Updated the patch with the following:

- while checking dependent template template arguments at template definition time, we must accept the more general (pack) as compatible with the more specific (non-pack sequence), since the instantiation time check will preserve the compatibility between template parameter lists (for a subset of pack-expansions compatible with the non-pack sequences) mandated by the standard.
- added Richard's examples.

Thanks!


http://reviews.llvm.org/D18495

Files:
  include/clang/Sema/Sema.h
  lib/Sema/SemaTemplate.cpp
  test/CXX/temp/temp.arg/temp.arg.template/p3-0x.cpp
  test/CXX/temp/temp.param/p10-0x.cpp
  test/CXX/temp/temp.param/p12.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D18495.51742.patch
Type: text/x-patch
Size: 12882 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20160327/74782f57/attachment.bin>