detect () to avoid redundant <> suggestion for type#104497
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 19, 2022
Merged
detect () to avoid redundant <> suggestion for type#104497bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
Commits
Commits on Nov 17, 2022
- committed
Yiming Lei