Clarification on Stable Types with Examples

I thought the same thing, so I’ll share it here.

When upgrading, stable variables are identified by the compiler by their names, not by memory addresses (or pointers). Currently class definitions need to be written to separate modules. Therefore, if the module is split, the same namespace cannot be identified and stable will not be valid. I believe this is the cause of the current situation.

To solve the problem fundamentally, the compiler must be changed.