Remove PolyGenSig since it's always a dummy binder#118684
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 7, 2023
Commits
Commits on Dec 6, 2023
- committed
PolyGenSig since it's always a dummy binder#118684