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

[Yitzhak Mandelbaum via cfe-commits]

================
@@ -129,19 +207,19 @@ auto inPlaceClass() {
 
 auto isOptionalNulloptConstructor() {
   return cxxConstructExpr(
-      hasOptionalType(),
+      hasOptionalOrDerivedType(),
----------------
ymand wrote:

Here and below: Why admit a derived class here? I would think that we don't know (and therefore can't model) the definition of constructors, methods, operators on the derived class. I suppose I'm missing something?

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