[all-commits] [llvm/llvm-project] 34c864: [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: 34c864cda1f69d224da1858b557695d20ff0a53f
      https://github.com/llvm/llvm-project/commit/34c864cda1f69d224da1858b557695d20ff0a53f
  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