
Add a comment explaining why intrinsic derived type assignment unconditionally deallocates all allocated allocatable subobject components of the left-hand side variable, so that I won't forget the reasoning here the next time this comes into question.