the idea is that, in order to be able to apply a s...

# announcements

[yole]

the idea is that, in order to be able to apply a smart cast, we need to be sure that every access to a property will return the same value