During MIR building, Drop terminators are inserted in every place where a drop may occur.
However, in this phase, the presence of these terminators does not guarantee that a destructor
will run, as the target of the drop may be uninitialized.
In general, the compiler cannot determine at compile time whether a destructor will run or not.