that might be useful if you are using a property o...

# android

[Paul Woitaschek]

that might be useful if you are using a property of a class in a function because in that case smart casts are not possible