[all-commits] [llvm/llvm-project] cc261c: [clang] fix a bug matching constrained out-of-line...

[Matheus Izvekov via All-commits]

  Branch: refs/heads/users/mizvekov/out-of-line-def-bug
  Home:   https://github.com/llvm/llvm-project
  Commit: cc261c5bbd1e46f1817603822e400cbd05ec82a9
      https://github.com/llvm/llvm-project/commit/cc261c5bbd1e46f1817603822e400cbd05ec82a9
  Author: Matheus Izvekov <mizvekov at gmail.com>
  Date:   2026-04-18 (Sat, 18 Apr 2026)

  Changed paths:
    M clang/docs/ReleaseNotes.rst
    M clang/lib/Sema/SemaTemplateDeductionGuide.cpp
    M clang/lib/Sema/SemaTemplateInstantiate.cpp
    M clang/test/SemaTemplate/concepts-out-of-line-def.cpp

  Log Message:
  -----------
  [clang] fix a bug matching constrained out-of-line definitions of class member functions

The method which gathered the template arguments for transforming constraints
was incorrectly skipping adding the arguments for function templates which are
class members.

This fixes that, and removes an undocumented workaround for template alias CTAD.

Also adds a test case showing #139276 causes a profiling issue with PackIndexExprs,
which for the tests added in that PR gave the false impression they were fixing the
problem, but were actually causing the implementation to be too accepting, which
masked the bug solved in this patch.



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