Module cairo_lang_lowering::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 dectructor call addition phase,

Functions

• add_destructs
  Report borrow checking diagnostics.

Type Definitions

• LoweredDemand