Auto merge of #161252 - jackh726:polonius-liveness-perf, r=lqd

Skip computing extra liveness info if borrow_set is empty

With polonius alpha, we currently compute liveness for a larger set of locals than NLL. However, this extra liveness only matters if there are borrows; so we can skip the extra work if there aren't any.

r? lqd