Rollup of 7 pull requests - #111287

Merged

bors merged 19 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-9lzax2c

May 6, 2023

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

Use fulfillment to check Drop impl compatibility
compiler-errors
committed
964fb67
Add test for #110557
compiler-errors
committed
9d44f9b
Even more tests
compiler-errors
committed
2e346b6

Commits on May 5, 2023

Add Assert terminator to SMIR
spastorino
committed
4b85bea
Add GeneratorDrop terminator to SMIR
spastorino
committed
698acc6
add hint for =< as <=
zacklukem
committed
a183ac6

Commits on May 6, 2023