Skip to content

borrowck diagnostics cleanup: remove an unused and a barely-used field#137006

Merged
bors merged 2 commits intorust-lang:masterfrom
dianne:remove-errci-fields
Feb 15, 2025
Merged

borrowck diagnostics cleanup: remove an unused and a barely-used field#137006
bors merged 2 commits intorust-lang:masterfrom
dianne:remove-errci-fields

Commits

Commits on Feb 14, 2025