[all-commits] [llvm/llvm-project] f11484: [Clang] Fix a bug in parameter mapping substitutio...

[Younan Zhang via All-commits]

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

  Changed paths:
    M clang/docs/ReleaseNotes.md
    M clang/lib/Sema/SemaTemplateInstantiate.cpp
    M clang/test/SemaTemplate/concepts-no-early-substitution.cpp

  Log Message:
  -----------
  [Clang] Fix a bug in parameter mapping substitution (#208663)

When building parameter mapping, both substitution and
CheckTemplateArguments were marked as ParameterMappingSubstitution,
while CheckTemplateArguments could also substitute into default
arguments eagerly such that some type constraints were transformed too
early.

It turned out that we don't have to enforce that rebuild in
SubstTypeConstraint, so this reverts that behavior.

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



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