Provide extra note if synthetic type args are specified#93982

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

nbdd0121:explicit-generic-argsnbdd0121/rust:explicit-generic-argsCopy head branch name to clipboard