Skip to content

dont create unnecessary DefIds under mgca#150025

Merged
bors merged 1 commit intorust-lang:mainfrom
BoxyUwU:mgca_no_unused_defids
Dec 17, 2025
Merged

dont create unnecessary `DefId`s under mgca#150025
bors merged 1 commit intorust-lang:mainfrom
BoxyUwU:mgca_no_unused_defids

Commits

Commits on Dec 15, 2025