Skip to content

Remove DefId from EarlyParamRegion#125468

Merged
bors merged 6 commits intorust-lang:masterfrom
BoxyUwU:remove_defid_from_regionparam
May 27, 2024
Merged

Remove `DefId` from `EarlyParamRegion`#125468
bors merged 6 commits intorust-lang:masterfrom
BoxyUwU:remove_defid_from_regionparam

Commits

Commits on May 24, 2024