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

Matheus Izvekov via All-commits all-commits at lists.llvm.org
Sat Apr 18 13:03:04 PDT 2026


  Branch: refs/heads/users/mizvekov/out-of-line-def-bug
  Home:   https://github.com/llvm/llvm-project
  Commit: b462cdf034c364f1a9c41c03538ba98d8c4c12f7
      https://github.com/llvm/llvm-project/commit/b462cdf034c364f1a9c41c03538ba98d8c4c12f7
  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


More information about the All-commits mailing list