[all-commits] [llvm/llvm-project] beec84: [Clang] Ensure correct parameters are in the scope...

[Younan Zhang via All-commits]

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

  Changed paths:
    M clang/docs/ReleaseNotes.rst
    M clang/lib/Sema/SemaConcept.cpp
    M clang/test/SemaTemplate/concepts-using-decl.cpp

  Log Message:
  -----------
  [Clang] Ensure correct parameters are in the scope for constraint equivalence checking (#149264)

This is another case where untransformed constraint expressions led to
inconsistent transforms.

We did fix some of those issues by looking at parent scopes, however the
parent instantiation scope is not always available because we could also
reach here after the parents get instantiated.

Fixes #146614



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