That one is a bit more debatable- some folks do prefer to drop them but I lean a bit more towards adding them as that'll trigger the runtime type checking. I don't think there's a clear rule there.

As such I'd say leave as-is, unless the change is part of a more significant change of the code and can be reviewed there. Just a general goal of minimizing the amount of time prettifying code.