Rollup of 5 pull requests - #115204

Merged

bors merged 11 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-avsp3t3

Aug 25, 2023

Commits on Aug 12, 2023

Name what ln_gamma does
workingjubilee
committed
90dc2f8

Commits on Aug 21, 2023

Allow overwriting ExpnId for concurrent decoding
Zoxc
committed
d9f7005

Commits on Aug 23, 2023

Check that the old values match
Zoxc
committed
6101ddd

Commits on Aug 24, 2023

remove some unnecessary ignore-debug clauses
RalfJung
committed
e4c4f9b
Add comment to the push_trailing function
allaboutevemirolive
committed
a8827ee

Commits on Aug 25, 2023