> So no more returning ref? Because if you allow returning ref, > you lose any notion of safety, unless you plan on changing the > entire compilation model? The rules from DIP25/35 show how you can return refs while still maintaining safety.