Point out if a local trait has no implementations#115743
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 11, 2023
Merged
Point out if a local trait has no implementations#115743bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom