mizvekov wrote:

> may be we can make CheckTemplateArgumentList to return having three state 
> result (success, incomplete pack, hard error) rather than just a bool would 
> let checkBuiltinTemplateIdType detect the unexpanded pack case and return a 
> dependent QualType instead of diagnosing but maybe that feels lazy evaluation 
> :(

Or maybe just make that evaluation again in checkBuiltinTemplateIdType, it's 
not like builtin templates have lots of parameters. Just look for a pack 
expansion that doesn't correspond to a pack parameter.

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

Reply via email to