Clean up `check_consts` and misc fixes#119072

Merged

bors merged 3 commits intorust-lang:masterfrom fee1-dead-contrib:effects-fixes

Dec 23, 2023

+176-299

Commits on Dec 19, 2023

Commits on Dec 22, 2023

clean up check_consts checks
fee1-dead
committed