Skip to content

rustc: Harmonize DefKind and DefPathData#118573

Merged
bors merged 1 commit into
rust-lang:masterfrom
petrochenkov:pathdatakind
Dec 4, 2023
Merged

rustc: Harmonize DefKind and DefPathData#118573
bors merged 1 commit into
rust-lang:masterfrom
petrochenkov:pathdatakind

rustc: Harmonize `DefKind` and `DefPathData`

17e799c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs