cor3ntin wrote: Can you provide a description of the problem you are trying to solve and a reduced test (that does not depend on the standard library).
I suspect the issue here is similar to https://github.com/llvm/llvm-project/pull/200185 - although my solution is not right either. When doing substitution in the parameter mapping of the pattern of fold expanded constraint, we should preserve packs expansions. then when evaluating we should expand each pack to preserve _only_ the argument of the current expansion in the mapping, and then substituting the expression. https://github.com/llvm/llvm-project/pull/198207 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
