Marco Cantu

Well not really guessing. The compiler uses the expression type, which is deterministic. And you can still add a type cast if you are not certain...

I think your last line "If we could have fresh start, without having the burden of existing code and frameworks lingering over our heads, ARC would be fine choice for memory management system." is a great summary I fully agree with. I still like ARC and I'm not happy with the decision. But would have been even less happy keeping the status quo (2 different models) forever. And we really cannot afford breaking VCL code (billions of lines of working code form our customers)...

That is part of the plan... we have some experimental demos, could evolve into a full feature

Thanks Daniel and Lars. Very good move for the Delphi community. I'll be around.