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

> I think we can make the value judgment whether it's worth introducing a new 
> regression to fix another regression, but I just want this to be 
> acknowledged, FIXMEs exist for that reason.

@mizvekov 

We're not introducing a regression to fix another regressions. The issue you 
posted is caused by the normalization patch, which I think is at least expected 
given how normalization works.

Indeed I agree it's somewhat counter-intuitive because we seemed to accept 
`void &` from a user's perspective.

To move forward, how about adding your case to tests along with a FIXME there? 
Again isAnyArgDependent is not what caused this issue, so a FIXME here is 
confusing.

https://github.com/llvm/llvm-project/pull/185608
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to