[all-commits] [llvm/llvm-project] 99031a: release/22.x: [Clang] Track constraint's SubstInde...

[Younan Zhang via All-commits]

  Branch: refs/heads/release/22.x
  Home:   https://github.com/llvm/llvm-project
  Commit: 99031a474bb1ea7bd76f86c11efa6937c78ed0d6
      https://github.com/llvm/llvm-project/commit/99031a474bb1ea7bd76f86c11efa6937c78ed0d6
  Author: Younan Zhang <zyn7109 at gmail.com>
  Date:   2026-04-17 (Fri, 17 Apr 2026)

  Changed paths:
    M clang/lib/Sema/SemaConcept.cpp
    M clang/lib/Sema/SemaTemplateInstantiate.cpp
    M clang/lib/Sema/TreeTransform.h
    M clang/test/SemaCXX/cxx2c-fold-exprs.cpp

  Log Message:
  -----------
  release/22.x: [Clang] Track constraint's SubstIndex only if it contains outer parameter packs

I believe that is the intent of SubstIndex in AssociatedConstraint.
So this enforces the checking explicitly, in case nested SubstIndexes
confuses our poor constraint evaluator.

As a drive-by fix, this also removes an strange assertion and an
unnecessary
SubstIndex setup in nested requirement transform.

No release note because this is a regression fix.

This backports #191484



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