Emit feature gate *warning* for auto
traits pre-expansion#116393
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 4, 2023
Merged
Emit feature gate *warning* for `auto` traits pre-expansion#116393bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom