Module rustc_mir_transform::elaborate_drops

source Β·


  • 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.
  • Elaborator πŸ”’


  • Records unwind edges which are known to be unreachable, because they are in drop terminators that can’t drop anything.