Skip to content

Delete impl_def_id field from ImplHeader#158860

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
theemathas:del-impl-header-field
Jul 7, 2026
Merged

Delete impl_def_id field from ImplHeader#158860
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
theemathas:del-impl-header-field

Delete `impl_def_id` field from `ImplHeader`

4011441
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jul 6, 2026 in 37s