Remove unneeded conversion to DefId
for ExtraInfo
#129318
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 21, 2024
Merged
Remove unneeded conversion to `DefId` for `ExtraInfo`#129318bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom