Remove leftover of type ascription feature gating#111350
Merged
bors merged 3 commits intorust-lang:masterfrom Jun 3, 2023
Merged
Remove leftover of type ascription feature gating#111350bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom