I'm not sure if it was mentioned before, but it wo...

# language-proposals

[michael.hunger]

I'm not sure if it was mentioned before, but it would be cool if filter operation on a type could also carry over the type information for a smart-cast
aka. users.filter{ it is Person }.map{ p -> p.age }