Auto merge of #118472 - nnethercote:rustc_session, r=bjorn3

`rustc_session` cleanups

r? `@bjorn3`
This commit is contained in:
bors 2023-12-01 00:08:04 +00:00
commit 1bf7b8a4cd

Diff content is not available