[clang] [Clang] Address feedback in PR183010 (PR #185608)

[Younan Zhang via cfe-commits]

================
@@ -1185,7 +1154,7 @@ static bool CheckConstraintSatisfaction(
     return false;
   }
 
-  if (TemplateArgsLists.isAnyArgInstantiationDependent(S.Context)) {
+  if (TemplateArgsLists.isAnyArgDependent(S.Context)) {
----------------
zyn0217 wrote:

> If you reverted this check back to just instantiation dependency on the argument, we would diagnose this as ill-formed, right?

No. `C<X<V&>>` would be normalized to `true` anyway and any of its middle-way template arguments are not considered during satisfaction computing.

Do you think this is a bug or something?

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