check_live_drops
MirLint
It's a thin wrapper around `check_live_drops`, but it's enough to fix the FIXME comment.
IntToInt