[clang] [Clang][Sema] Fix a bug on type constraint checking (PR #84671)

[Erich Keane via cfe-commits]

https://github.com/erichkeane commented:

The commit message and release note needs to be MUCH more detailed.  Else I think this looks like an acceptable patch.

https://github.com/llvm/llvm-project/pull/84671