Since it is solved for Kt collections

Solved with special method to cast collection (so actually the same way as add .map() to cast items), you cannot get this behaviour if you just use filter