Function exhausted

Source
fn exhausted() -> !