Skip to content

rustc: Harmonize DefKind and DefPathData#118573

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

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

Commits

Commits on Dec 3, 2023