Auto merge of #141406 - RalfJung:less-force-allocate, r=oli-obk #159393

Annotations

10 warnings

Directory or file /usr/local/bin/stack does not exist, skipping.

Directory or file /usr/local/bin/bicep does not exist, skipping.

Directory or file /usr/share/miniconda does not exist, skipping.

Directory or file /usr/share/gradle-* does not exist, skipping.

Directory or file /usr/local/share/edge_driver does not exist, skipping.

Directory or file /usr/local/share/chromium does not exist, skipping.

Directory or file /usr/local/share/chromedriver-* does not exist, skipping.

Directory or file /usr/local/lib/android does not exist, skipping.

Directory or file /usr/local/julia* does not exist, skipping.

Saved space is negative: -12. Using '0' as saved space.