Rollup of 6 pull requests#112967

Closed

matthiaskrgr wants to merge 17 commits intorust-lang:masterfrom

matthiaskrgr:rollup-sks1880

Commits on Jun 15, 2023

Always register sized obligation for argument
compiler-errors
committed

Commits on Jun 19, 2023

Commits on Jun 22, 2023

Stop hiding const eval limit in external macros
oli-obk
committed

Commits on Jun 23, 2023