[all-commits] [llvm/llvm-project] 833ea1: [clang] Changes to template argument list checking

[Matheus Izvekov via All-commits]

  Branch: refs/heads/users/mizvekov/clang-unified-p0522-cwg2398-changes
  Home:   https://github.com/llvm/llvm-project
  Commit: 833ea1350e8ceb9806c84d269f445a85d78da8ba
      https://github.com/llvm/llvm-project/commit/833ea1350e8ceb9806c84d269f445a85d78da8ba
  Author: Matheus Izvekov <mizvekov at gmail.com>
  Date:   2025-01-23 (Thu, 23 Jan 2025)

  Changed paths:
    M clang/lib/Sema/SemaTemplate.cpp
    M clang/lib/Sema/SemaTemplateDeduction.cpp
    M clang/test/CXX/temp/temp.arg/temp.arg.template/p3-0x.cpp
    M clang/test/SemaTemplate/cwg2398.cpp
    M clang/test/SemaTemplate/temp_arg_template_p0522.cpp
    M libcxx/test/libcxx/type_traits/is_specialization.verify.cpp

  Log Message:
  -----------
  [clang] Changes to template argument list checking

Implement some missing changes to support checking of argument-side template parameter
packs matching parameter-side non-pack parameters, which are required to
support non-exact matches in these cases, and applies appropriate
conversions which help deducing NTTPs of placeholder types.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications