[clang] [analyzer] Trust base to derived casts for dynamic types (PR #69057)

[Gábor Horváth via cfe-commits]

Xazax-hun wrote:

This patch makes me think whether we actually respect final on methods/classes to avoid unnecessary bifurcation on virtual calls. We probably do not. 

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