dynamic_cast structures are only included for types with a vtable.
And a compile-time list of base types is included for... no types at all. Whatever the actual implementation, it will require something which isn't currently available.
All I'm saying is that asking for `any` to support taking out an instance of a base class instead of the actual class stored in it is not unreasonable.