[clang] [clang][dataflow] Make optional checker work for types derived from optional. (PR #84138)

[Yitzhak Mandelbaum via cfe-commits]

https://github.com/ymand commented:

One high level question: is there a simpler path by which we avoid crashing on derived types but also don't support them? It seems like there is a lot of complexity required in getting this just right. Is it worth it (both in the code itself and in terms of runtime cost) to support these unusual cases? Of course, if it's necessary then the point is moot...

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