I think what they are proposing is to replace existing RTTI with their version that actually supports ALL objects, not just directly allocated ones. I assume th

I think what they are proposing is to replace existing RTTI with their version that actually supports ALL objects, not just directly allocated ones. I assume there is some complex RTTI analysis that goes into determining whether a thing can be cast at runtime, and that check may be omitted if it's not possible to do it. If you pass a stack-allocated variable somewhere by reference, for example, is there any RTTI available on the original object to check a cast? I really don't know.