I'm sorry, I'm trying to make my statement more precise:
As I understand it, the compiler inserts drop glue in the program for certain types in order to make the used memory available again for other purposes but I've read (eg here) that the compiler won't add any drop glue for types which are Copy. So my question is: Which mechanism(s) ensures that the used memory of such types, which are Copy, gets freed again?