zyn0217 wrote: > simplify the function to the following signature:
I'm afraid we couldn't. We have one reliance on the `DC` parameter in constraint expression comparison, where we're unable to obtain a Decl as that is not formed yet. So dropping the `DC` parameter doesn't work here. If you probably meant to add another overload, I think that might work; although it looks the same way we add another bool flag. > As an improvement on that, we can basically reuse the logic we already have > for deciding which parent to visit next, which is already used in the normal > case [...] or just add an internal 'bool' parameter that controls if the > implementation will add the template parameters, and call that from the > 'Innermost' path with adding the arguments disabled Yeah, this is tempting; I was also thinking about adding an additional parameter, but that somehow makes the function more complicated and I do feel like ending up with many bool flags results in a heavier maintenance burden.. https://github.com/llvm/llvm-project/pull/102922 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits