[all-commits] [llvm/llvm-project] bc8c16: [clang] fix matching constrained out-of-line defin...

[Matheus Izvekov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: bc8c168238ce1e2e03e1dd38086b3d67e430c5e4
      https://github.com/llvm/llvm-project/commit/bc8c168238ce1e2e03e1dd38086b3d67e430c5e4
  Author: Matheus Izvekov <mizvekov at gmail.com>
  Date:   2026-04-20 (Mon, 20 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 matching constrained out-of-line definitions of class specialization member function templates (#192806)

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

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

Also adds a test case showing #139276 caused 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