Our BC policy table listing everything contributors can and cannot do due to BC currently explains when you can add or remove typehints for arguments.
We need to update this table to explain what we can do for return types as well, given that Symfony 4 will be able to use them (and will use them when possible)