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

[Yitzhak Mandelbaum via cfe-commits]

ymand wrote:

Per offline discussion, please see if we can be more targeted in our use of the generalized matching, given the potentially high cost incurred (for every relevant operation, like comparison, we'll be searching the entire type hierchy of the arguments).

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