[all-commits] [llvm/llvm-project] adcd1b: [Clang] Fix the template argument collection after...

[Younan Zhang via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: adcd1bb32a050ced58584882b405f04f42c6009b
      https://github.com/llvm/llvm-project/commit/adcd1bb32a050ced58584882b405f04f42c6009b
  Author: Younan Zhang <zyn7109 at gmail.com>
  Date:   2025-07-10 (Thu, 10 Jul 2025)

  Changed paths:
    M clang/include/clang/Sema/Sema.h
    M clang/lib/Sema/SemaConcept.cpp
    M clang/lib/Sema/SemaTemplateInstantiate.cpp
    M clang/test/SemaTemplate/concepts-lambda.cpp

  Log Message:
  -----------
  [Clang] Fix the template argument collection after CWG2369 (#147894)

Since the function template isn't instantiated before constraint
checking, we'll not be able to find the outer template arguments through
function specialization when evaluating the inner constraint that is
nested within a larger constraint expression.

The only practical solution is to get them back through the code
synthesis context, which also allows us to eliminate an overload of
getTemplateInstantiationArgs.

No release note because it's a regression on trunk.

Fixes https://github.com/llvm/llvm-project/issues/147772



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