What lowering knows at a point in a body. scope_return_type is what the enclosing
function or closure returns, which ? exits into; return_type is what the block being
lowered must produce. captured names the variables enclosing closures capture, which a
closure called once per item must not move.