Skip to content

skip checking supertraits in object candidate for NormalizesTo goal#149167

Merged
bors merged 1 commit intorust-lang:mainfrom
adwinwhite:next-245
Nov 25, 2025
Merged

skip checking supertraits in object candidate for NormalizesTo goal#149167
bors merged 1 commit intorust-lang:mainfrom
adwinwhite:next-245