Module post_drop_elaboration

Structs

CheckLiveDrops 🔒

Functions

check_live_drops

Look for live drops in a const context.

checking_enabled

Returns true if we should use the more precise live drop checker that runs after drop elaboration.