On Thu, Apr 11, 2024 at 4:14 PM Gašper Ažman <gasper.azman_at_[hidden]> wrote:

> 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.

-- 
This electronic communication and the information and any files transmitted 
with it, or attached to it, are confidential and are intended solely for 
the use of the individual or entity to whom it is addressed and may contain 
information that is confidential, legally privileged, protected by privacy 
laws, or otherwise restricted from disclosure to anyone else. If you are 
not the intended recipient or the person responsible for delivering the 
e-mail to the intended recipient, you are hereby notified that any use, 
copying, distributing, dissemination, forwarding, printing, or copying of 
this e-mail is strictly prohibited. If you received this e-mail in error, 
please return the e-mail to the sender, delete it from your computer, and 
destroy any printed copy of it.