What all Abstract tagged record types are supported?

Supported in Ada to C++ conversion. It’s possible that additional nuances that we would need to handle but that’s true of most parts of Ada