Rollup of 9 pull requests#143601

Merged

bors merged 19 commits intorust-lang:masterfrom

matthiaskrgr:rollup-9iw2sqk

Jul 7, 2025

Commits on Jul 1, 2025

Do not suggest borrow that is already there in fully-qualified call
estebank
committed

Commits on Jul 2, 2025

awhile -> a while where appropriate
nabijaczleweli
committed

Commits on Jul 3, 2025

Rework logic and provide structured suggestion
estebank
committed

Commits on Jul 6, 2025

Regression tests for repr ICEs
JonathanBrouwer
committed

Commits on Jul 7, 2025