Skip to content

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

Merged
bors merged 2 commits into
rust-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 into
rust-lang:masterfrom
dianne:remove-errci-fields

further simplify a match

2ea9e1d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs