================
@@ -1185,7 +1154,7 @@ static bool CheckConstraintSatisfaction(
return false;
}
- if (TemplateArgsLists.isAnyArgInstantiationDependent(S.Context)) {
+ if (TemplateArgsLists.isAnyArgDependent(S.Context)) {
----------------
mizvekov wrote:
It would be a good idea to document that this is a workaround.
I think we shouldn't try to check satisfaction even for instantiation dependent
arguments, because substitution for these can still fail later.
Do we have a test case for this? It would be good to have this, with a FIXME
explaining.
For example, forming a reference to void on a template argument for a template
type alias, where the corresponding template parameter is unused.
https://github.com/llvm/llvm-project/pull/185608
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
