pub(crate) fn generic_args_prohibited( ctx: &DiagnosticsContext<'_, '_>, d: &GenericArgsProhibited, ) -> Diagnostic