Should we avoid assignment of derived types in robust programs?

The thread was here, and there is an issue A shorthand for immutability at j3-fortran/fortran_proposals.