Module destructs

This module implements the destructor call addition.

It is assumed to run after the panic phase. This is similar to the borrow checking algorithm, except we handle “undroppable drops” by adding destructor calls.

Structs

• DestructAdder
  Context for the destructor call addition phase,

Enums

• PanicLocation
  Location where a Panic is first available.
• PanicState
  A state saved for each position in the back analysis. Used to determine if a Panic object is guaranteed to exist or be created, an where.

Functions

• add_destructs
  Report borrow checking diagnostics.

Type Aliases

• DestructAdderDemand