What if we would have [safe] attribute?
It would be very useful for local instances.
We have [unsafe] attribute but not [safe]. In ARC all instances are implicitly [safe] and we need to explicitly mark with [unsafe] if we don't want ARC.
I call this implicit ARC.
But with [safe] we can have explicit ARC where all instances are implicit [unsafe].