Smart cast to 'Int' is impossible, because 'a.x' i...
# announcements
g
Smart cast to 'Int' is impossible, because 'a.x' is a mutable property that could have been changed by this time.