Created attachment 34268 [details]
Self contained source demonstrating
During an assingment with an allocatable type on both, the LHS and the RHS, the destructor of the LHS-type is not called. IMHO, this is erroneous behaviour as the LHS gets (hopfully) deallocated on the assignment.
Confirmed. See also PR 37336 comment 27.