================
@@ -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
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
