borrowck diagnostics cleanup: remove an unused and a barely-used field#137006
Merged
bors merged 2 commits intorust-lang:masterfrom Feb 15, 2025
Merged
borrowck diagnostics cleanup: remove an unused and a barely-used field#137006bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom