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