pub(super) fn always_returns(block: &[Stmt]) -> bool
Whether every path through block ends in return.
block
return