[clang] [analyzer] Resolve lambda captures for explicit object parameters (PR #219726)

[Donát Nagy via cfe-commits]

https://github.com/NagyDonat requested changes to this pull request.

I'm happy to see that you're investing effort into covering these troublesome C++ features.

Unfortunately I found a place that raises lots of questions in me. I admit that I don't exactly understand what would be the correct behavior 😅 but in either case your code _seems_ to be incorrect. Please consider my questions and try to find a solution that is logically consistent (and not just "it works in practice"). (Or, if your code is the correct solution, please explain why is it correct.)

I know that my questions are difficult, but I find it important to avoid shortcuts, especially in these fields that are already complicated without the side effects and inaccuracies that would be introduced by shortcuts.



https://github.com/llvm/llvm-project/pull/219726