Skip to content

rustc_metadata: Merge get_ctor_def_id and get_ctor_kind#92156

Merged
bors merged 1 commit intorust-lang:masterfrom
petrochenkov:ctorkind
Dec 24, 2021
Merged

rustc_metadata: Merge `get_ctor_def_id` and `get_ctor_kind`#92156
bors merged 1 commit intorust-lang:masterfrom
petrochenkov:ctorkind

Commits

Commits on Dec 22, 2021