Module terminator

Source

Functionsยง

ensure_block_returns
Ensure that the given block has return statements at the end of its control flow.