[PATCH] D127434: [clang][dataflow] In `optional` model, match call return via hasType

[Sam Estep via Phabricator via cfe-commits]

samestep added a comment.

@sgatev Oh nice, thank you for figuring that out! @ymandel and I saw that on Wednesday and tried for a while to figure out how to encode it into a test using the sample implementation from cppreference, but I think we kept forgetting the `::type` part. I'll add this as a test!


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D127434/new/

https://reviews.llvm.org/D127434