Rollup of 5 pull requests#114821

Merged

bors merged 10 commits intorust-lang:masterfrom

matthiaskrgr:rollup-bahtz9m

Aug 14, 2023

Commits on Aug 11, 2023

Make Const more useful in smir
ouz-a
committed

Commits on Aug 12, 2023

Add test for method debuginfo declaration.
dianqk
committed

Commits on Aug 14, 2023