Module drop_tracking 

Structs

DropObligation

A linear-looking “must drop” obligation tied to a value of type R.

ManuallyDrop

Linear-drop obligation wrapper. ManuallyDrop::new(t, regions) consumes the State-side obligation entry for t.key() (via T::consume_obligation) and wraps the value. The wrapper carries only the value — no embedded obligation — and can be silently dropped affinely; the linear-drop guarantee comes from the State-side ledger.

Traits

Drop

HasObligations

State that carries an obligation ledger keyed by K.

TrackDrop