search for: 8277ba12

Hi Talin, Thank you for your response! Since you mention that you don't implement derived pointers, I'm a little confused about how your approach solves the issue I brought up. It seems to me that unless you plan on pinning some objects, support for derived pointers isn't optional. I'm not talking about derived pointers that the front-end introduces (which can be tracked) but