Rollup of 7 pull requests - #111283

Closed

matthiaskrgr wants to merge 21 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-3iadz93

Commits on Apr 29, 2023

drive-by cleanup of rustdoc comment
jyn514
committed
f0be145

Commits on May 2, 2023

Make the BUG_REPORT_URL configurable by tools
jyn514
committed
2469afe

Commits on May 3, 2023

Add Drop terminator to SMIR
spastorino
committed
7dd59fc
debuginfo: split method declaration and definition
cuviper
committed
10b69dd

Commits on May 4, 2023

Commits on May 5, 2023

Commits on May 6, 2023